se -3*a - 2574 = -6*u, 2*u = -7*a + 4*a + 842. Is u equal to 1?
False
Suppose -10*i - 125 = -785. Let h = -19 - i. Let f be (68/h)/((-2)/(-5)). Is -17/5 not equal to f?
True
Let d(v) = 8 + 262*v - 259*v + 3. Let t be d(-34). Is t less than or equal to -91?
True
Let i be (-13 - 1) + (150 - 136). Which is smaller: i or 76/107?
i
Let b = -27865/108 - -1047/4. Let y be 34/(-9) - 2 - (3 + -5). Let v = y + b. Which is smaller: -1 or v?
-1
Let d = 2136 + -2351. Which is greater: -3/10 or d?
-3/10
Let f(t) = -t**2 + 4. Let m be f(2). Let d be (16 - m)*(99/(-12))/(-3). Is d less than 43?
False
Let o(d) = -5*d**2 - 5*d + 2. Let b be o(1). Let v(r) = 8*r + 23. Let z be v(b). Does -42 = z?
False
Let z be -4 - (-240)/45 - 75/27. Which is smaller: z or 6?
z
Let z = 0.022 + 43.978. Let j = z - 44.28. Let u = 2.72 - j. Which is smaller: 5 or u?
u
Let p = 33 + -29. Let i = 4 - p. Let q = -93 - -1020/11. Which is smaller: i or q?
q
Let n(l) = 4*l - 167. Let d be n(43). Let k be 6 - 56/(d + 3). Which is smaller: 1/10 or k?
k
Let f = 0.04878 + -0.44888. Which is smaller: f or 1/2?
f
Let v(a) = a**3 + 4*a**2 - 12*a + 3. Let z be v(-6). Suppose 3*t - 1 = 5. Is t bigger than z?
False
Suppose -s + 39 = -4*s. Let h be (13 + s)/(3/(-9)*-3). Is h at least as big as 1/9?
False
Let t(j) = -j**3 - 5*j**2 - 75*j - 207. Let o be t(-3). Is 22/163 at most o?
False
Let s(l) = -5*l**2 - 13*l + 12. Let o be s(1). Let k be ((-12)/(-68))/(-3)*o/18. Which is greater: 0 or k?
k
Let l be 10/(-3)*((-1413)/15 - 10). Let d = -349 + l. Let r = 0.8 - 0.5. Is d not equal to r?
True
Let u be 1 + -4 + 2 + 10. Suppose 5*m + 12 = 5*o + 27, m - 4*o = u. Is m >= 0.3?
True
Suppose 2*l = 10, 2*y - 4*l - 4 = -2*y. Suppose y = 3*j, 5*j + 14 = -2*i + 2*j. Is i greater than -11?
True
Let a = 180 + -176. Suppose 0*n + 2*n + v = -36, -n + 5*v = -a. Which is smaller: n or -15?
n
Let n = 1291 + -1407.05. Let s = 116 + n. Is s >= -0.8?
True
Let y = -708 + 740. Suppose y*t - 76 = -556. Is -12 at least as big as t?
True
Suppose 0 = -2*x + 8 - 30. Let j(r) = 2*r**3 - 12*r**2 + 11*r - 18. Let n be j(6). Suppose -758*h = -764*h - n. Are h and x unequal?
True
Suppose -330 = 4*y + y. Let h be ((-132)/(-14))/(1*8/(-56)). Let g = h - y. Is -3/4 < g?
True
Let u be (-896)/192*(-36)/(-14). Let d be (-1584)/(-77) - u/(-21). Is -12 at least as big as d?
False
Let w = 22216 + -21893. Which is smaller: 2583/8 or w?
2583/8
Suppose 19*c = 16*c + 9. Let f be c + 1 + (-6)/(4 + -7). Suppose -44 = -f*l - 80. Which is greater: l or -26/5?
-26/5
Let x = -104.1605 - -0.0605. Let l = x + 105.1. Let n = 1.4 - -7.6. Which is smaller: l or n?
l
Let i be (-30)/(-105) + (-2)/7. Suppose i = -9*j + 145 + 215. Let r = 30 - j. Does -11 = r?
False
Let c be 68 + -68 - 2/30. Let r(u) = u**3 - 10*u**2 + 9*u + 3. Let h be r(9). Suppose h*z - 12 = 4*a, 3*a + 9 = -3*z - 2*z. Is z <= c?
False
Let m(n) = 5*n**2 - 4157*n - 33277. Let q be m(-8). Suppose -u + 598 = u. Is u > q?
False
Let h = -2780.47 - -2781. Is -0.05 bigger than h?
False
Let s = -6570 - -6518. Which is bigger: -2.89 or s?
-2.89
Let a be (14/5 - 3) + (-26)/(-8). Are a and 4 equal?
False
Let o = -6979/59924040 + 4/12381. Which is greater: -1 or o?
o
Let w = 16.148 + -16.308. Let t = 0.1 + 0. Which is smaller: w or t?
w
Let j be (43/4)/(6/24). Let k(z) = j + 36 - 80 - z - z**2. Let s be k(0). Which is greater: s or 1/61?
1/61
Let m be -1 + (-2898)/222 - -14. Which is smaller: 1.33 or m?
m
Let a = 12/2291 + 2343609/16037. Which is smaller: 145 or a?
145
Suppose -149 = 2*t + 303. Let h = t + 165. Which is bigger: h or -60?
-60
Suppose 56969 = -3*c - 51816 + 33458. Is c greater than -25109?
False
Let q be (15222/(-590))/((-2)/130). Which is smaller: 1676 or q?
1676
Suppose -7*v = 163 - 408. Suppose -v = 46*x + 11. Is 4/39 less than or equal to x?
False
Let d be (-1 + 12/9)/(350/(-472200)). Are d and -450 equal?
False
Suppose 14*i = -5488 - 6958. Let s = i + 22222/25. Are 0 and s nonequal?
True
Let q = -1714 - -65133/38. Which is greater: q or -50?
q
Let n = 159556/23 + -6936. Is n at most as big as -1?
False
Let y = -823 + 829. Let w be y - 11/((-88)/312). Which is smaller: 30 or w?
30
Suppose -32362 = -17*j - 4*p, -4*p + 2*p = -3*j + 5692. Is j smaller than 3?
False
Suppose -41*b - 1262 = -c - 36*b, -1264 = -c + 3*b. Which is greater: c or 1266?
c
Let w be (-94)/(-8) - (-2)/8. Let l be (24 - (59 - 31)) + 2 + 10. Which is greater: l or w?
w
Let h be 1/12 - (-117782)/(-1325400). Let v = 16243/3785850 + h. Is v < 0?
True
Let d = -655 + 652. Let y be (1456/7)/(-4) - d. Which is smaller: y or -46?
y
Suppose -4*d + 26 = -5*g, 3*d - 6*g = -2*g + 19. Suppose 5*s - d*s + 12 = 0. Let q be ((-1)/133)/(2*s/(-12)). Which is greater: q or 0?
q
Let n = 0.43 + -0.42. Is 190 < n?
False
Suppose -2*y + 0 + 9 = 3*s, -5*y + 3*s + 12 = 0. Which is smaller: 5 or y?
y
Let x be (-24)/(-30) + 522/10. Let a = x + -45. Let b be a/3*231/44. Which is greater: b or 25/2?
b
Let n = -20473 - -20473. Let q be 1/7*7/(-60). Which is smaller: q or n?
q
Let o be 12768/(-266) - ((-4)/10 - 24/(-10)). Do o and -49 have the same value?
False
Let m be (1725/(-3))/(-5) - 1*5. Suppose -30 = v + 4*u + m, -6 = -2*u. Is v < -152?
False
Let v = 0.075 + 0.012. Let l = v - -5.513. Let s = -4.4 - l. Which is bigger: 4 or s?
4
Let r = 0.0777 - -525.9223. Let g = r + -539.59. Let b = -0.59 - g. Is 0 less than b?
True
Let p be -1 - -5 - 6/2 - 1. Suppose 0*q + 7 = -t + q, 2*t + 2*q + 10 = p. Let i = 8 - 14. Do t and i have the same value?
True
Let x(s) = 7*s**2 + 727*s - 103. Let c be x(-104). Which is smaller: c or 6401?
c
Suppose 24*d + 5*d + 29 = 0. Let h = d - -71. Which is greater: h or 68?
h
Let h = -7311 - -650681/89. Let w = 0.14 + -0.05. Are h and w equal?
False
Suppose -30*r = -11*r - 50*r + 8711. Is r at most as big as 1?
False
Let g be (-3799)/2 + (-24)/(-16). Let k = 129067/68 + g. Which is smaller: -1 or k?
-1
Let i = 9 + -8.9. Let k = 41 - 30. Let q = 20 + k. Which is smaller: i or q?
i
Let h = -72.4051 - -1.4051. Is h smaller than 20?
True
Let s = 11 + -21. Let g = -55 - 56. Let n be (g/(-9) - -2)*6/(-8). Do s and n have different values?
True
Let j = 163082 - 163087.2. Let z be (-2)/4 - (-22)/20. Do z and j have the same value?
False
Let t(w) = -8*w - 13. Let m be t(-9). Let j = 82 - m. Suppose -p + 3*v + 0*v = -j, 0 = -3*p + 3*v + 69. Is 25 at most p?
False
Let k = 29429 - 29428.5. Does k = -8.7?
False
Let k = -29 + 20. Let y be (0 - (-6)/585)/((-6)/k). Let w = y - -12/65. Which is bigger: w or 1?
1
Let h = -85441.8 + 85442. Let o = -19 + 0. Which is smaller: o or h?
o
Let p = -37.27 - -26.6. Let s = 109 + -98. Let g = s + p. Which is bigger: g or 2?
2
Suppose 1461 = -3*c - 3*l, -3*c + 14*l - 1459 = 15*l. Is c not equal to -485?
True
Let u = -16 - -21. Suppose -3 = u*q - 18. Let t be (1 + q/5)*(-16 - -11). Does -17/2 = t?
False
Let t = 7433 - 7162. Which is smaller: 2/17 or t?
2/17
Suppose 6*n + 2*n = 56. Let a be 2186/n*(-3)/2214. Let v = 2/369 - a. Which is greater: v or 0?
v
Let s = 16922 + -16935. Which is smaller: -2/91 or s?
s
Suppose -3*n + 50 = 4*m, 2*m = -13 + 5. Let c(w) = 2*w**3 - w**2 - 8*w - 1. Let q be c(3). Which is bigger: q or n?
n
Let x = 201 + -107. Let w be 3/(-3) - (-8 + (-81)/(-12)). Which is bigger: w or x?
x
Let c be 2 - -7 - (-2889)/(-297). Suppose 0 = 3*b - l - 2, -6 = -2*b - 3*l + 10. Suppose -5*w - b = -3*q + 2, -4*q + 2*w - 4 = 0. Is q != c?
True
Let c = 60 + 46. Suppose 11 = 13*l - c. Let a be (-120)/l*(124/20 - 5). Is a equal to -15?
False
Let l = -1607 + 1628. Are -1/12 and l non-equal?
True
Let p = -681.7 - -611.7. Which is greater: p or -2?
-2
Let z be (-1089)/12*(-40)/6 - -4. Let f be (-212)/z - 6*(-1)/14. Is f smaller than 0?
False
Let m(w) = -w**3 + 46*w**2 - 43*w - 90. Let p be m(45). Suppose -29*l - 3*l - 544 = p. Which is smaller: l or -19?
-19
Let f be (-8)/(-1) - (5 + -6 + 9). Is 50/67 > f?
True
Suppose 4*o + 461 = 5*q, 1403*q - 468 = 1398*q - 3*o. Suppose 0 = -z - 0*z - 4, -5*z + 168 = 2*b. Which is bigger: q or b?
b
Let y = 10583665 - 49690306534/4695. Let v = y - 1/313. Which is smaller: 0 or v?
0
Let j = 4995 - 4995. Which is smaller: j or -1/376?
-1/376
Let v be ((-3)/1)/21 - 3897/(-6111). Which is greater: v or 0?
v
Suppose 5*r - 8631 = 572*m - 569*m, 32 = 4*m. Which is smal