 j = -1 - -5. Suppose 2*q - j = -10. Let p = 9 - 13. Is q >= p?
True
Suppose -x - 5*y = 127, 3*y - 103 = 5*x - 4*x. Let p = x - -895/8. Is p < 0?
True
Let d = 57/5 - 119/10. Which is smaller: -3.7 or d?
-3.7
Let c = -33 - -39. Are c and 13/2 nonequal?
True
Suppose 2*u + 7*u - 9 = 0. Do 2/21 and u have different values?
True
Let u = 1/41 + 36/205. Suppose m - 69 = -4*f, -5*f + 74 = 4*m - 4. Suppose 2*v - 5*a - 1 = -f, 4*a - 14 = 2*v. Which is smaller: u or v?
v
Let p be 0*4/(-3 + 7). Which is smaller: p or 1?
p
Let w = -0.37 - 16.63. Let v = w + 16. Which is bigger: 0.5 or v?
0.5
Suppose 0*l + 3*l = -3. Let r = l + 2. Let q = -3 + r. Are q and -2 nonequal?
False
Suppose 5*l + 10 = 0, -i - 3*i - 4*l = -68. Do i and 19 have the same value?
True
Suppose -6*f = -9*f. Let r = -41 + 245/6. Is r at least as big as f?
False
Let v(a) = -a**2 + 7*a - 11. Let x be v(5). Are x and 3/19 equal?
False
Let d = -530 - -7425/14. Let j = 1/14 - d. Which is smaller: 0 or j?
j
Let y(f) = 5*f**3 + f**2. Let o(j) = j**3 + 6*j**2 - 6*j + 5. Let b be o(-7). Let c be y(b). Let v be 3/c - (-2)/(-8). Are v and 0 equal?
False
Suppose -15 = 3*z - 9. Let a = -7 - z. Which is smaller: a or -6?
-6
Let l = 13.93 + -14. Let w = l + 0.03. Let y = 0.96 - w. Are 0 and y non-equal?
True
Let h = 3 - 4. Let s be -1 - h*(2 + -1). Suppose 2 = q - s*q. Is q at most as big as 2?
True
Let u = 45 - 30. Suppose 0 = 5*g - 0*g + u. Do -4 and g have different values?
True
Let o = -4 + 4. Suppose 4*x - 2*x - 8 = o. Which is greater: 1/4 or x?
x
Suppose c - 7 = -0*c. Let d(f) = f**3 - 7*f**2 + 2*f - 10. Let y be d(c). Suppose 0 = -y*q + 3*q + 4. Is 6 at most as big as q?
False
Let x = -0.2 + -0.8. Let w = -11 + 10.7. Is x not equal to w?
True
Let h be (-6)/9*9/15. Is h >= -8?
True
Let r be -2*2/(8/14). Is -7 at least as big as r?
True
Let o be (-3)/(-1)*(-17)/51. Which is greater: -3 or o?
o
Let t = -318 + 1742/5. Let f = -31 + t. Is -2 smaller than f?
True
Let r = -30 + 30. Which is greater: -8/9 or r?
r
Let f = 76 + -88. Is -18 at most as big as f?
True
Let i(f) = -2*f**3 - 2*f - 1. Let b be i(-1). Suppose 0 = b*n - n - 10. Suppose -14 = 4*l + 2, -12 = c + 4*l. Which is smaller: n or c?
c
Suppose -5*x - 3*r + 2*r - 12 = 0, x + 4*r = -10. Let q(g) = -g + 16. Let h be q(9). Suppose c + h = 3. Which is bigger: c or x?
x
Let j be ((-3)/(-46))/(3/(-4)). Which is smaller: j or 1?
j
Let l be -2*2*3/(-6). Which is greater: -5 or l?
l
Let y = 9 - 23. Let h be 7/y*(-1 - -1). Which is smaller: h or -3?
-3
Let q be (-19)/(-2)*(-7 - -5). Let a = q + 22. Is 3 smaller than a?
False
Let c be (-4)/(-6) + 32/(-39). Suppose -3*f - 3*x + 5*x = -7, 4*f - 2*x - 6 = 0. Is f less than or equal to c?
True
Suppose 4*v - 15 = -5*i + 1, v - 3 = -i. Suppose 4*n = -7*n + 44. Does i = n?
True
Suppose 2*x + x - 21 = 0. Let a be 6/21 + 5/x. Is a < -0.1?
False
Let a = -9 - -8.9. Which is smaller: a or 67?
a
Let s be (35/28)/(2/(-24)). Which is bigger: -14 or s?
-14
Let b = -1 - 1. Let p = -2.1 - b. Which is smaller: -1 or p?
-1
Let n(v) = v + 7. Suppose a + 20 = -4*f - a, 3*a = 0. Let g be n(f). Is g < 0?
False
Suppose -5*k + 3*x + 21 = 0, 2*k + 3 = -4*x + 1. Let z = 13 - 9. Which is bigger: k or z?
z
Let i(m) = -m**2 + 3*m + 11. Let j be i(-4). Is j smaller than -18?
False
Let q = 184 - 332. Which is smaller: q or 0.1?
q
Let n be 2*(2 - 15) + (-3)/(-1). Is -23 less than n?
False
Let z = 0.75 + -0.8. Let g = -0.15 + 0.1. Let m = z + g. Is m not equal to -3/2?
True
Suppose 0 = -5*u - 2*g + 73, 3*u + g + 46 = 6*u. Let d be u/10*(-2)/(-6). Is d < -0.1?
False
Let g = 1.08 + -2.08. Is 41/3 at most g?
False
Let t = -132499/85 + 1559. Let u = t - 3/34. Let a = u - 7/20. Is -1 at least a?
False
Let t(u) = -u**2 - u - 8. Let s be t(0). Let z be (60/s)/((-2)/4). Which is greater: z or 14?
z
Let u = 371/8 + -93/2. Let q = 7 + -8. Is u not equal to q?
True
Let x = 332 - 330.53. Let h = -0.43 - x. Let r = h - 0.1. Is r at most as big as 2/7?
True
Let f = -1285574/3745 - -58/749. Let n = f + 342. Suppose 0 = -m + 6*m. Which is bigger: m or n?
m
Let n = -13.7 - -12. Let k = -1.7 - n. Which is smaller: -4 or k?
-4
Suppose -7 = -r - 5*t + 3, 85 = -5*r + 2*t. Are 0 and r equal?
False
Let h = -0.05 + -10.95. Let v = h - -12. Which is smaller: -1 or v?
-1
Suppose 0 = 2*y - 3*y - 3, -y = -f + 6. Let p be f/(4 + -1 + 0). Let i = 151/6 + -25. Which is smaller: p or i?
i
Let t = -0.06 - -0.16. Let d = t - 0. Do d and 2/9 have the same value?
False
Let p(n) = n**3 + 13*n**2 + 46*n + 51. Let m be p(-8). Let x = 270 + -1332/5. Which is greater: m or x?
x
Let i(p) = 4*p + 15. Let b(v) = -3*v - 4*v - 10 + 0*v + 4*v. Let s(f) = 7*b(f) + 5*i(f). Let y be s(5). Which is greater: -2/17 or y?
y
Let a = -1756/555 - 4/111. Which is greater: -2 or a?
-2
Let l = -70 - -35. Is -35 equal to l?
True
Let f = 2698/15 - 180. Let u = 0.8 + -1. Which is greater: f or u?
f
Suppose -3*o + 2 = -4. Suppose -t = -o - 0. Is 2 greater than t?
False
Let h be ((-1)/(-3))/(3/(-9)). Do h and 2/69 have the same value?
False
Let m = -6 - -3.5. Let l = 0.5 - m. Let d = -2 + l. Is d >= 2?
False
Let t(o) be the second derivative of o**3/6 - 2*o**2 - 3*o. Let p be t(4). Suppose w + p*w = 1. Which is greater: w or 0?
w
Let c(z) = -16*z**2 + 2*z + 1. Let x be c(-1). Is -16 bigger than x?
True
Let u be -4*(45/12)/3. Suppose -7*x + 3*x - 66 = -5*g, 2*g + 3*x - 8 = 0. Let t be (g/(-8))/((-2)/(-8)). Is t >= u?
True
Let c(o) be the second derivative of o**2 - 1/6*o**4 + 1/3*o**3 + 0 - 2*o. Let u be c(2). Is u less than or equal to -3?
False
Suppose 3*z - 12 - 31 = 4*o, -4*z + o + 40 = 0. Is 9 at most as big as z?
True
Let y = -0.072 + 1.072. Is y equal to 67?
False
Let l = 2.5 + 3.9. Let c = 6 - l. Let x = 0.05 + -0.05. Is c less than or equal to x?
True
Suppose 6 = -5*i + 2*j, 0*j + 3 = i + j. Suppose 4*q - 3*t = -246, -q - 2*q - 2*t = 176. Let a be 2/(-10) - (-3)/q. Are a and i equal?
False
Let a = -2 - -5. Let z = -2.7 + a. Let r = 0.4 - z. Is 0.1 at most as big as r?
True
Let z = -0.1 + 3.1. Let c = -5.09 - -0.09. Let n = c + z. Which is smaller: 1 or n?
n
Let o be (1 + -2)*1 + 6. Let j be (-50)/o - (-4 + 1). Are -7 and j non-equal?
False
Suppose 6 = 5*u - 2*i, -7 - 2 = -4*u + 3*i. Is -2/57 at most as big as u?
True
Let x = 102 + -103.6. Is -1 != x?
True
Let f = -2/823 - -14828/5761. Which is bigger: f or 3?
3
Let x = -2 - 3/2. Which is bigger: -4 or x?
x
Let k = 12 + -10.9. Let n = 0.8 - k. Let i = 0.1 + n. Which is smaller: i or -0.1?
i
Let f = 44 + -57. Let l = 14 - 28. Is f < l?
False
Let m = 24.66 + -4.76. Let n = 20 - m. Which is smaller: 0 or n?
0
Let f(l) = l**3 - 4*l**2 + 4*l + 1. Let v be f(3). Suppose -o + 2 = -w - 3, 5*o - v = -2*w. Which is greater: 1 or o?
o
Let t = -1.9 - 9.1. Let w = -10.9 - t. Is w not equal to -3?
True
Let h be (-4)/(-220)*(-1 + 2). Let s = h + -59/220. Does s = -1?
False
Let m = -3 + 5. Suppose -m*x + 1 + 1 = 0. Is x at least 6/5?
False
Suppose 14 = 4*n - 6*n. Let f = n - -15/2. Which is smaller: 1 or f?
f
Let h be (2/4)/(-5 + (-44)/(-8)). Is 4/5 not equal to h?
True
Let y = 72 - 214/3. Which is bigger: y or 29?
29
Let k be ((-2)/(-4)*(-2)/3)/1. Which is smaller: k or 29?
k
Let u = -0.2 - 4.8. Let r(g) = -g - 14. Let b be r(-6). Let k be (-1)/(-6) - (-4)/b. Which is smaller: u or k?
u
Let x(q) = q. Let h be x(-13). Suppose -23 = -3*d - 59. Is h != d?
True
Suppose -4*f - 4 = -v, -v + f = 4*v - 20. Let x be -3 + 0 - (-57)/19. Suppose 3 = -x*n + n. Which is smaller: v or n?
n
Suppose 0 = 5*r - 25, -a - 55 = 2*a + r. Which is bigger: -21 or a?
a
Suppose 5*w + 0*w = 3*y + 4, 0 = -5*y - 15. Let o = 1 + w. Let d be 1*(4 + (-3)/1). Which is bigger: o or d?
d
Let l(j) = -j**2 - 3*j + 7. Let y be l(-5). Which is smaller: -5 or y?
-5
Let l(s) = -2*s**2 + s + 7. Let n be l(3). Which is bigger: n or -23/3?
-23/3
Let t = -11.1 - -12. Let o = t + -0.5. Is 1 > o?
True
Let b be (0 - 1/(-1))*(-3 - -4). Is 1/3 not equal to b?
True
Let x = -32/39 - -2/13. Which is smaller: 25 or x?
x
Let d = 0.12 - 0.12. Let a(b) = b + 10. Let p be a(-9). Which is greater: p or d?
p
Suppose -s - 15 = -6*s. Suppose -5*b + 4*b + 4 = 0. Are s and b nonequal?
True
Let s = 5 + -6. Let x be 1 + (3/(-1))/(-3). Suppose 2 = -b, -x*b = -3*j - b + 2. Is s less than or equal to j?
True
Suppose 0 = -3