re -654 and l non-equal?
True
Suppose 6*q + 40900 = 4*d - 28420, -4*q + 17330 = d. Which is greater: d or 17331?
17331
Let b(p) = -p**3 + 12*p**2 - 2*p + 28. Let r be b(12). Let y be (255/930 + (-2)/8)*r. Is -1 at least as big as y?
False
Let m = -867 + 865.79. Let c = -2.79 + m. Which is smaller: -48 or c?
-48
Let z = -5644 - -6889. Which is greater: 1 or z?
z
Let x = -503 + 397. Which is bigger: -1794/17 or x?
-1794/17
Let s be (-102)/(-14) - (-66)/(-231). Let p be ((-12)/(-16))/((-1)/4). Which is smaller: p or s?
p
Suppose p - 9*p + 40 = 0. Suppose 4*j = -x - 32, -3*j + 224 = -p*x - 28. Let q = -42 - x. Which is greater: 4 or q?
q
Let f = 4542 + -31790/7. Let h(s) = s**2 + 6*s. Let b be h(-6). Let p(g) = g + 1. Let j be p(b). Which is bigger: f or j?
j
Let b(a) = 6*a + 6 + 2 + 4 + 10. Let n be b(-10). Let h = -458 - -420. Is n at most h?
True
Let p = -78930/7 - -11277. Let x(t) = t**2 + 4*t - 7. Let c be x(-6). Suppose j - 3*r = -r - 1, j + 4 = c*r. Which is bigger: p or j?
p
Let f = 124 + -117. Let t(a) = -a**2 - 6 - f + 0*a**2 - a - 7*a. Let l be t(-5). Is 1/4 smaller than l?
True
Let y(w) = -w**3 - 20*w**2 - 10*w + 14. Let i be y(-20). Let q be (((-1704)/2)/4)/((-7)/7). Is i >= q?
True
Let a = 2.1 + -3. Let g = a - -0.7. Does 15/7 = g?
False
Suppose 0 = -2*f + 5*f - 1662. Suppose -2*v + 286 + 132 = -3*h, 4*h + f = v. Do h and -138 have different values?
False
Let o be 56/26 - 2 - (-8)/(-52). Let h(d) = d**2 - 18*d - 683. Let m be h(-19). Which is greater: m or o?
m
Let o be (-3 - (-3)/((-12)/8)) + 3. Let a be (o - 2) + 6/3. Let f be (-3)/a + 3 + (-63)/(-6). Is f not equal to 15?
False
Let k = 748/5 - 6596/35. Which is bigger: -1/4 or k?
-1/4
Let l(v) = 2*v**2 - 27*v + 9. Let n be l(13). Let r be (-3086)/(-12) - 0 - n. Let c = -262 + r. Which is greater: -2 or c?
c
Suppose -3*k + 2*h = 126, h + 2 = -1. Let g = k + 54. Suppose 0 = -3*c - 2*j - 51, 3*c - 4*c - 3*j = g. Is c > -20?
True
Let r be (3/21)/(12/588) + (-351576)/50224. Is 0 <= r?
False
Let l(h) = -2*h**3 + 21*h**2 + 69*h - 29. Let a be l(13). Which is bigger: 220/9 or a?
220/9
Let c = -817 - -572. Let w = c + 201. Is 1 != w?
True
Suppose -3*p + 8*p - 15 = 0. Let v = -12 - -12. Suppose -4*w + 2*u = -28, v*w - 5*w + 24 = p*u. Is w at least 5?
True
Let y = -238 + 228.3. Let t = y + 11. Which is bigger: t or 0?
t
Let f(h) = h**3 - 2*h**2 - h - 1. Let m be f(3). Let v be (24/90)/(8/120). Suppose 2*z = -4*b - 78, v*z = m*b - z + 90. Is b greater than or equal to -22?
True
Suppose 0 = -2*y - 4*g, 0 = -y + 3*g + 2*g. Let u be (-35)/(y - -5)*-1. Let b(q) = -8*q + 16. Let t be b(u). Is t > -41?
True
Suppose -p + u = 31, -p - 82 = p + 2*u. Let a = -0.95 - -0.75. Is a bigger than p?
True
Let h = -16 - -19. Suppose 4*m - 28 = -4*s, 0*s - 25 = -h*m - 4*s. Which is greater: 41 or m?
41
Let k be 2/14 + 224/490. Let i = k - 1. Let d = 2.6 - -0.4. Is d less than i?
False
Let z be ((-558)/36)/((-3)/(-84)). Let j = -532 - z. Which is smaller: -97 or j?
j
Let d be 1/(22/243880) + 306/561. Is d bigger than 11086?
False
Let b = 13772117/330 + -442609/10. Let x = 2527 + b. Is x < -1?
False
Let l = -1.703 + -11539.297. Are 0 and l nonequal?
True
Let k(m) = 5*m**2 + m - 2. Let s be k(-2). Let w = 298 - 279. Suppose -9*r - 130 = -w*r. Is r less than or equal to s?
True
Suppose 31*s - 24 = 27*s. Let v be (2 - -1) + s*5/(-2). Suppose 37*l + 12 = 36*l. Is l at most as big as v?
True
Let v = -258249 + 949581567/3677. Which is greater: 0 or v?
0
Let p = 9703.8 + -9704. Is p not equal to -16/129?
True
Suppose 0 = -w + 3, l + 177 = -5*w + 489. Which is smaller: 289 or l?
289
Suppose 3*q + 5*f = q + 202, -4*q = -3*f - 430. Suppose 523 = 5*b - 7. Is b < q?
False
Let a = -0.3 - 0.2. Let l = -431.6 + 355. Let x = l - -76. Is x greater than or equal to a?
False
Let y be -31 - (-24067)/779 - 5641/19. Which is greater: y or -0.24?
-0.24
Suppose -n + 69 = -x - 254, 4*n - x - 1286 = 0. Which is greater: 323 or n?
323
Let u = 1705 - 1704. Let n(j) = j - 3. Let z(t) = -t**3 - 6*t**2 + 7*t + 5. Let b be z(-7). Let p be n(b). Is p smaller than u?
False
Let l be -4*(-6)/84 + 38/14. Let x(k) = l*k + 4*k - 11*k + 6*k + 7. Let j be x(-3). Do -2 and j have different values?
True
Let h = -15.46 + -0.34. Let f = h + 15.8. Which is bigger: f or 28?
28
Let s(l) = -2*l**2 - 19*l + 3. Let p be s(-10). Let o = -3.8 + -7.2. Let z = 6 + o. Which is greater: z or p?
z
Let a(s) = 11*s**2 - 22 - 44*s + 34 + 2*s**2 - 6*s**2. Let k be a(6). Which is greater: k or 1/449?
1/449
Let v(a) = -134*a**3 + a**2 - 4*a + 3. Let y(w) = 2*w + 11. Let t be y(-5). Let g be v(t). Is -134 smaller than g?
False
Let h(w) = -30*w + 19. Let g(o) = -61*o + 39. Let l(z) = -6*g(z) + 13*h(z). Let k be l(1). Is -15 > k?
False
Let t(a) = 6 - 3*a**2 + 2*a**2 - 41 - 5*a + 2*a**2. Let z be t(9). Let m = 688/33 - 62/3. Is m < z?
True
Suppose -4864 = -4*t + 5*s, 5*t + 64*s = 68*s + 6080. Is t greater than or equal to 1213?
True
Let y = 19 - 1. Let s = -52/3 + y. Suppose -104*g = 134*g - 78*g. Which is smaller: s or g?
g
Let y = -376 - -370. Suppose 0 = -4*x - 4*a - 12 + 16, 5*x - 21 = 3*a. Is y smaller than x?
True
Let o = 260 - 145. Let k be (-2)/(-12)*2 + o/105. Are k and 1 non-equal?
True
Let l = 464 - 395. Let s be (-3)/(9/2) + (-2645)/l. Suppose -a = c + 37, -3*a = c - 5*c + 132. Is s greater than or equal to a?
True
Let h be 2 + (-1068)/(2 + 2). Let a be ((-27)/15*-2)/((-7)/h). Let l = a + -136. Which is greater: l or -2/3?
l
Let h be 708/6 + (-6 - (6 - 21)). Which is smaller: h or 48?
48
Suppose -287*u = -4*z - 292*u + 5676, -4*u - 1440 = -z. Which is bigger: z or -1?
z
Let f be 2*12/16 - (-34)/(-4). Let q be (-12)/14 - (-1)/f. Which is smaller: -6/41 or q?
q
Let s be (-25)/15 + ((-772)/3 - 3). Let w = s + 792. Is 529 at most as big as w?
True
Let j be (7/385*15)/(8/(-14)). Let d = 391/836 + j. Is 1 > d?
True
Let o = 33619076/65177 + -68/27933. Let v = o - 516. Which is bigger: 1 or v?
1
Let c be 208/160 - 15/50. Let h = -0.806 - -438.806. Is h bigger than c?
True
Let v = -88.1 - -87.1. Which is bigger: v or 0.2378?
0.2378
Let x = -0.497 - -0.5. Let l = -0.203 + x. Let v = -35 + 41. Which is smaller: v or l?
l
Let b = -35681.479 + 35682. Which is greater: b or -4?
b
Let t = 6957.7 - 6958. Is 51 at least t?
True
Let j = 57 - 57.9. Let v = 2.9 + j. Let o be 4/(-10) + 156/15. Which is greater: o or v?
o
Let y = 3.962 + -56.962. Is -0.22 not equal to y?
True
Let z = -18 - -37. Let i(h) = 3*h**2 - 17*h - 12. Let s be i(z). Let r = 46375/62 - s. Which is greater: r or -1?
r
Let h = 74 + -66. Let d be (9/(-6) - 1) + (h - 6). Is -60 at most d?
True
Let j be 2/(-18) + 493/(-261). Let i be (j/77)/((-55)/7315). Which is greater: 3 or i?
i
Let t be (-1*1/(-62))/((-32)/(-960)). Let d = t - 136/217. Which is smaller: -1 or d?
-1
Let i = 4898 + -4861. Is i at least as big as 13?
True
Let a = -376/171 + 46/19. Suppose 2 + 2 = w. Is w greater than a?
True
Let a = -95 - -89. Let k be ((-4)/1230)/(a/(-30)). Which is greater: 1 or k?
1
Suppose -55*v + 756 = 2*p - 51*v, -2*v + 738 = 2*p. Are p and 364 non-equal?
True
Let p be (-1)/((10/(-10))/(1 - 2)). Suppose 0 = 2*n + 2*t - 4, -n + t - 3*t = -1. Let q be 225/(-4) + n/12. Are p and q equal?
False
Let d = -55 + 45. Let s(a) = a**2 - 8*a - 12. Let g be s(0). Is d less than g?
False
Let s = 35 - 47. Let l be (-3*2/s)/((-3)/(-24)). Suppose 2*w + u + 5 = 0, -w = l*w - u + 2. Is 2/275 bigger than w?
True
Suppose 19*u - 7*u - 168 = 0. Let s be (-458)/u + 24/(-84). Which is smaller: -171/5 or s?
-171/5
Suppose 0 = 2*o - 3*z + 2*z + 2, 0 = 5*o - 5*z + 15. Let k be (2 - 1065)/(-5*(31 + -5)). Let w = k + -71/10. Do w and o have the same value?
False
Let z = -4531 + 4583. Are -25 and z equal?
False
Let z = 9 + -11. Let l be ((-3)/(-3))/(3 + z). Let h = 9106/38845 + 2/2285. Is h at least l?
False
Let o = 6 - 22. Let z = -0.0665 - 15.8335. Let p = o - z. Is -6/5 not equal to p?
True
Let y(g) = 3*g + 31. Let i be y(-9). Suppose 0 = b - 6*b + 2*l + 51, 5*b = -i*l + 63. Suppose -b*d = -16*d - 130. Which is bigger: -24 or d?
-24
Let i be (-1162)/1169 + 1 + 0. Let y(b) = 3*b + 100. Let l be y(13). Suppose l = 3*q + 142. Which is greater: i or q?
i
Suppose 0 = -14*y + 5953 - 2817. Is y > 226?
False
Let l be 4 + ((-1)/328)/(((-75)/(-4146))/25). Which is 