0*z = -7*z + 9. Let i be 0 - (z + 12/4). Do i and q have different values?
True
Let w = -293 - -499. Is 206 <= w?
True
Suppose 5 = -4*l - 3*j, 7 = 4*l - 4*j + 3*j. Let a be (-13)/(-26) - l/(-2). Which is smaller: a or -4/51?
-4/51
Let y = 3.89 + -4. Let b = 2 - 1.89. Let i = y + b. Is i at most as big as -3/2?
False
Let j = 0.545 - 1.145. Which is smaller: 7 or j?
j
Let a = -317/15 - 113/15. Is a at most -30?
False
Let r(i) = -i - 6. Let d be r(-6). Suppose 3*h + 4*z + 34 = 2, -3*z - 15 = d. Suppose -m + q = -0*m + 9, -2*m - q - 3 = 0. Is h <= m?
True
Let o(h) = 3*h - 60. Let x be o(15). Which is smaller: x or -26?
-26
Let i = -38 - 68. Let w = i + 102. Is w > 4?
False
Suppose -16 = 4*v - 2*g, -2*v - 37*g = -32*g - 28. Let f be -2*(2/(-28) - -1). Which is smaller: v or f?
f
Let z = 618 - 619. Which is smaller: -1/194 or z?
z
Let q be 3983/(-35)*2 + 2/(-5). Which is greater: q or -227?
-227
Let g = 14 - 8. Suppose -g*q = -2*q. Let d be 14/(-26)*-3*12/42. Is q at most d?
True
Let l = 2788 - 8515/3. Which is smaller: l or -50?
l
Let k be -5*4 - 1/1. Let x(o) = 2*o**2 + o + 7. Let d be x(-3). Let h = d + k. Is 2 not equal to h?
True
Suppose -4*m = -8*m - 68. Which is smaller: -10 or m?
m
Suppose 15*p = -2*n + 18*p - 3, 6 = 2*p. Are n and 3/2 non-equal?
True
Let b be 12/16 - (-169)/4. Let m = b - 29. Which is smaller: m or 13?
13
Let d = 112 + -97. Is 16 > d?
True
Suppose s = 4*i - 23, -4*s - 4*i - 17 = -5*i. Let r be (-84)/(-144) - (-1)/s. Which is smaller: r or -2/17?
-2/17
Let u be (15/20)/((-3)/(-12)). Suppose -18 = -2*p + u*o, p + o = 5 - 6. Which is greater: p or 7/3?
p
Let b be 40/24*(-5)/(-3050). Which is smaller: 1 or b?
b
Let d(j) = -7*j + 178. Let r be d(27). Which is smaller: 3/5 or r?
r
Let c be (128/(-6))/(-2)*(4 - 3). Let v = c + -11. Which is bigger: -1 or v?
v
Let d be 53/16*(-318)/57. Let g = d + 147/8. Are 1/3 and g equal?
False
Suppose -2*h + 1520 = 4*k, 0 = -3*h - 0*h. Let r = -17475/46 + k. Which is greater: r or -1?
r
Let u(t) = -22*t - 49. Let k(f) = -15*f - 32. Let c(o) = -8*k(o) + 5*u(o). Let n be c(-6). Is n bigger than -49?
False
Let p = -485 + 484. Do -5.2 and p have different values?
True
Let m = 2371 - 2391. Which is smaller: m or -284/15?
m
Let k = 108 - 106. Suppose -4*x = -l + 5*l - 4, x + 2 = 0. Which is bigger: k or l?
l
Suppose -i - 26 = 4*n, -2*n = 5*i - 2 + 24. Let z(u) = 5*u**2 + 25*u - 9. Let q be z(n). Are q and 19 equal?
False
Let l be (-4)/(-6) - (-94)/(-6). Let d be (4/5)/(6/l) + -102. Are d and -104 nonequal?
False
Let z be -6 + 17/(-119)*(-146)/4. Which is bigger: -2 or z?
z
Let a = 29 + -103. Let q = a + 291/4. Which is greater: q or -2?
q
Let d(t) = 64*t + 226. Let s be d(-4). Is -13 <= s?
False
Let p = -859 - -832. Is -22 >= p?
True
Suppose -4*w - 3*k - 28 = 0, -5*w - k = k + 35. Let p be 1*25/(-4) + -19 + (-292)/(-16). Is p equal to w?
True
Let k be ((-3)/4*4)/1 + 5. Which is smaller: k or 1?
1
Let y be 3/(-5 - 1)*8. Let p be -18*(1 + 69/(-9)). Let k be y/p - (-3)/15. Which is bigger: 1 or k?
1
Let c be ((-551)/(-57))/(7/45). Which is smaller: c or 62?
62
Let t(i) = -7*i + 20. Let x be t(3). Is x > 1/191?
False
Let k be 21/(-12) - (-50)/40. Is 237 less than k?
False
Suppose w = -2 - 1. Let x be (-3)/(-6)*-1*2*1. Let d be 380/171 + 4*1/x. Is d equal to w?
False
Let b be (8/44)/1*13. Which is greater: b or 3?
3
Let v = 4.269 - -0.031. Is 11 != v?
True
Let q be (57/(-27))/(-1) - 1. Let i be 10/(-30) - (-10)/3. Suppose 0 = i*z - 2 - 4. Which is smaller: z or q?
q
Let t = -169/5 + 331/10. Let q = 83/90 + t. Is 1 less than or equal to q?
False
Let c = -32 + 23. Let m = -16210 - -16204. Are m and c nonequal?
True
Let z be (14/1)/7 + -1. Is z bigger than -1/147?
True
Let d(c) = 7*c**3 + 4*c**2 - 4. Let p(i) = 6*i**3 + 5*i**2 - 5. Let u be (-2)/7 + 184/56. Let k(f) = u*p(f) - 4*d(f). Let s be k(1). Is s at most -8?
True
Suppose 10 = -7*r + 17. Let u be (4/10)/(r/(-15)). Let j = 0.2 + -0.1. Which is greater: u or j?
j
Let b(d) = -3*d**3 + 6*d**3 - 5*d**3 + 2*d**2 - 2*d + 3 + 3*d**3. Let m be b(-3). Suppose -3*n + 4*n = -h - 4, -n - 13 = 4*h. Do n and m have the same value?
False
Suppose 22*c - 18*c = -4*o + 8, 4*c + 7 = o. Which is smaller: c or -11/18?
c
Let h = -552 + 551. Is h at least 1?
False
Let v be (-24)/(-12) + (-5)/(-1). Suppose 0*u + v*u + 238 = 0. Which is greater: u or -33?
-33
Let d = 62 + -33. Let n be 2/(-8) - (-18)/(-24). Is n equal to d?
False
Suppose -4*a + 6 = -l, 3*l = -l + 2*a - 10. Let i be (-1 - l - -1) + 0. Suppose i*q = 5*q + 33. Is -10 > q?
True
Let i = 15.34 + -0.34. Let s = -7864/9 + 874. Do i and s have the same value?
False
Let k = 651139/354992 + -323/176. Is k < -1?
False
Suppose 0*n + 2*n + 22 = -2*l, -5*l + n - 85 = 0. Let z = 23 + l. Which is smaller: 0 or z?
0
Let w = 6 - 6. Let o be 1/(w/(0 + 1) - -14). Is -1 smaller than o?
True
Let a = 9 + -17. Let p be (4 + a - -2) + 8. Which is greater: p or -0.3?
p
Let j = -2.65 - 6.5. Let b = j - -0.15. Which is smaller: b or -0.1?
b
Let y = 13 + -13. Let l(v) = 2*v**2 - 7*v. Let g be l(5). Which is greater: g or y?
g
Let n be 6/(-4)*(400/24 + -14). Suppose 3*t - 2*d + d - 23 = 0, -5*t + 5*d + 45 = 0. Which is smaller: n or t?
n
Let o(q) = -q**2 + q + 2. Let r be o(-4). Let n be 54/(-3) - (-1 + 2). Is r greater than n?
True
Let b(w) = -2*w**2 - 157 - 6*w + w**2 + 147. Let d be b(-4). Which is smaller: d or -1?
d
Let w = -2.1 + 6. Let a = w - 1.9. Let g(o) = o**2 + o. Let u be g(1). Is u bigger than a?
False
Let n = 0.0577 + 0.9423. Is n bigger than 55?
False
Suppose u = 2*t - 41, 0*t - 116 = -5*t - 2*u. Suppose 3*x - 230 = -7*x. Are t and x unequal?
True
Let p = 48 - 142/3. Let f = -27 + 46. Suppose f*a - 15*a = 4. Which is smaller: p or a?
p
Let m(c) be the second derivative of c**5/20 + c**4/3 - 9*c. Let a be m(-4). Let b = -39/11 + 42/11. Which is smaller: a or b?
a
Let z = 34 - 22. Suppose u + 8 = 5*h, -11*u - 17 = -7*u - 5*h. Let x = u - -13. Which is smaller: z or x?
x
Suppose 21*m - 10 = 20*m. Suppose 0 = 2*z - b + m + 17, z + b = -15. Let s be 20/112 + 6/z. Which is smaller: 1 or s?
s
Let g = -0.06 + -0.11. Let q = g + 3.17. Let p = 0.97 + 0.03. Is q less than or equal to p?
False
Suppose -c + l + 4*l = -4, -5*l = 15. Let g be ((-2)/(-6))/((-5)/75). Let w = -17 - g. Do w and c have different values?
True
Suppose -y + 4*l - 516 = 0, -51*l + 56*l = -y - 480. Is y <= -499?
True
Let g = 7461 + -1917474/257. Which is bigger: -1 or g?
g
Let x be (-301)/(-6) + 4/(-24). Suppose -5*u - x = -185. Which is smaller: 28 or u?
u
Let n(v) = v**3 - 2*v**2 - 4*v + 3. Let u be n(3). Suppose 7*t - 2*t - 10 = u. Suppose 17 = h + 5*y - 3, -4*y = -t*h - 16. Which is greater: h or 2/5?
2/5
Let b = 660428/271 - 2437. Is -1 less than or equal to b?
True
Let o = 36 - 32. Suppose 2 = 5*r - 13, -3*x - o*r = -9. Is x >= -4/3?
True
Let m be (-27)/((-405)/470)*(-3)/(-2). Is 51 at least as big as m?
True
Let m = -209 - -211. Is m smaller than -1/52?
False
Let m = 182 + -113. Which is bigger: m or 68?
m
Let p = 0 + 7. Let k be (-2)/p + 25/(-35). Let g be ((-13)/((-260)/(-24)))/(2 - (-80)/25). Which is greater: k or g?
g
Let l be 2/(-13) + (1705/(-325) - -5). Let m = -1/125 + -359/2000. Which is greater: l or m?
m
Let r be 4/(-10) + 37/5. Let i be 3/1*(10 + -9). Suppose v = -4*q + 29, v - 19 = -i*q + 3*v. Is r smaller than q?
False
Let q be 475/(-5) - (1/1)/(-1). Let u = q + 85. Is -10 <= u?
True
Let p(f) = -2*f**2 + 15*f - 14. Let y be 3/(((-18)/(-21))/2). Let n be p(y). Let t = -2245/4 - -555. Which is bigger: t or n?
t
Let f(h) = h**3 - 7*h**2 + 4*h + 10. Let j be f(6). Let c be (-1 - 4/j)*-2. Which is greater: -5 or c?
c
Let c be (-2)/(-7) + 1440/(-189). Is 14 greater than or equal to c?
True
Let b(v) = 84*v + 1009. Let c be b(-12). Let u = 4 + -1. Suppose u*r + 6 = 4*g - 7, 2*g + r = 9. Which is bigger: c or g?
g
Let t be 108/(-40) + (-3)/15. Let m = t + 341/90. Let h = 14 - 13. Which is smaller: h or m?
m
Let o(m) = m**3 - 24*m**2 + 44*m - 20. Let g be o(22). Which is greater: g or -17?
-17
Suppose 2*w - 5*w + 84 = 0. Suppose 18 = 3*i - 2*z - w, z - 33 = -2*i. Let o = i + -31. Are o and -15 equal?
True
Suppose 0 = -4*y - 5*k + 3, y = -2*y - k + 16. Suppose -11*z = -y*z. Let v = 2 - 0. Are v and z non-equal?
True
Let c = -2004/11 - -182. Is 2/5 le