
Let d = -1 + 1.05. Let p = 24 - 25.05. Let v = p + d. Which is smaller: -0.4 or v?
v
Suppose -8*r = -4*r - 20. Suppose 0 = -3*u + 4*q + 8, r*q - 3 = -4*u - 44. Which is smaller: u or -3?
u
Let m = -1/98 + -73/49. Which is smaller: -1 or m?
m
Let z = 14899/2346 - 470/69. Let o = z + -2/51. Is -2 greater than or equal to o?
False
Let v(x) = x**2 + 9*x + 6. Let d be v(-4). Let n be d/(-40) + (-3)/5. Let y = 0 + 1. Which is greater: n or y?
y
Let p(u) = 6*u**2 - 4. Let v(h) = -6*h**2 + h + 4. Let o(r) = 6*p(r) + 5*v(r). Let w be o(-4). Let s be w/(-27)*2/(-4). Is s at least as big as 0?
True
Suppose 4*s + 4*d - 64 = 0, 2*s + 2*s - 5*d - 73 = 0. Is s > 16?
True
Let j be 2*(-6)/93*(-15)/10. Which is smaller: j or 1?
j
Let n be (-7 + -1)/(3/(6/(-4))). Which is smaller: 1 or n?
1
Let p be 3/9*(-6 - 3). Let j = -3 - -2. Which is bigger: j or p?
j
Let j be 21/35 - 17/(-5). Let y = 5 - j. Which is smaller: y or 2?
y
Suppose -4*c = -22 + 6. Suppose 4*p - 12 = -2*d, c*d = -d + 20. Which is bigger: -1/4 or p?
p
Let i be 1 + (3 - 1)*-1. Let v be 35/5*(-2 - -1). Let a = v - -6. Is i greater than a?
False
Let b = 24 - 457/19. Which is smaller: b or -1?
-1
Let u = 388/9 - 130/3. Let z be (2 - 4)/(-2)*1. Let g = z + 0. Is g < u?
False
Let p = -229/11 + 21. Let h be 2/(-1 + 0) + 6. Suppose h*i - 4 = -8. Is i smaller than p?
True
Suppose 5*z = d - 5*d + 13, 5*d - 14 = -4*z. Do z and -2 have the same value?
False
Let v = -71 + 71.1. Are -49/2 and v equal?
False
Let x = 2 + -4. Suppose -c + 1 = u - 0*u, 4*c - 6 = -5*u. Let g be (u/10)/(2/(-5)). Which is bigger: g or x?
g
Let c = -1/1123 + 70751/2246. Let s = c + -32. Which is smaller: -1 or s?
-1
Let y be (-1)/(-3)*-2*(-6)/4. Which is greater: y or 2/147?
y
Let i = 8 + -7. Which is greater: i or 2/17?
i
Let n(t) = 3*t**2 + t + 2. Let o be n(3). Suppose -u + 4*x - 2 = 0, 0 = -6*u + 2*u + 4*x - o. Do -9 and u have the same value?
False
Let z(m) = -1 + 2*m - m - 1 - m**2. Let h(t) = t - 6. Let y be h(6). Let c be z(y). Are c and -3/2 nonequal?
True
Let p = -32 + 32. Does p = -1/6?
False
Let w = -5/474 + 2131/22278. Is 0 bigger than w?
False
Let k = 0 - -0.1. Let l be (-3 - -8)*2/(-5). Let g be l/(-8) - 21/28. Is k less than g?
False
Let b = -3 + 1. Let n = b - -3. Let y = n + -1.1. Is -2/3 <= y?
True
Let l be (27/(-180))/((-2)/(-32)). Which is greater: l or 1/2?
1/2
Let v = -153599/5852 - 4/1463. Let u = v + 715/12. Let x = -512/15 + u. Is x > -1?
True
Let z = 120 + -838/7. Is z at most as big as 48?
True
Suppose -2*w = 5*u - 3*w - 534, -550 = -5*u + 5*w. Let o be -1 - (2 + u/(-34)). Is 0 greater than or equal to o?
False
Suppose r + 10 = 2*r. Suppose 0 = -2*k - 8*k + 110. Is k > r?
True
Let r = 19/16 - -5/16. Which is greater: r or 2?
2
Suppose 12*u - 9*u + 3 = 0. Is -1/2 greater than or equal to u?
True
Suppose -3*z = 4*d + 38, z + 5 = 3. Do -10 and d have different values?
True
Let o = 36 + -104. Let h(s) = -s + 10. Let r be h(8). Let t be 16/o*r/4. Which is bigger: 1 or t?
1
Let l be 4/(-3) + (-8)/(-6). Which is bigger: -16 or l?
l
Suppose 2*t - 5*t = 15. Are t and 1 unequal?
True
Suppose 3*d = 4*d. Let j be d + (-100)/52 + 2. Which is smaller: j or 0?
0
Let i = -94.7 + 87. Let t = 0.7 + i. Let n = -6.6 - t. Is n != 1?
True
Let p(l) = -l + 11. Let q be p(11). Suppose -2*o - o = q. Is o >= 1/2?
False
Suppose -5*i + 34 = -3*s, 5*i = 5*s + 37 + 3. Let m = 4 - i. Is m at least as big as -2/5?
False
Let r = -55 - -54. Which is smaller: -5 or r?
-5
Let i = -16.3 + 3.3. Let u = -12.9 - i. Is u less than 0.02?
False
Suppose 2*y + 0*y = 2*v - 12, -2*y + 10 = 0. Is 11 less than v?
False
Let n = 1 - -1. Let z = 0.03 - 0.01. Let l = z - 2.02. Is n != l?
True
Let i = -11 - -5. Let a be ((-12)/18)/((-38)/i). Which is smaller: a or 0?
a
Let n = -27 + -34. Is -61 smaller than n?
False
Let y = -4 + 9. Suppose 0 = -2*n + y*n - 3. Which is bigger: n or 0.1?
n
Let i(s) = -3*s**2 - 11*s - 5. Let l(x) = -2*x**2 - 7*x - 3. Let z(b) = 5*i(b) - 8*l(b). Let j be z(-2). Which is smaller: 2/7 or j?
2/7
Let x be (-2 + 0 - -2)/3. Suppose q + 4*u + 10 = x, -3*u - 2 - 3 = q. Is q at most as big as 10?
True
Let z = 3 + -1. Suppose 0 = 2*x - 4*j - 16, -6*x + z*j = -2*x - 14. Is x <= 2?
True
Suppose 4 + 10 = 4*v + 2*j, -v + 14 = 4*j. Let h = 3 + -2. Which is smaller: h or v?
h
Let i = -645 - -23213/36. Let l = 229/252 + i. Is l <= 2?
True
Let m = 151 - 150. Let r = -0.1 + 0.1. Which is smaller: r or m?
r
Let z = 10 + -4. Let d be (30 + 5)*(-12)/(-10). Suppose -5*t + d = 7. Is z smaller than t?
True
Let q(s) = -2*s**2 + 1 - 12*s**3 - s**2 + s**2 + 0. Let r be q(1). Which is greater: r or -14?
r
Let b(p) = -p - 15. Let i be b(0). Let m be 1/5 + 78/i. Is m smaller than -5?
False
Suppose -3*f + 11 + 31 = 0. Let z = f + -7. Suppose 9*w - 3*a - 50 = 4*w, 5*w + 5*a - 10 = 0. Are w and z equal?
True
Let u = 3.9 - 4. Let a = -0.09 + 7.79. Let i = -8 + a. Which is greater: u or i?
u
Suppose -5*q = -3*v + 22, -q + 4*q + 5*v - 14 = 0. Is -16/13 less than q?
False
Let y = 16 - 31/2. Let m = -4 - 6. Let t be (1/(-5))/((-4)/m). Which is greater: t or y?
y
Let c(m) = 3*m + 14. Let g be c(-6). Is -4 != g?
False
Let u(p) = p**2 + 2*p - 2. Let l be u(2). Let r be ((-11)/l)/(-1) + -2. Suppose -2*x - 6 = 2, 2*d - x - 6 = 0. Which is greater: r or d?
d
Let c(j) = j + 4. Let i(x) = -x - 7. Let b(p) = -5*c(p) - 3*i(p). Suppose 0 = 6*v - 2*v - 4. Let s be b(v). Are s and -2 equal?
False
Suppose 3*p = 11 - 14. Let a be (1/4)/(9/6). Which is smaller: p or a?
p
Let d = 23 - 1. Let q = 16 - d. Are q and -7 non-equal?
True
Let b = 0.6 + -0.7. Let s = 4.1 - 4. Let n = 0.9 + s. Is b equal to n?
False
Suppose -5*f + 3*c + 0*c = -54, 0 = -4*f - 3*c + 27. Let r = 7 - f. Which is smaller: 0 or r?
r
Suppose 0*i - i = 16. Let f be 18/8 - (-4)/i. Do 2 and f have different values?
False
Suppose 0 = -5*o - 2 - 18. Let v = -21 + 11. Let s = v + 7. Is o at least s?
False
Let d = 6 - 3. Suppose -11 = d*x + 31. Let n = x - -40/3. Do n and -2 have the same value?
False
Let u be (-183)/(-54) + (-6)/27. Let d = u - 59/18. Which is smaller: 0 or d?
d
Let v = -925143/331 + 2795. Which is smaller: v or 0?
0
Suppose -9*n - 530 = 91. Is n at most as big as 1?
True
Let f = -24 + 36. Suppose -b + f = 3*b. Which is smaller: b or 1?
1
Let d be -9 - -8 - 3568/18. Let u = d - -199. Is u not equal to 1?
True
Let j(f) = -f**3 + 3*f**2 - 2*f - 2. Let w be j(2). Is w greater than or equal to 0?
False
Let w be (60/(-16) - -3)*10. Is w bigger than -8?
True
Let m = -2/49 - -15/1568. Which is bigger: m or 0?
0
Let i = -0.03 - 0.07. Let o be ((-1)/5)/(6/(-20)). Which is greater: o or i?
o
Suppose -2*h + 2*j - 165 = 97, -h = -5*j + 115. Let y be (-111)/h - 1/(-6). Let g = -11/10 + y. Is g < 0?
True
Let d = -2.06 + 0.06. Let r = 0 + 2. Let l = 0 + r. Which is greater: l or d?
l
Let a = 0.43 + 0.25. Let n = -0.08 + a. Which is bigger: n or -0.2?
n
Let y = 7 - 13. Let m = y - -7. Which is smaller: m or 5?
m
Let k = 10 + -5. Suppose k*m - 7 = 3. Let x = -3 + m. Which is greater: -2/7 or x?
-2/7
Let i = 71/51 - 18/17. Let j be 47/(-4) + 1/(-2). Let r = 12 + j. Which is bigger: i or r?
i
Let h = 4955/9 - 550. Which is bigger: 1 or h?
1
Suppose 20 = 3*f - 5*f. Which is greater: 1 or f?
1
Suppose 3*j - 15 = -2*j. Suppose -j*h = -h - 2. Suppose -4*w - 7 = h. Do w and -3 have different values?
True
Let b = 100 - 105. Is -26/5 greater than or equal to b?
False
Let i = 140 + -702/5. Let w = 1.94 + 0.06. Which is smaller: i or w?
i
Let v = 16 + -21. Is v < -1?
True
Suppose 4*s + 4 = 5*l, -4*l - 1 = 3*s + 2. Suppose l = 4*r - 5*r - 4. Which is smaller: r or 0.1?
r
Suppose 2*a - 3*c = -75, -1 = -a - 5*c - 19. Which is greater: -31 or a?
-31
Let c be (3/9)/(2/(-6)). Let r be (2/14)/(c + 2). Which is smaller: 0 or r?
0
Let i(n) = n**3 - 4*n**2 - 5*n. Let m be i(5). Suppose 0 = -m*o + 3*o. Let k = 392/5 + -79. Which is greater: k or o?
o
Let p(u) = u + 8. Let z be p(-6). Suppose -z*t = -2*m + 8, 5*t = -m + 7 + 3. Is -4 != t?
True
Let d be (5 + -6)/(2/10). Suppose -28 = 8*c - 4*c. Is d < c?
False
Let s(n) = -n**2 + 4*n - 3. Let v be s(5). Let c be (-2)/v + (-1)/(-12). Are 0 and c nonequal?
True
Suppose v - 1 = 2*l + 2, 0 = 2*l - 5*v + 7. Are -5/3 and l equal?
False
Let h be (5/2)/((-8)/(-12)). Are h and 5 nonequal?
True
Let g be 