ue?
True
Let w be 1/((0 - 3)/(-33)). Suppose 0 = -t - 1, -6*y + 3*t = -w*y + 12. Suppose y*u - 2 = 1. Is u not equal to 2/13?
True
Suppose -53 = 5*z + 2*d, -3*z - d - 34 = -2*d. Which is bigger: z or 0.1?
0.1
Let j be (-6)/21 - 8/70. Let f = -1.5 + 1. Which is smaller: f or j?
f
Let g = -16023/3130 - -6/313. Let w = -8/5 - g. Do w and 3 have different values?
True
Let s(o) = -o**2 - 7*o - 5. Let p be s(-6). Suppose -5*g + 21 = p. Suppose -3*m - 10 = -5*x, -5*x + 4 = -3*x - 5*m. Which is bigger: g or x?
g
Let q be 6/(-1)*(-4)/6. Let b be ((-18)/15)/((-3)/10). Is b >= q?
True
Let f(j) = -j + 11. Let t be f(12). Which is bigger: 2/139 or t?
2/139
Let z be 4/22 + (-52)/44. Let j(h) = 2*h**2 - h - 1. Let n be j(z). Are 4 and n equal?
False
Let p be (-2)/6*(-30)/(-2). Let u be p - (1 - 2)*2. Let o be (-1 - 3/(-5))*5. Which is smaller: u or o?
u
Let f = 198/175 - 14/25. Let k be 1 - -2*2/(-4). Is k < f?
True
Let i(f) = -f**3 + 2*f**2 + 2*f - 2. Let v be i(2). Let w be (-12 + 9)/(v/4). Let r(n) = n**3 - 4*n**2 - 7*n + 5. Let s be r(5). Which is bigger: s or w?
s
Let g(i) = -i + 3. Let l be g(0). Let d(h) = 0*h**3 - 12 + 4*h**2 - 12*h**2 + 8*h - h**l. Let x be d(-9). Which is bigger: x or -1?
-1
Let m be -2*(-2)/20*-1. Let d = -17/60 - m. Which is smaller: d or -1?
-1
Let d = -6.8 - 1.2. Let x = 3 + d. Is 0 > x?
True
Suppose -13*k + 16*k = 0. Suppose u - 3 + 1 = k. Suppose -p - u*p = 0. Is -2/15 bigger than p?
False
Let x(p) = 9*p**2 - 2*p. Let s be x(3). Let j = s + -227/3. Let i = 27 + -23. Which is greater: i or j?
i
Let n = 340 + -5098/15. Suppose -4*s + 0 = -4. Which is smaller: s or n?
n
Let k = -0.4 + 0.2. Which is greater: k or 1/3?
1/3
Suppose 3*f - 2*f - 5 = 0. Suppose b = 2*d + 37, -f*d - b - 11 = -4*d. Is -17 bigger than d?
False
Let f be 15/20 - (-75)/12. Is f at most 8?
True
Let x(o) = -3*o**2 + 2*o - 1. Let q be x(1). Is q bigger than -1?
False
Let k be (2 - (-2)/(-2))*(8 - 5). Is 2 greater than k?
False
Let v be 7/(-14)*8/(-44). Which is smaller: -1 or v?
-1
Let c(f) be the second derivative of -f**4/12 - 2*f**3/3 + 2*f**2 - f. Suppose 0 = 3*l + 5*x - 4*x + 16, l - 5*x = 0. Let v be c(l). Which is bigger: v or -4/9?
-4/9
Let u = 9 + -9. Which is bigger: 2/27 or u?
2/27
Let q be 16/104 - (-74)/(-650). Which is smaller: q or -1?
-1
Let n be (-18)/4*(-2)/3. Suppose -3*a = -l - 9 - n, 3*a - 6 = -l. Suppose 0 = -b + 3*q + a, -2*q = b - 3*q - 1. Is b <= 1?
True
Let u = 65 + -112. Which is smaller: -48 or u?
-48
Let x = -0.02 + -0.48. Let a = -0.8 - x. Is a greater than -1/5?
False
Let f = 1 + -5. Suppose 2*g + 10 = -0*g. Which is smaller: g or f?
g
Let o be 0 - (-2)/(-18)*-2. Suppose 5*n - n - 16 = 0. Suppose -n*v + 1 - 5 = 0. Which is bigger: v or o?
o
Let j = -56.8 + 57. Let h = 6.4 + -6. Do h and j have the same value?
False
Suppose -3 = -3*b - 3*j, 5*b - 4*j + 4 = -0. Suppose 2*w = -b - 4. Suppose 4 = -3*t + y - 1, 3*t + 3 = 3*y. Are t and w nonequal?
False
Let c(f) = -f**2 + 7*f + 13. Let s be c(8). Is s != -1?
True
Suppose -4*j = -4*m - 236, 5*j = -2*m + 364 - 90. Is j not equal to 55?
True
Let b be (2/3)/((-10)/30). Let z = -12/5 - b. Let y(m) = -m + 1. Let f be y(3). Which is bigger: f or z?
z
Let w = 501.99 + -507. Let h = w + 5. Which is smaller: h or -2/5?
-2/5
Let q(p) = p**3 + 9*p**2 - p - 10. Let w be q(-9). Let d = -3 - w. Let o be (0 - 1)/(3 + d). Is o equal to -2/21?
False
Suppose 3*a - 5*o + 7 = 0, -3 = -4*a - o + 3. Suppose -2*u - w + 4 = 0, 3*u - 2*u - 8 = w. Suppose y = -u*y + 5. Do y and a have the same value?
True
Let p(w) = -5*w - 10. Let l be p(-4). Is l at most 3?
False
Let a = -202/21 + 28/3. Is 1 < a?
False
Suppose 11*m - 6*m = 0. Is m <= -11?
False
Suppose -4*v - 2*i = -12, -4*v = -12*i + 9*i + 8. Which is smaller: -2/155 or v?
-2/155
Let w = -1/5 + -3/10. Let i = -2.4 - -2.4. Which is smaller: i or w?
w
Let m be -2 + (-3 - (-2 - 8)). Are 4 and m non-equal?
True
Let x = -14 + 11. Suppose w + 12 = -5*j, 4*j = -w - 11 + 1. Do j and x have different values?
True
Let b(d) = -d**2 + 4*d - 4. Let h be b(4). Let z be h/(-6)*4/(-36). Let v = 44/135 - z. Is 0.4 at most v?
True
Suppose o = 4*o - 6. Suppose -k - 3*y = -11, -o*k + 4*y - 21 = 3*k. Which is smaller: 3 or k?
k
Suppose 14*y = 11*y + 42. Is 14 at least y?
True
Let c = -5888 - -5864.17. Let v = c - -24. Let w = -0.03 - v. Which is smaller: 0.3 or w?
w
Let b = -84.99 - -85. Is b at most 9?
True
Let t(f) = -f**3 - 3*f**2 + 5*f + 2. Let a be t(-4). Suppose 0 = h - 4*z + 7, -4*h + 3*z = -9*h + 34. Suppose g = 3*v + 8, -g + h*g = -v - 20. Is g >= a?
False
Let d = -45 + 45. Which is bigger: d or -5/16?
d
Suppose -5*m = 0, 3*s + 0 + 9 = 4*m. Is s equal to -5?
False
Suppose l + 9*l - 310 = 0. Is l > 31?
False
Let y = -1 + 5. Suppose 0 = -y*g - h - 9, 4*h + 8 = -5*g - 17. Is g at least -2/7?
False
Suppose -20 = -2*n + 5*m - 2, 3*n - 27 = -5*m. Which is smaller: n or 7?
7
Suppose -15 = -2*g - 3*g. Suppose -22 - 29 = -g*m. Suppose 2*v + 2*o - 12 = 0, -3*v + 6*v - 4*o + m = 0. Which is greater: v or 2?
2
Let h(w) = -w**2 - 7*w + 1. Let m be h(-6). Let x = -13 + m. Is x less than or equal to -6?
True
Suppose -5*w + 32 - 10 = 4*p, -5*w = 3*p - 19. Let u(l) = -7*l + 7. Let q(y) = -y + 1. Let t(z) = -6*q(z) + u(z). Let f be t(-1). Which is smaller: p or f?
f
Let x = 25 - 16. Let t be 0 - (33/x + 0). Let u = t + 23/6. Is -1 greater than u?
False
Let g = 41 - 124/3. Let i = -0.5 + -1.7. Let y = i - -0.2. Is y >= g?
False
Let h = 0.5 - -0.5. Let q = h + -1.1. Is -3 bigger than q?
False
Let g be ((1 - 1)/2)/3. Let s be (-21)/(-7) + 0 + -1. Let w = s - g. Is w >= 2?
True
Let b = 82 + -82. Which is smaller: -9/5 or b?
-9/5
Let b = 19 - 29. Which is smaller: -11 or b?
-11
Let s = 9.5 - 1.5. Let l = s + -5. Is 0.1 at most l?
True
Let i = -24 + 25.8. Which is greater: -1 or i?
i
Suppose -10 = -k + 4*s, -2*k - 28 = 2*k + s. Let n be (k/12)/((-1)/8). Is 3 greater than or equal to n?
False
Let x be -3 + 0 + 5 - 3. Which is smaller: -4/25 or x?
x
Suppose -7 = -t + 2*d, d + 10 = -4*d. Which is smaller: -1 or t?
-1
Let u be ((-8)/(-5))/((-4)/(-10)). Suppose u*o = 3*o. Let k = -2/75 + -13/75. Is o > k?
True
Let k be (-16)/(-18) - 2/3. Let o = -5 - -5.2. Let h = 0.1 - o. Is h greater than or equal to k?
False
Let m = -39 + 42. Is m at most 0?
False
Let a = -68/3 + 23. Which is greater: a or 0.1?
a
Let g be (-2)/(16/18) - -2. Let n be -1 - ((-4 - -2) + -1). Let t = 3 - n. Is t at most g?
False
Let i = -5.9 + 1.6. Let g = i - -4. Which is smaller: 0.1 or g?
g
Suppose c = -3*c + 12. Let n be (c - 3)*(-2 - -1). Which is bigger: n or -4/9?
n
Let v be 3 + 3*4/6. Suppose -v*b = 2*f + 2*f - 7, 2*f - 7 = b. Suppose -k - f*k = 0. Which is greater: k or -1/2?
k
Let f(k) = k**2 - 2*k - 6. Let n be f(6). Let b be (-4)/n - 4/(-18). Suppose 4*d + 6 = 2. Which is smaller: d or b?
d
Suppose 5*n + 17 + 23 = -a, 0 = 4*a - 4*n + 136. Is a less than -34?
True
Let u = -1.43 - -1.6. Let g = u - 0.07. Which is bigger: g or 3?
3
Suppose 2 = 4*k + 10. Let h be (4/42)/(k/6). Does h = -1?
False
Let g(a) = a**2 + a. Let z be g(-1). Suppose -10*f + 48 = -4*f. Let s be 34/f + (-18 - -14). Is s at least as big as z?
True
Let w = 0.1 - 0.2. Let y = -45 + 46. Which is smaller: y or w?
w
Suppose -2*r + 4*v = 0, -5*r = -r - v + 14. Suppose -4*t + 2 = -2. Let o be -1 + t - (-8)/r. Which is greater: -1 or o?
-1
Let s = 19 + -13. Suppose x = s*x + 15. Is -2/5 equal to x?
False
Let l = -93025/152 - -612. Let v = 88914427/635876040 + 23/278893. Let r = v + l. Are -1 and r nonequal?
True
Let r = -10/1113 - -5876/406245. Is 1 greater than or equal to r?
True
Suppose j + 2*x + x = 13, -10 = -2*j + 2*x. Which is greater: 4 or j?
j
Let t(q) = -q + 4. Let g(z) = -z. Let w be g(4). Let b be (0 + 0)/3 - w. Let k be t(b). Which is smaller: k or -3/8?
-3/8
Let h = -1 + 0. Suppose -4*z = 2*z. Which is bigger: z or h?
z
Let t = -3/13 - 1/52. Which is greater: -28 or t?
t
Let x = -79 - -81. Is 2/17 at most as big as x?
True
Suppose 5*z = -b - 26, 3*z + 6 = 4*z + 3*b. Is -4 at most as big as z?
False
Suppose -129 + 29 = 5*l. Let h be 5*-6*(-2)/l. Are h and -3 equal?
True
Let t(y) = -3*y - 37. Let s be t(-12). Let f be -2 - -2 - (1 + -2). Are s and f non-equal?
True
Let v = 0.2 - 0.22. Let l = -0.12 - v. Is 4 != l?
True
Let u = -22 + 67/3. Is u !=