s smaller: 0.24 or i?
i
Suppose -4*v = 3*l + 82, -v + 59 = -l + 4*v. Suppose -3*a + 4*c = 197, 3*a + 4*c + 181 = -0*c. Let n = a - l. Is -30 greater than or equal to n?
False
Let j = -4.6 + 0.6. Which is greater: -0.06 or j?
-0.06
Let t = 3917/27 - 145. Suppose 10*u - 5*u = -3*j + 13, 3*u - 9 = -3*j. Suppose q + 3*q - 5 = -f, -5*q + u = -3*f. Which is smaller: t or q?
t
Let z = -3 - 6. Let c = 3 + z. Let h be 44/80 - c/(-8). Which is bigger: h or 0.4?
0.4
Let x = 48 + -30. Let p be (-4)/x + 4/18. Is -1/20 < p?
True
Let g be (4/16)/((-1)/4). Which is smaller: -1/231 or g?
g
Let y = 11 + -13.1. Let r = -2 - y. Which is smaller: -17 or r?
-17
Let c be 12/222 - (-29076)/111. Is 263 at most c?
False
Let k = -707/2673 - 2/243. Let m(p) = -2*p**2 - 14*p - 14. Let d be m(-6). Let z be 0/(-2) - (-2)/d. Which is bigger: k or z?
k
Let z = 1609/924 - -2/231. Which is bigger: 2 or z?
2
Let l be (-1)/(0 + 9) + 121/(-693). Are -13 and l nonequal?
True
Let v = 1.07 + -0.07. Is 211/3 less than v?
False
Let n = -0.1458 + 0.0458. Is n greater than 326?
False
Let y = 49 - 48. Suppose -v - 3*d + 0 = y, -2*d + 21 = 5*v. Which is greater: v or 4?
v
Suppose -17 - 7 = 24*b. Is b smaller than -5/42?
True
Suppose -4*v + 1 = 5*q, 0 = -3*v + 4*q - 14 - 24. Let g be v/9 - (-48)/126. Which is smaller: g or 0?
g
Suppose p - 4*p = 5*c - 168, -c + 32 = p. Suppose 4*d + 1 = z - 3, -3*z - 4*d - c = 0. Which is smaller: z or -15/2?
z
Let j(b) = b**2 - 4*b + 8. Let y be j(6). Suppose -3*i - y = 2*i. Let a be (-5)/5 + 1 + i. Are -5 and a non-equal?
True
Let o = -0.0145 - -0.1945. Which is smaller: -17 or o?
-17
Let s = 18 + -13. Let i = 0.1794 + -0.5794. Which is smaller: i or s?
i
Let k = -0.13 - 6.87. Let c = -6.9 - k. Let d be 18/(-12)*(-2)/63*3. Is d != c?
True
Let c = 490 - 17639/36. Suppose -40*y = 2*n - 45*y + 3, 3*n - 1 = 2*y. Which is greater: n or c?
n
Suppose 156*v + 90400 = 43*v. Is -800 <= v?
True
Let x(o) = -6*o + 11. Let t be x(0). Let g(m) = 2*m**2 + 8*m + 10. Let f be g(-4). Is f smaller than t?
True
Let m be -15*((-132)/(-10) - 8). Which is smaller: m or -76?
m
Let u be (-80)/6*6/(-2). Suppose 0 = -4*i + 9*i - u. Which is bigger: i or 2/9?
i
Let x = 3 + -20. Is x bigger than -8?
False
Let v(q) = 2*q + 5. Let c be v(-6). Suppose -2*g = -j + 9 + 3, g + 5*j = -17. Is g at most c?
True
Let q be 3 - (375/(-41))/(-3). Let m = -297 + 296. Is m at least q?
False
Let y = 20 + -37. Let s = 4.1 - 3.1. Which is bigger: s or y?
s
Suppose -5*q = -2*y + 4, -7*q + 4 = -4*q + 2*y. Are q and -20/29 equal?
False
Let w(i) = 6*i**2 + 107*i + 24. Let y be w(-18). Are 41 and y equal?
False
Let g = -2268 - -1606. Let b = g - -650.04. Let c = b - -12. Which is bigger: c or -1/3?
c
Let l = 178 + -176. Which is smaller: l or 36/13?
l
Let f = 28 + -17. Let s = 57 - 24. Suppose 5*u - s - 17 = 0. Is u >= f?
False
Let v(x) = -x**2 - 10*x + 9. Let d = -23 - -12. Let z be v(d). Which is bigger: z or -12?
z
Let g be 3/((-172)/56 - 1). Let r = 4/57 + g. Does 2/7 = r?
False
Let g be (-6513)/(-312)*4/2. Which is bigger: g or 43?
43
Let s = -668/17 - -479/68. Is -32 less than s?
False
Let i = 7 + 1. Suppose i + 1 = v - 2*f, 0 = -3*f. Let o be 366/(-918) + 2/v. Which is bigger: o or 0?
0
Let y be (3 + -7)*10/(-8). Suppose 5*t + y*a - 55 = 0, -2*t - a - 2*a + 17 = 0. Let q be 1 - (68/t + -3). Which is smaller: 1 or q?
q
Let y be 40/30 - 1806/18. Which is smaller: -95 or y?
y
Let q(u) = u**2 + 3*u + 1. Let t be q(0). Let m = -177/3388 + 2/121. Is m at most t?
True
Let b be 6*5*1/(5/(-5)). Let j be ((-6)/10)/((-6)/b). Which is bigger: j or -16/9?
-16/9
Let a be (0 - -321) + 0/(-30 - -12). Which is smaller: 319 or a?
319
Suppose -2*h + 33 = 5*v, 0 = 5*h - 3*v - 129. Which is bigger: h or 28?
28
Let l = 190763/253 + -754. Is l greater than 1/3?
False
Let f = 20 + -88. Let r be 10/f*(-2)/10*4. Let q = -1.2 + 0.2. Is r less than q?
False
Let d = 93 + -67. Let a = d + -48. Is 2/3 less than or equal to a?
False
Let h be 1/(-9) + 494/(-171). Let d be h*(-6)/(-18) + -3. Is d < -14/5?
True
Let g = -25 + 27. Suppose 4*u - 44 = 3*k, -5*u - k + 44 = -g*k. Do 10 and u have the same value?
False
Let s = 466 - 8389/18. Does 0 = s?
False
Let k = 578 + -542.3. Which is smaller: -1 or k?
-1
Let q(g) = 4*g**2 + 3*g + 5 - 5*g**2 + g. Let o be q(6). Let u be ((-104)/6)/(-26) + 60/(-9). Which is smaller: u or o?
o
Let y = 124.3 + -86.2. Let m = y + -38. Which is smaller: m or -0.17?
-0.17
Let h be 936/(-688) + (-28)/(-21). Which is bigger: 0 or h?
0
Suppose -r - 4 - 7 = -2*d, 0 = 5*d - 20. Let g be (-3)/(-27)*129 + r. Which is greater: g or 11?
g
Suppose 4*o + 0*b + 62 = -2*b, 2*b - 10 = 0. Is o < -18?
False
Let o = -562/1495 - -64/65. Which is smaller: 1 or o?
o
Suppose 5 = b, 2*d + 15 = -5*b + 42. Which is greater: d or -14/51?
d
Let o = -0.2 - -0.1. Let j = -5289.99 - -5134. Let z = -156 - j. Which is smaller: o or z?
o
Let m = 1373 + -30211/22. Suppose -9*w - 2*v - 10 = -v, 4*w = v - 3. Which is bigger: w or m?
m
Suppose -7*u + 15*u = -10*u. Is u smaller than -2/279?
False
Let j(d) = -d + 12. Let l be j(10). Let m be l/(-3) - 42/(-9). Let h be m/22 + 252/(-297). Is h > 0?
False
Let l = 16.8 + -17. Let a be 10/45 + 5/18. Is a equal to l?
False
Let t = 105 - 165. Let i = -9 - 12. Let m be (-6)/i + t/14. Which is greater: -8/3 or m?
-8/3
Let c be (-64)/22 + 3 + (-798)/2849. Which is smaller: c or -1?
-1
Let i be ((-4)/(-12))/(-11 + 1624/144). Which is smaller: -7 or i?
-7
Let b(s) = 8*s**2 + 36*s - 26. Let t(c) = 3*c**2 + 12*c - 9. Let q(h) = -4*b(h) + 11*t(h). Let o = 19 + -8. Let v be q(o). Which is greater: v or -2/5?
-2/5
Let k be 592/(-90) + -2 + (-24)/(-3). Which is bigger: k or -2?
k
Let g = -1.2 + 0.94. Let t = g - -0.96. Let r = 3 + -5. Which is bigger: t or r?
t
Let h = 1502 + -301. Let c = 648 - h. Let m = c - -11615/21. Is m less than 0.2?
True
Suppose 3*q - 72 = 75*q. Is q greater than or equal to 8/223?
False
Let g = 858 + -857.92. Let o = 9.23 - 0.23. Is o less than g?
False
Let b be (-5 - (-885)/(-9)) + 2/6. Let i = 117 + b. Is 16 equal to i?
False
Let s be 5/(15320/(-6))*(-88)/(-429). Which is greater: 0 or s?
0
Let m(k) = 14*k**2 - 4*k - 3. Let x be m(4). Suppose 5*a = -0*a + x. Which is smaller: 40 or a?
40
Suppose -2*s + 2*d + 452 = 434, 0 = -s - 3*d - 3. Let c = 4 - -3. Is s > c?
False
Suppose -4 - 17 = -7*h. Suppose -2*m = h*m. Is 13/10 less than or equal to m?
False
Let q be (-15)/6*((-36)/15)/2. Let o be -1*(-2)/1*-3. Let p = o - -38/5. Is p >= q?
False
Let n = -8 - -32. Suppose 4*c - 12 = n. Is c greater than or equal to 8?
True
Let z(t) = -2*t**2 + 4*t + 1. Let v be z(-3). Let f = v + 31. Which is smaller: f or 1/2?
1/2
Let q(z) = -z**2 - 111. Let c be q(0). Let n = c + 110. Which is smaller: n or -3/5?
n
Suppose 4*d + 3*z = 240, 5*z - 190 - 105 = -5*d. Let n be (-2)/(-12)*d/28. Let o be 1 + 1 + 1 + -3. Do n and o have different values?
True
Suppose 2*w - 6 = 4*x, 10 - 16 = -3*w + 5*x. Is w smaller than 1/86?
True
Let z = -0.1 - 2.2. Let a = 3.3 + z. Let y = 10 + -39/4. Is y <= a?
True
Let d be -6 + (-36)/(-6) + (-20)/102. Which is greater: d or -1?
d
Let t(y) = y**3 + 6*y**2 - 29*y - 17. Let j be t(-9). Does j = -7/95?
False
Let i be (-4 - -6 - 3)/((-15)/(-48)). Let k = 17/5 + i. Are -0.6 and k unequal?
True
Let u be (1 + -3)*-7*(-1)/14. Is u less than 37?
True
Let g(t) be the second derivative of t**5/20 + t**4/2 - 3*t**2 + 23*t. Let p be g(-6). Which is smaller: -7 or p?
-7
Let c = 1.01 + -10.91. Let t = -10 - c. Which is bigger: t or 3/8?
3/8
Let v = -99.95 + 100. Are v and -20 non-equal?
True
Let p be 1*(-10 - -4 - 3). Suppose 0*s = s - 8. Let b = p + s. Which is smaller: 2/41 or b?
b
Let s = 46/3 + -334/21. Suppose -20*u + u - 38 = 0. Is u < s?
True
Let y = -20 + 23. Let f = -0.2 - 0.5. Which is smaller: y or f?
f
Let r(u) = -u**3 - 3*u**2 - 2*u - 2. Let y = -34 - -32. Let a be r(y). Are a and -1 non-equal?
True
Let j = 1205761169/5495 - 1535993/7. Let p = j - 2/157. Does 1 = p?
False
Let d(c) = -c**3 + 0*c + c - 4*c**2 - 1 + 5. Let r be d(-4). Suppose -v + 0*v = r. Which is smaller: v or 2?
v
Let x be 3 - -1 - (-10)/1. Let n = -15 + x. Let y(h) = -h**3. Let i be y(n). Which is smaller: -4/9 or i?
-4/9
Let j be (2/2)/((-13)/13). Is -12/5 equal to j?
False
Suppose 3*c = c. Suppose -6*b + b 