et c = 986 + 324. Is 1314 < c?
False
Let m(h) = -h + 5. Suppose 9 + 16 = 5*p. Let k be m(p). Suppose -3*r - r = k. Which is bigger: r or -10/7?
r
Let o(h) = -h + 1. Let b be o(-9). Let j be (-112)/10*(-25)/b. Suppose 2*r - 9*r = -j. Which is greater: -10 or r?
r
Suppose -13*j = -10*j + 4*j + 2443. Which is smaller: -348 or j?
j
Suppose -17*i + 20 = -16*i. Suppose 7*l - i = 43. Is l < -4?
False
Let h = -54811/28 - -1954. Let m = h - -9/7. Suppose -10 = -5*q - 2*u - 2*u, 3*q = -4*u + 14. Is m bigger than q?
False
Suppose 0*q - 1 = q. Let l = 397 + -109. Suppose 0 = 8*t - 24*t + l. Is t greater than q?
True
Suppose -5*f - 34 = r + 68, 5*f = -15. Suppose 3*b = -315 + 120. Let j = b - r. Is j less than 25?
True
Let n = 166.01 + -169.85. Which is smaller: 20 or n?
n
Suppose 0 = -5*k + h - 620, -h - 328 = 5*k + 302. Let p(c) = -75*c + 124. Let t be p(0). Let m = k + t. Is 4/43 <= m?
False
Let i = -2.881 - -3.381. Is i equal to -290?
False
Suppose -t = -4 + 1. Suppose 0 + t = -3*o. Let u = -1622651/12 + 135221. Which is greater: o or u?
u
Suppose -796 = 5*f + 3814. Which is greater: f or -924?
f
Suppose 3*z - 2*v = 143, 3*v = 4*z + v - 190. Suppose -3*g = 8 - z. Let n = g - 10. Which is smaller: 11/4 or n?
11/4
Let o = -400 + 121. Let x = o + 147. Is x at least as big as -1/3?
False
Let u = 5537.11 - 5537. Which is smaller: 29/3 or u?
u
Let j(x) = -416*x + 420. Let c be j(1). Is -67 < c?
True
Suppose -7*i + 39*i + 495 = 23*i. Which is greater: -47 or i?
-47
Let u be (-60)/33 + 16/(-88). Let a be (-1 - u) + (41 + -2 - 3). Which is greater: a or 22?
a
Let p = 637 + -703. Let l be (p/(-15))/((-9)/(540/(-8))). Let a = -80 + 112. Which is greater: a or l?
l
Suppose 0 = 6*d - 173 + 35. Let z = 209/9 - d. Is z at least as big as 3?
False
Let i(f) = f - 19. Let y(r) = 3*r - 56. Let m(q) = 11*i(q) - 4*y(q). Let p be m(9). Let l be 96/153 + (-2)/p. Which is bigger: 1 or l?
1
Suppose 53*c - 63*c = 5960. Let j = c + 625. Let n = 1 + 29. Is j greater than n?
False
Suppose -3*a + 0*a + 15 = 0, 0 = -2*v + 5*a - 13. Suppose 0 = 2*b - 0 - v. Let t be (44/12 - 5)*b*-2. Is 10 greater than t?
True
Let j(r) = 168*r + 9. Suppose -z + 4*c - 17 = -0*z, c = 4*z + 8. Let m be j(z). Is -160 at least m?
False
Let k = 1.28 + -0.28. Let i be 5 - 3 - -43 - -3. Let b be ((42/7)/i)/((-5)/12). Which is bigger: b or k?
k
Let l = 91 - 55. Suppose 0 = 2*q - 4*k - 60, 0 = -10*q + 11*q - 3*k - 27. Is l less than or equal to q?
True
Suppose -12*y + 11*y + 52 = 0. Let j be (39/y)/((-153)/8). Which is smaller: j or 1?
j
Let g be (-43)/130*3 - -1. Let r = -494 - -494. Is r greater than or equal to g?
False
Suppose 0 = -h - c - 34, -1330*h + 1328*h - 56 = -2*c. Is h != -148/5?
True
Let h = 82 - 80. Let q be ((-1)/3*h)/((-24)/(-36)). Which is greater: -1/2 or q?
-1/2
Let p = -1.2 - -0.2. Let b(l) = -8*l**3 + 850*l**2 - 213*l - 322. Let y be b(106). Is p at least as big as y?
True
Let p(h) = -25*h**2 - 9*h - 7. Let k be p(-1). Let y be (-3 - (-7)/3)/(1/3). Let t be (-24 - y) + (-8 - -6). Which is smaller: k or t?
t
Suppose 3*j - 3*k + 323 = -166, -2*j - 291 = 5*k. Let s = j - -141. Which is greater: s or -19?
s
Let b be (-2)/7 + (-11580)/42. Suppose 39*z = 64*z + 6900. Is z less than b?
False
Suppose -m + w = -6, 3*m + 2*m + 3*w - 14 = 0. Let o(l) = l**2 + 10*l - 8. Let d be o(-11). Suppose u - m*u = d*u. Which is bigger: u or -6/11?
u
Suppose 387*h = 368*h - 19. Which is smaller: h or -10/157?
h
Let l(g) = -44*g - 102. Let w(q) = 45*q + 101. Let a(n) = 7*l(n) + 6*w(n). Let o be a(-3). Let x be (3/36)/((-2)/(-4)). Which is greater: x or o?
o
Suppose -9*d + 8*d + 4*a = 46, 0 = 3*a. Let o be 21/63*3/d. Is o smaller than 1?
True
Let i = -26.77 - -26.85. Which is smaller: -50.2 or i?
-50.2
Let p be (21 - 17)*2*-1. Let a be ((-13)/(-6))/((-14)/56). Let b = a - 0. Which is bigger: p or b?
p
Let h be (-896)/352 + (-12)/(-22). Suppose -3*a = -5*k - 53 + 10, k + 5 = 0. Let q be (a/(-4))/(18/(-16)). Which is smaller: h or q?
h
Let z(m) = 2*m**2 + m + 56. Let y be z(0). Let g be y/(-196) + (125/(-28) - -1). Suppose 0 = 5*f + 18 + 2. Is f equal to g?
False
Suppose -886 = 7*d - 921. Suppose 3*r - 14 = -d*w, 0*w = 2*w + 4*r - 14. Which is greater: w or 1/26?
w
Suppose -217*g - 103*g = 0. Is -7/187 at least g?
False
Suppose -k + 34 = -5*g, 11*k + 5*g = 7*k + 36. Let o be 70/245*k/(-222). Which is greater: 3 or o?
3
Let o = 1100624183601/7676 - 143385120. Let n = o - 3/404. Let u = 0.2 - 0.4. Which is smaller: n or u?
u
Let w = -4804.94 - -4850. Let x = 108 + -63. Let v = w - x. Is v < 3?
True
Let x(t) = -t**2 + 7*t - 17. Let j be x(10). Let v(r) = -r**2 - 51*r - 21. Let h be v(j). Is 168 > h?
True
Suppose -4*z + 457 = 421. Suppose -11*i - 5 = -5*p - z*i, 5*i = -5*p + 5. Which is bigger: -3/2 or p?
p
Let a = -0.5192 - -0.4692. Is -43 <= a?
True
Let d = -370 - -641. Suppose 0 = 11*w + 51 - d. Let k be (-2 + (-96)/9)*30/w. Is -17 at most k?
False
Let r(k) = -k + 11. Let s be r(4). Let b be (-20)/(-30)*3/s. Let a = 307 - 309. Is b less than or equal to a?
False
Suppose 44*a = 52*a + 104. Is a at most as big as -20?
False
Let d be (-4 - -2)/((-7)/(105/(-10))). Let c be ((-85)/d*-1)/((-38)/114). Which is smaller: 86 or c?
c
Let h = -0.184 + -79.816. Let u = -112 - h. Let j = u - -31. Is -5 not equal to j?
True
Let k(m) = 23 - 6*m**2 - 21 - m**2 + 11*m - m**2 + m**3. Let a be k(6). Let w(z) = -8*z - 6. Let u be w(a). Which is greater: u or 0.1?
u
Let q be ((-18117)/(-891))/((-2)/6). Which is smaller: -16 or q?
q
Let z(g) = -3*g**3 - 8*g**2 - 7*g - 64. Let l(u) = -5*u**3 - 17*u**2 - 13*u - 126. Let i(r) = 4*l(r) - 7*z(r). Let h be i(12). Is h at most -92?
True
Let o = 0.2161 + -36.2161. Let f = -42.96 - 0.04. Let v = o - f. Which is smaller: v or -1?
-1
Suppose 35*f + y = 31*f - 1, 4*f - 5*y - 29 = 0. Are 6/5221 and f unequal?
True
Let s be (2 - (-12)/3)*9/33. Suppose g - 5 = -5*t, -50*t + 4*g + 22 = -49*t. Is t at most as big as s?
False
Suppose 1715121 = -187*q + 505044. Do -6471 and q have the same value?
True
Let i(o) = 12*o**2 - 3*o - 2. Let v be i(5). Suppose 78 = -501*d + 507*d. Suppose v - 101 = d*g. Is g greater than 14?
False
Let r be (-3306)/228*((-888)/447 + 2). Is r >= 1?
False
Suppose 0 = 3*i + 25*b - 30*b + 313, 0 = -4*i + 3*b - 432. Is -109 bigger than i?
True
Let v be (-167216)/11704 - (-4)/38. Is -15 at least v?
False
Let t(y) = -y**3 + 13*y**2 - 8*y + 14. Let k be t(18). Let c = 103243/59 + k. Which is smaller: 1 or c?
c
Suppose 9*x + 5*x + 2232 = -1478. Is x at most as big as -265?
True
Let u = -513 - -511.644. Let q = u - -0.356. Which is smaller: q or -76?
-76
Let h be -8 + 9/9*(32 - 3). Let v = 2014/595 - 59/17. Let y = v + -1/5. Which is greater: h or y?
h
Let s = 1 - 1. Suppose -1368 = -40*z - 288. Let c be z/132*40/15. Which is smaller: s or c?
s
Let w be 4/14 + (-312700)/(-455). Suppose 3*g = -3*k - 2052, -g - k - 690 = -2*k. Let f = w + g. Which is bigger: f or 0?
f
Let a = 2924 + -10331. Which is smaller: -7406 or a?
a
Let a(y) = -y - 6. Let k be a(-6). Is 6/1405 at most as big as k?
False
Let c be -2 - (-1404)/324*1*3. Let b = -366 + 2267/6. Is b greater than c?
True
Let w(k) = -k + 1. Let z be w(10). Let a be (1*-4)/(-1)*z/(-6). Let c be ((-4)/a)/(3 - 7/3). Does 2/9 = c?
False
Let s be 2*(-14 - -2)/25356. Which is smaller: 1 or s?
s
Suppose -5*u - 158 = 172. Let y be (402/12)/((-1)/2). Let k = u - y. Do k and 2/157 have the same value?
False
Let v be (-4)/3 - (-2960)/(-111). Let m be (5 - (-148)/(-28))/(18/v). Which is smaller: m or -1?
-1
Let c = -333 - -332.851. Let m = c - -0.049. Which is greater: m or -3/35?
-3/35
Suppose -19*l = 449736 - 144026. Is -16090 bigger than l?
False
Let s = 8277 - 8270. Let k be 27/156 - 6/(-8). Is k < s?
True
Suppose -s + 5 = 0, -2*j + 7*j + 15 = 3*s. Let m = 48.706 + -48.3. Let a = 0.41 - m. Is a bigger than j?
True
Suppose a - 14 = -23. Let m be a/(-33)*(30/(-63))/(-5). Is -1 at most m?
True
Let b = -55 + 5. Let i = b + 58. Let t be (-910)/(-1976) + (-2)/i. Do 1 and t have different values?
True
Suppose 5*x = 15*x - 250. Let i(c) = c**2 - 27*c + 49. Let j be i(x). Let t be (-16)/(-488) - (0 + 0). Which is greater: j or t?
t
Let b(z) = 27*z**2 - z + 123. Let t be b(-4). Which is bigger: t or 557?
t
Let d(m) = -45*m + 1174. Let r be d(25). Which is s