?
True
Let j(b) = b - 4. Suppose 3*a - 3*i = 30, 3*a = 2*a - 3*i - 2. Let q be j(a). Suppose q*r - 4*r = 0. Which is greater: -2/55 or r?
r
Let g = -0.3 + 0.1. Let x = -0.322 - 0.078. Is g at most x?
False
Let z = 715 + -710. Which is smaller: 30/7 or z?
30/7
Let f = -0.096 + 5.396. Let g = -5 + f. Let b(d) = d**2 + 6*d - 40. Let u be b(-10). Which is bigger: g or u?
g
Suppose 2*q - v = -1, 0 = -2*q - 3*q + 2*v - 1. Suppose -5*a + 19 = 2*f + q, -5*f + 5*a = 25. Is f < -1/6?
True
Let i = -11.6 - 8.4. Are -3 and i non-equal?
True
Let w(l) = -l**3 + 20*l**2 - 18*l - 19. Let j be w(19). Let a be (5 + -3)/(j + 7/12). Is 2 at least a?
False
Let m = 16 + -12. Let n = 3.9 - m. Which is smaller: 2/5 or n?
n
Let b be (-6)/(-14) - (-20904)/273. Is 74 >= b?
False
Let y = 125 - 123. Suppose -h - y*h = h. Which is greater: 2/5 or h?
2/5
Let y = -6 - -4. Suppose 3*t - 2*p = -35, 3*p + 21 = -5*t - 12. Let z be (-10)/8*(-12)/t. Which is bigger: y or z?
z
Let f = 101 + -92.3. Let v = -9.7 + f. Which is greater: v or 3.5?
3.5
Let z(j) = 2*j. Let u(s) = 5*s**2 + s. Let n be u(1). Let h be z(n). Let g = h + -13. Is g bigger than -2?
True
Suppose 0 = -5*i + 4*m, m - 9 = -4. Suppose -i*n + 2*n = -36. Let k = 24 - n. Is 6 at most as big as k?
True
Let n = 434 + -386. Which is bigger: 51 or n?
51
Let y = -7 - -16. Let z = 12 - y. Suppose 3 + 0 = -z*i. Is i equal to -1/25?
False
Suppose 4*i - 658 = -670. Suppose -2*c - 3 = -t, c - 1 = 4*c + 2*t. Is i less than c?
True
Let j = 40/71 + -1649/3053. Suppose 0 = b + 4*i - 17, -17 = -3*i - 5. Is j smaller than b?
True
Let y = 21 - 16. Let o = y - 6. Let b = 0.1 - -0.9. Is o <= b?
True
Let z = 76 - 75.71. Let k = z + -0.21. Which is smaller: -5 or k?
-5
Let p(j) = 19*j - 35. Let g be p(6). Is 79 < g?
False
Let m(h) = -5*h + 10. Let l(w) = -6*w + 11. Let t(o) = 4*l(o) - 5*m(o). Let x be t(12). Suppose -s + b - 14 = -3*s, 4*s - 16 = 4*b. Is s smaller than x?
False
Let i = -56.67 - -57. Let u = i + -0.72. Let g = u + -0.81. Is 1/3 equal to g?
False
Let j = 1141.8 - 1142. Which is smaller: j or -0.267?
-0.267
Let k = -21 + 21. Let d = -3/5 - -41/85. Is k < d?
False
Let o = 0.071 - -0.219. Let c = o + 18.71. Is 2 at most as big as c?
True
Suppose 3*s + 4 = -11. Let a be 36/24*s/(-6). Suppose 0 = -2*x + 6*x. Which is greater: x or a?
a
Suppose 0 = -2*v - 73 - 29. Let c = v + 30. Let z be (-8)/6*c/(-98). Are z and -3 equal?
False
Let y = -25 + 20. Which is greater: y or -10?
y
Let i(d) = -20*d**3 + d**2. Suppose 3*h = -3 + 6. Let z be i(h). Is z greater than -19?
False
Let s(k) = -k**2 + 10*k - 8. Let m be 2 + -4*(-3)/6. Let u be s(m). Is u at most as big as 18?
True
Let i(v) be the second derivative of v**4/12 - v**3/3 - v**2/2 - 2*v. Let z be i(3). Suppose 4*k = 3*d - 14, 2*k = d + 3*k. Is z bigger than d?
False
Let n = -230/29 - -6811/899. Does n = 0?
False
Suppose 2*u - 5*u = 9. Suppose -108*z = -101*z + 42. Which is smaller: u or z?
z
Let l be 3/2 + (-60)/35. Suppose -2*t + 6 = t - 3*b, -t - 4 = 2*b. Is l > t?
False
Let x = 0.1594 + -0.0194. Let z = 1 + -1. Which is greater: z or x?
x
Let v be 9/(-12) + 2/(-8). Let g(a) = -8*a + 8*a - 2*a. Let k be g(v). Is k smaller than 1/2?
False
Let x be ((-12)/(-60))/(3/15)*-9. Is x <= 8?
True
Let g(b) = b**3 - 6*b**2 + b + 5. Let d be g(6). Let x = d + -5. Let v = -13 + x. Which is greater: v or -6?
-6
Let v be 2 - 2 - (-2)/(-22). Let p be -2 - (-9 - 0) - 4. Suppose -4 = j - p. Which is bigger: v or j?
v
Let x = 1.9 + 0.1. Let y = -0.011 + -0.089. Which is smaller: y or x?
y
Suppose 35 = 5*b - 5*c, 5*c = -4*b + c + 20. Let q(v) = -v**3 + 7*v**2 + 6*v + 4. Let u be q(b). Suppose -4*k + 62 = 3*s, 4*k - u = -s - 3*s. Is 13 < s?
True
Let x(v) = 2*v**3 - 2*v**2 - 2. Let l be x(2). Let t = -3.5 + 10. Let s = 6.6 - t. Is l less than or equal to s?
False
Suppose 13*f = 15*f. Is -4/27 at most as big as f?
True
Let b be 2 + 12*(0 + -1). Let g be 280/42*(-36)/b. Which is smaller: 23 or g?
23
Let l be (-8)/20 + 17/5. Let b(p) = p - 9. Let y be b(l). Which is smaller: -1 or y?
y
Let t = 136 - 116. Suppose -2*w = -3*w + t. Which is smaller: 23 or w?
w
Let k be (4/10)/(8/(96/4)). Which is smaller: k or 3?
k
Suppose 4*g + g = 25, 4*g - 265 = -5*c. Suppose -3*x = -4*r + 35, -5*x + 3*r - c = -x. Which is smaller: -11 or x?
x
Let i = -256 - -228. Which is smaller: -23 or i?
i
Suppose -5*h = -15 - 50. Is h >= 15?
False
Let a be 6/8 + 5 + (-193)/(-4). Suppose a = -2*n - n. Is n equal to -18?
True
Let d(x) = x + 15. Let m be d(-12). Let l be 55/m - (-4 + 0 + 6). Which is smaller: 17 or l?
l
Let v be -414*(130/20 + -8). Is 621 not equal to v?
False
Let n = 11.52 + 6.48. Let o be (-26)/30 - 4/(-6). Is o at least as big as n?
False
Let r be (3/60)/((-2)/(-204)*-1). Which is smaller: r or -5?
r
Let w = -149.17 + 150. Let m = w - 1.23. Is -5 at most m?
True
Let y = 205 + -195. Which is bigger: 32/3 or y?
32/3
Let h = 19 - 25. Let s = -6 - h. Which is bigger: s or -0.16?
s
Let n be (55/110)/((-182)/(-64) + -2). Is n bigger than 0.1?
True
Let u = 1765/18 - 98. Let h(x) = x**2 + 7*x + 8. Let m be h(-6). Suppose 4*d - d - 5*s + 8 = 0, m*d + 5 = 3*s. Is d smaller than u?
True
Suppose 4*l - 144 = -2*h, -2*h + 72 = -l - 62. Let a = h + -101. Do a and 2 have different values?
True
Let p = 3 + -8. Let x(w) = -w**2 - 9*w + 10. Let u be x(-11). Let z be (u/(-14))/((-2)/14). Which is smaller: z or p?
z
Let z = 13 + -12. Let n be ((-1)/(-3))/(z/3). Let r = -228 + 5698/25. Which is smaller: n or r?
r
Let w = 141 - 255. Suppose -5*v = -14 - 6. Let q be v - (w/27)/(-1). Are -0.1 and q equal?
False
Let d(p) = -3*p + 14. Let j be d(7). Let q(t) = -t**3 - 6*t**2 + 8*t + 3. Let n be q(j). Is -4 at most n?
True
Suppose 51 = -2*g - 4*t - 47, 2*t - 123 = 3*g. Is -45 not equal to g?
True
Let i be (-1290)/1683 + 4/66. Which is greater: -3/8 or i?
-3/8
Suppose 0 = -3*s - 3*u - 141, -4*s - 170 = 3*u - 8*u. Let k be (-27)/s + (-18)/5. Suppose -5*p = g + 2, p = -0*p - 2*g - 4. Which is smaller: p or k?
k
Let k(g) = g**3 - 7*g**2 - 19*g + 16. Let r be k(9). Suppose 12 = -r*j - 2. Which is greater: -19/6 or j?
j
Let s be (0 - -3)*1541/69. Which is smaller: 0 or s?
0
Let y(h) = h - 1. Let z(x) = 2*x + 11. Let m(l) = 5*y(l) + z(l). Let s be m(-1). Are s and 1 non-equal?
True
Let u = -13.26 + 7.29. Let r = -0.03 + u. Which is greater: -1/4 or r?
-1/4
Let k = 321 - 321. Is 2/17 at least k?
True
Let h = -32 + 36. Let u = -42 + 72. Suppose 5*m - 15 - u = -5*o, 2*o = -5*m + 33. Is h bigger than m?
False
Let u = 737 - 738. Which is greater: -53/21 or u?
u
Let z = -450 - -460. Suppose 2*b = -3*r - 2 + 1, -5 = -3*b + 2*r. Which is bigger: z or b?
z
Let h(z) = -z**3 + 24*z**2 - z + 24. Suppose 288 = 18*b - 6*b. Let r be h(b). Which is bigger: r or 1/59?
1/59
Let h = 0.0506 + -0.2506. Let b = 0 - -0.1. Let z = 0.2 - b. Is z >= h?
True
Let d = 127 - 275. Suppose 0*w = -5*w + 5. Let o be (d/44 + 3)*w. Is o equal to -2/11?
False
Let v = 6063 - 30054/5. Is v <= 51?
False
Suppose -75*k + 64*k = -11. Which is bigger: 23/15 or k?
23/15
Let d = 4.067 + -0.067. Let o = 11.6 + -11. Is o equal to d?
False
Let d = 1 + 5. Suppose 4*y - 14 = 4*b + d, 0 = 2*b + 4. Suppose -5*m - 5*w = -10*w + 5, 3*m + y*w = -33. Are m and -6 equal?
True
Let s = -1552 + 94667/61. Is s < -1?
False
Let o(k) = -k**2 + 9*k - 10. Let v be o(8). Let a be 13/(v + (-516)/(-244)). Let x = 113 - a. Do -1 and x have the same value?
False
Let l be 6/15 - 4/15*-21. Suppose -7*u = 146 - l. Do 1 and u have the same value?
False
Let k be 4/(-14) - 7005/35. Let i = k + 201. Is i less than or equal to 0.1?
False
Let g be (130/(-325))/((-7)/5). Which is smaller: g or 0.15?
0.15
Let u = 21.4 - 21.187. Is u not equal to 0.2?
True
Let f = 7 - 83/12. Let c = -0.053 + -2.647. Let g = 2.6 + c. Which is bigger: g or f?
f
Let v = 48 + -49. Let k = 1948 - 5731/3. Let o = k - 2819/75. Is o at least v?
True
Suppose -6*s - 19 = -13. Let z be (122/6)/((-2)/6). Let n = 303/5 + z. Are s and n equal?
False
Let l = 0.086 + -0.286. Let a be ((-20)/(-6))/((-18)/27). Are a and l non-equal?
True
Let l = 225.05 + 3.95. Which is bigger: 1 or l?
l
Let c = -349 + -140. Do c and -491 have the same value?
False
Let f = -582/7 - -83. Let c = 5 + -3. Suppose 0*p = c*p. Which is smaller: p or f?
f
Suppose -6*f = -3*j - f - 13, -f = 