?
True
Let i = 514 - 517. Which is smaller: 3 or i?
i
Let i(r) = r - 49. Let s be i(-31). Does s = -80?
True
Suppose 0*s - 2*s = 2. Let z be 1 - ((-144)/(-69) + s). Let v = -40 - -39. Is v greater than z?
False
Let l be (-2)/26*(-5 + 3)*-29. Which is bigger: l or -5?
l
Let c = -33.267 + -2.333. Is 0.1 > c?
True
Let i(w) = -w**3 + w**2 - w - 1. Let r be (-1)/(-1)*7/(-7). Let u be i(r). Suppose -4*m + 4*n + 72 = 0, 0 = -3*m - u*n - 0*n + 34. Which is smaller: 15 or m?
m
Suppose 4*x = -5*r - 3, -2*x - 4 = r - 7. Which is greater: x or 6?
6
Let t(i) = i**2 - 3*i - 10. Let y be t(5). Suppose 18 = 3*b - 3*x, 4*b + 3*x = -1 + 25. Let v = 10 - b. Are y and v non-equal?
True
Let d = -0.18 - -7.18. Let b = d + -8. Which is greater: -0.1 or b?
-0.1
Let v = 2046 - 278259/136. Which is smaller: -1 or v?
-1
Suppose 3*y + 150 = 3*q, -238 = 5*y - q - 0. Let r = y + 33. Let h be r/24 + (-3)/(-9). Do 0 and h have the same value?
False
Suppose 0 = -0*q + q - 7. Suppose 0 = 2*d - 4*s - 36, 3*s = q*s + 20. Let h(x) = x + 1. Let k be h(6). Is k < d?
True
Let o(b) = 2*b + 1. Let f be o(2). Suppose f*d = -3*d. Which is bigger: -1/2 or d?
d
Let h = 12 + 0. Let p = -18 - h. Let z = p - -28. Which is greater: z or -1?
-1
Let z(x) = -x**3 + 13*x**2 + 6 - 2*x + 2*x + 0*x. Let a be z(13). Suppose -3*k - 1 = 5, -s + 8 = -k. Is a < s?
False
Suppose -2*r + 3*r - 5*l = -6, r + 2 = 3*l. Let x be (4/(-20)*-2)/((-5)/r). Is x bigger than 1?
False
Let o(r) = r**2 + 6*r + 5. Let k be o(-5). Let h(t) = -t**2 + t - 10. Let i be h(k). Let s = 9 - 8. Is s <= i?
False
Let i be (-2)/4 - (-602)/(-28). Let u be (-2)/i*46 + -4. Which is greater: u or 0?
u
Let m = -11.3 - 3.7. Let i = m - -27. Is i <= 1?
False
Let h be (-3*20/(-15))/(-2). Which is smaller: h or 20?
h
Suppose 0 = 2*j + 22 - 48. Which is smaller: 20 or j?
j
Suppose -14 = -4*a + 5*f - 2*f, -5*a + 3*f = -16. Suppose 4*w - a = 3*w. Let v = -221 + 224. Which is smaller: v or w?
w
Let w = -14 + 39. Suppose -23*y = -w*y + 8. Do 6 and y have the same value?
False
Let j(u) = -13*u**2 + 2 - 1 - 14*u - u**3 - u**2. Let w be j(-13). Suppose 5*x - 32 - 10 = -4*l, -3*x = l - w. Is l at least as big as 8?
True
Let i = 434 - 433. Which is greater: -1/368 or i?
i
Suppose d + g + 2 = 0, 0 = 4*d - 3*d + 5*g - 10. Let c = d + 1. Let a be (-15)/18*c/30. Is a < 1?
True
Let h be 4/8 - (-6)/(-4). Which is bigger: h or 15?
15
Let f = -8072 - -32599/4. Let o = f - 78. Which is greater: o or 1?
1
Let h be 3/6*1*(-22 + 20). Let q = 9 + -10. Is q greater than or equal to h?
True
Suppose l + 20 = -3*u - 3*l, -4*u - 31 = l. Let v(m) = -m + 8. Let q(a) = 6*a - 40. Let n(y) = -2*q(y) - 11*v(y). Let x be n(u). Is x != 3/10?
True
Suppose 3*z = 4*y + 381, -3*y - 2*z - 307 = -0*y. Let i = 185/2 + y. Which is smaller: -8 or i?
-8
Let w be 2/(-4)*2*1. Let x be 7 - 6 - (-48)/64 - 2. Which is smaller: x or w?
w
Let m = 968 + -1533. Which is smaller: m or 0.2?
m
Let d be 12/32 - 299206/837200. Let u = 1/4550 - d. Is u bigger than 1/4?
False
Let m = 42.7 - 44.7. Let f = 0.7 + -0.4. Let x = 0.28 - f. Is x greater than m?
True
Let r = 47974765/79576 + -48/9947. Let n = r + -602. Which is smaller: 0 or n?
0
Suppose -680 = -5*h - 3*y, -392 = -4*h + h - 5*y. Is 0.1 less than or equal to h?
True
Suppose y + 5*f + 0 - 29 = 0, -3*y + 7 = -f. Suppose 4*u = -64 + y. Is u != -16?
True
Let j = -761 + 729.04. Let x = 29 - -3. Let m = j + x. Which is smaller: m or -3?
-3
Let a = -266 + 265.6. Is a at least as big as 11?
False
Suppose 14*w + 4 = 60. Which is smaller: 56 or w?
w
Let u be (-138)/(-2)*-7*(-15)/(-105). Are u and -69 equal?
True
Let f = -13 + 12.9. Let j = 22 - 22.07. Let h = -0.06 - j. Which is smaller: f or h?
f
Suppose -5*i + 30 = -10*i. Suppose 0 = 8*d - 5*d + 18. Are d and i nonequal?
False
Let f(g) = 108*g - 865. Let c be f(8). Which is smaller: 2/587 or c?
c
Let s(q) = 5*q + 6 - 1 - q + 6*q. Let a be s(5). Which is smaller: a or 56?
a
Let p = -11 + -20. Let d = -34 - p. Which is smaller: -2 or d?
d
Suppose 0 = -12*x + 9*x + 825. Let w be 61/x - 4/22. Which is smaller: 0.1 or w?
w
Let v(r) = 2*r - 9. Let f(x) = x. Let q(p) = -3*f(p) + 3*v(p). Let u be q(9). Let t(l) = -l**3 + 7*l**2 - 5*l - 4. Let g be t(6). Is u <= g?
True
Let t = -128 - -33. Let a = t - -477/5. Is a at most as big as 6?
True
Let j(z) = 2*z**2. Let q be j(1). Let a(c) = -c**2 + 6 + q*c**2 + 11 - 15 + c. Let y be a(0). Do 1 and y have different values?
True
Let l(d) = 5*d**2 - 6*d + 10. Let q be l(2). Is 15 less than or equal to q?
True
Let k = 180.079 + -180. Which is smaller: k or -2?
-2
Let w(x) = -x**3 - 7*x**2 - 6*x + 2. Let y be w(-5). Suppose 0 = -4*k + 2*u - 70, -4*u = -3*k - 56 + 6. Is k greater than or equal to y?
True
Suppose -66*p = -3*p + 2268. Suppose -96 = 2*a - 22. Which is smaller: p or a?
a
Let j = 2051 + -8149/4. Which is bigger: 0 or j?
j
Let i(y) = -y + 4. Suppose 8*p = -6*p + 56. Let k be i(p). Suppose -o - 2*m + 3 = -6*o, -o + 4*m = -3. Is k equal to o?
False
Let a = -27.5 - -31.5. Let c = -0.024 + 3.924. Let h = c - a. Is 9 <= h?
False
Let u = -15 + 14.4. Let w = -18.6 - u. Let d = -18.1 - w. Is 2/7 <= d?
False
Let l = -7/24 - -1/24. Let b = -573/14 + 41. Is b greater than or equal to l?
True
Let o(z) = 30*z**2 + 38*z + 13. Let c be o(3). Which is greater: c or 399?
399
Suppose -2 - 10 = -4*r. Suppose 2*p = 5*p + r. Let z be ((-2)/(-6) - -1) + -1. Which is greater: z or p?
z
Let c = -772 - -757. Let w = 4.07 - 4. Let f = w - -1.93. Is f < c?
False
Let x(t) = t**2 + 48*t + 584. Let o be x(-17). Is 57 less than o?
False
Let d(l) = 2*l**2 - 3*l + 1. Let u be d(0). Which is smaller: -15 or u?
-15
Let k = -106 - -85. Let h = 2.1 - 1.1. Is h greater than or equal to k?
True
Let h = -1686.01 - -1686. Which is smaller: 13 or h?
h
Suppose -82 - 132 = -t - v, -2*v = 4*t - 848. Suppose t = -2*b - b. Let r = 1188/17 + b. Which is smaller: r or 1?
r
Let j(p) = p + 6. Let g = 23 - 30. Let a be j(g). Which is smaller: 1 or a?
a
Let m = -12.65 - -12.7. Is m >= -8?
True
Let b(j) = -j**3 - j - 1. Let m be b(0). Let t be (-11)/66 + (-1730)/(-12). Let w = t + -2158/15. Is m at most as big as w?
True
Let y = -1 - -2. Let k be (-7 - -9)*y/(-2). Which is smaller: 2/31 or k?
k
Suppose -5*w = 5*t + 10, 0*t + 4*w + 6 = -5*t. Let y(a) = -3*a + 2. Let i be y(0). Let u be (0 - 26)*i/4. Which is smaller: t or u?
u
Let f = -27/10 - -283/90. Let a = 8 - 5. Let x = 3 - a. Is x equal to f?
False
Suppose 4*i = -5*d + 82, 0*i - i = -3. Suppose -12*a = -d*a + 2. Which is smaller: a or 2?
a
Let w be (-3)/(-9)*(-2)/(-6). Suppose 3*d = -d + 92. Let g = d + -24. Is w at most as big as g?
False
Suppose -2*m + j + 1 = 0, j - 19 = -5*m - 2*j. Let c be 68/11 + m/(-11). Let b(s) = -s**2 + 9*s - 11. Let i be b(c). Is 25/4 greater than or equal to i?
False
Let m = 21581/49608 - 1/936. Which is smaller: m or -1?
-1
Let y(n) = n**2 - n - 1. Let z be y(3). Suppose 4*d + z*w - 12 = 8, 2*w + 5 = d. Is 5 bigger than d?
False
Let k be ((-1)/26)/(3/(-14)). Let b = k + -1219/273. Which is greater: -5 or b?
b
Let f be (4/264)/((-19)/(-171)). Are 1 and f unequal?
True
Let q be (-7 - (-10)/2)/((-4)/158). Let w = q - 59. Suppose 2*x - 51 = -3*h, 3*x + h - 28 = 38. Which is bigger: x or w?
x
Let l = 1435/8 - 180. Do l and -1 have different values?
True
Let l be 5*(-9 + 44/5). Which is bigger: l or 358?
358
Let w be ((-18)/4)/((-20)/80). Suppose -20 = 3*m - 4*d, -d - w = 2*m - 1. Which is smaller: m or 1?
m
Let y be (3 - (-2)/(-2))/(6 - 3). Which is greater: y or 6.2?
6.2
Let q be (-3)/15 - (-2)/(-15). Suppose -20 - 20 = z + 2*b, 5*b = 3*z + 65. Which is bigger: z or q?
q
Let r(w) = -6*w**2 + w + 1. Let q be r(-1). Let o(f) = f**3 + f. Let l(t) = 3*t**2 + 2*t + 1. Let b(y) = l(y) + o(y). Let h be b(-2). Which is greater: h or q?
h
Let d be 12/(-5)*32320/303. Is -256 greater than d?
False
Let z(l) = -134*l + 798. Let w be z(6). Is w <= -17?
False
Let m be (1 + 45/(-7))/(8/16). Which is smaller: -12 or m?
-12
Let y(u) = u**2 + 43*u - 12. Let w be y(-55). Does w = 647?
False
Let w be 30*(-168)/752 + 6. Which is greater: w or 0?
0
Let z = 53026/29 - 1826. Which is smaller: z or 1?
1
Suppose h - 18 = 3*h. Let d be (12/15)/4 + ((-46)/5 - 0). Is h greater than d?
False
Let s be ((-30)/(-4))/(1/(-2)). Let p be 4/(-18)*(-3)/s. Suppose -3*l +