 -0.1?
-0.1
Let d = 36 - 11. Suppose d = c + 36. Which is greater: -29/3 or c?
-29/3
Let m be 8*(-1)/5*5. Let n be ((-9)/12)/((-1)/m). Let i be (-6 + (-276)/(-115))*(-10)/(-6). Are n and i unequal?
False
Let w be 13/(-6)*20/110*-1. Do w and 1 have different values?
True
Let l = -435/4 - -2167/20. Which is greater: l or -26/23?
l
Let q be ((-12)/10)/(162/(-20)). Suppose -5*n = 0, -4*f + n + n = 4. Which is smaller: f or q?
f
Let u = -9307 - -27581/3. Let i = 115 + u. Which is smaller: i or 1?
1
Let d(o) = o**2 - 11*o + 7. Let p(j) = -j**3 + 6*j**2 - 3*j. Let a be p(5). Let n be d(a). Let k = 68 - 70. Which is bigger: k or n?
k
Let u be (-4 + 3)*(36/6 - 9). Which is smaller: 70/33 or u?
70/33
Suppose 2*n = 3*r - 26, 0*r = 2*r. Let c = -3 - n. Suppose 3*w + 1 = c. Do w and 2 have different values?
True
Let x = -36 - -52. Suppose 29 = -4*g + 77. Let y = g - x. Is -7 bigger than y?
False
Let y(n) = n**2 + 21*n - 48. Let k be y(-20). Let m = 50 + k. Is -18 bigger than m?
False
Let z(h) = h**2 + 2*h - 35. Let v be z(-17). Let p be (-175)/v - 1/(-4). Which is greater: p or -2?
p
Suppose 5*x = 5, -g + 25 = g + x. Let s be (g - 11)*(-1)/(-1). Which is bigger: s or 1/3?
s
Suppose 0 = -16*g + 3*g + 1508. Which is smaller: 118 or g?
g
Let d be (-1)/(-1 - 1)*108/(-378). Is d equal to -2/9?
False
Let c = 3 - 2.9. Let j = -0.27 + -0.73. Let o = j + 0. Is o < c?
True
Let m = -1073 + 1076. Which is greater: 2/163 or m?
m
Let f be 51/2*9/((-27)/(-68)). Let t = -30635/53 + f. Which is smaller: -1 or t?
-1
Suppose -4*d = 3*f + 2, 4*f - 2*d - 28 = f. Suppose z - 15 = -4*w, 2*z + z = w - 7. Let q be (-7 + 16)/(2 + z). Which is smaller: q or f?
f
Let c = 0 + 0.2. Suppose 0 = 4*y - r - r + 8, 2*y = -3*r - 20. Let o(b) = -2*b**2 - 7*b + 7. Let u be o(y). Which is smaller: c or u?
c
Let g be 1/(-9)*-3 - 54910/(-114). Which is bigger: g or 481?
g
Let w(q) = -q**3 - 8*q**2 + 8*q + 66. Let o be w(-8). Which is smaller: 1 or o?
1
Let o = -20 + 26. Let c be 3/7 - o/42. Suppose 3*w = -53 + 5. Is w < c?
True
Suppose 16 = d + 5*l, -2*d - 44 + 136 = -5*l. Let x = d - 178/5. Which is smaller: -1/6 or x?
-1/6
Suppose 33*j = 46*j - 13. Is -4/363 at least as big as j?
False
Suppose l = -i - 9, 4*l = 3*i - 3 + 9. Let y(m) = -m - 4. Let g be y(i). Let o = 1203 + -1200. Is o bigger than g?
True
Let y be (1/2)/((-15)/6 + 3). Which is bigger: 2/129 or y?
y
Suppose 4*z - 21 = 3. Let p = z - 3. Let i = -2 + p. Which is bigger: 1/8 or i?
i
Suppose 0 = 14*q + 145 - 971. Is -3 greater than q?
False
Let w = 4/1907 + -141/976384. Is w at least as big as 1?
False
Suppose 0 = 5*d - 2*j + 443 - 83, 0 = 5*d + 4*j + 330. Let k = d - -80. Suppose n - 7 - 4 = 0. Which is smaller: n or k?
k
Let t be (-29)/(-87)*2*-22. Let s(b) = b**3 - 4*b**2 - 5*b + 4. Let l be s(4). Which is smaller: t or l?
l
Suppose -3*f = 4*l - 25, -2*l + 3 = -f - 2. Suppose i + 29 + 6 = 0. Let j be i/(-12) + (-18)/27. Is j bigger than f?
False
Suppose 24 = 2*x + 4*x. Let j be 4 + 0/(1 - x). Is 6 smaller than j?
False
Let q be (-27)/(-45)*1141/(-21). Is -3 >= q?
True
Suppose 4*o = 2*h - 4, -6 = -17*o + 20*o - 3*h. Which is greater: -1/99 or o?
o
Suppose -6 = -5*c - 2*v + 6, -2*v = 8. Let q be (10/c)/(2/4). Is q greater than or equal to -6/5?
True
Suppose -12*u + 4*u + 184 = 0. Which is greater: 4 or u?
u
Let g = -30 - -28. Let c(o) = o**2 + 6*o + 6. Let x be c(-4). Is g at least as big as x?
True
Let w = 3 - -25. Suppose q + 4*n - w + 10 = 0, -2*q = -2*n - 6. Does q = 6?
True
Suppose 3*v + 2*v = 0. Suppose 0 = 4*z - 2*z - 18. Suppose -z*w = -6*w. Is w at least v?
True
Suppose -5 = 4*b + 3. Let p be b/4 + 132/(-8). Suppose 15 = -2*a - a, 4*a = 5*y + 60. Which is smaller: p or y?
p
Suppose 19 = -22*r - 3. Are 3/463 and r nonequal?
True
Suppose 3*p = 5*c + 43, 2*c - p = 1 - 19. Let b = 2 + -35. Let m = b + 22. Do m and c have the same value?
True
Suppose -u = 2*u - g + 26, 2*u + 9 = -g. Let y be 304/22 - 6/(-33). Suppose -2*q - y = -0*q. Is u bigger than q?
False
Let n = -307 + 309. Which is greater: 39/62 or n?
n
Let g(w) = -w**3 - 3*w**2 + 5*w + 5. Let a be g(-4). Let j = 1 - 36. Let h = j + 38. Which is bigger: h or a?
h
Let g be (3 + (-3478)/(-10))/((-1)/(-5)). Let z = -10499/6 + g. Are z and 5 non-equal?
True
Let g(w) = 2*w**2 + 20*w. Let v be g(-10). Which is bigger: v or 1/708?
1/708
Let i = -263 - -264. Is 5/56 at least as big as i?
False
Let x = 32 + -45. Suppose 2 = -374*w + 373*w. Which is smaller: w or x?
x
Suppose 12 = 8*u + 108. Let n be (-3*u/189)/((-12)/(-28)). Is n != 3?
True
Suppose 4*w - 3*d - 16 = 2*d, 0 = 3*d. Let q be (w/(-6))/((-2)/12). Suppose 0*v + 18 = v - 3*k, 5*v - 35 = 4*k. Which is bigger: q or v?
q
Let l = 344 + -177. Which is bigger: 1160/7 or l?
l
Let v = 451 + -451. Do 2.3 and v have the same value?
False
Let c = 16 - -9. Let s be (-4)/12 - 158/18*-3. Is s at most as big as c?
False
Let f be 9/12 + -1 - 3169/4636. Let b = f + 12/61. Which is greater: b or -2?
b
Let i = -0.85 - -4.55. Let j = i + 10.3. Let c = -14 + j. Is 8 less than c?
False
Let o be (8/(-14))/((-2)/14). Suppose o*d - 21 = 7*b - 2*b, 5*b + 25 = 0. Is d > 3?
False
Suppose 3*g = 4*g + 20781. Let b = 9315 + g. Let r be 1400/b + (-4)/(-26). Is r at most -1?
False
Let s = 957/2 - 2867/6. Which is bigger: s or 39.6?
39.6
Let b = -5612 - -50486/9. Suppose 2*t = -2*t + 3*m - 8, -3*m = 0. Is t < b?
False
Suppose 10*b - 7*b = -6. Let r be (-1)/2*b*0. Which is smaller: -4/13 or r?
-4/13
Let t be -1 + -3 - 3*598/6. Is -304 at most t?
True
Let j = -393 - -391. Does -98 = j?
False
Let h be (-72)/(-15) + -5 - 20/25. Let m = -80629/93 - -867. Is m less than h?
False
Let w(i) = 6*i + 10. Let j be w(-7). Let h = -42 - j. Are -10 and h nonequal?
False
Let s = 600 + -598. Let z be ((-6)/(-4))/(-3)*-6. Which is bigger: s or z?
z
Let m = 75.6 + -75.6. Which is smaller: -2/691 or m?
-2/691
Suppose v - 25 = -4*q, 3*v + 5*q - 40 = -0*v. Suppose -6 = -4*l - f, v*l + 5*f - 4 = 2*f. Suppose 5*y = -i + 10, -2*i + 3*y - 2 = l*y. Is 1/11 not equal to i?
True
Let q = 813 + -12193/15. Which is smaller: q or -0.062?
-0.062
Let l = 1/5122 + -30895/834886. Is 1 != l?
True
Let k = 45 + 21. Suppose k*q = 60*q - 174. Is -29 >= q?
True
Suppose 4*g = 69 - 53. Let f be (-39)/210 + g/14. Which is smaller: f or -1?
-1
Let c(u) = u**3 + 12*u**2 + 3. Let j be c(-12). Suppose 4*s + 2*a + 22 = 8, -5*s - j*a - 20 = 0. Is -5 at most as big as s?
True
Let p = -5.8 + -19.2. Let l = 23 + p. Is -4 >= l?
False
Let k be (-264)/(-56) - 2/(-7). Suppose -y - 58 = k*t, -4*t - y = -2*y + 50. Let b = t + 12. Is 1/4 != b?
True
Let p = -0.197 + 93.197. Let a = 86 - p. Is -3/4 < a?
False
Suppose 0 = f + 1 - 2. Which is smaller: f or -2/191?
-2/191
Let j = -694.18 - -693. Which is smaller: -0.1 or j?
j
Let p = 248/5 - 50. Let i be 6*(-1 - 14/(-15)). Does i = p?
True
Let q(n) = -3*n**2 - 15*n - 16. Let r be q(-1). Is r greater than -48/11?
True
Let o = 45 + -5. Suppose o = -0*z + 4*z. Let w be (-69)/21 + z/35. Do w and -1 have different values?
True
Let b = 24.05 + -24. Let h = -0.25 - b. Is h bigger than -0.02?
False
Let m = -216 - -3671/17. Suppose -1 = v - 6. Suppose -g + 4 - v = 0. Which is smaller: g or m?
g
Suppose -5*y - 19 = -49. Suppose -3*k + 141 = 3*q, 0 = -3*q - k + 2*k + 145. Let n be 64/q*y/26. Is n <= -1?
False
Let k be (0 - -2 - 12)*2/(-4). Suppose 3*x - 6 = -4*y - 50, 0 = -4*x - k*y - 57. Let s be (2*2)/(2/(-4)). Is s >= x?
True
Let z(g) = 2*g**2 - 17*g + 7. Let n be z(7). Let q be (10 + -11)/((-2)/10). Let v = q - 21. Which is smaller: v or n?
v
Let w(c) = 3*c**3 - 2*c**2 - 2*c. Let z be w(2). Suppose -r - 48 + 59 = 0. Which is smaller: z or r?
r
Let a = -123 - -227. Suppose -5*b + 83 = -3*n - 29, 2*n + 4*b = -a. Which is smaller: -42 or n?
n
Suppose 0 = 2*r - 18*r - 96. Let a(d) be the second derivative of -d**4/6 + d**3/6 + d**2/2 + 3*d. Let u be a(-2). Do u and r have different values?
True
Suppose g - 29 = 3*c + 21, -c + 4*g - 13 = 0. Let w be 9/45 - c/(-35). Let n = -251 + 1249/5. Is w at least as big as n?
True
Let w = -4 - -4. Let q = 21.6 + -14.52. Let y = 7 - q. Are y and w nonequal?
True
Let q be (-40)/(-3 + 13)*-52. Which is bigger: q or 206?
q
Suppose 0 = 147*q - 159*q + 876. Let x = -2.7 - -2.8. Is q equal to x?
False
Let h = -10.812 + -0.188. Which is greater: 0 