2 - 2964*w. Let x be i(b). Which is smaller: x or -34?
-34
Suppose 6 = -6*m + 36. Suppose -m*r = -33 + 8. Suppose 4*c + 1 = r*c. Do c and 0 have the same value?
False
Let h = 54 + -50. Suppose -4*m + 46 = -2*w, h*m - 21 = -5*w + 2*w. Suppose -3*t - 3*y = m, 3*t + 5*y + 12 = -t. Which is smaller: -1.3 or t?
t
Suppose 86 = 4*k + 2*c, 4*k - 34 - 56 = 2*c. Let d = 23 - k. Is -1/173 at least as big as d?
False
Let r(w) = w**3 - 5*w**2 + 2*w + 169. Let x be r(0). Suppose -5*y - 2*u + 408 = -0*y, 2*y - x = 5*u. Which is greater: 83 or y?
83
Let h = -116 + 64. Let p = -22 - 30. Let v = p - h. Is v > 0?
False
Let o = 548 - 44. Let t = -505 + o. Is t != 270?
True
Let i(z) = -2*z - 21. Let p be 8*(2 + (-14)/4). Let k be i(p). Suppose 5*b + 7 = -2*t, -3*t + k*b = -0*b. Is t > -1?
False
Let s be ((-2)/(-31))/(12/(-12)). Let d be 6*(-3 + 21/6). Suppose 3*w - 9 = -l, 0*l - w = l - d. Is l bigger than s?
True
Let q = -4.505 + 8.556. Are -1 and q non-equal?
True
Let v(y) = 5*y**3 - y**2 + 2*y + 2. Let c be v(-1). Does -204/29 = c?
False
Let n(k) = -2*k**3 + 13*k**2 + 7*k - 1. Let g be n(7). Let c be g/2 + (-1552)/(-32). Let f = 53 - c. Which is smaller: 4 or f?
4
Suppose q + 35 = 477. Suppose 81 = -19*w + q. Which is bigger: w or 18?
w
Let v(j) = -2*j - 20. Let z = 32 + -43. Let w be v(z). Suppose -w*r + 4*a = -3*r - 8, 4 = -5*r - 2*a. Is r equal to 1/58?
False
Let i(l) = 9*l**2 - 20*l - 40. Let h be i(-2). Let v = 44 - h. Which is bigger: 44/5 or v?
44/5
Let a(p) = 3*p**2 - 297*p - 300. Let g be a(100). Is g smaller than 14/631?
True
Suppose 0 = -92*z + 95*z + 87. Suppose 171 = -71*g + 100. Which is smaller: z or g?
z
Let o = 3124 - 3904. Is o greater than or equal to -780?
True
Let u be (-1116)/217 + (-6)/(-1) + (-8194)/8449. Is -19 < u?
True
Let f = 4108.03 + -4112. Which is bigger: -1 or f?
-1
Let z be (160/(-360))/((-56)/18 + 2). Which is smaller: -30/317 or z?
-30/317
Suppose -7*j - 27*j + 34 = 0. Is 4/8249 at most as big as j?
True
Let w = -0.691 - -0.65. Let f = w - -0.241. Let g = 10 + -16. Is g at most as big as f?
True
Let p be (-4975)/796 + (1 - -6). Suppose 5*q + 4*j = -0*q - 226, 3*q = -j - 130. Is q at most p?
True
Let t be -12 + 15 - (-1)/(-1). Let h be (t - 34) + 2/(-8). Is -31 < h?
False
Let q = 118 - 119. Let b(f) be the second derivative of 4*f**3 + 3*f**2 + 2*f. Let u be b(q). Is -18 > u?
False
Let z be (-148644)/(-70) + (-2)/7 - (-216)/(-1080). Is z less than 2123?
False
Suppose -r - 783 = -4*i, -509*r - 3861 = -504*r - 2*i. Do r and -772 have different values?
True
Let p be (1 - 0) + (-460)/(-120). Suppose -d - 16 = -6*d - w, -5*d + 2*w + 28 = 0. Is d smaller than p?
True
Let t be (-3)/(-7) + (1 - (-2506296)/(-1754662)). Do -1 and t have the same value?
False
Let y = -12801/5 - -2520. Suppose -3*s = i + 29, -132 = 5*i - 4*s + 89. Which is greater: y or i?
y
Let c = -53/29 + 9013/203. Is 43 greater than c?
True
Let i(t) = -2*t - 13. Let k be i(-7). Let d(y) = 8 - 7 + k + 3*y - 6 - y**2. Let n be d(4). Is -7 at least as big as n?
True
Let k be (-1)/(-39*9/27*1/(-2)). Is k at least -157.3?
True
Suppose -260 = l + 9*l. Suppose -2*q = -r + 24 - 97, -2*q + 239 = -3*r. Let c = 57 + r. Do l and c have the same value?
True
Let o = -578612705/106 - -5458570. Let j = 4/53 - o. Which is smaller: j or 41?
j
Let o = 5116 + -5115.9. Is 719/12 at least o?
True
Let x(c) = 145*c - 2961. Let z be x(16). Which is greater: z or 8?
8
Suppose -3*k - 172*n + 176*n - 812 = 0, 3*n - 1357 = 5*k. Is -274 <= k?
True
Let s(d) = 346*d + 3. Let r be s(-3). Let m = 19659/19 + r. Let n(b) = b**2 - 277*b + 551. Let f be n(2). Is f at most m?
False
Let a = 57 - 55. Suppose -12*k + 8*k = -3*g - 132, 3*g - a*k + 138 = 0. Is g <= -49?
False
Let n(h) = -h**3 + 11*h**2 - 12*h - 64. Let r be n(9). Let v be (-26)/(-10) - 18/30. Suppose -4*o - 48 = o - 2*d, -v*o - 3*d = 4. Which is bigger: o or r?
o
Suppose 2 = -5*t + 7. Let o = -66/17 + 15427/3978. Is o > t?
False
Suppose 1 = -15*x + 7 + 9. Is x at most as big as 1/23672?
False
Let q = 46.043 - 0.443. Let s = -34.6 + q. Is s < -13?
False
Let y = -3350 + 3810. Let q(c) = 56*c + 11. Let b be q(8). Is b not equal to y?
True
Let r(w) = -w**3 + 24*w**2 + 34*w + 28. Let s be r(25). Let v = 247 - s. Let i be (1 + (-10)/(-8))*-4. Which is smaller: i or v?
i
Let x = 1 - -9. Let q = -476 - -760. Let f = -274 + q. Is f >= x?
True
Let f = 0.5689 + 0.4311. Which is bigger: 2.12 or f?
2.12
Suppose -10187*x + 10188*x - 520 = 838. Is 1357 less than x?
True
Suppose 9825 = -15*l + 30*l. Let f = 654 - l. Which is smaller: f or 1/271?
f
Let z(k) = 565*k + 5664. Let q be z(-10). Is 459/5 greater than or equal to q?
True
Let c = -4258 + 4258. Which is smaller: c or 3/139?
c
Let r(c) be the third derivative of c**4/24 - 3*c**3/2 + 3*c**2. Let p be r(12). Suppose -4*o - p*o + 21 = 0. Do 2 and o have different values?
True
Let x be (-3 + 24012/(-24))/(3/(-6)). Are 2008 and x equal?
False
Let b = -1319 + 1318. Is b at least as big as -3/7223?
False
Let l be 12/(-48) - 3238*(-1)/(-8). Let w be ((-279)/(-12))/(17/296). Let b = l + w. Is b != 0?
True
Suppose 3*d = 0, -3*w = 2*w + d. Let k = 1/3 + w. Is -20 bigger than k?
False
Let s(g) = -g**2 - 8*g + 34. Suppose 17*j - 13*j = -4*a - 36, 0 = 4*a - 2*j + 48. Let l be s(a). Which is smaller: l or 2/3?
2/3
Let x = -1 + 4. Let y be (2 + (-1 - 0))/(3 - (-247)/(-78)). Which is bigger: y or x?
x
Suppose -53 = 9*a + 19. Let o be a/(9 - 1)*0. Which is smaller: o or 1/3?
o
Let f = -30912 + 30748.27. Let s = 163 + f. Let a = s - 0.27. Is a > 11?
False
Let g = 0.1147 + 41.8853. Let i = 42 + -85. Let d = g + i. Is d at most -1.6?
False
Let a(k) = -2*k - 5. Let q be a(-4). Suppose 2*m - 1 = q. Which is smaller: m or 22/7?
m
Let g be 2/5 + (-176)/390. Let z = 3014.86 - 3015. Is g greater than z?
True
Let p(r) = -3*r + 47. Let g be p(14). Suppose 0 = -k + 3*y - 128, 0 = 12*k - 16*k - g*y - 597. Is -144 less than k?
True
Let v be 4/84 + 2/(-6). Let f = 69901 + -69874. Is f at least as big as v?
True
Suppose h - 23 = -2*n - 106, 3*h = n + 45. Suppose 28 = 2*w + 4. Let l be 129*1*(-4)/w. Is n at most as big as l?
False
Let k(y) = -336*y + 5363. Let g be k(14). Is 1976/3 > g?
False
Let l(v) = v**2 - 4*v - 21. Let k be l(7). Let n = -271688/79 - -3439. Let w = -229/3476 - n. Is w not equal to k?
True
Suppose 17*f - 4 + 21 = 0. Let y = -37 - -37. Is y greater than f?
True
Let c be ((-60)/(-114))/5*(-311)/(-60). Let u = -14/57 + c. Is -0.7 less than u?
True
Let j = -4850.3 + 4957. Which is bigger: -4 or j?
j
Suppose -5*s = 3*n - 155, 0 = -4*s + 3*n + 116 - 19. Suppose -2*t + 4*q + 350 = 0, 5*q - 40 = 4*t - 746. Suppose 0 = -8*d + 37 + t. Is d less than s?
True
Suppose -4*i + 18 - 2 = 0, 0 = -2*m + 2*i + 88. Suppose -2*v - 228 = 4*h, -h + 5*h - 4*v = -204. Let x = h + 102. Do x and m have different values?
True
Suppose 3*t + 17 = -4*v - 0*t, 6 = -2*t. Let b(m) = m - 1. Let z(k) = 5*k - 12. Let f(y) = -6*b(y) + z(y). Let h be f(1). Are h and v unequal?
True
Suppose -5*r - 4*m - 2098 = 0, -2*m + 2056 = -14*r + 9*r. Which is smaller: -423 or r?
-423
Let d = -229/2 - -112. Let c be 201/(-5) - (2 - (-12)/(-3)). Let r = c + 1729/45. Is r at least d?
True
Let s = -184 + 188. Suppose 132 = 5*t + p, 0 = -s*t + p - 0*p + 102. Which is bigger: -0.1 or t?
t
Let z = -10343.9 + 10344. Are z and 1488 nonequal?
True
Let u = -39 - -59. Suppose -2*w + 0*w - u = 0. Let x be -1*2 - 9 - (3 - 6). Is w at most x?
True
Suppose 0 = 43*w - 38*w. Suppose w*u = -u. Suppose 0 = 5*n - u*n - 3*y + 29, 0 = 4*y + 8. Which is smaller: n or -8?
-8
Let w(q) = 4*q + 1. Let r be w(11). Let g = -44 + 45. Is g > r?
False
Let k be ((-2)/10 - (-24513)/15) + 4. Let b be (5/(-3))/(39/k). Is -69 not equal to b?
True
Let v = -20263 - -18909. Is -1354 at least v?
True
Suppose 54*p + 888 = 51*p. Which is smaller: -291 or p?
p
Let k(v) = -2*v**2 - 57*v + 53. Let q be k(-29). Suppose 2*d + 5 = -4*a + 35, -35 = -4*a - d. Let y = a + 14. Do y and q have different values?
False
Let z be (-12)/(-28) + (-108)/(-21)*-81. Let q = 416 + z. Let d be (-1 + -1)*(-6)/(-4). Which is smaller: d or q?
d
Suppose -5*b = 2842 + 1728. Is b >= -916?
True
Let u be -15 + 187/(-17) + 493. Which is smaller: u or -3/2?
-3/2
Suppose 2*u + 3*u + 4*v - 116 = 0, 0 = 3*u + 4*v - 68. Let n be (u/(-48))/((-