 1 or z?
z
Let d(j) = 4*j. Let s be d(-1). Let x = s - 5. Is x not equal to -9?
False
Let m be ((-3)/2)/(-3) + (-3)/6. Let o = 7/5 + -4/5. Which is smaller: o or m?
m
Let n be (-16)/(-72) + 22/(-18). Which is greater: 2 or n?
2
Suppose -53 = 2*c + 3*b, 3*b + 4 + 21 = -c. Let f be (-3 - 68/c)/(-2). Which is smaller: f or 3?
f
Let r be (2 - -1)*(-4 + 3). Which is smaller: r or -5?
-5
Let t(p) = -p**3 + p**2. Let h be t(0). Suppose h = -b + 8 - 4. Is 3 <= b?
True
Let s = -37 - -40.7. Let g = s - 4. Let r = 1.7 - g. Which is greater: r or -1?
r
Let d = -1/139568 - 9281229/6001424. Let s = 2/43 + d. Let x be (-6)/(-21) - (-46)/(-14). Which is bigger: s or x?
s
Suppose -2 = -3*g + 4. Suppose -5*o = -3*k - 2*o, -k - 8 = 3*o. Let r be 4 + k - (-6)/(-4). Is r >= g?
False
Suppose -3*o - 5*c + 11 = o, 0 = 4*o - 4*c + 16. Is -1 greater than o?
False
Let c = -33 + 33.4. Are c and -0.4 unequal?
True
Let i(u) = u - 10. Suppose -4*q + 5 = -27. Let k be i(q). Let g(t) = t**3 + 7*t**2 - 3. Let w be g(-7). Which is smaller: k or w?
w
Let s be (-1)/2 - (-2 - -2). Let k(f) = -f**3 - f**2 + f + 4. Let u be k(0). Suppose l + u*l = 0. Which is smaller: l or s?
s
Let t = 24 - 16. Which is smaller: 1 or t?
1
Let m = -47 - -29. Which is smaller: m or -1?
m
Let n = 343/45 + -37/5. Let a(m) = -2*m + 2*m + m + 5. Let i be a(-6). Which is bigger: i or n?
n
Let z(g) = 4*g**2 - 23*g - 4. Let o be z(6). Suppose 0*n + 4 = -n, 5*l - n = 54. Is l less than o?
False
Suppose 3*l - 1 = -4*t - 9, 0 = 3*l + 5*t + 10. Suppose j + 2 + 3 = l. Are j and -5 unequal?
False
Suppose 4*k = 35 - 7. Suppose -3*h + z + 8 = 0, -12 = -k*z + 4*z. Let c be 2 - (h/3 - 0). Is c less than -4?
False
Let s = 2.2 - 0.2. Suppose 0 = 3*p + z - 2, -3*z + 5 + 1 = 2*p. Suppose 0 = 2*h - 3*u + 4, 2*h + 3*h - 3*u + 10 = p. Which is bigger: h or s?
s
Let a = 6 - 4. Suppose -a*b + u = -235, -3*u = -3*b + 287 + 58. Let i be b/(-54) - (-1 + -1). Is i at most -1?
False
Suppose 3*x + 17 = -0*h - h, -83 = 3*h + x. Which is greater: -30 or h?
h
Let f = 5 + -4. Suppose -3*p = -3, -4*z + 2*p - p + 7 = 0. Let l be (-2 + (3 - 1))/z. Which is bigger: f or l?
f
Let x = 0.4 - -0.6. Let m(t) = -t**3 - t**2 - t - 2. Let l be m(0). Which is greater: l or x?
x
Suppose -3*o + 6 = 4*q - 10, 3*o - 12 = -3*q. Let d be ((-27532)/(-34))/(4 + -6). Let j = d + 405. Is o at least j?
False
Let m = -5/86 - -9/1634. Is m at least as big as 1?
False
Let n = 4.65 - -0.35. Are 1/7 and n equal?
False
Let p = 14 + -7. Let f = p + -6.1. Let i = 1.9 - f. Is i greater than or equal to 0?
True
Let u(y) = -y**3 + y - 172. Let v be u(0). Let k = -245 - v. Let f = k - -221/3. Are 2 and f equal?
False
Let m = 355/7 - 51. Let b be 10/(-604)*(-2305)/(-50). Let r = 2/151 + b. Which is bigger: r or m?
m
Let p = -31.7 - -32. Is p smaller than -1?
False
Suppose 4*a + 38 = w, -1 = -0*a + a. Which is smaller: 0 or w?
0
Suppose -5 = -b - 1. Let t = b + -2. Does 4 = t?
False
Suppose -5*m + 7*s - 3*s = 27, -2*m + s - 9 = 0. Suppose -3*p = 5*w + 5, -p - 4*w + 1 = -w. Is m <= p?
False
Let h be (-3 + (3 - 0))/1. Suppose 5*p = 2*p + 9. Is p not equal to h?
True
Let l = -3.8 - -4. Let w = -1.8 - -0.6. Let n = l + w. Is n < -3?
False
Let i = -76/123 - 2/41. Which is greater: i or 0?
0
Let n = -13 + 13. Is -13/22 less than n?
True
Suppose 0 = 3*i - 0*i. Suppose 5*v + 30 = -5*b, 4*b + v + 13 - 4 = i. Are b and -2/17 equal?
False
Let i(n) = -4*n. Let c be i(1). Suppose -f + 9 = -m + f, 3*m + 4*f = 3. Is m equal to c?
False
Let u = 40 + -58. Which is smaller: -19 or u?
-19
Let j(r) = 1 - 6*r**3 + 2 + 0 + 5*r**3 - 8*r**2. Let m be j(-8). Is 1 at least m?
False
Let w be 10 + -2 + (2 - 2). Let g be 108/14 + (-10)/(-35). Is w > g?
False
Let n be (-12)/(-4) + (-116)/38. Which is smaller: n or 1/2?
n
Let n(i) = -i + 5. Let t be n(4). Let f = -218 + 1096/5. Does f = t?
False
Let n(c) = c + 9. Let p be n(-3). Is p less than 7?
True
Let q = 0.1 + -0.1. Let r = -0.2 - -2. Let z = -0.8 + r. Do q and z have the same value?
False
Let l = -1/43 - -139/430. Which is smaller: l or 1?
l
Let y = -2.53 + 0.13. Let w = 2 + y. Let o = -0.3 - w. Which is smaller: 0.2 or o?
o
Let z be (1 - 0)*(-1)/3. Let c = 12 + -18. Which is smaller: c or z?
c
Let t = -5.05 - -0.05. Let p = 4.85 - -0.05. Let r = t + p. Is r less than 0.1?
True
Let v = -38.4 - 4.6. Is v greater than or equal to -0.1?
False
Let d be -1 - (-1 + 1) - -4. Suppose -5*a + 2*a = d. Let x be -2 + (-3 - -3) + 2. Which is smaller: x or a?
a
Let i be 2/(-3)*6/(-4). Is i at most as big as 2?
True
Let a be (13/39)/(1/(-2)). Suppose -5*z + z + 12 = 0, -2*z + 11 = -5*r. Is a at most r?
False
Let s be 3/4 - 16/32. Do 1 and s have different values?
True
Let g = 37 + -227/6. Suppose -k = -4*k. Is g at least as big as k?
False
Let r = -0.8 + -2.2. Let d = 2.9 + r. Which is greater: d or -1/5?
d
Let j = 8/11 - 51/55. Which is smaller: j or 0?
j
Let m = 357148915/156 + -2289424. Let x = 37/52 + m. Let l = -13/2 - x. Which is bigger: 2 or l?
2
Let n(x) = x**2 + x - 3. Let g be n(-4). Suppose 0 = -2*h - h - g. Is h less than or equal to -5?
False
Let g(p) be the second derivative of -p**3/6 + 5*p**2/2 - 2*p. Let n be g(7). Is -3 greater than or equal to n?
False
Suppose -4*t + 1 = 5. Is t greater than -2/35?
False
Let j = -71 + 62.04. Let i = j + 9. Let c = i + 0.06. Which is greater: c or 1/2?
1/2
Let k(q) = q**3 + 9*q**2 + q - 13. Let d be k(-9). Are d and -24 equal?
False
Let l(s) = -s**3 - 4*s**2 - 3*s. Let a be l(-3). Suppose -t + 0 = -1. Which is smaller: a or t?
a
Suppose -5*x = -4*x - 3. Let y = x + -3. Let n be y/4 + 0 + 1. Which is bigger: n or -2/11?
n
Let c be -2 + -7 - 1*1/1. Are -11 and c nonequal?
True
Let c be 12/(-4) - (-4)/(-8)*-10. Is 1/2 smaller than c?
True
Let d = -3 - -6. Suppose 2*j - d = -1. Which is smaller: 3 or j?
j
Suppose -v + 2*f + 1 = 0, 3*v - 4*v + f = 0. Let o be (2/(-7))/((2 - -1) + 2). Is v smaller than o?
True
Let b = -1 + 0. Suppose -4*q + 9*q - 15 = 0. Suppose -q*i + 6*i = 12. Is i equal to b?
False
Let u(i) = -i**3 - 8*i**2 - 6*i + 8. Let d be u(-7). Which is greater: d or 7/5?
7/5
Let f be 2*(0 + 2/(-4)). Is f != -3/25?
True
Let w = 44 - 56. Which is smaller: -10 or w?
w
Let v(s) = -s**3 + 4*s**2 + 5*s. Let h be v(5). Suppose 5*g - 5 = -h. Let c = 0 - -1. Does c = g?
True
Suppose -5*i - 6*w = -w + 35, 5*w = -4*i - 27. Let n be ((-21)/12)/((-2)/i). Is n not equal to -5?
True
Let t = 378/5 + -76. Which is smaller: 3/8 or t?
t
Suppose 3 + 0 = 3*w, 12 = 4*z + 4*w. Suppose 6 = -6*i + 3*i + 3*m, 2*i + 3 = m. Let a = 0 - i. Which is smaller: z or a?
a
Let b = -118 + 4128/35. Suppose -3*y - 1 = -2*c, 0 = -4*c - 0*c + 8. Are y and b equal?
False
Let c(o) = 2*o + 3. Let u be c(-3). Which is smaller: -1 or u?
u
Suppose 0 = -7*z - 8 + 29. Which is greater: z or -2?
z
Let b(s) = -3*s**3 - s. Let n be 3*(-2)/(-6)*1. Let x be b(n). Is -2 at most as big as x?
False
Let y = -2/61 + -112/305. Which is bigger: y or 4/5?
4/5
Let h = -0.02 - 0.08. Let s = 0.2 + h. Which is smaller: -2/13 or s?
-2/13
Let u = -315 - -2523/8. Let x(k) = -k**3 + 3*k**2 + 5*k - 4. Let g be x(4). Let d be ((0 - g)/(-2))/(-2). Is u greater than d?
True
Let k = -1 - 2. Let t(s) = -16*s - 3. Let i be t(k). Let c be 153/i - 1*3. Is 0.06 smaller than c?
True
Let r(w) = -w - 6. Let h be r(-10). Suppose 11 = 5*d + 2*a - 4*a, 0 = -h*d + 2*a + 10. Are -1/5 and d non-equal?
True
Let x = 138 - 138. Does 1/22 = x?
False
Let l be (12 - 2)*(-2)/(-4). Suppose 2 = 3*i + l. Which is greater: 2/19 or i?
2/19
Let t = 9 - 7. Suppose t*b - 2 = 4*b. Let y = -1 + -1. Which is bigger: b or y?
b
Let y = -57 + 57. Which is bigger: 17/5 or y?
17/5
Let r be 1/(-6) - (-8)/3. Which is smaller: 2 or r?
2
Suppose 0 = -2*y - 4*w - 956, 0 = -5*w - 4 + 29. Let c = y + 6347/13. Is c at most 1?
True
Suppose -5*s - 14 = -3*i, -4*s = -9*i + 4*i + 19. Which is greater: 0 or s?
0
Suppose c - 1 = 2. Let p = 12 - c. Let o be 15/2*(-12)/(-9). Which is smaller: o or p?
p
Suppose q + 2*s - 82 = -4*q, 2*q - 44 = 2*s. Suppose 0 = -j + 4*n + q, 2*j + 4*n + 16 = -n. Are j and 3/2 nonequal?
True
Suppose -z - 5*n = -7, 3*n - n - 7 = z. Let u = z + 5. Let j be 1 - 1 - -1*1. Which is smaller: j or u?
j
Let v(o) = -o + 31. Let j be v(22). Which is bigger: 41/4 or j?
41/4
Suppose -5*n + 3*h + 20 = 0, -3*n -