 - (-4)/26. Is h at least 1436?
False
Let i be (-13152)/20 + -3 - (-6)/10. Let u be i/18 - (-3)/(-9) - -3. Is u smaller than -31?
True
Suppose 136 = -4*b + t, 3*b - 28*t + 101 = -27*t. Which is smaller: -2/45 or b?
b
Let n = -12062 - -12062. Is n <= -4/4093?
False
Let w = -254.0353 - -0.0353. Let n = w - -254.1. Is 411 greater than n?
True
Let o = 1525.8 + -1526. Is o < -936?
False
Let f(k) = k**2 - 15*k - 16. Let t be f(16). Suppose 0 = -p - i - t*i, 3*p = i - 12. Suppose -4*q + 15 = -9*q. Is q less than p?
False
Let v be (103*1)/(30/4 - (83 - 76)). Which is bigger: v or -1/9?
v
Let a be 8 - ((-1)/1 - 3 - 90). Is 102 < a?
False
Let n(v) = -28 - 29 - 112*v + 115*v. Let s(w) = 9*w - 172. Let y(k) = 8*n(k) - 3*s(k). Let r be y(20). Is r bigger than -3/38?
True
Let m be 8/(-12)*(12/(-183186))/(8/36). Which is bigger: 0 or m?
m
Suppose -3*t + 4*o - 21 = 0, 9 = 2*t - 3*o + 23. Let g be ((-6)/t)/(-3) - 782/(-42). Which is bigger: g or 19?
19
Let a be 2/(-1) - 19 - -2. Let u = -637 + 647. Let t = -7 - u. Is a bigger than t?
False
Let o be (-8)/12 - (2170320/(-465075) + 4). Which is smaller: o or -1?
-1
Let l(x) = -422*x**3 + 2*x**2 + 23*x + 22. Let v be l(-1). Let a = v - 418. Are a and -8 non-equal?
True
Let u(g) = -36*g**2 - g - 3. Let h be u(-1). Suppose 0 = -41*b - 49*b - 4050. Which is smaller: b or h?
b
Let o = 3988 + -3987.929. Which is bigger: 1/4 or o?
1/4
Let v = -0.0667 + -405.9333. Let n = -402 - v. Is 39 > n?
True
Let t = -22327 + 45100541/2020. Are t and 0 equal?
False
Let m = -94.018 - 0.782. Let d = m - -95. Is d != -23?
True
Let v = -45.1 + 46.165. Let f = 1.06 - v. Which is greater: f or -1?
f
Let k = 14 + -19. Let y(a) = a + 6. Let d be y(k). Is d less than or equal to -41?
False
Suppose b + 4*b - 2*z = -1758, -2*z - 1782 = 5*b. Does -9 = b?
False
Let h = 9837 - 6599. Which is smaller: 3240 or h?
h
Let p be (12/(-5))/((-324)/(-4320)). Which is bigger: p or -30?
-30
Suppose -r = -5*o - 1230, 2*r + 4*o - o = 2395. Is r <= 1208?
True
Let x(a) = -2*a**2 - 108*a + 293. Let v be x(-63). Is v <= -841?
True
Let q = 7445 - 6997. Which is smaller: 442 or q?
442
Let v(a) = -52*a - 25. Let w be v(7). Let i = -1545/4 - w. Let j = i + -12. Which is smaller: j or -9?
j
Let g = -3.7 + 1. Let y = g - -2.72. Let q = 7.8647 - -0.1353. Is y > q?
False
Suppose -5863 - 12933 = 106*t - 3532. Is -1592/11 not equal to t?
True
Let u = 2396 - 2397. Which is smaller: -2/3787 or u?
u
Let m be (-308 - -357)*(-8)/14. Which is greater: m or -190/7?
-190/7
Let p(g) = 57*g**3 - 3*g**2 + 2. Let s be p(1). Suppose -316 = 10*d - s. Is d less than -34?
False
Let i be -150 + (-5 - -4)/(-3 - -2). Let c = i + 149. Is -3/4 bigger than c?
False
Let z = 5246 - 5246.076. Let c = -2.649 - 1.127. Let m = c - z. Is 0 > m?
True
Suppose -3301 = -140*v + 141*v - 5*c, 4*v = -3*c - 13089. Is v >= -3279?
True
Let p = 711289/706 + -2015/2. Is p != 1?
True
Let b be ((-62)/45)/(2/(-10)). Suppose -2*z - 4*h + 28 + 70 = 0, 0 = 2*z - 2*h - 128. Suppose -12*i + z = -13. Which is smaller: b or i?
i
Let n = -2 + 1. Let u be (-2407)/1885 + (2/(-10) - (-58)/145). Is n less than u?
False
Suppose -o + 75 = -3*h + 2*h, -h - 5 = 0. Let f = -38 - 4. Let i = 28 - f. Is i > o?
False
Let a = 43 + -43. Suppose 3*g + g - l - 14 = a, 5*l - 14 = -g. Suppose -g*b + 408 = 2*b. Are 68 and b nonequal?
False
Let x = -482 - -450.7. Let r = 22.3 + x. Let k be (-2)/6*(-6)/(-8). Which is smaller: r or k?
r
Let w be ((-4)/(-3))/2*1602/(-16554). Are w and -6.6 equal?
False
Let w be 5/(-10)*(-48)/(-6). Suppose 3*y - 5 = 2*y. Suppose y*t + 5 = -5*r - 20, 1 = -r. Is w at least t?
True
Suppose 81 = -0*j + 3*j. Let w be ((-6)/j + 1270/45)/1. Is w != 28?
False
Let m = 20410 + -775643/38. Which is bigger: -2 or m?
m
Let t = 846.8 - 847.3. Does t = 134?
False
Let s = -3/8875 + -1828187/186375. Which is greater: -9 or s?
-9
Suppose 17 = 2*r - 149. Let y = 2381/3 + -710. Which is greater: r or y?
y
Let y be 92/322 + 320/(-42). Which is bigger: y or -12/19?
-12/19
Let g = 24327 + -23153. Which is bigger: 1176 or g?
1176
Suppose -94 = 4*w + 5*i + 2684, 4*w - 4*i + 2760 = 0. Is -692 not equal to w?
False
Let q = -1336 - -100196/75. Let m(x) = 30*x - 179. Suppose -3*z - d = -15, 2*z = z + 4*d + 18. Let b be m(z). Which is smaller: b or q?
q
Let c = -5.53 - 0.47. Let z = c - 2. Let y = z - -8.048. Is y at least -1?
True
Suppose -10*m + 23*m = 0. Let u be 156/858 - 3072/16654. Does m = u?
False
Suppose 0 = 1391*q - 1390*q + 7496. Which is smaller: q or -7495?
q
Suppose -11*h + 7*h - o = -17, 5*h + 5*o - 10 = 0. Suppose 3*l = -3*z - 129, -2*z + h*l - 113 = -13. Which is smaller: z or -46?
-46
Let u(f) = 2*f**2 + 3*f + 75. Let x(k) = -2*k**2 - 31*k + 8. Let t be x(-16). Let j be u(t). Which is greater: j or 181?
181
Let u = 25.6 - 24.6. Let l = 12.68 - 13. Let j = -0.21 + l. Which is smaller: u or j?
j
Let o be -1 - 93/(-15) - 6. Let t(m) = -20*m + 2. Let v be t(-1). Suppose -v + 4 = 2*i - 4*r, -4*i + 4 = 2*r. Which is bigger: i or o?
o
Let r = 128/15 + -901/105. Suppose 11*m - 7 = 4*m. Which is smaller: r or m?
r
Suppose -605592 = -4*i - 5*b, 151401 = -i + 2*i + 2*b. Let m = i - 2571860/17. Let v = -107 + m. Which is greater: v or -6?
v
Let s = 16 - 14. Suppose -s*i - 4 = 0, -2*j + 2*i - 2 = j. Let m be (-4)/80*-5 + 85/(-80). Which is bigger: j or m?
m
Let t(w) = w**3 + 14*w**2 + 13*w + 13. Suppose 2*o + 5 = d - 21, 0 = -5*d. Let v be t(o). Suppose v - 1 = -3*n. Which is smaller: n or -2?
n
Suppose 0 = 2*t - 22. Let y(l) = 12*l - 24*l - 5 + t*l. Let r be y(-5). Which is smaller: r or -3/23?
-3/23
Suppose 0 = n + 2*y - 1608 - 1277, 0 = 4*n + 2*y - 11534. Which is greater: n or 2884?
2884
Let t = 8339 - 5735. Is 2607 bigger than t?
True
Let x = -134 - -1744/13. Let z = 55/104 - x. Is 0 smaller than z?
True
Suppose -3637 = -19*x + 1189. Is 280 > x?
True
Let s be ((-63)/36)/((-11)/(-5720)). Is s smaller than -909?
True
Let t(o) = o**3 + 42*o**2 + 251*o + 66. Let h be t(-35). Which is smaller: h or -138?
h
Let s = -21671/14091 - -184/183. Let b = s + 9/11. Which is greater: b or 1/88?
b
Let y be (-15)/9 - (-906)/9. Let l = -110 + y. Is -10 >= l?
True
Suppose -a - 3*i + 12 = 3*a, a - 20 = -5*i. Suppose a = -2*t - y - 11 + 9, 0 = -4*t + y + 8. Is 10 > t?
True
Suppose 0 = -2*x - 4*c + 4, 7*c - 12*c = x + 1. Let l be (2/x)/(320/16512). Which is smaller: 2/3 or l?
2/3
Suppose -3*t + f - 598 = 0, -2 = f - 3. Let n = 202 + t. Let r be ((-2 + 1)/1)/1. Which is smaller: r or n?
r
Suppose 6*i - 116 = 31*i + 33*i. Suppose 0 = w + x + 1, 0*w + 5*w - 5*x + 45 = 0. Which is bigger: w or i?
i
Let n = 23 - -22. Suppose -n*t = -21*t + 24*t. Which is smaller: t or -13.6?
-13.6
Let b = -1/11934 + -6605/16122834. Which is smaller: -1 or b?
-1
Let z = 13.879 - 13.997. Does z = 0.115?
False
Let t = -11153 - -100415/9. Is t less than -1/21?
False
Let j = 15/1393 + 1348/4179. Is 27/76 less than j?
False
Suppose 6*t + 198 = -72. Let p be (5/3)/(9/(t/(-20))). Let u be (-2)/4*(-3 - -1). Which is smaller: p or u?
p
Let l = 2898 + -2866. Is l equal to 6?
False
Let t = 425.568 - 426. Let q = 1.432 + t. Which is greater: q or 51?
51
Let w(c) = -11945*c**2 + 2*c. Let s be w(-2). Let p be (2/(-8))/(3978/s) - 3. Which is greater: -1 or p?
p
Suppose 0 = -5*q - p - 2, 7*q + 5*p + 10 = 2*q. Let m be (-2)/(-8) + 2904/(-11360). Does q = m?
False
Let k be ((-7)/(-84)*-6)/((-2)/4). Which is smaller: k or 1/579?
1/579
Let x(y) = -2*y**2. Let j be x(-1). Let g be (-3 - (-51)/12)*(-15 - (-1245)/75). Is g less than j?
False
Let d = -12051520/707 + 17046. Let k = d - -13/505. Suppose -2*j = 2*j. Is k greater than j?
True
Let r = -1148 + 1147.8. Let z = -2 - -15. Let b = z - 34. Which is bigger: r or b?
r
Let t(s) = -2*s**2 - 3*s - 36. Let z be t(-11). Let q = z - -257. Suppose 3*i + 85 - 14 = 5*g, 3*i = 2*g - 32. Which is smaller: q or g?
q
Let r(t) = -39*t - 189. Let h be r(-12). Suppose -j - h = -v, -3*j + j - 10 = 0. Which is smaller: v or 273?
273
Let q(m) = 31*m + 7. Let b = -194 - -187. Let w be q(b). Is -1 <= w?
False
Suppose 38*q - 6048 = 41756. Are 1258 and q equal?
True
Let w = 144397 - 1869693/13. Let u = w + -574. Which is smaller: 1 or u?
u
Suppose -8*t + 14 = -18. Suppose 20 = 4*x + 4*q, 31 - 6 = -t*x + 5*q. Which is smaller: -30/101 or x?
-30/101
Suppose 3555 = -96