r 0?
m
Let u be 14/(-4) + 3 - (-3339)/6686. Which is bigger: -1 or u?
u
Suppose 4*l + 3*m + 4 = 0, -3*m - 15 - 1 = -2*l. Let h = 75.32 + 1.68. Let s = h - 74. Do s and l have the same value?
False
Let w = -1.55 + 2.55. Which is smaller: 0.6 or w?
0.6
Let t = 6 - 5.7. Let n = -0.01 - 9.99. Let b = n + 10.1. Is b less than t?
True
Suppose 2*i = t - 3*i + 9, -t = 4*i. Let m = -4/479 + -10510/3353. Is t > m?
False
Suppose 2*x + 158 = -5*c, 2*x - 14*c + 16*c + 170 = 0. Which is bigger: x or -91?
x
Suppose -4*a + 2 + 6 = 0. Let y be 2*((-12)/4 + 4). Is a not equal to y?
False
Let h = 0.36 + -0.4. Let n = 0.36 + h. Let l = 0.32 - n. Is l at least as big as -1?
True
Let y(i) = -3*i + 13. Let p(j) = j**2 + j. Let d be p(0). Suppose d = -3*q + 7*q - 24. Let t be y(q). Which is smaller: t or -6?
-6
Let n be (5 + -1)*448/(-304) - -6. Is -1 at least as big as n?
False
Let i(w) = -22*w**2 + 7*w + 8. Let j be i(8). Let s = j + 33618/25. Let h = s - 41/50. Is h != 0?
True
Suppose -31 = -22*h - 9*h. Is 1/321 bigger than h?
False
Suppose -13*f - 2*f - 15 = 0. Let q be 21*(-6)/9 - 0. Is q less than or equal to f?
True
Let s = 0 + -0.1. Let b = 0.22 + s. Let h = -0.02 + b. Is h bigger than -0.5?
True
Let t be 426/(-4370) + (-26)/(-299). Which is bigger: t or 1?
1
Let f = 0.2 + -0.7. Let n = 202.2 - 212.2. Is f < n?
False
Let j(x) = -x**2 + 4*x + 241. Let c be j(0). Is c > 240?
True
Let z = -29811/260 - -573/5. Let w = -61/156 - z. Is w at most 29?
True
Suppose -3*s + d + 1 = -2*s, 0 = -4*s - 4*d - 4. Let y = 1.49 - 1.42. Let k = 0.87 - y. Are k and s unequal?
True
Let t = -3.36 + -8.64. Do 2/13 and t have the same value?
False
Suppose -5*u - 70 = -2*i + 122, 192 = 2*i - 3*u. Let h = i + -87. Which is smaller: h or 1?
1
Let a(u) = u**2 + 17*u + 26. Let r be a(-15). Let g be (-6 - r)/(4/2). Which is smaller: 2/5 or g?
g
Suppose 0*b - 10 = -2*b, 0 = 2*l - 5*b + 25. Suppose -4*j + 5*c - 19 = l, c - 2*c = 5*j + 2. Let q be 2*j*(-1)/2. Which is bigger: 0 or q?
q
Let k = 6 + -4. Suppose -3*z + z - 4 = k*b, 0 = -4*b + 5*z + 28. Let p = 2/273 + 1357/1092. Which is bigger: p or b?
b
Let l(t) = 21*t**2 - t + 29. Let o be l(-5). Which is greater: o or 558?
o
Let m = 105 - 44. Let w = 43363/4 - 10779. Let a = w - m. Is a at least 0?
True
Suppose 4*f = 25 + 35. Let w(h) = -3*h + 119. Let t be w(35). Which is bigger: t or f?
f
Let d = 14906 - 14906. Let f be 4/83*2/4. Is f less than d?
False
Let r = 0.06 + 0.04. Let j = -6 + -4. Is j less than or equal to r?
True
Suppose -4*l = -t - 3*l + 10, 0 = -2*t - 2*l + 12. Suppose 0 = 2*w - t, -5*w + 19 = -x + 2*x. Let q = 8 - x. Which is greater: 8 or q?
q
Let v(s) = -15*s + 3. Let y be v(-7). Suppose 4*d + 6*m - 2*m = -y, -5*d + m = 135. Is -26 <= d?
False
Let a be (((-7)/2)/(-7))/((-2)/4). Is a smaller than 6/191?
True
Let v be (12/(-15))/((2/5)/1). Let z be 4 + v + -4 + (3 - -1). Which is smaller: 7 or z?
z
Let t be -6 - ((-55)/(-37))/(38/(-152)). Let p = 4 + -6. Which is smaller: t or p?
p
Suppose -20*f + 96 = 76*f. Let n(u) = u - 5. Let d be n(7). Which is smaller: f or d?
f
Let b be -9*((-8)/32 + 178/(-24)). Suppose 2*t - b - 1 = 0. Which is greater: 34 or t?
t
Let x(l) = l**2 - 16*l + 40. Let t be x(13). Suppose -9 = 8*r - t. Which is greater: -2/397 or r?
-2/397
Let f(w) = -w**3 - 13*w**2 - 12*w + 13. Let i be f(-12). Let n = 20 - i. Which is greater: n or -1/2?
n
Let a = 239/4 + -60. Let z(s) = 4*s - 27. Let l = 2 - -3. Let v be z(l). Is a at most as big as v?
False
Let d = -45 + 37. Let t = -0.6 + 8.8. Let v = d + t. Is v at most -1/3?
False
Let g be (2/9*1)/(4/12). Let f = -0.8 - 1.1. Let d = -2 - f. Which is greater: g or d?
g
Let t(y) = y**3 - 3*y**2 - 2*y - 5. Let k be t(4). Suppose 2*f - 1 = 31. Suppose k*v + 2 = -f. Which is bigger: v or 0.2?
0.2
Let l be 0/((6/1)/(-3)). Let v be 1*-1*(l + -3). Is v at most as big as 2?
False
Let n be 1 + 1 + -3 - 139. Let w be (16/(-7))/(60/n). Suppose 6*f - 8*f = -8. Is w at least as big as f?
True
Suppose 78*g + 112 = 82*g. Let c be 990/(-14) - g/98. Which is bigger: c or -72?
c
Let d = -32 + 42. Suppose 5*m + 5*c + d = 0, c = 3*c + 2. Is m equal to -2?
False
Let b = 304 - 304. Is -2.21 bigger than b?
False
Let g = 6 + -19. Let u = -1.12 - 7.88. Let d = u - g. Is d < 0.2?
False
Let z = 3.17 - 2.87. Is z equal to 1/40?
False
Let z be 9/4 + 95/(-76). Which is smaller: z or 1342?
z
Let o be 387/540 + (-6)/9. Is o at most -0.6?
False
Suppose -q = -917 + 918. Is 1/354 > q?
True
Let g be (-14)/49 - (-135)/7. Which is smaller: g or 2/3?
2/3
Suppose c + 3*c = -5*f - 24, 23 = -5*f - 3*c. Let s be (-26)/7 + f/14. Let v = s - -6. Is 3/5 > v?
False
Let f = 35.88 + -3.88. Is f at most as big as -1?
False
Let y(x) = -x**3 - 2*x**2 - 4. Let c be y(0). Let o be 40/(-4)*(-2)/c. Is o less than or equal to -2?
True
Suppose -i - 2*x - 618 = -3*i, -5*i - x = -1545. Is i > 309?
False
Let f(x) = -x**2 - 4*x + 13. Let k be f(-6). Let v be k/(-9)*(-2 - -5). Let s = -0.15 + 0.15. Which is greater: v or s?
s
Suppose 0 = 2*t - 112 + 124. Is -50 at least as big as t?
False
Suppose -4*k = 3*v + 2*v - 26, 3*k = -3*v + 18. Suppose 2*y - 5*x = -k, y + 2*y = -2*x - 6. Is 15 smaller than y?
False
Let j be 144/1620*15/(-6). Is j at least as big as 46?
False
Suppose 0 = -3*q - 2*t + 566, 4*q - 132 = t + 619. Which is smaller: 0 or q?
0
Let b be (-4)/10*(-9)/396*-11. Which is bigger: -5 or b?
b
Suppose 0 = 3*q + 3*t - 4 + 58, -4*q - 5*t - 75 = 0. Let u be (-1)/(((-9)/6)/(9/q)). Is u < 0.2?
True
Let p = 109.035 + -109. Let m = -1.965 - p. Is m <= 1.1?
True
Let h = -0.0657 - -1.0657. Which is smaller: 0.187 or h?
0.187
Let v = 20 + -14. Suppose -v*p + 3 = 21. Let g be ((-6)/p)/(-2)*-2. Is g greater than 2?
False
Let w(r) = r**2 - 15*r + 53. Let d be w(11). Which is greater: d or 154/15?
154/15
Suppose -5*a + a = -32. Let h be ((-2)/(-2))/(a/56) - -3. Is 8 at least as big as h?
False
Suppose 4*s - 6*y - 16 = -y, 5*s - 7 = 3*y. Which is bigger: s or 5/24?
5/24
Let t = 88 + -6598/75. Which is greater: t or -1?
t
Let l = -487.9 + 488. Which is greater: 215 or l?
215
Let s = 1.98 - 2.18. Is 18 at least s?
True
Let x be 5/10*-11*68/(-210). Let i = x - 16/15. Do -1/2 and i have different values?
True
Let i = 71 + -70.96. Is -2 >= i?
False
Let f = -45 + -140. Let s be 114*(-1 - (-55)/21). Let b = s + f. Which is smaller: -1/2 or b?
-1/2
Let h = 14 - 20. Let r(w) = -2*w - 8. Let g be r(h). Let y be (-24)/(-20)*15/6. Which is smaller: g or y?
y
Let b(z) = -z**3 - 8*z**2 + 3*z - 54. Let w be b(-9). Is w < -2/577?
False
Let q be 1 + 526/24 + 26/312. Which is smaller: 15 or q?
15
Let a = -2950 + 669649/227. Is 1 > a?
True
Let l(q) = 12*q + 123. Let z be l(-22). Which is smaller: z or -142?
-142
Let n = 45 + -40.8. Let k = n - 4. Let p = -101/44 + 28/11. Is k smaller than p?
True
Let a(h) = -6*h - 14. Let c(p) = -3*p - 7. Let l(t) = 2*a(t) - 5*c(t). Let w be l(11). Let o be 4/3*(-60)/w. Is o != -3?
True
Let q be ((-741)/(-38))/((6/8)/(-1)). Is -27 less than or equal to q?
True
Let t be ((108/5)/4)/(1062/60). Is t greater than or equal to -1?
True
Let r be (-50)/(-175) - (-62)/77. Suppose -5*c = 14 + 11. Let y = c - -7. Which is bigger: y or r?
y
Suppose -8*l + 5*l + 6 = 0. Let o be (3 - 4)*l*1*-1. Is -2.2 > o?
False
Let h = 4 - 3. Let w(o) = o - 6. Let j be w(8). Suppose 5*i = -j*b - 21, b = -3*i - 3*b - 7. Is h equal to i?
False
Suppose 3*l - 28 = 17. Suppose x - l = -4*x. Let a be (x - 333/114)*-2. Is 0 less than or equal to a?
False
Suppose -f - 79 = 3*f + 5*h, -3*f = 4*h + 60. Which is bigger: f or -232/15?
-232/15
Let v(g) = -113*g - 114. Let u be v(-1). Suppose 2 = 3*j - 4. Are j and u equal?
False
Let z be (112/42)/((-15)/99). Is z bigger than -17?
False
Let q(f) = f - 5. Let x be q(7). Suppose x*o + 4 - 1 = c, 3*c - 5*o - 8 = 0. Is c greater than or equal to -2/27?
True
Suppose -o = w - 1268, -5*w = -1 + 11. Is o equal to 1269?
False
Suppose 4*r = -5*m + 91, -4*r + r + 74 = -2*m. Suppose -3*t = -0*t - r. Suppose 2*h + t = 4. Which is smaller: h or -4?
-4
Let i(p) = p**2 - 14*p + 13. Let u be (0/(-1))/(-6 - -4). Suppose u = -3*m + 32 + 7. Let x be i(m). Is -4 equal to x?
False
Let k = 97 + -39. Is k <= 51?
False
Let d = 13/391 - 22795/3519. Is -5 > d?
True
Suppose -8*y = -10*y + 4. Suppose f - y*f = -7. Suppose f = -5*z - 5*k