?
False
Let w = 16 - 32. Is -17 at least w?
False
Let p be (1 - 2)*(-1)/(-2). Let s be 2 - (2/(-6))/(1/(-9)). Is p equal to s?
False
Let x be 12/30 + 56/10. Let p be 4/3*15/10. Suppose 2*o + 3 = 9, -p*a - 4*o + 22 = 0. Which is smaller: x or a?
a
Let x(u) = u**2 + 5. Let k be x(5). Suppose 0*n + 5*n - k = 0. Suppose -12 = 2*v - 4*m, -5*v + 0*m - 2*m + n = 0. Which is bigger: v or 1?
1
Let v = 0.8 - 0.2. Let n = 0.4 - -0.1. Let d = n - v. Which is bigger: d or -0.3?
d
Let o = 31 - 92/3. Which is smaller: 1 or o?
o
Let w be ((-4)/6)/((-4)/141). Let f = w - 24. Let x(m) = -m - 5. Let j be x(-6). Is j smaller than f?
False
Let v = 77 + -16. Let d = v - 367/6. Which is greater: d or 3?
3
Let m = -0.008 + 0.408. Which is bigger: 0.1 or m?
m
Let j be (-33)/350 + (-4)/(-8). Let b = 1/175 - j. Which is greater: -1 or b?
b
Suppose 2*t - 3*t - 6 = 0. Let q be 2 + -1 - (7 + t). Which is bigger: q or 2/7?
2/7
Let a be 4/(-42) + (-6)/18. Suppose -5*k - 1 = 4. Let f = 0 + k. Which is smaller: a or f?
f
Let v(p) be the third derivative of -p**6/30 - p**3/6 + 2*p**2. Let q be v(-1). Suppose 2 = 5*w - q. Which is smaller: 0 or w?
0
Let g = -8 - -8. Suppose 5*d - 5 = -j - g, 2 = d. Is -5 greater than j?
False
Let o(z) = z**2 - 6*z - 6. Let g be o(7). Is g smaller than 0?
False
Let t = 2 + -5. Let p = -0.06 + -0.94. Let s = p - t. Which is bigger: -1/3 or s?
s
Let n = -6 - -4. Let x(w) = 3*w**3 + 6*w**2 - 16*w - 19. Let i be x(-3). Are n and i non-equal?
True
Let g = -101/63 - -17/9. Which is greater: 4 or g?
4
Let g(r) be the second derivative of r**3/6 + 7*r**2/2 - r. Let w be g(-7). Suppose w = -2*l - 2*l. Is -6 greater than l?
False
Let z = 36 + -25. Let i = z - 4. Let r = 5 + 1. Is r <= i?
True
Suppose 10 = 2*l, l - 2 = 3*t - 6*t. Do t and -1/10 have the same value?
False
Let l(i) = 5*i - 33. Let o be l(12). Which is smaller: 26 or o?
26
Let r be ((-52581)/2817)/(2/12). Let p = r + 112. Let b = p + 608/2817. Which is greater: -1 or b?
b
Let d be 9*(-2 + 14/6). Suppose -z + u = 4*u + 2, -d*u = 0. Which is smaller: z or -1/2?
z
Let t = -25 + 21. Which is greater: t or -5?
t
Let p be (-60)/559 + 2/13. Is p less than -1?
False
Let z be 4/(-22) - (-16)/572. Which is greater: 0 or z?
0
Suppose 6*b + 42 = 9*b. Which is smaller: b or 13?
13
Let c = 1 - -3. Suppose -4*o = -8 - 8. Do o and c have the same value?
True
Let o be (-1 + 0)/(1/(-6)). Let d be (-2)/((-2)/(-1)) + 6. Is o > d?
True
Let f be 0/(-4) - (-3)/39. Is 0 <= f?
True
Let h = 1/57 + 55/114. Are h and 19 non-equal?
True
Let f be (-83)/15 + (-14)/(-70). Is -4 < f?
False
Let x = 6 + -4. Let j = -0.06 - -0.36. Which is smaller: j or x?
j
Let u = -7 - -5. Let i = 2 + u. Is 5 at most as big as i?
False
Let j(a) = a**2 + 11*a - 2. Let t be j(-5). Let x = 223/7 + t. Is -1 at least x?
False
Let a be -3 - -3 - (-2 - -1). Let n = 8/85 - 338/1785. Which is bigger: a or n?
a
Let d be 1 - (-32 - (-4)/(-2)). Which is smaller: d or 34?
34
Let v = -0.07 + -0.03. Is 22 <= v?
False
Let z(g) = 4 + 2*g + 3*g + 6 - 6*g. Let a be z(7). Which is smaller: a or 2?
2
Suppose -2*k = -2*x + 2, -17 = -3*k - k - 3*x. Let o(r) = 4*r - 9 - 3*r + 9*r**2 - 2*r**3 + r**3. Let w be o(9). Do w and k have the same value?
False
Suppose 0 = 5*w - 5, -5*s = -4*s + 2*w. Let a = -41/26 + 1/13. Is s > a?
False
Suppose 2*x - 3*x + 8 = 4*f, -f + 68 = 3*x. Suppose -x = p + 5*z, -3*p + 2*z + 4 = -2*z. Let h = -4 - -1. Which is greater: h or p?
h
Let u(o) = -o**2 - 6*o + 4. Let j be u(-6). Let z be (2/3)/(j/6). Let a = z - 4. Is -3 smaller than a?
False
Suppose 0*v + 32 = -4*v. Is -2 <= v?
False
Let n = -19/356 + -5809/24564. Let o = n - 16963/276. Let u = o - -62. Are -0.1 and u equal?
False
Let c(o) = -2*o - 29. Let d be c(-17). Which is smaller: d or 7?
d
Suppose -17*j = -14*j + 3. Which is bigger: -5 or j?
j
Suppose -20 = -13*s + 15*s. Is s equal to -10?
True
Suppose n - 1 = -2*q, -2*n + 0 = -3*q - 2. Let t be -2*1*(-1)/(-2). Is n bigger than t?
True
Let h = -23 + 31. Is h greater than or equal to -0.8?
True
Let q = -2/29 + 39/145. Which is bigger: q or -1?
q
Let w = 0.002 - -19.998. Let v = w - 20.1. Is -2 at most as big as v?
True
Suppose 3*o = 6*o. Suppose 4*d - 4*b + 38 + 22 = 0, -4*b - 36 = 4*d. Let z be (-16)/6*(-1)/d. Is o != z?
True
Let w(v) = -v**3 + 13*v**2 - 11*v - 16. Let a be w(12). Are -4 and a non-equal?
False
Let c(v) = -19*v + 1. Let j be c(-1). Suppose 2*b + j = -5*l, -b + 5*l = 2*b - 20. Suppose b = 3*s + 3*d + 3, -4*s - 2*d = 8. Which is greater: s or -2?
-2
Suppose 3*n = -0*n + 15. Let b = -10 + n. Is -5 < b?
False
Let m = 9.951 + -0.051. Let o = 10 - m. Is 0 bigger than o?
False
Suppose 2*n = -5*r + 14, 4*r - 3*n + 0*n = 2. Suppose r*j = -j + 9. Which is smaller: 4 or j?
j
Let q be ((-2)/(-3))/(6/(-18)). Let n be (3/21)/((-1)/q). Is n < 0?
False
Let v = -3 - -2.6. Let m(z) = z**3 + 6*z**2 + 5*z. Let j = 16 + -21. Let b be m(j). Which is smaller: b or v?
v
Let a = -1/61332 - 824513/3782140. Let r = 2/111 + a. Suppose 0*y = -3*y + 3. Is y >= r?
True
Let i be (2 - (-2 + 1))*7. Suppose -p + 0*s - 1 = 5*s, -4*p + i = -5*s. Let y be (-52)/44 + p/22. Is y at most -2?
False
Let u = -15 - 1. Are u and -16 nonequal?
False
Suppose -5*o = -o + 152. Which is smaller: o or -37?
o
Let n = -1.8 + 5.1. Let y = 3 - n. Is y not equal to 1?
True
Let x = -0.025 + 0.225. Suppose 3*b + 0 = 9. Is b smaller than x?
False
Let u = -1 - -0.9. Let b = -1 + 0. Let j = -1 + b. Is u greater than j?
True
Suppose 2*b - 3*c + 0*c + 21 = 0, 4*b - 3 = -3*c. Is b equal to -3?
True
Let d = 77 + -538/7. Let l = -6 + 16. Let i be 8/28 + l/14. Is d at least as big as i?
False
Let l = -4 + 7. Suppose p = l*q - 16, p - 4 - 15 = -4*q. Is 2/9 less than p?
False
Suppose 0 = -0*i - i - 5*b + 21, -5*i = 4*b - 21. Which is smaller: i or 7/8?
7/8
Let q = -13656/13 + 1051. Let j = 55/78 - q. Suppose 0 = -3*w + 2*t + 5, -5*t + 1 - 20 = -w. Which is greater: j or w?
j
Let q be -2*1/2 + 1. Is q at least as big as -2/43?
True
Let z = -21 + 39. Let x = z - 5. Suppose 4*c = 3*u + 6, -x = -5*u + 3*c - 4*c. Is 0 greater than u?
False
Suppose -5*a = -0*a - 15. Suppose 2*t - 2*x = -14, -t - 7*x = -a*x + 2. Let r be (0 - 6)*3/t. Are r and 2 unequal?
True
Suppose 4 + 5 = 3*n. Suppose 4*x = 5*a + 17, -2*x + 2*a - 1 = -3*x. Does n = x?
True
Let z(i) = i**3 - 7*i**2 + 7*i - 6. Let w be z(6). Which is smaller: 2/7 or w?
w
Let k = -3.04 - -0.04. Is k less than -1?
True
Let m be (15/45)/(2/6). Which is smaller: -0.3 or m?
-0.3
Suppose 2 = -3*q - 2*x, 4*q - 5*x - 5 = 2*q. Suppose q = -0*f - 2*f. Is f < 4/11?
True
Let u be 5/(-5)*(1 - 1). Is 2/5 less than u?
False
Let h be (1/(-2))/((-5)/(-70)). Let o(j) = 2*j**3 - 15*j**2 - 10*j + 8. Let a be o(8). Is h bigger than a?
True
Let t = -2 + -1. Let b = 22 + -16. Suppose -5*s + b = 16. Is t > s?
False
Let t = 29681/7518 - 370/179. Let l = t - 13/6. Which is smaller: l or -0.1?
l
Let g be 7*((-2)/(-7) + 0). Suppose 44 = -4*n + n + 5*v, 5*n - g*v + 48 = 0. Is n bigger than -7?
False
Let y = 2 - 3. Let u = 0 + y. Let a = 0.5 - -1.5. Which is smaller: a or u?
u
Let b(q) = q**3 + 10*q**2 - 11*q + 4. Let g = 15 + -26. Let i be b(g). Which is smaller: i or 3?
3
Let t = 40 - 31. Which is bigger: t or -2/9?
t
Let l = 0.12 + -0.11. Let z = l - 0.01. Which is smaller: z or -7?
-7
Let h = 4 - 3. Which is greater: -9 or h?
h
Let y be 27/852*94 + -3. Let h = y - 547/994. Let g(u) = u**3 + u**2 - 2. Let n be g(0). Is n greater than or equal to h?
False
Let l = 0.1 - 0.3. Let m = 19.7 + -20. Which is bigger: l or m?
l
Suppose 5 - 1 = 2*o. Suppose o*q = 7*q - 5. Let s be (q/3)/(6/18). Is s at most -1?
False
Let g(l) = l**2 + 2*l - 19. Let a be g(-6). Suppose 2*d = 3*d - 6. Which is smaller: a or d?
a
Let f = -4 + 4. Suppose 5*g - 9 - 6 = f. Suppose 0 = j - 2*i + g, 0*j - 3 = -4*j + 3*i. Is 1 > j?
False
Let h be (-51)/18 + 0 + (-27)/(-18). Is h at least as big as -1?
False
Suppose 5*n - 23 = -3, -m - 19 = -n. Is m less than -15?
False
Let h be (30/(-20))/(1/(-4) - -1). Do -9 and h have different values?
True
Let l be (408/64)/(2/(-8)). Let x = -26 - l. Let w be (-2)/7 + 5/(-7). Which is smaller: x or w?
w
Let s = 0.09 - -1.81. Let j = -11.8 + 9.8. Let u = s + j. Which is smaller: u or 0?
u
Let c = -13/10 - -137/90. Which is bigger: c or 0?
c
Let h = 0.4 + -0.45. Let