ue
Suppose 4*l = -16*l + 1160. Which is smaller: l or 59?
l
Suppose 2*k + 8 = 0, 0 = -6*d + 4*d - k - 30. Which is smaller: d or -12?
d
Let n(c) = c + 3 + 4 + 2. Let t be n(-6). Which is greater: 2 or t?
t
Suppose -1 + 13 = 12*k. Which is greater: k or -4/113?
k
Suppose -17 = 3*z - 4*z. Let q = z - 16. Which is greater: 2/7 or q?
q
Let b be (2/6)/(2/6). Let t = 151/559 + -5/43. Which is smaller: b or t?
t
Suppose 5*o = -0*m + 3*m - 34, -50 = -5*m + 5*o. Suppose m = -4*a, -2*a = u + 8 - 21. Suppose 5*s = -2*g + 3*g + u, 2*s - 8 = 0. Which is smaller: g or 2?
2
Suppose d + o = 5*o + 2, -3*d + 5*o + 6 = 0. Which is smaller: d or 8/13?
8/13
Let j = 274 + -190. Let n = -91.4 + j. Let u = n - -7. Which is smaller: u or 1/2?
u
Let q(m) = -m**3 - m. Let x be q(1). Suppose 2*h + 7 = -j, j = -5*h + 4*j - 23. Does h = x?
False
Let c = -0.97 + 0.17. Let n = c + 0.7. Which is smaller: 1/4 or n?
n
Let u = -2 + 5. Let a = 33/100 - 2/25. Is a != u?
True
Let b(y) = -y**3 + 6*y**2 - 5*y. Let u be b(5). Let i(m) = -m**2 - m + 1. Let x be i(u). Are 0 and x equal?
False
Let h(o) = o**3 + 5*o**2 + 2. Let g be h(-5). Suppose y - 6*y + 5*w = 140, 5*y = -w - 134. Let n be (6/8)/(y/18). Is n at most g?
True
Let v = -3 - -8/3. Suppose -3 = 3*u + 9. Let f be (-10)/8 + (-1)/u. Which is smaller: v or f?
f
Suppose -j - 3 = 9. Is j equal to -12?
True
Let f(o) = -2*o**2 + 0*o**2 + o**2 + o**3 - o. Let n be f(2). Let s be 0/(n/(-3)*3). Which is greater: 1 or s?
1
Let b = 59 + -64. Which is bigger: b or -1?
-1
Let z = 0.19 + -0.11. Which is smaller: z or -2?
-2
Suppose 0 = -a - a. Suppose 3*t - 2*j + 21 = a, t - 1 + 3 = -j. Let n(s) = s**2 + 4*s - 5. Let c be n(t). Is c greater than or equal to 0?
True
Suppose 0 = 2*a + 2 + 2. Let g be 0/a*(-1)/2. Let z be (1/(-6))/(1/3). Are z and g non-equal?
True
Suppose -24 - 16 = -4*z. Let o = z + -8. Let x = 317/4 + -78. Is o at least as big as x?
True
Suppose c - u - 5 - 1 = 0, -3*u = 12. Let l be 1/(-4) + 26/8. Suppose -g + l - 1 = 0. Does g = c?
True
Let i(m) = -m - 3. Let o be i(-27). Is o > 24?
False
Suppose -6*v + 18 = -4*v. Let w be (-4)/6 - (-33)/v. Which is greater: 5/3 or w?
w
Let a = 1 - 1. Let o = -1.71 + 0.71. Is a > o?
True
Let z be ((-3)/135)/((-2)/848). Let w be 2/(-7) - 936/105. Let b = w + z. Which is bigger: 0 or b?
b
Let m(u) be the first derivative of u**4/4 - 5*u**3/3 + 3*u**2 - 6*u + 8. Let b be m(4). Is 2 less than b?
False
Suppose 2*n + 4 = 2. Suppose -2*r + 7*r - 20 = 0. Suppose 13 = -r*a - 5*g, -1 = -a + 3*g - 0*g. Which is smaller: n or a?
a
Suppose -g + l = -4*l + 31, -2*g = -2*l + 22. Let j be -2 - 3/(g/4). Which is bigger: 1 or j?
1
Suppose -4 - 4 = -4*n. Suppose 3 + 1 = -n*p. Suppose 0 = -3*x - 2 - 1. Is x >= p?
True
Let o = -19 - -16. Suppose -4*r + 3 + 5 = 0. Let i = o + r. Is -1/4 less than i?
False
Let w be ((-6)/79)/(-5 - 3). Let l = w + 1243/2212. Is l less than or equal to 0?
False
Let m = 10/33 - 84/11. Which is smaller: m or -8?
-8
Suppose 0 = 2*j - l + 5, 4*l - 15 = l. Which is smaller: 3/26 or j?
j
Let t = -1 - -2. Let y(z) = -3*z**2 + 3*z + 3. Let c be y(-1). Let o be (32/816)/((-1)/c). Which is smaller: o or t?
o
Let d = 8121/11630 + 2/1163. Which is smaller: 0 or d?
0
Let k = 0 + 0.1. Let j be 10/4*30/50. Which is bigger: j or k?
j
Let n = 0.28 - 0.55. Let a = n - 0.05. Let d = -0.08 + a. Are -1 and d non-equal?
True
Let d(t) = -t**2 + t - 1. Let p be d(0). Let n = p - 3. Let f be 68/56 - n/14. Is 3 greater than f?
True
Let m = 0 + 1. Let q be (-3 + 7)*6/32. Which is smaller: q or m?
q
Suppose 206 = 8*s + 46. Which is bigger: s or -0.05?
s
Suppose -3*f = -0*f - 48. Let h = f - 24. Are h and -0.1 unequal?
True
Let a = -21.5 + 22. Let h = -0.3 - -0.8. Let l = h + a. Which is smaller: 0.2 or l?
0.2
Suppose 0 = -7*k + 2*k. Suppose -y + k*y = 0. Is y equal to 0?
True
Let o = -8 + 15. Let m = -6.6 + o. Let a = 1/4 + 3/20. Is a less than m?
False
Let r = 18 - 17. Is -4/9 greater than or equal to r?
False
Let c = 0.1 + -0.9. Let q = -0.77 - c. Which is smaller: -2/7 or q?
-2/7
Suppose 0 + 0 = -2*q. Is q less than 2/35?
True
Let u = 17 - 24. Which is smaller: 0.2 or u?
u
Let u be 4/(-16) - 100/(-16). Are 2 and u unequal?
True
Let d = 6 + -5. Let f(x) = -x + 4. Let u be f(3). Is u at most as big as d?
True
Suppose 0 = s + 3*s - 16. Suppose 0 = -s*n + 8, 3*n - 6 = -y - 2*y. Let o = 19 + -19. Is y smaller than o?
False
Suppose 0 = -2*d + d - 1. Do -1 and d have the same value?
True
Let t = 9 - 4. Let y be 0*(t/2 + -2). Let i = 26 - 53/2. Is y equal to i?
False
Let r be 17/(-85) - 2/(-10). Are 2/25 and r nonequal?
True
Let b = 0 - 1. Let a = b + 1.1. Let z = 10 - 8. Which is greater: z or a?
z
Suppose 3*b - 23 + 10 = 2*a, 10 = 5*a + b. Suppose -j - 3*j = -l + 15, 2*l - 4*j = 18. Let n be (-170)/58 + l/a. Which is greater: -1 or n?
n
Suppose 0 = 3*q + 3 + 3. Let c(w) = 4*w - 2*w - 3*w**2 + 4*w**2. Let d be c(q). Which is greater: d or -2?
d
Suppose 0*x = 4*f + 2*x + 2, 0 = -f + 4*x + 13. Is f at least 2/151?
True
Let k = -0.2 + 0. Let v = -2.8 + 3. Let z = v + k. Is 2/9 != z?
True
Let v(u) be the third derivative of u**4/12 + u**3/3 + 3*u**2. Let l be v(-2). Do -3 and l have different values?
True
Let m = -7 - -10. Let z = 87 - 263/3. Is m at least z?
True
Suppose -4*y - 5*q - 5 = 0, 2*y + 2*q - 6*q = 30. Let h(m) = -m**2 + 4*m + 5. Let n be h(y). Suppose 0*s + 4*s = n. Is s at least as big as -1?
True
Let y(t) = -t**3 - 5*t**2 + 7*t + 8. Let j be y(-6). Suppose -j*c - 3*c = 0. Which is smaller: c or 1/10?
c
Let s(x) = x**3 + 4*x**2 - x - 4. Let j = -1 + -3. Let z be s(j). Let g = 8 - 7.9. Is g greater than or equal to z?
True
Let t be (2/(-170))/((-8)/(-100)). Let q = t + -6/17. Which is greater: 5 or q?
5
Let z be (-3)/(-6) - 1/(-6). Let t = -29 - -18. Let o = t - -10.9. Which is greater: o or z?
z
Let h be (1/3)/(3/(-9)). Let x be h + 1 - 0/(-1). Which is greater: -6/5 or x?
x
Let f(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 4*z + 4. Let h be f(0). Is h smaller than 4?
False
Let q be 4 + (1 - (8 - 1)). Suppose 7*o = 4*o - 3. Do o and q have the same value?
False
Let d = 22 + -23. Is d < -3/4?
True
Let l = -35 + 50. Are 15 and l nonequal?
False
Suppose 0 = u - 5 + 1. Suppose 0*k - 3*k = -5*r, -u*r + k = 0. Is -1/6 at most as big as r?
True
Let l(o) = -o**2 - 4*o - 2. Let t be l(-2). Let c = t + -3. Let h be (-9)/81*(-12)/14. Is c less than h?
True
Let m = -122 + 62. Let d be ((-2)/6)/(5/m). Is 5 greater than d?
True
Let f be -4*((-20)/(-16) + -2). Suppose 3*i - 10 = 2*p - 2*i, 0 = 2*p + f*i - 6. Let w be (6/(-28))/(3/(-4)). Which is smaller: w or p?
p
Let r = 8.96 - -0.04. Let z = 17 - r. Are -2/5 and z non-equal?
True
Let t = 4875.04 + -4794. Let p = -83 + t. Let o = p - 0.04. Which is bigger: o or -0.1?
-0.1
Let d be -1*(2 - (-2)/(-2)). Let b = 64 - 257/4. Are b and d equal?
False
Let k(m) = m**3 + 6*m**2 + 4*m + 3. Let h be k(-3). Suppose -2*z - 6 - 9 = -5*c, -2*c - 4*z = h. Let d(j) = 2*j - 3. Let a be d(1). Is c at least as big as a?
True
Let q be (-5)/(-20) + 3/(-6). Let r = q - -11/12. Which is bigger: r or -0.06?
r
Suppose 0 = -2*q + 4, 5*v + 4*q = v + 32. Suppose v*d + 2 = 4*d. Let m be (0 + d)/(2/(-10)). Which is greater: 6 or m?
6
Let t = -59 - -56. Which is smaller: t or 0?
t
Let a = -0.1 + 0. Suppose r = -7 + 11. Is a greater than r?
False
Let u be (2/3)/((-10)/306). Let r = u - -20. Is -1 at most r?
True
Let w be (-3 + 2)/(26/4). Let g = -2 - -3. Is g greater than w?
True
Suppose -2*y + 2 = -2. Let c be (3/12*y)/2. Which is smaller: c or 1?
c
Let o be 26/(-4) + 8/(-16). Are -6 and o unequal?
True
Let u = -2.06 - -2. Let b = 0.06 + u. Which is smaller: 2 or b?
b
Let s be 4/((-7)/(21/(-12))). Let r = -127 - -637/5. Which is smaller: s or r?
r
Suppose 0 = -u + 4*q - 11 - 2, 2*u - 5*q + 14 = 0. Suppose -2*y + 2 = l, 0 = -u*l - 3*y + 2 + 7. Let i be ((-1)/2)/(11/l). Which is bigger: i or -1?
i
Let s = 0.6 + -4.6. Let g = s - -4. Are 2/3 and g unequal?
True
Suppose -3 + 6 = -2*u + 3*d, 5*d + 20 = -5*u. Let y be (u + 1)/(-1 + -1). Is y equal to 0?
False
Let b = -1.49 - 6.61. Let z = b + 8. Let q(i) = -i**2 - 2*i + 4. Let h be q(-3). Is z smaller than h?
True
Suppose 2 + 3 = -5*f. Which is bigger: f or 1/10?
1/10
Let a(h) = h. Let q be a(4). Let r = 14 - 9. Suppose -3*i = -4*i + r