 -27 + t)/(-8). Is 4 < m?
False
Let p = -135 + 42. Let x = p + 94. Are x and 2/93 nonequal?
True
Let m = 120 - 84. Suppose -33*a = -m*a - 21. Is -5 bigger than a?
True
Let o = 5/68 + 3/17. Let k be ((-16)/28)/((-28)/(-490)). Are k and o equal?
False
Let b be (-4 + 1)*(12 + (-370)/30). Which is smaller: 3/2 or b?
b
Suppose 0 = -2*j + 4*r + 178, 0*r + 332 = 4*j + 4*r. Let k be (13 + -30)/(1/(-5)). Is k greater than j?
False
Let i = 110 - 65. Suppose -i = 5*t - 20. Which is greater: t or -4?
-4
Let t = -8.41 + 8.35. Which is smaller: -17 or t?
-17
Let d be 5840/(-27900) - 2/(-9). Let u = -3706/1085 - d. Are u and -4 non-equal?
True
Let c(r) = 2*r**2 - 2*r. Let u be c(2). Suppose -3*b - 5 = u. Let z be 3 + 1 + b + 1. Which is smaller: 1 or z?
1
Suppose o + g - 6 = 0, -20 = -4*o - 2*g - 0*g. Suppose 0 + 4 = 2*c, -o*i + 14 = -3*c. Which is bigger: i or 4?
i
Let t = -512 + 511.91. Which is bigger: 13 or t?
13
Let i = 52.9 + -56. Let h = i - -3. Which is greater: -0.05 or h?
-0.05
Let t = 1.1 - 4.1. Let z = t + 19. Is -2 != z?
True
Let p be (4 - 6)*(-19)/2. Let w = p - 7. Suppose -4*y = 5*c - w, -c + 0*c = -5*y + 15. Which is smaller: c or 1?
c
Let v = -136 + 135.9. Let a = -46 - -12. Does a = v?
False
Let x = -0.033 + 0.014. Let q = -0.281 + x. Are q and -0.6 equal?
False
Let d = 194.9 - 196.9. Is -7.47 >= d?
False
Let x be (-15)/(-12)*609/(-35). Which is bigger: x or -23?
x
Let l(q) = -q - 7. Let s be l(-6). Let o be (-6 + 4818/756)*16 + -6. Which is bigger: s or o?
o
Let j be (-33)/22*(-6)/(-9). Which is greater: 3/139 or j?
3/139
Let j = -2172 + 262810/121. Let l be ((-3)/9)/((-2)/(-6)). Does j = l?
False
Let o = 223252 - 4684199/21. Let c = o - 195. Is -1/4 at most as big as c?
True
Let i(u) = u**3 - 5*u**2 + 2*u - 8. Let h be i(5). Suppose 2*b - 3*b - 2 = -h*w, -4*b + 3*w - 28 = 0. Does b = -11?
False
Let s be -68 - (1 - (-12)/(-16)*8). Is s smaller than -63?
False
Let k = 11 + -9. Let b be -1 - k - (14 + -3). Is -14 > b?
False
Let y be 3 - ((-44)/(-77))/((-2)/(-14)). Let u = 1492/73 - -63791/2190. Let z = u + -99/2. Which is bigger: y or z?
z
Let h be ((-3)/(-8640))/(120/160). Which is greater: 1 or h?
1
Let o be -4*9/126 + 33/140. Let f(n) = n**2 + 1 - 3*n + n**3 + 4*n + 0*n**2. Let c be f(-1). Which is greater: o or c?
c
Suppose -o = 4*n + 14, -2*o - 43 = -5*o + 5*n. Suppose -24 = -o*u + 24. Let k = u + -15/2. Are 0 and k non-equal?
True
Let d = -24 - -7. Let u = d - 37. Let p be u/(-45)*10*-1. Which is smaller: -13 or p?
-13
Suppose -36*f + 1519 = -5*f. Is f > 53?
False
Suppose -b + 24 = 3*b. Let d be -1 - 2/((-4)/b). Suppose y + d*y = 3. Which is smaller: y or 6?
y
Let m be 5/4 - 286*7/840. Which is bigger: -1 or m?
-1
Let l = 8.7 + -10.18. Are l and -0.1 equal?
False
Let z = 823 + -1024. Is -3 equal to z?
False
Let a be ((-3)/(-1))/(4 - 9/3). Suppose -k = a*k. Is -2 bigger than k?
False
Let v(s) = -2*s**3 - 4*s**2 + 10*s - 8. Let a(y) = y**3 + 5*y**2 - 9*y + 7. Let z(k) = -3*a(k) - 2*v(k). Let h be z(6). Is -1/3 at most as big as h?
True
Let d be (3 - 4)/(-5) - (-44)/(-20). Which is greater: -2.4 or d?
d
Let u(d) = d**2 - 31*d + 37. Let p be u(0). Is 42 not equal to p?
True
Let w = 0.0415 + 25.8585. Let j = 355 - 381. Let f = w + j. Which is bigger: f or -4?
f
Suppose 0 = 5*h - 4*j - 1056, -j = -h + j + 210. Which is bigger: h or 209?
h
Let q = 494/605 + -2/121. Let v = 1135/154 - -105/22. Let m = -87/7 + v. Is m > q?
False
Let j be (-124)/(-682) + (-8)/286. Let a = 12 - 5. Let b be (-22)/21 + (-2)/a. Which is greater: b or j?
j
Let f = 53 - -49. Suppose 3*z = -f + 306. Which is greater: z or -1?
z
Let w = 602 + -862. Let m be -2 - (0 + 0 + 0). Let k be 272/w - m/(-13). Are k and -2 equal?
False
Let z = -5.27 + 1.27. Are -8 and z unequal?
True
Let b = 1875 + -1961. Are -1 and b equal?
False
Suppose 3318*w = 3315*w - 2*b + 30, -5*b = -4*w - 6. Suppose z + 8 = -5*p, -3*z = p - 1 - 3. Which is greater: w or z?
w
Let c be 1/(((-11)/2189)/(-2 + 1)). Is c > 2/5?
True
Let s be 4 - 1/(2/8). Is -14/41 less than or equal to s?
True
Let w be 1/(-7) - (-9184)/64974. Which is smaller: 1 or w?
w
Let s(c) = -5*c**2 + 20*c - 5. Let m(n) = 3*n**2 - 10*n + 2. Let i(r) = -7*m(r) - 4*s(r). Suppose -4 = 5*q + 46. Let h be i(q). Do 6 and h have the same value?
True
Let h(j) = -j**3 + 27*j**2 - 50*j + 35. Let z be h(25). Which is greater: 32 or z?
z
Let s(q) = -2*q**2 - 17*q - 8. Let b(x) = -x - 25. Let l be b(-17). Let g be s(l). Is g equal to 2/11?
False
Let j(l) = l - 2. Let z be j(2). Suppose 0 = 16*c - 18*c - 6. Let t be (0 - 4/(-4))/c. Is z >= t?
True
Let r = 7/1206 + 7007/4824. Let d = 9/8 - r. Is d at least as big as 1/16?
False
Let l(q) = 14*q + 7. Let z be l(2). Suppose b - z + 4 = 0. Is 31 greater than or equal to b?
True
Let r be (-159)/33 + 2/(-11). Let n be (8/100)/(-1 - 6/r). Which is bigger: 2 or n?
2
Let w = -1/5262 + 42245/784038. Is 1 less than w?
False
Suppose 5*i = 3*j - 42, 5*i - 6 = -2*j + i. Let m be (-6)/(-4)*(2 + -4). Let g be (-2)/m*(-3)/j. Are g and 0 equal?
False
Let j be 4/(-14) + (-15)/(-28). Suppose 4*l = -6*c + 4*c + 8, -2*l = -2*c + 2. Suppose 0 = -2*g + 3*g + 3*k + l, 1 = -g - k. Is g >= j?
False
Let b = 179/80 - -1/80. Is 0.1 at most b?
True
Suppose -p + 45 = 2*g, -4*p - 3*g = -p - 147. Let c = 67 - p. Which is smaller: c or 13?
13
Let n = 212 - 212. Is n at least -90?
True
Let f be -10*(-1)/4*16. Suppose -3*y + 8*y + f = 0. Let u = y - -8. Is u at most -5/6?
False
Let q = 4.032 + 0.068. Let y = 12.1 - q. Which is greater: 2 or y?
y
Let p = -12 - -14. Suppose 5*w - 28 = -2*v, -p*w = -0*w + v - 12. Suppose 4*y = -5*i - 22, y + 2 = 3*y - w*i. Which is smaller: -1 or y?
y
Suppose 2*s = -x - 537, -4*x - 700 - 103 = 3*s. Which is smaller: -268 or s?
s
Let z be (48/18 + 6/(-2))*-122. Let w(m) = 22*m - 3. Let l be w(2). Let n = l - z. Are 0.2 and n nonequal?
True
Suppose -5*i - 3*s + 502 = 0, -4*i + 11*s - 9*s + 384 = 0. Do i and 98 have different values?
False
Let w = -195107/342 - -1141/2. Suppose 4*i = 12, -2*x = 3*x - 5*i + 20. Which is bigger: w or x?
w
Let v be (-6)/3 + 2*8. Let g = -28 + v. Let p be (6/g)/((-16)/(-56)). Is p at most as big as -1?
True
Let f = -898 - -329. Let g = -43812/77 - f. Which is greater: -1 or g?
g
Let w = -346 + 331. Let c = 0 + 2. Is w at least c?
False
Let j be (-6)/8 + (-35)/(-20) + -2. Suppose -5*l = -5*r + r + 10, -5*r = 3*l + 6. Suppose 5*h - h - 60 = r. Is h < j?
False
Let y = 88 + -80. Let s = -0.11 - -0.21. Is s != y?
True
Suppose 3*n + 24 - 21 = 0. Which is bigger: -3/23 or n?
-3/23
Let y be 249/3 + 4/2. Let k be 1366/40*-7*15/(-42). Let w = k - y. Which is bigger: w or -1?
w
Let i = -19843/44 + 451. Is 0 at most i?
True
Suppose 316 = -3*w - 4*x - 0*x, 4*w - x = -453. Let g = 112 + w. Is g less than or equal to -2?
False
Let y = 1291 - 1244. Let b = -8/15 - -1/5. Is y less than or equal to b?
False
Let v(q) = -64*q**3 - 1. Let c be v(2). Let b = -9754/19 - c. Let m = 2/57 + b. Do m and 1 have the same value?
False
Let s be ((-112)/(-294))/((-8)/(-12)). Let c = 3.2 - -0.8. Is c < s?
False
Let x = 89 - -37. Let k = -129 + x. Is -0.4 at least k?
True
Suppose -4*n = 5*i - 0*i - 823, -6 = -2*i. Which is smaller: n or 204?
n
Let r = -20.349 + 0.349. Are -1 and r nonequal?
True
Let x be -13 - (-6)/2*1 - -4. Let d(y) = 2*y + 12. Let o be d(x). Which is smaller: o or -44?
-44
Suppose 8*v - 5*v = -3. Let k be v/3*(-6 - -21). Is 0.6 at least as big as k?
True
Let z = 74 - 20. Let f be 366/4 + (-81)/z. Which is greater: 89 or f?
f
Let a = -48.9 + 53. Let v = -0.2 - -0.1. Let z = v + a. Which is smaller: z or -2?
-2
Let r = 10161/5 + -2039. Which is greater: r or -8?
r
Let c be (38/(-3))/(-3 - -16). Let u = 4/13 + c. Do u and -1/9 have different values?
True
Suppose -5*p + 1430 = 4*u - 160, u = 2*p - 636. Is 318 <= p?
True
Let s(d) = d**2 - 8*d - 7. Let u be 6/(-2) + -6 + 17. Let r be s(u). Which is smaller: r or -3?
r
Let r = 17 - 18.1. Let p = 0.12 - -1.28. Let w = p + r. Is -2/7 > w?
False
Let h = 494/187 - 48/17. Let n = 2.72 - 2.5. Let z = n - 0.12. Is z less than h?
False
Let z(r) = r - 4*r - 2*r + 9*r - 17. Let g be z(6). Which is smaller: 13/2 or g?
13/2
Suppose -29*j + 16 = -21*j. Is 40/37 > j?
False
Let m = -0.1 - -0.7. Let u = m - 0.63. Let f = -46 - -45. Is u bigger than f?
True
Let b = 