?
w
Suppose 6*g + 8 = 10*g. Suppose 2*n + 2 + 0 = 0. Is g at most n?
False
Suppose 2*w = 5*k + 27, -4*w - 5*k - 2 - 19 = 0. Let g be 3 + 1 + -3*w. Do g and 2 have different values?
True
Suppose -4*p = -10 - 30. Suppose 2*x - x + 4*l = -7, 5*x = 3*l + 57. Which is smaller: p or x?
x
Let n(b) = -b + 3. Let y be n(5). Let t be (y/(-6))/((-3)/9). Suppose p + 0 = -2. Is p equal to t?
False
Let a = -1.9 + 1.91. Which is bigger: a or 1?
1
Let r = -16/11 + 47/55. Is 5 at most as big as r?
False
Suppose 14 = 3*f + 2*x, -4*f - 3*x = -2*x - 17. Suppose 5*o = 3*o + f. Let c be 16/10 + 2 + -3. Is c > o?
False
Let t = 7/57 + 4/19. Is t greater than 0.03?
True
Suppose -3*v - 8 - 1 = o, -1 = 5*o + 4*v. Suppose o*p = 4*p - 1. Suppose 2 = 3*m - m. Are m and p non-equal?
False
Let w = -0.14 + -6.86. Let v = 10 + w. Let z = v + -3. Which is greater: 2/7 or z?
2/7
Let r be 0/((-3)/((-15)/(-10))). Is r < 2/79?
True
Let x = 10356/31 + -334. Let z = x + 23/124. Which is smaller: z or -1?
-1
Let m = 370 + -3338/9. Which is greater: -2 or m?
m
Let w be 3/(-15)*(-5)/(-3). Which is bigger: 0 or w?
0
Let t = -70595 - -779583/11. Let n = -276 + t. Let f(w) = w - 3. Let c be f(2). Which is smaller: c or n?
c
Let q be 0/((-1)/((-1)/(-2))). Let k = 207/11 - 19. Which is smaller: k or q?
k
Suppose -s = -3*s - 5*t + 25, -5*t + 35 = 4*s. Suppose -s*a + 3*a = 0. Suppose a = -3*d + 4*d - 6. Is 6 equal to d?
True
Let o = 232/3 + -78. Let c = -27 + 29.6. Let q = 3 - c. Is o greater than or equal to q?
False
Let c = 0.8 + -10.8. Which is bigger: -1/4 or c?
-1/4
Let o be 2/(24/3)*4. Let y be (-62)/(-24) - o/4. Does 3 = y?
False
Let j be (1 + 3)*(-11)/2. Is j greater than or equal to -22?
True
Let y(x) = -x**2 - 4. Let w be y(0). Let s be w/(-16) + 14/(-24). Is -1 at most as big as s?
True
Let j be (4 - (-4)/(-1))/2. Suppose -2*g + j*i = 2*i + 8, -i = -2*g + 4. Which is smaller: g or -8/7?
-8/7
Let m be (8/14)/(1/(-3)). Suppose 3*n + 4*u = -n - 24, 0 = 3*n - 5*u - 22. Which is bigger: m or n?
n
Let w = -1188 - -1097.1. Let i = w - -87. Let y = -4 - i. Is y < -1?
False
Suppose -23 = -3*j + n, 7 + 15 = 2*j + n. Let g = -16 + j. Is g smaller than -7?
False
Let w be (-2)/(-9) - 561/(-27). Is w bigger than 21?
False
Suppose -2*v + 5*o = 12, -8 - 2 = 2*v - 4*o. Let k(j) = -j - 3. Let i be k(-3). Which is greater: v or i?
i
Let b = 10 - 7. Let h = 7 + -13/2. Which is smaller: h or b?
h
Suppose 4*b + 3*k = 18, 2*b - k - 10 = -3*k. Suppose 7*h - 24 = b*h. Is 6 > h?
False
Let q = -0.7 - -1.4. Let y be 1 - (100/12)/5. Which is smaller: y or q?
y
Let a be (2/3)/(8/36). Suppose 0 = a*r + 13 - 1. Which is smaller: r or -2?
r
Let h be 2/(-9) + (-190)/(-45). Is h > 5?
False
Suppose 27*h + 880 = 7*h. Which is smaller: h or -1?
h
Suppose 101 = -9*b + 56. Is -9/2 at least as big as b?
True
Suppose 0 = 6*o + 3 - 9. Is o < 1/41?
False
Suppose -3*l - 7 = -43. Suppose -3*y = -9 - 6, 4*k - 4*y = -l. Let j be 1 - (-2 - (-21)/9). Which is greater: j or k?
k
Suppose -u + 3*u = -8. Let n = u - -10. Suppose -n*y - 20 = -y. Is y equal to 0.1?
False
Let v(b) = 2*b + 6. Let i be v(-4). Let x be 0/((-3 - -4)*i). Let m = -87 + 1307/15. Which is smaller: x or m?
x
Suppose -2*b + 0*b = 0. Suppose b = 2*o + o - 15. Which is bigger: o or 6?
6
Let s(g) = -2*g + 23. Let n be s(8). Does n = 7?
True
Let h be (8/50)/(78/5). Let m be (1/(9/(-33)))/((-910)/38). Let q = h - m. Which is smaller: 0 or q?
q
Let c = -12.3 - 37.7. Is c at least 0.1?
False
Suppose -19 = -4*i + 3*p, 3*i - 5*p - 2 = 15. Which is greater: 3 or i?
i
Let n = 4 + -4.3. Let w = n + -0.5. Let o = -0.7 - w. Are o and -1 nonequal?
True
Let o be (0 - -2)/((-4)/2). Which is smaller: -1/4 or o?
o
Let w = -15 + 12. Suppose k - 18 = 5*k - 3*t, 3*k = 4*t - 17. Let n = w - k. Is 0 at most n?
True
Let k = 31 + -21. Let m = k + -20. Does 2/7 = m?
False
Let h = -4.89 - -0.79. Let s = 4 + h. Is s != -4?
True
Suppose 2*v = -3*l + 16, -6*l + 2*l + 14 = -v. Let c be 2/((-6)/(-5)) - 54/(-162). Which is smaller: l or c?
c
Let b = -7/10 - -69/70. Let j = -0.69 - -0.38. Let w = -0.09 + j. Is w != b?
True
Let y = -197/4 - -49. Which is greater: -0.09 or y?
-0.09
Let x(b) = -b + 1. Let j be x(1). Let o be (3 - (-2 - -8)) + 0. Let p be 0 + ((-12)/5 - o). Is p at most as big as j?
False
Let c = -0.8 - -0.79. Let b = -8.99 + c. Let y = b + 7. Do -0.4 and y have the same value?
False
Let d be -2*(3 + -4) + 5. Is d less than or equal to -4?
False
Let u = 3 + -2.9. Let z = -0.01 + 4.01. Let x = z + -5. Is x greater than u?
False
Suppose 10*c - 3 = 11*c. Do 0 and c have different values?
True
Let x be ((-2)/3)/(1/(-6)). Suppose -87*a + 82*a + 20 = 0. Do x and a have different values?
False
Let y(l) = l**3 - 4*l**2 + 2*l - 6. Let p be y(4). Suppose z - 2 = h, 0*h + 10 = 5*z - h. Is z smaller than p?
False
Let d = 7.3 + -0.3. Let h = 8 - d. Which is greater: h or 1/3?
h
Let z = -0.181 - 1.249. Let x = z + 1.5. Let h = -148 - -147.9. Are x and h nonequal?
True
Let u(j) = j**3 - j**2 + 9. Let k be u(0). Let y be 6/k - (-2)/(-3). Is -2/9 greater than y?
False
Suppose -t = -3*t + 4. Which is greater: 12/17 or t?
t
Suppose 2*u - 7*u = 0. Let i = -13/11 + 97/110. Are u and i nonequal?
True
Let f be (-2)/(2 + -1) - -2. Let q = 150445 - 1657005/11. Let o = -192 - q. Which is greater: o or f?
f
Let f be (0/1)/(2 - 4). Let w be 10/60*(f + 1). Which is greater: 0.1 or w?
w
Let x be (-7)/(-105)*155/(-2). Let y = 11/2 + x. Which is greater: -0.3 or y?
y
Suppose r - 4*n - 34 = 0, 2*r - 53 = 3*n - 0*n. Suppose -k - 3 = -5*q - r, q + 71 = 3*k. Suppose -2*s = -4*a + 18, -5*s - 4*a = -7*a + k. Is s != -3?
False
Let z = -0.53 + 0.13. Let a = 203/309 - -1/103. Is a at most z?
False
Suppose -2*v - 3*i + 40 = -0*v, -60 = -3*v + 4*i. Suppose 3*x = -2*x - v. Suppose -8 = 4*d - c + 12, -4 = 4*d + 3*c. Is x greater than d?
False
Suppose 5*x - o - 14 = -5, 2*x - 2*o - 10 = 0. Suppose 0 = -3*w + 397 - 10. Let v = w + -643/5. Which is smaller: v or x?
v
Let c = 6 + -3. Let u = c + -2. Is u greater than 0?
True
Suppose -v = -3*z + 2, -3*v - 3*z + 0*z = -18. Suppose -2*u - 56 = -4*h, -v*h + 7*u = 2*u - 56. Which is smaller: 13 or h?
13
Let h be 33/39 - 2/(-13). Let r be (-6)/88 - (-3)/12. Which is bigger: h or r?
h
Suppose 0 = -4*q - 2*q + 4*q. Which is smaller: q or 6/41?
q
Let f be 1/(-3) + (-2)/(-6). Suppose -2 = -5*u + 13. Let r be u/(9/3) - 2. Is f greater than or equal to r?
True
Let j = -7 + 5. Let d = -223/60 + 35/12. Is d at most j?
False
Let r = 79/4 - 403/20. Which is smaller: -1 or r?
-1
Let n(m) = -m**2 - 19*m + 32. Let r be n(-19). Which is smaller: r or 34?
r
Let a = -2 - -2. Is 2 not equal to a?
True
Let i = -16 + 15. Which is smaller: -3/8 or i?
i
Let c = -199/4 - -50. Let g be 2/8 + (-6)/24. Does g = c?
False
Let x = 2.2 + -1.2. Let a = -29.9 + 33. Let i = a - 3. Which is smaller: x or i?
i
Let x = 28 - 26. Is -6 smaller than x?
True
Suppose g + 9 = 3*f, -3*g - f + 2*f = 3. Let b = -199/387 + 3/43. Is b smaller than g?
True
Let d = -26440/39 - -678. Is 2/9 not equal to d?
True
Let r = 29422 - 205267/7. Let g = 98 - r. Let u(d) = -d**2 + 1. Let t be u(-1). Which is smaller: t or g?
g
Suppose 0 = -8*l + 5*l. Suppose s - 6*s - 11 = -2*f, -f - 3*s + 11 = 0. Let y be 5*(2/f)/(-1). Is y less than l?
True
Let j be (2 - 6) + (5 - 4). Which is greater: 0 or j?
0
Suppose 11 = -3*j - 2*z, 4*j - 17 = j + 5*z. Let u = j - 1. Let h be (3/2)/(6/(-8)). Is h >= u?
True
Let n be (-15)/(-5) - (4 - (2 - -1)). Is n at most as big as 3?
True
Let c(q) be the third derivative of q**5/120 - 7*q**4/24 - q**3/6 + 2*q**2. Let j(k) be the first derivative of c(k). Let i be j(6). Is -1/5 greater than i?
True
Let f be 62*1/(-10) - -1. Which is bigger: f or -6?
f
Let l(j) = -4*j + 21. Let m be l(5). Are m and 5/8 nonequal?
True
Let s be (-3 - (-33)/12)/(14/80). Is 2 equal to s?
False
Let r(q) = q**2 - 4*q. Let x be r(6). Let k = 51 - 34. Let v = x - k. Which is smaller: v or -4?
v
Let s(r) = r**2 + 18*r - 2. Let y be s(-19). Is y at most -0.1?
False
Let o(q) = q - 3. Let c be o(6). Suppose c*f = 2*f - 1. Which is greater: -1/17 or f?
-1/17
Suppose -4*z - 3*m = -11, -z - 1 = m - 4. Suppose 3*r = 5*b - 1, 4*r - 5*b - z = -0*r. Suppose -r*o - 2*o - 15 = 0. Which is bigger: -1 or o?
-1
Let u(f) = f**3 + 5*f**2 + f + 7. Suppose 0*o + o