er: k or y?
k
Let w = -95 + 96. Which is greater: w or 8/23?
w
Let y be ((-18)/80*2)/((-6)/16). Which is bigger: y or 2?
2
Let r = 14.42 - -0.58. Are r and 0.3 unequal?
True
Let b = 1.6 + 6.4. Let j = 7.8 - b. Is j greater than or equal to 2/3?
False
Let a be (-8)/24 - (-22)/(-18). Is a at most -3?
False
Let h(d) = -d**3 + 3*d**2 + 4*d - 3. Let j(u) = u. Let b be j(4). Let t be h(b). Is t not equal to -2?
True
Let g = 60 - 51. Is 8 <= g?
True
Let j be 576/(-28) - 8/(-14). Is j greater than or equal to -22?
True
Let z(u) = -u**3 + 4*u**2 - 4. Let c be z(3). Suppose 0*t + 4*t = -j + 14, 5*t - c*j = 5. Is t <= 3?
True
Let i = -1 - 5. Suppose 2*k + 13 = 1. Is k > i?
False
Let y be 188/70 + (-6)/2. Let m = -3/5 - y. Are m and 1 unequal?
True
Let i be 26/10 + (-2)/(-5). Suppose 63*d - 65*d + 8 = 5*y, 15 = -5*d + 5*y. Is i greater than d?
True
Let d be (-26)/(-6) - 1/3. Let x be (-1 + 3)*18/d. Suppose 3 = 3*m + 3*o + x, 0 = -3*o. Which is bigger: m or -1?
-1
Let y(h) = -h**3 - 14*h**2 + 2*h + 5. Let k be y(-14). Let t = k - -22. Is -9 at most as big as t?
True
Let b = 0.1 - 0.06. Let m = b - 0.02. Let a = m + -0.02. Which is smaller: a or -2/5?
-2/5
Let m = -0.48 - -0.18. Which is smaller: -1.5 or m?
-1.5
Let r be ((20/(-5))/32)/((-2)/(-12)). Let i = 3 - 5. Which is bigger: r or i?
r
Let a = -2554/2063 - -8796403/7800203. Let y be 4/(-18) - 3663/(-16119). Let c = a + y. Which is smaller: c or -1?
-1
Let g = -9 + 11. Suppose 0 = 5*t - g*t - 21. Is 6 at least as big as t?
False
Let k = 12 - 18. Let a(i) = -i**3 - 7*i**2 - 7*i - 4. Let m be a(k). Is 0.3 equal to m?
False
Let k = -154 + 223. Which is bigger: k or -1/4?
k
Suppose -5*f + 3*f + 12 = 0. Let l be ((-3)/(-1))/(-1) + f. Suppose x = -2*x + l. Is -2/5 bigger than x?
False
Let d = 8.85 - -0.15. Are 1/2 and d unequal?
True
Suppose 4*x + 4 = -y, -y + 2 + 2 = -4*x. Which is smaller: -3/5 or y?
-3/5
Let g be (44/(-305))/11*10/4. Is -1 <= g?
True
Let p = -0.21 + 12.21. Let l = 8 - p. Is l not equal to -1/2?
True
Let r = 6 + -6. Suppose 4*x + s - 19 = r, -2*x - 3*x = 4*s - 21. Which is greater: 4 or x?
x
Let u(n) = n**3 + 5*n**2 + 2*n + 10. Let y be u(-5). Are -1/13 and y equal?
False
Let i = 0 + 4. Suppose 10 = 5*n, -i*w + 3*n + 1 = -1. Suppose 4*z = l - 1 - 2, 0 = -z. Which is greater: l or w?
l
Suppose 3 = -4*w + w. Let t = 1/3 + w. Let u = -7 - -6. Is t at least as big as u?
True
Let x = -0.46 - -0.06. Let z = x + 0.5. Suppose 4*t - 24 + 4 = 0. Which is smaller: z or t?
z
Let k = 0.32 + -0.23. Let f = k + 0.91. Let h = -0.2 - -0.8. Which is bigger: h or f?
f
Let i(s) = s**3 + s**2 - s + 3. Suppose 0 = 4*r - 0*r. Let j be i(r). Let t = j + -2. Is 1 at most as big as t?
True
Let u = -0.034 - -2.034. Let t = -14 - -6. Which is bigger: u or t?
u
Suppose -5*d = 3*u - 15, 0 = 3*u - 5*d + 7 + 8. Is -1/11 > u?
False
Let j be 2/6 - 4/(-6). Let q be -4*(2 - 5/2). Is j at most q?
True
Let r = -15/14 + 4/7. Let j = -31.2 + 34. Let a = j + -3. Which is smaller: a or r?
r
Let u(g) = -g**2 + 17*g - 35. Let y be u(17). Is y equal to -2?
False
Let s = -63/4 - -16. Let w = 599 + -598. Is s greater than or equal to w?
False
Suppose 0 = -v + 3*g - 19, 2*g = g + 5. Let t = v + 4. Which is smaller: t or 1?
t
Let b = 66 + -47. Which is bigger: 20 or b?
20
Suppose k - 5 = -p, -2*p = -2*k - 6*p + 6. Let n(l) = -l - 13. Let z be n(9). Let f = z - -28. Is k equal to f?
False
Let l = -0.01 + -0.29. Do l and 4 have different values?
True
Let l = -3 + 0. Let y be (-12)/18*(-27)/(-6). Is l less than or equal to y?
True
Let d = 0.2 - 0.3. Let w = -22 + 21.7. Which is smaller: d or w?
w
Let r = 111.9 + -118. Let w = 11 + -5. Let o = r + w. Which is bigger: o or 5?
5
Let d be 1/(1 - (-2 - 0)). Is -1/4 less than d?
True
Let y = 0.04 - -0.56. Let c = y + -2.6. Let z = 1.9 + c. Which is greater: -1/6 or z?
z
Suppose -3*p + 6*j - 3*j - 21 = 0, 0 = -5*j + 15. Is p greater than or equal to -1?
False
Suppose -3*u - 7 + 4 = 0. Let p = u - 0. Let b = -10 + 7. Which is smaller: p or b?
b
Let l(f) = -62*f + 20. Let q be l(3). Do q and -167 have the same value?
False
Let j = 28.1 - 28. Is j < -3?
False
Let u = 112.1 - 112. Is u at least as big as 11/4?
False
Let m = -9/2 - -77/18. Which is greater: m or -21?
m
Let b be (-2)/8*2*4. Suppose -4*z + 8*z = -12. Which is smaller: z or b?
z
Let w be -5 + -1 + (0 - -2). Let q be 6 - 2/4*w. Which is bigger: q or 7?
q
Let x be (-1)/2*16/(-192). Are 1 and x unequal?
True
Suppose 0 = -2*r - 81 - 15. Which is bigger: r or -1/3?
-1/3
Suppose -2*d + 32 = -3*j + 5*j, -38 = -2*d + j. Which is greater: d or 19?
19
Let o(f) = -f**3 + 2*f**2 + 3*f. Let l be o(4). Let i be ((-1)/4)/(5/l). Let r = 2/65 + -71/195. Which is smaller: r or i?
r
Suppose -12 = -5*m + 2*m. Suppose m*n = -0*n + 80. Is 21 at most n?
False
Let z be (-12)/(-15) + (-18)/(-240). Which is smaller: 0 or z?
0
Let x(d) = -d**3 + 5*d**2 - d + 5. Let f be (-2)/7 - 74/(-14). Let c be x(f). Which is bigger: c or 2/11?
2/11
Let h = 2 + -1. Let r = 3 + h. Suppose -r = -5*z - 19. Is z != -2?
True
Let u = 5 + -5. Suppose -3*c - 2*l - 5 = 0, 0 = 4*c - u*l + 3*l + 7. Let m = 35/92 - 3/23. Is m equal to c?
False
Suppose -3 - 2 = -5*b. Suppose 5*z = 4*k - 61, -4*k + 2*z + 28 = -2*k. Do k and b have the same value?
False
Let y = 8/3 - 3. Which is smaller: 17 or y?
y
Let i = 10 + -4. Let m = i - 4. Which is bigger: m or -8?
m
Let v = -297/4 - -72. Is -2 less than v?
False
Let b(s) = s**2 - 3*s + 3. Let g be b(2). Let n = g + -2. Let w = 1.4 + -0.4. Is w less than or equal to n?
False
Let j = -19 + 13. Let h be (-21)/j - (-3)/(-6). Is 1 bigger than h?
False
Let a = 10 - 14. Let m be (-1)/(-2) - (-2)/a. Does -1 = m?
False
Let s(v) = -6*v**2. Let a be s(1). Let j be (-8 - 10/(-2)) + -4. Is a >= j?
True
Let z = -2.35 - 0.05. Let l = 0.4 + z. Let s = 15 + -16. Which is bigger: l or s?
s
Let m be 1 + 0 + -3 - -1. Let i = 277/2688 - 1/128. Which is smaller: m or i?
m
Let r be ((-20)/(-12))/(-5)*-3. Which is smaller: 3/8 or r?
3/8
Let w = -0.3 - -0.5. Suppose 0 = 4*x + x. Let o = 3 - x. Is w bigger than o?
False
Let n be -1 + 4*(-4)/(-40). Let d be (2/4)/((-4)/8). Let z be (-1 + 1 + d)*0. Are z and n equal?
False
Let j be 3/9 - (-160)/15. Suppose -9 - j = 5*t. Which is smaller: t or -3?
t
Let g = 2/5 + -13/20. Suppose 0 = -3*z - z + 4. Suppose -z = -5*x + 4. Which is smaller: g or x?
g
Let g be ((-11)/44)/((-1)/(-218)). Let h = g - -58. Which is smaller: 4 or h?
h
Suppose 0 = m + 2*c + c + 6, 3*c - 24 = 4*m. Which is greater: m or -5?
-5
Let z = -144 - -1010/7. Which is greater: z or 0?
z
Let w(k) = -k**2 + 12*k - 8. Let i be w(11). Let z be 224/(-35)*(-1)/2. Are i and z nonequal?
True
Let y = 1/176 + 347/880. Suppose 24 - 23 = c. Which is bigger: c or y?
c
Let x be 0 + -9*(-3)/(-1). Are -26 and x unequal?
True
Let o(m) = -m**3 - 9*m**2 + 10*m. Let r be o(-10). Suppose -d - d + 4 = r. Suppose d*f - 3 = 7. Are f and 5 equal?
True
Let z be (-1)/45 + 16/72. Which is bigger: z or 0?
z
Let g be -3*((-51)/9 - -3). Suppose -g - 1 = 4*y + h, -3*y = -2*h + 15. Which is greater: -7/2 or y?
y
Suppose 0 = -3*r + 2*u - 9, 4*u = 4*r + 9 + 7. Let n be 4*(2 + (-11)/4). Let o be 1 - (n + -1)/(-2). Is o at most r?
True
Let z = 0.5 - 0.1. Let b = z - 0.7. Let l = -5 + 5.1. Is b smaller than l?
True
Suppose -3*w - 50 = 67. Which is bigger: w or -38?
-38
Let k = 37 - 38. Is -2/11 >= k?
True
Let h = 0.2 - -0.8. Let s = 5 + -4.9. Which is smaller: h or s?
s
Let b = -0.1 + 1.3. Let x = -1 + b. Let s = -51.1 + 51. Is x bigger than s?
True
Let h = -11 + 11. Let i be h/((-4)/(-2))*-1. Is -1/25 greater than or equal to i?
False
Let s = -4 - -4.1. Let o(g) = 2*g**3 + 11*g**2 - 8*g - 1. Let i be o(-6). Which is bigger: i or s?
i
Let h = 6 - 3. Suppose -3*p = -h*t - 18, 5*p + 5*t - 6 = 2*t. Suppose 5*q + 4*m - 12 = 0, -p = q + 3*m - 4*m. Which is smaller: 4/3 or q?
q
Let m = 0.25 + -0.15. Is 0.5 less than or equal to m?
False
Let t = 16 - 19. Is t <= -3?
True
Let l = 0.25 + -1.25. Is 2/3 less than or equal to l?
False
Let a be (30/108)/((-3)/(-6)). Let n = a - -47/45. Which is smaller: 3 or n?
n
Let u = -22 - -19. Let d = u - -4. Which is smaller: 1/3 or d?
1/3
Let t be -1*(3 - 24/3). Suppose 2*f = t*q + 5, 0 = 2*q - q + f + 1. Which is greater: 0.3 or q?
0.3
Let y be (-1)/(-3 + 2)*0. Is 3/10 not