 or j?
-2
Suppose 2*k - 31 - 35 = 0. Which is greater: 31 or k?
k
Let s(l) = 4*l**2 - 3*l + 3. Let j be s(4). Which is bigger: j or 53?
j
Suppose -2*b + a = b + 13, -4*b + a - 17 = 0. Let h be b/(-14)*7/3. Which is smaller: h or 1?
h
Let p(j) = -j**2 + 7*j + 4. Let u be p(6). Suppose 8 = 3*y + 2*l, -y - u = -4*y - l. Let r be ((-10)/(-5))/(y - -1). Is -3 less than or equal to r?
True
Let u = -6 - -6.6. Let x = 0.4 - u. Which is smaller: 2/5 or x?
x
Let y be (-2)/4*10/5. Which is smaller: y or 1/9?
y
Let i be (-4)/(-6) - 174/180. Let x = -13 + 12. Is x >= i?
False
Let a be 0/(-2) - 1 - 6. Let f be 100*(3/(-1) + 2). Let p be f/(-56) + 2/a. Is p smaller than 2?
True
Let a = 44 + -51. Which is smaller: a or -13/2?
a
Let h be (-1)/(-4)*8/(-10). Suppose -4*a + 20 = -q, a - 5 = 3*q - 6*q. Suppose q*w + 2*l = 4*w, -l = 0. Which is smaller: h or w?
h
Let x(z) be the second derivative of -z**4/12 - 2*z**3/3 - 3*z. Let n be x(-3). Suppose 0 = n*j - 0 - 6. Do -3 and j have the same value?
False
Let c = -82 - -81.9. Is c less than -2?
False
Let u = -38 - -13. Which is smaller: u or -26?
-26
Let b = -50 + 49.77. Do b and -0.1 have the same value?
False
Suppose 3*w + w = -32. Let y be 4/w + (-9)/(-2). Is y < 3?
False
Suppose -4*n + 5 + 7 = 0. Let f(w) = -2*w + 4. Let q be f(n). Let u be (q/4)/(7/42). Which is greater: -5/2 or u?
-5/2
Let h be (-6)/(-12) + 2/(-4). Let f be 9/12 + h + 0. Let o be (0 + 1)*(-1 + 3). Is f less than or equal to o?
True
Let d = -24489/260 - 3/260. Let u = d + 95. Is 1 at least as big as u?
True
Let b be ((-148)/34)/2 + 1. Let t = b + 203/187. Is t less than or equal to -1/4?
False
Let w(n) be the first derivative of 2 + 1/3*n**3 - 3*n**2 + 6*n. Let y be w(4). Which is smaller: -3 or y?
-3
Let o be (-9 - -69)/((-3)/(-2)). Suppose -w - w = -3*y - 26, -o = 4*y - 4*w. Is y != -5?
True
Let l = 13 + -10. Let x = l + -3. Which is smaller: x or 3/8?
x
Let n = -8 + 8. Let i = n + -0.2. Let s = -0.3 + 0.2. Is s != i?
True
Let y = 202 - 1417/7. Which is greater: -1 or y?
y
Let x = -0.16 + 0.16. Is 1/4 != x?
True
Let x be 11/(-22)*-1*2. Suppose -12 = -4*n + n + b, 12 = -n - 5*b. Let u be 1*n*4/(-54). Which is smaller: x or u?
u
Let s(b) = -2*b + 4 - 3 + b. Let m be s(-3). Let t be (-1)/(6/m + -1). Does t = -2?
True
Suppose -5*n + 60 = 5*t, t + 4 = 3*n - 0*n. Let f = -10 - -27. Suppose 5*m + 22 = -4*s, -t*m = -4*m + 3*s + f. Which is greater: -3 or m?
m
Suppose 1617 - 192 = 5*r. Suppose -5*m = r + 1355. Let j = -2300/7 - m. Is j > -2?
True
Let b = 0.04 + -0.34. Let a = -27 - -25.7. Let t = b - a. Which is bigger: -2/5 or t?
t
Let f = -527/4 - -131. Suppose y = -0*y. Which is smaller: f or y?
f
Let h be -3 - ((-116)/(-9))/(-4). Let u = 7.1 + -7. Let s = 0.1 - u. Do s and h have different values?
True
Let u be (-2 - (0 + -2))/2. Let w be 3/(-12)*1 + u. Which is smaller: 0 or w?
w
Let a = -1159/1398 - 1/233. Let h = a + 4/3. Is 0 less than h?
True
Let b be 0 - 7/((-532)/8). Which is smaller: b or -1?
-1
Let l(f) = -f**3 - 2*f**2 - 4*f - 2. Let n be l(-2). Suppose -n*u + 3*u = 4*q - 50, -5*u = 4*q - 70. Which is greater: 11 or u?
11
Suppose 0 = 2*p - 5*p. Let b be 2 + 2 + -1 + -1. Which is greater: p or b?
b
Let s be 2/6 + ((-176)/114 - -1). Is -1 at least s?
False
Let n = 0.8 - 0.5. Which is smaller: n or -1?
-1
Let h = -151186/10929 - -1/7286. Let s = -357 + 741/2. Let m = s + h. Which is smaller: -0.1 or m?
m
Let y be 4 + (-2)/(32/61). Is y smaller than 2?
True
Let t be 0 + -2 + 9/(-6)*2. Does t = -3?
False
Let j = 13 + -14. Let f be 2 + -6*(-3)/(-6). Does j = f?
True
Suppose -4*h - 4 + 17 = n, 0 = -2*h - 5*n + 29. Let t be 3 - (0/(-2) + 0). Which is smaller: t or h?
h
Suppose -4*w + 12 = -w. Is w at most as big as -2?
False
Let i = 193/55 - 18/5. Let l be (6/(-12))/(2/(-4)). Which is greater: l or i?
l
Let q be (-16)/4*1/(-2). Let k be (q - 9/6)*6. Let d = -5 - -9. Which is bigger: k or d?
d
Let l = 697/72 + -81/8. Do 1 and l have different values?
True
Let x = -10 - -14. Suppose v - x*v = 0. Which is bigger: 1 or v?
1
Suppose 9*f - 4*f + 3*d + 213 = 0, -2*d = -3*f - 143. Which is greater: -2 or f?
-2
Suppose -i - h + 56 = -3*i, -3*i = -h + 82. Is -24 greater than or equal to i?
True
Let o = 4 - 1. Let p(l) = -o + 3 - 1 - l. Let h be p(0). Which is smaller: h or -2?
-2
Let b(u) = -2*u + 1. Let n be b(1). Is 3/11 >= n?
True
Let a = 0 + 0.2. Let l = -0.1 + -0.1. Let y = l + a. Do y and 0.1 have the same value?
False
Suppose 3*f + 6 = -0. Let i be (-2)/(-8) - 164/16. Let l be ((-4)/i)/(4/(-20)). Is l at least f?
True
Let p = -71 + 72. Is -3 less than or equal to p?
True
Let i = 15 + -13. Which is greater: i or -3/8?
i
Let a(o) = -o**3 - 3*o**2 + o + 4. Let b be a(-3). Let z be (b/((-3)/(-18)))/1. Is z less than 7?
True
Suppose 5*b + 3*d = -16, -2*d - 2*d + 32 = -4*b. Let y(l) = l**2 + 4*l - 6. Let r be y(-4). Which is smaller: r or b?
r
Let l be -1*(-22 - 1)*1. Is l at least as big as 93/4?
False
Suppose -3*o = 4*c + 11, 4*o - c + 4 = 2. Let g be 2/(-3)*2/10. Let p = g + -4/15. Is o equal to p?
False
Let a(h) = h**2 - 3*h - 4. Let d be a(7). Let k be 13/d*3 + -2. Suppose 0 = 5*v + 4 + 1. Which is smaller: k or v?
v
Suppose 129*l + 35 = 124*l. Let j(y) = -2*y - 1. Let x be j(-1). Which is smaller: x or l?
l
Let a = -29 + 31. Which is greater: -10 or a?
a
Let j = 2435/28 + -87. Are j and -1 nonequal?
True
Let h = 71 + -567/8. Let b be (-22)/80 + 0/2. Let i = h - b. Is 2/3 < i?
False
Let d = 2 - 2. Let n = 1 + 3. Let w = n + -3.7. Which is bigger: d or w?
w
Let v be (0 + -3)*1/3. Let w = -16 + 13. Are v and w unequal?
True
Suppose 0 = -v - 2*r + 6*r + 19, -26 = -5*v - 3*r. Let s = v + -4. Suppose g + s = -h, 3*h + h = -20. Does g = 2?
True
Let z = -5.15 + 0.15. Let f = z - -6.1. Is 0.1 greater than f?
False
Let t = 14 - 25. Let w be (1 - -2)*8/(-6). Let n = t - w. Is -6 != n?
True
Let s = -0.04 - -29.24. Let i = s - 25. Let z = i + -4. Which is smaller: -1 or z?
-1
Let z be (-37)/(-8) - 12/3. Are z and 2 unequal?
True
Let d(v) = 4*v**2 - v. Let o = 3 - 4. Let y be d(o). Is y >= 2?
True
Let i be (-38)/(-14) - (-2)/7. Let r(x) = -4*x**3 + x**2 - 1. Let d be r(-1). Is i smaller than d?
True
Let w be (2 - 0)/(7 - 5). Suppose -w = -4*r + 11. Suppose -5*q + r + 2 = 0, 4*n - 5*q = -17. Which is smaller: n or -2/7?
n
Let i = 1.5 + -0.5. Let n = -0.17 - -5.17. Is i equal to n?
False
Let n = 2 - 2.1. Let u = 3.2 - 3.1. Is n not equal to u?
True
Let v = -0.1 - -1.1. Let d = -1 + v. Which is smaller: d or 1/5?
d
Let r = 112 + -120. Which is smaller: r or -42/5?
-42/5
Suppose -1 + 6 = c. Suppose 3*s - f - 19 = 0, 2*s + 25 = 3*s - 5*f. Are s and c equal?
True
Suppose 4*a - 8*a + 16 = 4*u, -3*a - 12 = -3*u. Which is smaller: u or 0?
0
Suppose -3*a - 2 = x + 5, 0 = -x + 2*a + 3. Which is smaller: x or -1/151?
x
Let v = -11 - -21. Let p(n) = -n + 10. Let q be p(6). Let g = q - v. Which is greater: -5 or g?
-5
Let a = -1 + 1. Let f(s) = s**3 + 2*s**2 + 2*s + 3. Let t = 3 + -5. Let b be f(t). Is a greater than b?
True
Suppose 138 = 5*d - 3*b, 4*d + 3*b - 132 = -0*b. Let t = 121/4 - d. Is t at least as big as -1?
True
Let u = 6178/7 + -884. Is u less than or equal to -1/2?
True
Let c(j) = -j**3 + 8*j**2 - 7*j - 6. Let s be c(7). Which is smaller: s or -0.1?
s
Let j be (-4)/(204/(-75)) + 1. Let g = 319/136 - j. Which is smaller: g or 0?
g
Let u(i) = i**2 - 11*i + 2. Let p be u(10). Let w = p - -7. Is 3 > w?
True
Let u = -7 - -4. Let h(a) = a**2 - a - 2. Let v be h(-2). Let c = u + v. Which is smaller: 0 or c?
0
Let z(n) = -9*n**2 + 6*n + 7. Let o be z(6). Let v = o + 4779/17. Which is smaller: v or -1?
-1
Let j be (-7)/(-105) + (-2)/(-6). Which is smaller: j or -1?
-1
Suppose 0 = -5*s - 5*f, -3 = 3*s - f + 5. Let v be 1*(2/(-4))/(-1). Are v and s equal?
False
Suppose -5*j - 2*x = -1, -5*x - 7 = -5*j + 8. Suppose j = -2*g - 1. Are g and -2/7 nonequal?
True
Let m = -23 + 114/5. Let z(r) = r**3 + 7*r**2 + 7*r + 5. Let b = -6 + 0. Let h be z(b). Which is smaller: m or h?
h
Let f = -43 - -42. Let u be 25/(-10) + (-2)/4. Is f > u?
True
Suppose 6 = 3*t + 18. Let o(u) = -u**2 - 4*u - 1. Let i be o(t). Let h be -2 + (-1 - (i + -2)). Which is smaller: 2 or h?
h
Suppose p = -f + 2, -4*p + 2*p + f = -19. Which is smaller: 23/4 or p?
23/4
Let y = 73.1 - 65. Let t = 0.16 - 8.16. 