?
x
Let j = -8185/23 - -356. Does j = -1?
False
Suppose -7*j + 5*j + 6 = 0. Is j not equal to 7/4?
True
Let s be (4/(-10))/(4/(-20)). Suppose -5*a + 8 = s*q, a + 20 = -0*q + 5*q. Which is greater: -9/7 or a?
a
Suppose 0 = -2*t + 35 - 37. Is 3/10 greater than t?
True
Let l be (-31)/3 + 1/3. Let m be (8/(-20))/((-42)/l). Which is greater: 1 or m?
1
Let p(t) = t**2 - 1. Let y be p(-1). Let a = y + 2. Are a and 2 nonequal?
False
Suppose 11*m - 6*m - 35 = 0. Are m and 4 nonequal?
True
Let d = -3 - 1. Suppose 0 = 4*y + 5*r - 15, 2*y + 4*r + 5 = 11. Suppose -2*g = -6*g - p - 11, -y*g - 13 = 2*p. Does g = d?
False
Let k(d) = 5*d - 22. Let h be k(4). Suppose -3 = 2*v - 1. Which is smaller: h or v?
h
Let m = -1.6 + 3.66. Let k = 0.06 - m. Suppose -8*w - w = 18. Are w and k non-equal?
False
Let k = 336 - 2021/6. Which is greater: k or -2?
k
Let m = 1.53 + -0.47. Let u = 1.1 - m. Suppose -3*x + 1 = -2. Is x <= u?
False
Let z be 16/6*9/(-6). Let w be (-20)/(-25) + 57/(-15). Which is greater: z or w?
w
Let q = -27 + 22. Let j(s) = s**3 + 4*s**2 - 4*s + 5. Let h be j(-5). Suppose -4*r - p - 22 = h, p = -5*r - 3*p - 33. Is q > r?
False
Suppose 6*l - 4*v - 20 = 2*l, 3*v = -15. Is 1/18 > l?
True
Let l be (32 + 0)*2/(-4). Let d = l + 13. Which is smaller: d or -5/3?
d
Let h(p) = p + 6. Let z(a) = 3*a + 3. Suppose 4*k - 2*n + 10 = -3*n, 3*k = 3*n - 15. Let s be z(k). Let y be h(s). Is y at most 2/13?
True
Let f be (1 - 1)*(0 + -1). Suppose n - 4 + 2 = 0. Suppose -n*y - 2*i = 8, f = -y - 2*y + i + 4. Which is smaller: y or 1/8?
y
Let o(d) = d**2 + 1. Let t be o(-1). Let l = -3 + t. Let k = -2 - l. Is 2/7 less than k?
False
Let h(l) = 4 - 7*l - 3 + l**2 - 2*l**2. Let j be h(-5). Suppose -5*d + j = 5*g + 1, -8 = 4*d. Is g greater than or equal to 4?
True
Let o be 4/3*(3 + -6). Which is smaller: o or 1?
o
Let m = -3 + 1. Which is greater: m or -5/3?
-5/3
Let l be 1/4 - (-9)/57. Let d = 473/950 + -17/50. Let j = l - d. Is 1/4 at most as big as j?
True
Suppose 2*h - 16 = 2*r, -2*h - 16 = -5*h + r. Let t = 5 - h. Do t and 2/23 have the same value?
False
Suppose -5*x - 33 = -8. Let h(s) = -5*s + 4. Let p(w) = 2*w - 1. Let z(b) = 4*h(b) + 11*p(b). Let t be z(x). Is t at most as big as -6?
False
Let v be ((-2712)/20)/(14/(-10)). Let h = v - 97. Are 0 and h unequal?
True
Let n = 4 + -6. Let s be (51/(-26) - n)*-4. Let r = -124.9 - -125. Is s at least r?
False
Let y = 14/15 + -1. Which is greater: y or 0?
0
Let x be (8/5)/(((-2)/(-45))/2). Is x > 72?
False
Let a = -7 + -2. Let w = -8 - a. Is w equal to -0.1?
False
Let v be 6/39 - 53/91. Is -1 greater than or equal to v?
False
Let i = -13/189 - 2/27. Which is greater: 0 or i?
0
Let b = -18 + 11. Let h = -6 - b. Let s be (-20)/(-24) + 1/(-3). Is s >= h?
False
Suppose 2 - 4 = -2*v. Let b = v - 0. Let h be (-2)/(-6) + 2/(-6). Is b != h?
True
Let y be (4/(-120))/(2/(-2468)). Let l be 1012/24 + (-1)/(-6). Let j = y - l. Which is smaller: j or -1?
j
Let w = 9 - 9.3. Let f be (-4)/(-6) + (-11)/12. Which is bigger: f or w?
f
Suppose -3*v - 5*g + 29 = 0, 0 = 5*v + g + 3 - 22. Suppose 0 = -3*m - r - 11, m + 0 - v = r. Which is greater: m or -1?
-1
Let o be (9 + -2)*8/28. Let g be 1/2*o + -1. Is 0 <= g?
True
Let n be ((-6)/16)/(13/(-26)). Let h be ((-2 - -1)*0)/(-1). Which is smaller: h or n?
h
Let j(a) = a**3 + 9*a**2 - a + 11. Let z be j(-9). Suppose 0 = -3*v - y - 4 + 8, -3*v - 5*y = -z. Suppose -5*h - 1 - 4 = v. Are h and -1/6 non-equal?
True
Let k be 2/(-15) + (-6)/24. Let w = k + 1/20. Suppose 0 = -4*x - g + 8, -5*x - 13 = -5*g + 2. Which is smaller: x or w?
w
Suppose -3 = 2*j - 35. Which is smaller: j or 15?
15
Let t = 0.01 + 1.99. Let k = -1.8 + t. Let m = k - 0.1. Is -1 at most m?
True
Suppose -11*f + 44 = 286. Is -21 <= f?
False
Suppose 0 = 5*d + i + 10, 5*d + 2*i + 0 = -5. Let c be 4/9 + 2/d. Which is smaller: 0 or c?
c
Let l(h) = -h - 29. Let p be l(-23). Which is bigger: -5 or p?
-5
Let s be 32/(-40) + (-6)/5. Is s <= 0.1?
True
Let b(a) = a**2 - a + 11. Let s be b(9). Let k = s + -997/12. Is k less than or equal to -1?
False
Let m = -1.6 - -1.4. Which is smaller: m or -10?
-10
Let x = -29 + 17. Let w = -8 - x. Is 0 <= w?
True
Let g = 4403/31 - 142. Is g smaller than 1?
True
Let j(c) = c**2 + 5*c - 6. Let k be j(-6). Suppose 3*s + k*s + 3 = 0. Is 2/19 greater than or equal to s?
True
Let p = 0 - 0. Let m = -1/47 + -43/188. Which is greater: m or p?
p
Suppose -2*f - 7*m + 22 = -3*m, -4*f + 29 = 5*m. Let w = 1 - f. Which is smaller: 2 or w?
w
Suppose -5*k - 25 = -3*c, -5*k = -2*c + 10 + 10. Let v(n) = -n**3 + 4*n**2 - n + 2. Let t be v(4). Is k smaller than t?
False
Suppose 3*f = -5*v - 0*f - 2, 2*v = -f. Let n be v/10*45/(-54). Is -0.1 equal to n?
False
Let i = -192977/63 - -3063. Let p = -11/441 - i. Let r = 73/245 + p. Is r > 1/2?
False
Let w(s) = s**3 + 9*s**2 + 8*s. Let j be w(-8). Which is smaller: j or -1/77?
-1/77
Let i = 164 - 166. Suppose 0 = -t + l, -6*l + 14 = 5*t - 4*l. Suppose 8 = -3*g + t. Does g = i?
True
Let s = -0.0234 - 17.9766. Suppose -5*z - 2 = -7. Is z greater than s?
True
Let h be (9/18)/((-3)/10) + 1. Which is greater: 4 or h?
4
Let y be 3 + 34/18*-5. Let k = -205/36 - y. Which is smaller: 1 or k?
k
Let u = 0.93 - -0.77. Which is greater: 2 or u?
2
Let z(i) = -i + 3. Let l be z(0). Suppose l*t + 2*t = 0. Which is greater: t or 2/7?
2/7
Let n = -3.057 - -0.127. Let b = -0.06 - 0.01. Let x = b + n. Which is smaller: -0.1 or x?
x
Let s be (-38)/(-10) + (-1)/(-5). Suppose -s*w - 2*h = h + 25, -4*w - 4 = -4*h. Are w and -2 equal?
False
Let m = 0.068 - 0.268. Which is smaller: 0.5 or m?
m
Let j(b) = 2*b**2 - b - 2. Let h be j(2). Suppose h*a + 4 = -0*a. Let q(w) = -w. Let i be q(a). Are i and 4/3 equal?
False
Let k be -1*(-2 + (-3 - -4)). Let z be 45/(-27)*k/(-15). Suppose 0 = 4*g - 4. Is z < g?
True
Let h = -0.4 + 0.7. Let s = 0.05 - 0.25. Which is bigger: s or h?
h
Let m be (-1 - (-2)/1) + -2. Suppose 0 = -5*s - 4*j - 6, 0*s + 4*j = -2*s. Which is bigger: m or s?
m
Suppose 0 = -12*j + 14*j - 26. Are j and -0.1 unequal?
True
Let o be 14/(-10) + (-2)/(-5). Let p = -459 + 459.2. Which is smaller: o or p?
o
Suppose -4*b + 2*b + 40 = 0. Suppose 0*q - 3*q + 15 = 0. Suppose -p = -6*p + b, 13 = -q*f + 2*p. Which is bigger: f or 1/3?
1/3
Let x = -4 - -14. Let i be (-5)/2*(-16)/x. Let g = i + -4. Is g greater than -2?
True
Let l = 2.9 + -3. Let g = -0.19 + 0.07. Let j = g + 0.02. Is l > j?
False
Let j(b) = -19*b**2 - 2*b - 1. Let t be j(-1). Let l = t + 11. Is -7 bigger than l?
False
Suppose 4*k + 491 - 175 = 0. Let g = -3 + 6. Let t be k/27 + g + 0. Which is bigger: t or 1?
1
Let w(q) = q**2 - 12*q - 12. Let j be w(14). Let l be ((-33)/(-12))/(2/j). Which is smaller: l or 21?
21
Suppose -2*o = -0*a - 3*a - 10, 0 = 3*o + a + 7. Suppose -b = -0*b. Which is bigger: b or o?
b
Suppose 3*h = 6*h. Which is smaller: h or -2?
-2
Let u(d) = 6*d. Let j be u(-1). Let a be 0 - (j/2 - -2). Is -2/9 at most as big as a?
True
Suppose 5*a - 2 = -37. Let d = 660 + -668. Is a less than d?
False
Let n = -78 + 52. Let l = -14 - n. Which is bigger: 11 or l?
l
Let c(s) = -s**2 - 7*s - 4. Let n be c(-3). Let x = -8 + n. Is x >= 2/29?
False
Let h = -2/90603 - 12090457/453015. Let d = h - -224/9. Which is greater: d or -2?
d
Let i(f) = -f**2 - 5*f + 6. Let b be i(-5). Suppose t = 4*t + b. Let u be 1 + (-2 - -3) - 3. Which is smaller: t or u?
t
Suppose 4*d - 5 = -21. Let t be (24/210)/(d/10). Is 1 greater than or equal to t?
True
Let z = -1 - -1.1. Let s = z + 0.2. Let c = 0.4 - s. Which is smaller: -2/3 or c?
-2/3
Suppose -12 = -4*c + 4*s, -c + s + s = 2. Let h be 2/(-3) + 52/6. Is h at least c?
True
Let b be 2/((-28)/(-6)) - 0. Suppose 7*r - 3*r = 0. Is r not equal to b?
True
Let j be -3 + (2 - 4) + 5. Is 7 greater than j?
True
Let r(i) = i**2 + 11*i + 19. Let q be r(-2). Let k be 160/(-462) - 4/(-14). Which is smaller: k or q?
k
Suppose -r + r = 8*r. Which is smaller: r or -1/29?
-1/29
Let f = -7 - -11. Suppose -f*u - 4*n = 8, 0 = -3*u - 4*n - 5 - 0. Do -3 and u have the same value?
True
Let n = -105 + 93. Which is smaller: n or -4?
n
Let f = -0.024 + -0.186. Let g = 0.11 + f. Which is smaller: g or 0.1?
g
Let g be (-22)/4 - 36/(-24). Which is smaller: g or -6?
-6
Suppose 10 = 3*s - 3*q + 4, 4*q = -5*s - 8. Which is smaller: s or 1/4?