c?
c
Suppose -2*x + 6*x = -52. Suppose 12*u - 9*u + 64 = -4*r, -52 = 2*u + 4*r. Are u and x equal?
False
Let y = -2796.0012 + -1.9988. Is y bigger than -1?
False
Let v(z) = 8*z**3 + 10*z**2 + 131*z + 261. Let f be v(-2). Let l = 2 - 1. Are l and f equal?
False
Let r be (-5072)/(-6)*147/196. Does 632 = r?
False
Let r(d) = 0 - 95*d + 0 - 1 + 8. Let u be r(-1). Is u equal to 101?
False
Let z be 88/(-6) - 6/18. Let i be -2*1 + (-27)/z. Let x = -5188 - -36308/7. Is x smaller than i?
True
Let a = 30935 - 30350. Let j = -1 - -585. Which is bigger: a or j?
a
Let h be ((-9)/(-354))/((3 - (-81)/12) + -9). Which is greater: -1 or h?
h
Let t(m) = m + 4. Let d be t(-4). Let b be 95/(-111)*(2223/18 + -2). Let c = 104 + b. Is c bigger than d?
True
Let r be (-27253)/54504 - (852/24 - 36). Is r at most 0?
True
Suppose 2*q = -3*b - 256, b - 540 = 117*q - 113*q. Is -1196/9 greater than or equal to q?
True
Let g(y) = -24*y**3 - 2*y - 3. Let w be g(-1). Suppose d - 1 = -2*f, 5*d - d + w = f. Let t be 5/(-2)*(f - 1). Is t less than or equal to -4?
True
Suppose -3*u + 140 = 4*y, 4*u + 5*y - 180 = y. Let j be (-3 - 13/(-5))/((-34)/u). Let k = j + -135/34. Is k at most as big as -2?
True
Let c be (-9 - -28 - 41) + 23. Which is smaller: c or -1/7964?
-1/7964
Let l = 87.6 - 87.5. Which is smaller: 1.4 or l?
l
Let g be ((-16)/24)/(7/(-9) + 1). Let h be 2/g + (-1792)/48. Let l be 8/(-2) - 172/h. Do 0 and l have the same value?
False
Suppose -6*t - 177105 = -176805. Let u(d) = d**3 - 9*d**2 + 8*d - 2. Let j be u(7). Which is bigger: j or t?
j
Let n(o) = -74*o**2 + o + 1. Let w be n(-1). Let c = -245 - -174. Let i = c - 2. Which is smaller: w or i?
w
Let g = 100 + -90. Let m = 30 + -28. Suppose -3*n = 3*o, 0 = o - m*n - n + 4. Is o greater than or equal to g?
False
Let v = 2222 - 2631.1. Let o = -409 - v. Is o less than or equal to 0.023?
False
Let m(w) = -w - 1. Let t be m(3). Let d be (-797)/203 - ((-5401)/(-319) - 17). Which is smaller: t or d?
t
Let a(i) be the third derivative of -12*i**2 + 17/6*i**3 + 1/24*i**4 + 0*i + 0. Let u be a(-11). Which is smaller: 7 or u?
u
Let x(f) = -28*f**2 + 528*f + 77. Let b be x(19). Is b less than 2/26199?
False
Let d be -9*2*(14/4 - 3). Let o = 5073/4 + -1278. Let k = d - o. Is -2 > k?
False
Let w be 32/(-10) + 144/24 + -3. Do w and -1.237 have the same value?
False
Let o be (-6884)/112 - (-248)/(-868). Which is bigger: -61 or o?
-61
Suppose 3792 + 13213 = -20*m + 2125. Does m = -739?
False
Let q be (-2)/(2/(-6 + (-13 - 3742))). Is q != 3761?
False
Let k be (-1*1)/((-607503)/74 + -1). Is -1 >= k?
False
Suppose -3*u + 67 = -4*u. Let r(d) = -1303*d - 3983. Let b be r(-3). Let f = u - b. Is 8 <= f?
False
Suppose 46*n + 8750 + 12727 + 14679 = 0. Is n smaller than -786?
False
Let v = -0.23 - -1.63. Let w = v - 1.3. Is w not equal to -82?
True
Suppose 2*j - 3*o = -141, -3*j = 2*j - 3*o + 339. Let p(w) = w**3 + 119*w**2 + 3*w + 290. Let x be p(-119). Is x at least j?
False
Suppose -g = z - 34, g - 6 + 5 = 0. Suppose 2*f - z = -5*j + 1, -28 = -4*j - 2*f. Let v = j - -20. Which is smaller: 27 or v?
v
Let o = 89 + -34. Let m = 54.96 - o. Let r = m - -0.44. Is 4 equal to r?
False
Let m = -90 + 92. Let s(w) = -166 + 84 + 110 + m*w. Let d be s(8). Is d equal to 43?
False
Let h = 6464/7 + -926. Let g(o) = 211*o + 1053. Let t be g(-5). Which is smaller: t or h?
h
Let p be (2/(-24))/(40/(-3736020)) - 3/8. Are p and 7783 nonequal?
False
Let y be (4464/42 - -5)/((-6)/2). Let k = y + 19555/483. Which is smaller: k or 2?
2
Let k = 125/3476 + -3383077/93883284. Are -1 and k equal?
False
Suppose -33*u - 27*u = 51*u - 111. Is 3/11318 at most u?
True
Suppose 0 = d - 4*m - 15, d + 3*m = -34 + 21. Which is greater: -1/3030 or d?
-1/3030
Let y = -7 - -8. Let h = 1573/6 - 14173/54. Which is smaller: h or y?
h
Let w = -364061 + 148172934/407. Let v = -3/37 + w. Let j = -3.82 - 3.18. Is j greater than v?
False
Let t = -60/211 + 31979/1899. Which is greater: 16 or t?
t
Let q = 5.5957 - 0.5957. Are -40 and q non-equal?
True
Let c = -8918/5 + 1784. Let u = 189 - 74. Which is bigger: u or c?
u
Let a = 1710 + -8566/5. Is a >= -3/2?
False
Let d = 105 + -102. Suppose d*z - 10 = 2. Let r be 2/z*((-5 - -2) + 3). Which is greater: r or 2?
2
Let l = -6 + 8. Let p be (289/34 + (-5 - 6))/((-10)/68). Do p and l have the same value?
False
Let t be 27 + -8 + -10 - (-10 + 19). Are -1/5571 and t equal?
False
Let z be -2 + (-2 - -1)*3080/(-1705). Which is smaller: 0.04 or z?
z
Suppose -16*k - 4*x - 19804 = -8*k, 0 = 3*k + 5*x + 7423. Is k >= -2472?
False
Let z be (29/3 - (-6)/18)*-1. Let a be -3*20/(-36)*26/z. Let y(i) = -i**3 - 5*i**2 - i + 12. Let j be y(-3). Which is smaller: j or a?
a
Let u = 48 - 111. Let y = -8 - u. Let r be (-1 - y/1) + 1 + 0. Is r less than -55?
False
Let h be (11 + (-2552)/231)/1. Let w = -4 + 3. Which is bigger: w or h?
h
Suppose -399*c + 391*c + 64 = 0. Which is bigger: c or 27/5?
c
Let g be (-21)/((-280098)/25728) - (0 + 14/(-133)). Which is bigger: 3 or g?
3
Let o = 7485 - 7680. Which is greater: -190 or o?
-190
Let x be (1159/(-122))/(-2 - 0)*(1 + -413). Are x and 0.2 non-equal?
True
Let h = -8349 - -8630. Which is smaller: 2807/10 or h?
2807/10
Let x = -246 - -131. Suppose 0 = -288*f + 286*f + r - 224, -232 = 2*f + 3*r. Which is bigger: x or f?
f
Let c be (-3)/(-3)*(0 - 6). Let x(u) be the first derivative of -u**4/4 - 5*u**3/3 + 3*u**2/2 - 7*u + 4. Let o be x(c). Which is smaller: o or 49/5?
49/5
Let g(a) = a**3 - 12*a**2 - 10*a - 42. Let i be g(13). Let t be 3 - i - (29 - 2). Let q = 7 - 27. Is q equal to t?
False
Let r = 52.8 - 53. Let i be 5551/(-35) - (2 - (-24)/(-15)). Which is greater: i or r?
r
Let p be 14080/264 + (-6 - 16). Let s(l) = 5*l + 1. Let j be s(6). Are j and p unequal?
True
Let k = 357.6 - 347. Let v = k - 3.6. Which is greater: v or 23?
23
Suppose -53*l + 39670 = -2730. Are l and 802 unequal?
True
Let h(i) = 23 + 20 + 7*i + 11. Let p(k) = -k**2 - 15*k + 48. Let j be p(3). Let w be h(j). Which is bigger: w or 14?
14
Let m = 52451/85 - 617. Which is smaller: m or 1?
m
Let f = 338776 - 338690. Let k = -0.1 + 0.2. Which is smaller: k or f?
k
Suppose 15 = 5*g - 433*c + 430*c, -g = -5*c - 25. Let s be -3 - 21/(-7) - 2/3367. Which is smaller: s or g?
s
Let u = 66 + -64. Let o(k) = -3*k**3 + 4*k**2 - 4*k + 2. Let s be o(u). Let j be ((-4)/7)/(404/s). Is 0 less than j?
True
Let z = -3427515 - -452429639/132. Let x = -185/11 - z. Is 1/4 equal to x?
False
Suppose -g + 16 = -3*j - 0, -2*j + 80 = 5*g. Let s = -995 + 1012. Which is smaller: s or g?
g
Let w = -468 - 397. Let r = w - -863. Suppose -j - 5 - 8 = 0. Which is greater: j or r?
r
Let c be 49*1 - (0 + 2). Let n = 53 + c. Let b = 237813 + -237812.9. Is b not equal to n?
True
Let t = -120 + 215. Let w = 88 - t. Which is greater: -6 or w?
-6
Suppose j + 0 - 8 = 0. Let q(h) = -258*h**2 + 133*h**2 - 11*h + h + 8 + 126*h**2. Let z be q(j). Is z equal to -6?
False
Let u be ((-6)/(-2) + 1)/2. Let h = -1266 - -1270. Suppose -3*v + 30 = -3*f - u*f, -20 = -h*v. Which is smaller: 0.02 or f?
f
Let m be ((-237)/(-6) - 23)*13*(0 + 2). Which is greater: m or 5584/13?
5584/13
Suppose 518 + 202 = -3*r. Let p be (-6)/((27/r)/(30/(-25))). Let c = -64 - p. Which is smaller: c or 3/32?
c
Let n be 766/30 - (-496)/(-155). Which is bigger: n or 15?
n
Let l = 4235 - 4233. Which is smaller: l or 60/119?
60/119
Let m = -2757/5 + 551. Is 113.3 <= m?
False
Suppose 0 = 2*f - 3*r + 24, 17*f - 16*f = -4*r + 32. Which is bigger: -58/107 or f?
f
Suppose -2*w - 5*m = -155, -5*w + 3*m + 172 = -200. Is w at least as big as 759/10?
False
Suppose y - 2535 = 4*y. Let b = y + 636. Is b at least as big as -209?
True
Suppose 8071 = 38*y + 8109. Suppose 5*p - 19 - 21 = 0. Which is smaller: p or y?
y
Let f = -11482 + 12267. Are 782 and f equal?
False
Let f = 0 - -5. Suppose b = -2*y - 7, f*y + 3 = 5*b + 8. Let u be 30/(16740/341)*18. Which is greater: u or y?
u
Suppose -o + 10 = -5*l, 4*o + o - 28 = 3*l. Is -9/1012 smaller than l?
False
Let x = 535/359693 - -1/11603. Let d be (-3)/4 - (-166)/913*(-22)/16. Is x at least d?
True
Let g = -8265 - -8266. Which is bigger: -1/8897 or g?
g
Let t = -1124629/12 + 93615. Let i(w) = 8*w. Let b be i(-13). Let l = t - b. Which is smaller: l or -1?
-1
Let h be (-70)/(-315) - (4 + 28436/(-752