 = c + -4. Suppose -59 = 5*h + t. Is -20 smaller than h?
False
Suppose 4*o - 368 = 4*w, 368 = 4*o + 70*w - 72*w. Which is smaller: 106 or o?
o
Let y be (24/9)/(11 + -12 + -13). Is -1 greater than or equal to y?
False
Let q = 241525 - 74631145/309. Is q at most as big as -1?
False
Suppose 11*q = 6*q + 20. Let b be 9/q + -2*(-5)/(-40). Suppose -9*y = -b + 2. Are y and 3/14 equal?
False
Let t(l) = 4*l**2 + 33*l + 13. Let i be t(-8). Suppose -23*q = -1819 + 1865. Does q = i?
False
Suppose 1006*j = 1038*j. Do j and -8/825 have the same value?
False
Let m = -3750633 + 3803141533/1014. Let o = -3/338 + m. Let u = 0.06 + -0.36. Which is smaller: o or u?
o
Let n be (-9608)/(-8)*7/(-42)*6. Which is smaller: -1202 or n?
-1202
Let v(g) = -163*g - 943. Let q be v(-10). Which is smaller: 686 or q?
686
Suppose 4*i + 0*l = -4*l + 496, -3*i + l + 356 = 0. Let j be ((-9)/40)/(i/90656). Let b = 170 + j. Which is bigger: 1 or b?
1
Suppose 2*k + 9*k = 437 + 11542. Which is smaller: k or 1088?
1088
Let d = 1167/7 - 167. Let t = 10.6 - -405.4. Let z = t + -421. Do d and z have the same value?
False
Let v be ((-1088)/8)/8 + -5. Let g be v - (-1 + 16)/(-3). Do g and -11 have different values?
True
Let z be -7*2/(-6) + (-149272)/1128. Which is smaller: z or -1162/9?
z
Let w(b) = 19 + 33 - 76 - 3*b + 0*b. Let t be (-3 + -1)*2/1. Let q be w(t). Which is smaller: 2/21 or q?
q
Let v(o) = -122*o**2 + 19*o + 6. Let j be v(-5). Is -3139 bigger than j?
False
Let f = -3127 + 3127. Are 23 and f equal?
False
Let u be -3*(-48)/(12 - 8). Suppose 0 = -u*p + p - 350. Let w(i) = -i**2 - 10. Let v be w(0). Is p at least v?
True
Suppose 5*f - 25 = -5*z, 5*f + 92 = 112. Which is smaller: z or 1/1592?
1/1592
Let w = 76 + -44. Let r(n) = -2*n**3 + 27*n**2 + 27*n - 489. Let l be r(13). Does w = l?
False
Let o = 1211 - 2036. Let r = o - -820. Do 22 and r have different values?
True
Suppose -60 = p + 2*o, -o + 346 = -4*p + 52. Let j = -41 - 31. Is j bigger than p?
False
Suppose -147*f + 123 = -63 + 39. Let h(u) = -u**3 - u**2 - u + 1. Let p be h(4). Let a = -667/8 - p. Is f greater than a?
True
Let v = -54 + -73. Let j = 131.36 + -131.26. Is j not equal to v?
True
Let o = 30956 - 27504. Which is greater: -3 or o?
o
Let u = -11830 - -11831. Is 2/2885 > u?
False
Let f = 3544.143 - 3544.3. Let u = 1.1 + -0.1. Is f at least as big as u?
False
Let w = 586 + -436. Suppose 81*s - 79*s + w = 0. Which is bigger: s or -73?
-73
Let c = 1721 - 2239. Which is smaller: c or -517?
c
Let t(n) = n**3 + 10*n**2 - 22*n + 28. Let g be t(-12). Suppose -g*c - 4*b = 0, -5 = -2*c - 3*b - 4. Is 1/64 >= c?
True
Suppose 2*k + 3*v + 390 = k, 0 = -2*k + 2*v - 796. Suppose -4*h = 0, 124 = 2*t + 3*h + 916. Is k less than t?
False
Suppose 7*s + 81180 = -5*s. Let i be 1/3 - (-2321)/s. Which is greater: i or 0?
0
Let z(h) = -44*h + 537. Let f be z(39). Are -1179 and f unequal?
False
Suppose 0 = 3*h + 347 + 220. Let z = h - -170. Is -21 greater than or equal to z?
False
Let z = 29879 + -29871. Let h(r) = r**2 + 3*r - 2. Suppose -4*m - 5*o = 2, 3*m - 4*m + 5*o = -12. Let n be h(m). Is n < z?
False
Let o(g) = 2*g - 23. Let w = -41 - -52. Let u be o(w). Let v = -1/166 - 287/7470. Which is smaller: u or v?
u
Suppose -s + 1 + 0 = 0. Let h = 3608 + -3601. Which is smaller: s or h?
s
Let b(i) = 3*i**3 - 12*i + 12*i**3 - 5*i - 16*i**3 - 21*i**2 + 32. Let c be b(-20). Let f = c - -11. Is -15 >= f?
True
Let r(i) = i**3 + 18*i**2 - 20*i - 19. Let h be ((-68)/(-20) - 3)*30. Let a be (-58)/3 + 4/h. Let w be r(a). Is 2 at least w?
True
Let s = -19493 - -19492.61. Is s less than 0.5?
True
Let o be (-95364)/(-23840) - ((-5 - -1) + 8). Which is greater: 1 or o?
1
Let d = 8 + -8. Let g be d + (1 - (-885)/(-20)). Let z = -43 - g. Is z less than or equal to 1?
True
Let z(a) = 2*a**3 + 5*a**2 + 2*a. Let b be z(-3). Let y be (-2 - -2 - -3)/(-7*(-19)/(-798)). Which is greater: b or y?
b
Let u = -94 + 408.6. Let b = -312 + u. Which is bigger: -2/9 or b?
b
Let u(o) = -11*o**3 + o**2 - 21*o - 22. Let j(b) = 76*b**2 - 76*b**2 - 7*b - 4*b**3 - 7. Let g(h) = 8*j(h) - 3*u(h). Let k be g(-3). Is -64 at most as big as k?
False
Let z be 1 - 1 - (-97016)/431145. Let s = 740/11 - 48102/715. Let r = s + z. Is r less than 0.1?
False
Suppose -2213 - 827 = 8*q. Which is greater: q or -386?
q
Let k(l) = 24*l**3 + 2*l**2. Let j = -13 + 14. Let i be k(j). Let u = i + -10. Is 17 not equal to u?
True
Let k = -2 - -2. Suppose -3*t = -k*t. Suppose 5*m + 105 = -5*f, 47*f - 49*f = -16*m - 264. Is t smaller than m?
False
Let h be 1254/(-8) + 1401/1868. Are h and -112 equal?
False
Let v = -484.25 - 54.59. Let d = 539 + v. Is -4 >= d?
False
Let u(a) = a**3 - 7*a**2 - 11*a. Let d be u(8). Let y be d/192 - (-15)/(-8). Suppose -4*w = -2*h - 32, 19 = -2*h + 3*h + 5*w. Is y at least h?
True
Let v be 2 - (-1 - 18*5). Suppose -171*p + 167*p = -4*k - 360, -4*p + 5*k + 358 = 0. Let u = p - v. Is u less than or equal to -1/33?
True
Let g = 12 - 12. Let o(n) = n**2 + 5. Let v be o(g). Suppose -2*y - 2*l + 4*l + 6 = 0, y + 3*l - 19 = 0. Is y <= v?
False
Let b(q) = -109 + 213*q - 202*q + 1. Let r be b(17). Is 80 greater than or equal to r?
True
Let d(x) = -299*x + 65. Let c be d(0). Are 855/13 and c equal?
False
Let n = -18951 - -18954. Is -0.942 at least n?
False
Let p = 5719 - 5725. Does -18 = p?
False
Let u = 3/16424 + -5912859/1198952. Is u < -4?
True
Let v = -7459 - -29835/4. Which is smaller: v or -2859?
-2859
Suppose 4*o - 171*l + 172*l + 189 = 0, 19*o + 4*l = -900. Which is bigger: -24 or o?
-24
Let l = -102 - -84. Let p be l/(-24) - 10/(-8). Suppose 5*t + 179 = -q, -p*t - 69 = -0*t + 3*q. Is -37 <= t?
True
Let y be (-5 - 198/(-48))*4366. Let k = 3784 + y. Which is greater: k or -37?
k
Let x = 598 + 871. Is x greater than or equal to 1471?
False
Let t = -16.74 - -10.74. Let h = 16/65 + 407/195. Which is bigger: h or t?
h
Let i be 0*2/8*-2. Suppose -2*f = -10, -z - 2*f + i + 7 = 0. Is z at least -8/5?
False
Let s = -5011 - -7821. Is 2809 greater than s?
False
Let v(a) = -43*a**3 + 3*a**2 - 6*a - 6. Let q be v(-2). Let j = 364 - q. Are 4/7 and j equal?
False
Let q = -1.3603 + 1.4603. Are 407.3 and q equal?
False
Suppose -3*j + 3*f = -13 - 17, 0 = -5*j - 3*f + 34. Is j bigger than -279?
True
Let h = 28521 + -2253154/79. Which is smaller: h or -1?
-1
Suppose q + 3 = 0, 5*t + 0*q + q = 677. Suppose 2*j = -40*n + 41*n + 275, 0 = j + 4*n - 133. Do j and t have the same value?
False
Suppose t - 27 = -8*t. Let d = t - 4. Is d greater than or equal to -18/35?
False
Let t be (-6758)/(-2) + -3 + 2. Suppose -6366 - t = -6*k. Let u = -21102/13 + k. Is 2 at least as big as u?
True
Let g(t) be the second derivative of -3*t**4/4 + 10*t**3/3 + t**2/2 - 20*t. Let l be g(4). Let k be (6/7)/((-3)/(l/14)). Is 0 less than k?
True
Suppose -8*m - 148466 = 51790. Let o be (96/m)/(18/21). Is 0 not equal to o?
True
Suppose -34 + 38 = t. Suppose 3*b - t*p = -6, 15 = -4*b + 3*b - 3*p. Let h = -29/5 - b. Which is bigger: -1 or h?
h
Let a be (-6)/(-11) - (-33100623)/(-35343). Let u = a - -936. Is 1 smaller than u?
False
Suppose 3*h - 20777 = -4*s + 18187, 5*h - 64935 = -5*s. Let m be (13/78)/((-4)/h). Which is smaller: m or -542?
-542
Suppose -1471*h = -1442*h + 69281. Which is smaller: -2392 or h?
-2392
Suppose -6*n = -n - 3*z - 16, 0 = 3*n - z - 12. Suppose 278 = 3*d - 7*d - n*v, -4*d - 298 = -5*v. Do 2 and d have different values?
True
Let n(o) = -134*o - 954. Let a be n(-7). Which is greater: a or 32?
32
Let n = 17 + -11. Let f be (1 + n)*(-1 + -2). Suppose 5*k = -11*k - 336. Is f at least k?
True
Let n(w) = -w**2 + 8*w + 2. Let y be n(4). Suppose 0 = -2*q + y + 48. Suppose -638*f - 980 + 4649 = -17385. Are f and q equal?
True
Let v = 16635 - 16624. Let x be (6/(-9))/((-4)/(-6)). Which is smaller: v or x?
x
Let t(a) = 1375*a - 4133. Let z be t(3). Let o(c) = -2*c**3 + c**2 + c - 2. Let y be o(2). Let u = y - -3. Is u at most z?
True
Let g = -18197/7 - -62537/35. Let a = g + 813. Is a greater than -141?
True
Let i(o) = -o**3 + o**2 - 10*o + 3. Let x be i(0). Suppose 2*w - 13 = x*b - 50, -5*w + 35 = b. Let f be (-4)/14 - (-1)/(-21). Which is bigger: b or f?
b
Let m(y) = -y**2 + 67*y - 748. Let r be m(56). Which is bigger: r or -54?
-54
Let k = 1036013/818 + -8/409. Is k at most 1267?
True
Let h be (2/3)/1 