t f = 884 + -1300. Let p = -336 - f. Is p greater than or equal to 1/4?
True
Suppose -326 = -4*w + 2*n + 124, 4*n = -5*w + 582. Suppose -w = 2*m - 86. Let r(c) = -c**3 - 15*c**2 - 10*c - 8. Let q be r(m). Which is greater: -63 or q?
-63
Let n(b) = -b**3 - 3*b + 2. Let j be n(0). Let m be j/(-3)*171/(-114). Let r be 58/(-59) + 0 + 1. Which is smaller: m or r?
r
Suppose -51 + 15 = -2*r. Let z = r - 19. Let k be (2 - z) + -1 + (0 - 3). Which is bigger: k or -2?
k
Let u be (15 + (-9571)/697)/(-14). Which is greater: u or -1?
u
Let y = 141448/5 - 28175. Which is greater: y or 116?
116
Suppose 6*o = -x + o + 4, 0 = 3*x + 3*o. Let r be ((21/12)/1)/(x/8). Let j be -2 + 4 - (-28)/(-2). Is r smaller than j?
True
Let u(d) = -d**2 + d. Let z be u(6). Let m = -20 - z. Let w be ((-150)/(-15))/((-14)/m). Which is smaller: -7 or w?
w
Let t = 25.867 + 0.133. Let f = t + -26.07. Which is smaller: f or 0.1?
f
Let a = 573 + -300. Let n = a + -273.2. Which is smaller: n or 32?
n
Let p = -54 - -164. Suppose -p*b + 103*b - 1435 = 0. Which is smaller: -206 or b?
-206
Let b be (0 + 2/(-68 + 2))*(-174)/(-116). Let a = 3 - 3. Is b equal to a?
False
Let m = -8634 - -8635. Let s = 409375 - 13512586/33. Let i = s - -292/3. Which is smaller: m or i?
i
Suppose 0 = 50*o + 341*o - 827747. Is 2119 not equal to o?
True
Let u(y) = 3*y**2 + 3*y + 16. Let m be u(-6). Is m at least 102?
True
Let g = -11 - -10.862. Let u = g + -0.302. Let v = u + -1.56. Is 4 != v?
True
Suppose 601 = 458*w + 465*w - 322*w. Is w less than or equal to -1/3506?
False
Suppose -5*r + 91 = 2*t, t - 4 = 3*t. Suppose -20*h + r*h = -19. Suppose 11 = l - 3*s - 17, 0 = 4*l - 5*s - 91. Are l and h unequal?
False
Let o be 6/1*(8 - 12)*(-368)/384. Let p(i) = -1 - i + 2 + 22*i. Let t be p(1). Which is bigger: o or t?
o
Let c = 29 + -28. Let h be c - 2 - (-12)/18. Let a = 1493 - 7463/5. Which is greater: h or a?
a
Suppose 0 = 5*w - 2*u + 33, 19 = -w + 4*u - 2. Let a be (w - 138/(-15))/((-3)/(-15)). Suppose 0*t = 2*t - 40. Which is smaller: a or t?
t
Let m = 287 + -255. Let k be ((-104)/m)/(2/(-24)). Which is smaller: k or 36?
36
Let a = 127 + -184.1. Let g = a + 61. Let o = g - 4. Is o > 1?
False
Let d = 596653/3318 + -187/474. Which is smaller: d or 179?
179
Suppose -12*s + 2*v = -7*s + 402, -336 = 4*s + 2*v. Let g(n) = n**3 - 6*n**2 - 18*n + 18. Let l be g(8). Is l not equal to s?
True
Let k = -3.69 - 14.61. Let t = -65.7 + k. Let x = 75 + t. Is x greater than or equal to -1?
False
Let c = 111 - 114.16. Let y = c - -1.07. Which is greater: -1 or y?
-1
Suppose -3*v = 4*b - 50, -3*v = -4 - 2. Suppose 5*k - 25 = 0, -q - 35 = -b*k + 8*k. Which is greater: -19 or q?
-19
Let o(u) = -97*u - 2495. Let z be o(21). Which is bigger: z or -4529?
-4529
Let k = -112 - -225/2. Let d = 1536.016 - 1508. Let v = d + -0.016. Which is greater: k or v?
v
Let t be ((-189)/42 - (0 + -5))*20. Suppose 0 = t*f - 3*f + 7. Are f and 2/127 unequal?
True
Let u(j) = 2*j**3 + 12*j**2 - j + 25. Let z be u(-6). Let h be 0/4 - (1 + -35). Is h at most as big as z?
False
Let p be (252/5)/((-252)/80 - -3). Let g be (3/((-9)/38))/(56/p). Let u = -8 - g. Is u greater than -83?
False
Let d be (18*11 - -6) + -6. Let n = d + -112. Is n bigger than 86?
False
Let f be (-1599)/(-273) - 12/14. Let g be f/1910*10/(-5). Which is bigger: g or 1?
1
Let b = 2965 + -2964. Which is bigger: -6/305 or b?
b
Let v be (-1)/((-2 - -1)*-1). Let t = 228/263 - 16717/30508. Let q = t - 3/464. Which is smaller: q or v?
v
Let z = 11279.9 + -11280. Let m = 0.06 + -0.247. Which is smaller: m or z?
m
Let l(m) = 2*m**3 - 6*m**2 + 5*m + 1. Let z be l(3). Let n = -24 + z. Let q be 2/((-10)/125*5). Which is smaller: n or q?
n
Let m(w) = 3*w**2 - 151*w + 460. Let o be m(3). Which is greater: 42 or o?
42
Let k(n) = -n**2 - 2*n + 2. Let a be k(0). Let c be ((-4952)/(-14) - 2)/(-472). Let o = 2/413 - c. Which is bigger: o or a?
a
Let j = 0.006 - 20.006. Let l = j - -22. Is l > 1.5?
True
Let s be (888/(-30))/(-4) - (-3)/5. Suppose -u + 5*d + 1 + 1 = 0, 2 = -d. Let b be u + s + -5 - -12. Do 7 and b have different values?
False
Suppose -4*z = -3*z + 5*m - 14, 0 = 5*m. Let g = -215 + z. Let a be (g/99 + 2)/((-1)/3). Which is smaller: -0.3 or a?
-0.3
Suppose 0 = -3*m - 4*t + 730 + 10022, 2*m - 7161 = -5*t. Is 3588 < m?
False
Suppose -3*m + 6*m + 36 = 0. Let q be 1/(1*3/m). Let w be (-1)/1*(q - -4). Which is bigger: w or -2/23?
w
Let n(b) = -99*b + 2878. Let m be n(33). Do m and -0.04 have the same value?
False
Suppose 5*y - 5*t = 0, 4*y + 0*y - 25 = -t. Suppose y*z = -0*u + u - 5, 25 = 3*z + 5*u. Let c be -3 + (21/10 - 0). Which is bigger: c or z?
z
Let u = 2/161117 + 5902737/322234. Let p = -266/11 - u. Which is smaller: p or -44?
-44
Let p be -1*(3 + 1) - 422762/(-63916). Let x = p - 72/29. Is x at most as big as -1?
False
Let b be 4*(10 + (-720)/50)/((-8)/(-35)). Is 2/175 at most as big as b?
False
Let b be (-21)/12 + 53631/30660. Which is smaller: b or 0?
b
Let n be -2 - (6/4 - 66/12). Let r be (-20)/8*n*204/15. Do -2/5 and r have different values?
True
Suppose -3*u - u - 3*j + 1385 = 0, 3*j + 1711 = 5*u. Is 336 at most u?
True
Let n = -10953 - -11679. Is n less than or equal to 726?
True
Let t be (-156 + 158)/(15/14 - 1). Suppose 4*x + k = 7*x - 84, -x = -k - t. Does x = 26?
False
Let y = 2.1059 - 216.0459. Let n = y + 213. Which is smaller: -0.3 or n?
n
Let i = -49105 - -48659. Let z = 891 - 1338. Is i at most z?
False
Let q be -1 - (0 - (3 - 2)). Let p = 71/2502 - -1/2502. Is q equal to p?
False
Suppose 68*a - 41*a = -8478 + 108. Does -310 = a?
True
Let r(v) = -2*v**2 - 3*v. Let g be r(0). Let u(z) = 5*z + 9. Let y be u(g). Suppose -w + 5*s = y, -4*s = -5*w + w - 4. Is w less than -1/13?
False
Let k = -74.098 - 3.862. Let n = k + 0.07. Let o = n + 78. Are -2/3 and o nonequal?
True
Let y = 101 + -11. Let x = y - 88. Which is smaller: x or 17/2?
x
Let g = -21.624 + 0.544. Let v = -21.6 - g. Which is greater: 2/11 or v?
2/11
Let h be -1 + 16/20*5. Suppose -4*c = 3*n - c - 21, h*n = 4*c. Suppose -y - 5*t - 8 = -n*t, -3*y + 3*t = 30. Which is smaller: -12 or y?
-12
Let l(k) = k**2 + 50*k - 389. Let h be l(-57). Let p be (-4)/((-16)/(-9) - 2). Suppose 18 = x - 4*i, 2*x + 0*x + i - p = 0. Is h bigger than x?
False
Suppose 41*z = 42*z + 165. Let k = -52 - z. Suppose 41 = -c + 5*o, -4*c + 0*o = -3*o + k. Is -26 at most c?
True
Let l be ((-1)/(-1))/(387/99 + -4). Suppose 5*a = 90 - 25. Let i = a + -24. Is l <= i?
True
Let p = 15603 - 15619. Are p and -346 equal?
False
Let n(a) = a + 3. Let k(y) = 4*y + 11. Let j(z) = 6*k(z) - 22*n(z). Let f be j(-7). Suppose 23*u + g - 32 = 25*u, g = 2. Do f and u have the same value?
False
Let a be (((-6)/36)/((-13)/39))/(2/(-352)). Which is smaller: a or -86?
a
Let o = -10399 - -10067. Is -324 less than o?
False
Let d be 3/12 - 10/8. Let a(w) = -w + 4. Let v be a(-11). Let c be v/6*(-1)/4 + 1. Which is greater: d or c?
c
Let u = -12/1139 - 144533/11390. Which is greater: -12 or u?
-12
Suppose 0*v = 2*v - 42. Let u(a) = -a**3 - 30*a**2 + 63*a + 17. Let r be u(-32). Suppose -4*k - 5*d = -0*k - r, -3*d + 55 = 4*k. Is v less than k?
False
Let o = 8.9 + -9.3. Which is bigger: 3.88 or o?
3.88
Let g = 8497 - 8434. Is 1/43 < g?
True
Suppose -h + 11 = -u, h - 3*u = u + 17. Suppose -j = -h*j - 176. Suppose -17 = 5*y + 93. Are y and j nonequal?
False
Let r(h) = -4*h**2 + 19*h - 58. Let z be r(4). Let t = z - -55. Is 17/2 not equal to t?
True
Let y = -256 + 264. Suppose 105 = -y*k - 311. Let n(m) = -9*m + 1. Let v be n(6). Is k less than or equal to v?
False
Let v be (249/(-61) + 4)*3/((-9)/(-30)). Which is greater: v or 0.1?
0.1
Let n be (-30)/55 + (-25975)/275. Suppose 5*q + 304 = -171. Is q at most n?
True
Suppose 11180 = 501*k - 527*k. Do -429 and k have different values?
True
Suppose -4*l - 2*m + 8 = 0, 5*m + 16 = -l + 27. Which is smaller: l or -2/7303?
-2/7303
Let p = -32970 - -27301. Which is greater: -5670 or p?
p
Let q = -0.3817 + -28.6183. Is -96 > q?
False
Let r be (-2)/(1/((-5)/(-12))). Suppose 3*s = 3748*h - 3747*h + 6, -8 = -4*s. Which is greater: r or h?
h
Let k(m) = -m**2 - 27*m + 70. Let z be k(-29). Suppose 12*c + z*c = 912. Which is greater: c or 39?
39
Let w = -512 + 504. Let r be 5 - (w/(-1) - 4). Which is smaller: 1/24 or r?
1/24
Let b(i) = -26*i 