/35*-60. Let r = 523 - d. Suppose -4*f = 4*x + 52, -4*f + 4*x - x = 24. Which is smaller: f or r?
f
Let m(y) = -y**3 - y**2 + y + 4. Let g be m(0). Let v = g - 8. Let c be 9/3*(-6)/18. Is c at least v?
True
Let l = -2.16 - -42.16. Let x = l + -40.1. Is x at least as big as 0.159?
False
Let f = 9110 + -9109. Is -488 greater than f?
False
Suppose -6*q = -4*y - 7*q - 51, -5*q + 45 = -5*y. Let l be (69 - y/2)/(-1). Are l and -74 unequal?
True
Let p = -4.89 + -0.11. Let x = -6839 + 6835. Do p and x have the same value?
False
Let u(w) = -9*w**2 + 5*w - 8. Let o be u(2). Let z = 0.053 - -0.537. Let y = z - 0.59. Is o at most y?
True
Suppose -56273 = -18*b + 57955. Is 6345 at most as big as b?
True
Let m = -0.02 + 1.32. Let i = 1172/15 + -79. Let w = i + 6/5. Which is smaller: m or w?
w
Suppose -198417 = -2*j - 17*j. Does j = 10444?
False
Let b = -153 - -156. Suppose -42*k + 39*k = b. Is k > 3/44?
False
Suppose -7*b - 2 = -5*b, 2*c + 2*b - 14 = 0. Suppose 17*o = -c*o - 225. Which is greater: 0.19 or o?
0.19
Let a = -251.134 + -12.866. Which is bigger: a or 5/9?
5/9
Let o be (-2 - -1)*(-22)/(-33) + (-440)/(-583). Which is smaller: o or 0.3?
o
Let p = -5552 + 855. Let g = -4693.937 - p. Let f = g + -0.063. Is -0.06 > f?
False
Let f = -4689 + 4688. Which is greater: -2/14707 or f?
-2/14707
Let i = 254809331/4547 + -56039. Is i at most -1?
False
Let c(t) = -64*t**2 + 24*t - 5. Let f be c(1). Suppose 0 = 4*j + 4, -r - 2*r = 3*j + 135. Do r and f have different values?
True
Suppose 0 = -2*x - 0*x + 2*c, 5*x + 3*c = 24. Let h be (-39)/63*392/(-112). Which is greater: h or x?
x
Suppose 5*q = 2*b - 1455, 85*b - 3*q = 87*b - 1415. Which is smaller: 717 or b?
b
Let z(q) = q + 1. Let k be z(-9). Let s be (-24)/(-28)*(0 - k - 1). Let i be 10/(-4)*(s + (-13 - -3)). Is 10 != i?
False
Let l(w) = -4*w**2 + 54*w + 447. Let o be l(-11). Which is smaller: o or -614?
o
Let u = -9 - -6. Let c = 144.213 - 0.213. Let p = -143.3 + c. Which is smaller: p or u?
u
Let u(i) = -i**3 - 78*i**2 + 665*i + 5951. Let t be u(-85). Let y(b) = -7*b**2 + b - 5. Let a be y(-5). Let s be (1 - (-368)/a) + 1. Which is bigger: t or s?
t
Let r = -32.5 - 39.5. Let c = 73 + r. Which is smaller: c or 143?
c
Suppose -4*d - 13 = 3*p + 7, 3*d = 3*p + 6. Let g be d/(-66)*(-2)/(-3 - -1). Suppose 8*t - 3 = 5*t. Which is smaller: g or t?
g
Suppose -15 = 11*m - 4. Let v be ((-221456)/(-2440))/(4/5). Let y = v - 227/2. Which is bigger: m or y?
y
Let s = 107 - 55. Which is greater: 34 or s?
s
Let s be ((-5295)/20)/(3/(-56)) + -8. Which is smaller: s or 4933?
4933
Let i = 135 + -28. Let j = 94 - i. Let d = -12.9 - j. Is -20 less than d?
True
Suppose 2287*y - 2262*y = 75. Is 257 at least as big as y?
True
Let q = 1804 - 1805. Is q < -143?
False
Let o be (-42)/70*10/(-5463). Let d = o - -557/45525. Which is smaller: 2/3 or d?
d
Let v be (-29*(-1)/1)/(-1). Suppose -2*j + 45*j + 2970 = -56*j. Which is greater: v or j?
v
Let s(o) = 24*o + 3. Let j = -64 + 65. Let b be s(j). Suppose b = i - 4*n, -93 = -4*i + 2*n - 27. Do 16 and i have different values?
True
Suppose -39*y + 37*y = -12. Suppose -y*f - f = -7. Is 34 less than or equal to f?
False
Suppose -4870 = -63*d + 13778. Let w = 296 - d. Is w >= 32?
False
Suppose -4*a - 23*i + 5140 = -25*i, -2*i + 2576 = 2*a. Is 1283 < a?
True
Let c = -8 - -18. Let b = -7525 - -7537. Is b at most c?
False
Let u be 102/(-8) + 9/12. Let o = -5.74 - -5.84. Which is greater: u or o?
o
Let c = 7/16 + 4315/48. Let b = c - 91. Is b at least 7/5?
False
Let m be -4*45927/198 - 4/22. Which is greater: m or -930?
m
Let d = 2737.2 - 2858. Which is smaller: 2 or d?
d
Let h(k) = k**2 - 15*k + 22. Let d be h(14). Let f be 54/12*d/3. Suppose f = -u + 5*m - 14, 2*u + m = -85. Is -40 >= u?
True
Let v = 44 - 58. Let y = -0.065 + -2.835. Let l = 2.9 + y. Is l equal to v?
False
Suppose 0 = 8*s - 12*s + 4. Let g be s*-3 + 1 - (-2 - 1). Let b be 10/(-15) + g/((-42)/8). Are b and 0 nonequal?
True
Let v = 0.71524 - -0.05876. Which is greater: 0.03 or v?
v
Let u be 5/(-15) - (-1027)/3315. Is u at least as big as 22?
False
Suppose 1168*i + 7275 = 1143*i. Is i bigger than -287?
False
Let c = -39226591/217 + 1272898/7. Let f = c - 1075. Is 0 < f?
False
Suppose -1323 = 55*l - 48*l. Let j be (-25)/15*l/35. Which is greater: 1/33 or j?
j
Let w = 0.351 - 0.011. Let x = -85 + -16. Let q = -103 - x. Which is bigger: q or w?
w
Let j be 41/31 - 1 - 0. Let d = -1/367 + -2538/11377. Let q = j + d. Are -1 and q unequal?
True
Let s be (-1)/((-28)/5196) - 0/(-1). Is 185 greater than or equal to s?
False
Let o be 5/2*(-4 + 6). Let k be (1 + 0)/(0 - o/10). Is -3 bigger than k?
False
Let m be (6 + (-2250)/380)/((-1)/(-2)). Is m equal to -7/44?
False
Let v = 197 - 209. Suppose -25 = k - 5. Let m = k - -9. Does v = m?
False
Let g(j) = 39*j**2 + 13*j + 33. Let b be g(-7). Suppose 29*t = 206 + b. Which is bigger: 3 or t?
t
Suppose -5*m - 40 = -2*s, -5*s - 7 + 80 = m. Let l = -39 + 27. Let a = l + s. Are a and 15/7 nonequal?
True
Let n be (192/(-24))/(1 - 3). Let a(g) = -3*g + 12. Let z be a(n). Let w = -1/10 + 33/80. Do w and z have the same value?
False
Suppose c + 3*c = 5*b + 93, 39 = -2*b + c. Let h be (-2)/3*(b/(-2) - 0). Which is smaller: -55/7 or h?
-55/7
Let b = -6.5 - -0.5. Let n = b + 8. Suppose 966 = 203*d - 525*d. Which is smaller: n or d?
d
Suppose -2*h - 6 = -2*m - 2, -10 = -h - 3*m. Suppose -2*t - 4*x = -7*x - 16, -4*x = 16. Suppose 0 = o + 3 - 4, -2*p = t*o. Is p at most as big as h?
True
Let c be -1*7/((-28)/(-96)). Let k be 35/10*c/(-21). Suppose 0 = -5*s - 3*o + 209, -200 = -5*s - k*o + 7. Which is smaller: 42 or s?
42
Let o = -4.2104 + -1862.7896. Is -4/7 greater than or equal to o?
True
Let c(z) = 214*z**3 + 3*z**2 - 2*z. Let v be c(1). Is v <= 213?
False
Let g = 162 - 177. Let o be -3 - -4 - 32/54. Let h = o - 2/27. Is g at least h?
False
Let v(s) = -72*s - 1305. Let l be v(-18). Suppose -28*q + 30*q = -12. Which is greater: q or l?
q
Let c = 48 - 102. Let m = -60 - c. Let a be ((135/m)/(-15))/((-519)/(-4)). Is a smaller than 0?
False
Let b be (2 - 0)/(19 + -23). Let t be 2/6 + (-8)/6. Let j be 0 - (0 + 1) - t. Is b equal to j?
False
Suppose -c + 5*m = m + 18, 5*c - 5 = m. Suppose c*v = -0*v + 10. Suppose v*d + 1 = -19. Is d less than -9?
False
Let a = -27485/247527 + -2/27503. Let u be 26/(-42) + 4/14. Is a <= u?
False
Suppose g - 36 = -42. Let x be 28/g + 0 + 23/(-69). Let q be (-6)/(-15) + (-3)/x. Do q and 0 have the same value?
False
Let r = -575 - -505. Let p be 28/r + ((-1917)/(-105) - 2). Is 17 >= p?
True
Suppose 15 = 4*p + 3. Let j be -1*1*(p + -4)*31. Suppose -5*g - 2*o - 23 = j, o = g + 15. Is -9 smaller than g?
False
Let y(f) = 4*f**3 - 4*f**2 + 5*f. Let q be y(1). Suppose u + 31 = -4*b, 2*b - u - 2*u = -q. Suppose 5*v - 2*g = -23, -3*v - 2*g + 3*g - 14 = 0. Is b < v?
True
Suppose w = 2*o - 20, 2*o - 2 + 12 = 0. Which is smaller: -125/4 or w?
-125/4
Suppose -6*y + 159 = -411. Let t = 92 - y. Is t less than or equal to -8?
False
Let d = -1530 - -958. Let n be -2 - 24/(-15) - d/(-20). Which is smaller: -28 or n?
n
Let g = -4 + -2. Let h be ((-128)/12)/4*-3. Suppose 0 = h*y + 14*y + 88. Is y smaller than g?
False
Suppose -9*y - 185 = 11 + 137. Which is bigger: y or -43?
y
Let v = 64 - 7. Let k(t) = t**2 - 40*t - 771. Let o be k(55). Which is smaller: v or o?
o
Suppose 0 = 16*x + 360 - 2264. Let n be 4*((-153)/x + (-4)/(-14)). Which is bigger: -24 or n?
n
Suppose 107*b = 39*b + 884. Are b and -90 unequal?
True
Suppose o + 249 = 247. Let k(v) = -7*v + 16. Let m be k(8). Is m equal to o?
False
Let g(z) = -10*z**3 - 9*z**2 + 22*z - 3. Let m be g(3). Let w be ((-6)/18)/((-1426)/m - 5). Which is greater: 8 or w?
8
Let b = -2470.7 - -2468. Which is smaller: 2/5 or b?
b
Let x be 4/(-14)*(-4)/(-1). Let i = -26/35 - x. Let j be 4/10 - (-16)/(-15). Which is bigger: i or j?
i
Suppose 18 = 5*d + 8. Let p be (0 + d)*(-1128)/(-16). Let k be (-10)/(-35) - p/(-21). Is k greater than 36/5?
False
Let a = 7/146 - 451/7884. Is a < -1?
False
Let c be (-2)/6 - (-250)/(-6). Let x be (-5)/(-2)*((-186)/(-15) - -2). Suppose 5*p + 4*j + 213 = 0, -4*j + 38 = -2*p - x. Is c greater than p?
False
Let k = -907 - -882. Let y be (2/5)/(11/(-55)) + -16. Is y less than or equal to k?
False
Let m = 666 - 739.8. Let a = 12.8 + m. 