Let t = 0.19 - 0.79. Which is bigger: t or q?
q
Let k = 715/14392 - 3/56. Which is smaller: k or 0?
k
Let o = -0.6113 + 0.1113. Are -9 and o nonequal?
True
Let a = 796163/21 + -37903. Let l = a + -16379/1722. Does -1 = l?
False
Let r be (32/12)/(-48 + 44). Is r bigger than -1884?
True
Let k be 1 + 2 + 0 + -7. Suppose -x = -7*f + 3*f - 19, 0 = -4*x + 2*f + 34. Suppose 0 = -3*c + 2*u - 2, -2*c - u + 8 = -x*c. Are c and k unequal?
True
Let h be ((-12)/3 - -4)/(-2). Let p(c) = -c - 3. Let k be p(h). Let x be 3/(4 - (11 - k)). Is 1 at most as big as x?
False
Let y be 2/14 + 208/14. Suppose 21*x = y*x. Which is smaller: x or 3/97?
x
Let u = -10 + 6. Let m be u - (-4 + 4)/1. Let g be 3/(-15) - m/(-5). Does -3 = g?
False
Let m(z) = -z**3 + 4*z**2 - z + 3. Let l(a) = -a**3 + 6*a**2 + 7*a + 4. Let h be l(7). Let w be m(h). Is 1/7 greater than or equal to w?
True
Let b be (-21)/(-66) + (-2)/(-11). Let t = -5/6 - b. Is -2 less than or equal to t?
True
Let c = 1495.3 - 1565. Let z = 70 + c. Which is bigger: 2/13 or z?
z
Let o = -7 - 11. Let g be (-27)/6*4/1. Is o at least as big as g?
True
Let k = -2955769/10370 - 53/610. Let s = 285 + k. Which is greater: s or 1?
1
Suppose 488*q = 490*q - 6. Is 38 greater than q?
True
Let g be 12/(-35)*31724/(-88) + -1. Is g at most as big as 122?
False
Let u = -317 - -341. Are u and 118/5 non-equal?
True
Suppose 0 = 6*r - 2*r. Is r less than 3/4?
True
Let t = -17 - -21. Suppose 0 = 3*i + t*i - 35. Suppose i*w - 8*w + 3 = 0. Which is smaller: w or 1/18?
1/18
Let b = -601 - -598. Is -4 > b?
False
Let z = -455 - -489.9. Let r = -35 + z. Which is bigger: r or 13?
13
Let d = -18606 + 55613336/2989. Which is greater: 1 or d?
1
Let f(l) = -3*l**2 - 8*l - 42. Let o be f(0). Which is smaller: -36 or o?
o
Let u(b) = -3*b + 1. Let c be (-2)/(-4) - 2/(-4). Let y be u(c). Suppose -15123 = -6*w - 15129. Is y at most as big as w?
True
Suppose -4*x - 24*s + 11 = -27*s, -3*s = 2*x + 17. Is x less than or equal to -16/11?
False
Let s(x) = -4*x**3 - x**2 + 2*x + 2. Let n(m) = -m**3 + 9*m**2 + 2*m - 19. Let d be n(9). Let w be s(d). Do w and 7 have the same value?
False
Let m = 1 + -1. Suppose 5*u = -m*u - p + 10, -2*u - 4*p = -4. Suppose 2 = u*o + 4. Which is smaller: o or -2/11?
o
Let y = 1/700 + -201/700. Which is greater: y or 1.553?
1.553
Suppose -c = 2 - 5. Let v = -5 + c. Let p be (-1)/(-1) + 6 + (-336)/36. Is p > v?
False
Let x = 32 + -51. Is x greater than -13?
False
Let k be -9 + -109*(-3)/36. Suppose -5*w + 7 = 2*h, w + 3 = h + 3*h. Is h smaller than k?
False
Let j be 2*3/(-2) + 1. Let i be 1 + j - (-21)/7. Suppose -4*t + i*t = -18. Is t equal to 10?
False
Let r = 4517/21 + -215. Suppose 2*y + 3*w - 6 = -y, 2*y + 5*w = 10. Is r >= y?
True
Let s be (1 + (-1)/5)/22. Let q = -4167 + 4168. Which is smaller: s or q?
s
Suppose -10*b = -253 - 2117. Let f be 5*(b/(-45) + 5). Is f < 0?
True
Let n = 427 + -287. Suppose n = c + 3*c. Is 34 less than c?
True
Let f = 1512 - 1005. Let l = f + -11659/23. Is l less than 0?
False
Let b = -24.403 + -0.197. Which is smaller: 1 or b?
b
Let f = 9/8 + -5/8. Let i = -24 + 20. Is f < i?
False
Let m = 14 - 17. Let a(n) = -n. Let h be a(0). Let s be m/((-9)/(-6)) - h. Is s equal to -3?
False
Let i = 537.69 - 538. Which is smaller: i or 6?
i
Let z = -27 - -24. Let j = -3 + 4. Let i be z/27*(-3)/j. Is i bigger than -0.2?
True
Let w = 66 - 58. Which is greater: -7 or w?
w
Let f be 2/(8/(-6)) + 15/(-2). Let v be (f + 9)/(2*1). Which is bigger: v or 2/13?
2/13
Suppose -5*r = 2*j + 250, 4*r + 136 + 64 = -4*j. Let v = -2 + 3. Is r greater than or equal to v?
False
Suppose -12*i - 108 - 36 = 0. Are -11 and i non-equal?
True
Let u be (10 - -252)*1 + -2. Is 261 >= u?
True
Let r(s) = -s**2 + s + 6. Let l be r(0). Let p be 155/30 - 2/4. Which is smaller: l or p?
p
Let x(v) = -4*v + 16. Let h be x(7). Let s = h + 12. Let r be (4 + s - 2) + -3. Which is greater: 1/5 or r?
1/5
Let m = 319/1244 - 2/311. Which is smaller: -35 or m?
-35
Let z(p) = p**3 - 8*p**2 + 12*p. Let a be z(6). Let g be (a - -2 - (-26)/8)*-4. Are g and -22 equal?
False
Suppose 170 = 3*p - 16. Which is greater: p or 1/2?
p
Let d = 396844/51 + -7781. Let g = d - -725/357. Let r = -79 - -82. Which is smaller: g or r?
g
Let m = 25 + -14. Let r(d) = -22*d - 32. Let z be r(-2). Which is greater: z or m?
z
Let r = -93 + 91. Let m = -0.8 + -37.2. Is r < m?
False
Let l = -2.9 + 3. Let p = 0.08 + 0.22. Let i = p - l. Which is smaller: i or 2/19?
2/19
Let h be (-15)/90*20/5. Is 202 < h?
False
Let n = -548/819 - -2/819. Is n != -0.224?
True
Let h(v) = v**2 - 5*v + 13. Let g be h(4). Let j = g + -9. Is j < -1/8?
False
Let d = -0.0145 + -1.7855. Which is smaller: d or -6?
-6
Let h = 2.46 + -2.56. Which is bigger: 14.9 or h?
14.9
Let m = 579 - 620.05. Let y = m - -41. Which is greater: -6/11 or y?
y
Let j(r) = r**3 + 3*r**2 + r + 4. Let z be j(-3). Let o be -2 - (261/(-51) - -3). Which is bigger: o or z?
z
Let u(n) = 5*n**2 - 65*n + 9. Let w be u(12). Is -47 less than or equal to w?
False
Suppose 23*y - 14*y - 207 = 0. Does 23 = y?
True
Suppose -6*u + 737 = 4325. Let b = -614790 + 6769286/11. Let s = u + b. Is s greater than or equal to 3?
False
Suppose -27*d + 2*d = 3250. Which is bigger: d or 3?
3
Suppose 0*d = 3*d - 9. Suppose 0 = -0*k + k - z - 15, -29 = -d*k - 5*z. Which is greater: 12 or k?
k
Suppose 5*b = -17 - 3. Let m be (b/6)/((-16)/(-552)). Let x = m - -23. Which is bigger: -3/22 or x?
x
Let b = -325 - -189. Do b and -137 have different values?
True
Let i be 4/(-3*(-1 + 5/(-15))). Is i equal to 2/83?
False
Let q(m) = m**3 - 14*m**2 + 19*m - 18. Let j be q(13). Which is smaller: j or 66?
j
Suppose 40*y - 37*y - 5*a + 848 = 0, 301 = -y - 2*a. Which is bigger: -292 or y?
y
Suppose 2*c = -4*k + 38, -3*k - 2*k - 38 = -2*c. Let r be 1/2*(-2)/c. Is 0 equal to r?
False
Suppose 32*z + 4 = -60. Is z less than -0.025?
True
Let o be (-1 - 1)*(-6)/3. Suppose -150 = -o*i + i. Let q be 2 + 5/(i/(-4)). Do q and 2 have the same value?
False
Suppose y - 6*y = -10. Suppose -5*n = 2*h - 30, 0 = -3*h - 2*h - y*n + 54. Suppose 0 = 3*j + 2*j - h. Which is smaller: -3/8 or j?
-3/8
Suppose 0 = 16*t - 118 + 1014. Is -76 less than or equal to t?
True
Let p = 1.1 + -0.64. Let s = -0.38 + p. Which is bigger: s or -0.4?
s
Let t(l) = -3*l + 20. Let f be t(6). Which is smaller: f or 12/7?
12/7
Let w be (21 - 21)/(1 + 5). Are 52 and w non-equal?
True
Let w(b) = b**3 + 8*b**2 + 4*b - 9. Let a be w(-7). Suppose -14*x = -a*x + 2. Let f be 1/(-4) - (-31)/(-36). Which is bigger: x or f?
x
Let m(c) = -4*c**2 + c. Let q be m(-2). Let x be (50/(-3) - 0) + 5/(-15). Is q greater than x?
False
Let r = -427247/172 - -2484. Is r greater than or equal to 1?
False
Let j = -92/7 - -13. Let y = -639 + 639. Are j and y nonequal?
True
Let v = 19 + -12. Let c = 2.2 - 2. Which is smaller: v or c?
c
Let n = -23 + 21. Let j be 12/n*10/(-50). Which is smaller: j or 1?
1
Let x = -200 - -280. Let n = 79 - x. Let a(l) = l**2 + 3. Let o be a(-3). Which is greater: n or o?
o
Let z = -4 + 8. Let p = -3.6 + 3.93. Let x = -0.23 + p. Are z and x unequal?
True
Let c = -28.8 + -2.2. Let r = c + 32. Is r smaller than -6/7?
False
Let b be (272/464)/(5/4). Let v = b + -2/29. Suppose 0*w - 5*w = -5. Which is bigger: w or v?
w
Suppose -48*s + 47*s = -7. Let b = -17 - 0. Let q = b + 24. Is s equal to q?
True
Let f = 68 - 68. Which is smaller: -16/47 or f?
-16/47
Let k = -2/339 + 343/678. Let i = -7039 + 35429/5. Let t = i + -2783/60. Is k not equal to t?
True
Let f = 21 + -30. Let v(d) = -d**2 - 7*d + 3. Let a be v(f). Let p be a/(-9) - 5/(-15). Are p and 2/3 unequal?
True
Let l = -276 - -259. Which is greater: -129/8 or l?
-129/8
Let i = -3/71 - -89/426. Let m = 152 - 239. Let o = -695/8 - m. Which is bigger: i or o?
i
Let c be -8 - -9 - -24 - 3. Let n be 1*(2 + 0 + 21). Which is greater: c or n?
n
Let a be 408/210 - (-4)/(-2). Is -1 smaller than a?
True
Let w be 12 + -7 - (-12)/(-2). Which is greater: 3/278 or w?
3/278
Let z be 13 + (0 - 8/(-4)). Let d be 3 + 5/(z/(-9)). Suppose d = 4*y + y. Which is bigger: y or 2/25?
2/25
Let z(p) = 6*p - 17. Let x be z(5). Is 12 at most as big as x?
True
Let q = 737 + -638. Is q less than or equal to 2/11?
False
Let a = -4849/3 - -1616. Which is smaller: a or -0.0879?
a
Let f(o) = o -