Is c != 0?
True
Suppose 5*n + 95 = -b + n, -261 = 3*b + 4*n. Let c be 2/(-4)*((-2)/b)/1. Is 1 greater than c?
True
Let f be 36/(-9) - (-1682)/421. Which is greater: f or 1?
1
Let l = -55 - -57. Let c = 4 - l. Which is bigger: -2/25 or c?
c
Let t = 86.6 + 110.4. Which is smaller: -2 or t?
-2
Let x be 2/(-1 - (1 - 0)). Is x < -1/1252?
True
Let x be 1778/12 - (-30)/(-20). Let f = x + -145. Which is smaller: f or 2?
f
Let d(r) = 37*r - 150. Let s be d(4). Is -0.012 != s?
True
Let d(l) = 2*l**2 - 1. Suppose -5*q = k + 9, -q - 10 = 4*q. Let p be d(k). Let j = -333 - -336. Is p greater than or equal to j?
False
Let o = 1 + -8. Let t = -0.208 - 2.032. Let b = t - -2.24. Is o equal to b?
False
Let m be (4/(-6))/((-105)/18). Let d(k) = -32*k + 1056. Let q be d(33). Is m at most as big as q?
False
Let f be 6 + -5 + (-2192)/54 + 3. Let r = 110/3 + f. Is r less than 0?
False
Let g = 0.31 - -1.49. Let t = -3.8 + g. Which is smaller: -12 or t?
-12
Let z = -80.69 + 0.69. Let h = -79.9 - z. Which is bigger: h or 1/57?
h
Let o(u) = 3*u - 42. Let a be o(15). Let j be 1/6*2*-10. Let i = j + a. Which is smaller: -1 or i?
-1
Let i = -0.0329 - -0.0629. Which is smaller: i or 5?
i
Suppose -17 = 22*a + 27. Let j be (2 - 1)/((-35)/(-13)). Let u = -11/7 + j. Is u smaller than a?
False
Let k = 1956 - 1907. Which is smaller: k or 48?
48
Let y = -362 - -552. Let l = 111 - y. Is l < 2/3?
True
Let h = 3781 + -19049/5. Which is greater: -30 or h?
h
Let s = 82859 - 5136807/62. Let y be (8/(-20))/(1116/(-630)). Let m = s + y. Does 8 = m?
False
Let z(v) be the third derivative of v**6/120 - v**5/10 - 5*v**4/24 - 5*v**3/2 + 16*v**2. Let o be z(7). Which is smaller: 1/46 or o?
o
Let h be 5 - (((-15538)/863)/(-2) + -4). Does h = 0.1?
False
Let y = -18.856 - 0.144. Is y less than 5?
True
Suppose -y = -4*y + 18. Let o = -11 + 12. Let n be 3 + y + o + -4. Which is smaller: n or 5?
5
Suppose 0*f = f + 5*c - 7, c = 4*f - 49. Suppose -20 = 8*m - f*m. Is 8 > m?
True
Let i = -7 - -7. Let b be (9 - 5)/((-62)/(-5)). Which is greater: i or b?
b
Let c = -556 + 557. Suppose 2*p - 2 = p. Does p = c?
False
Suppose -2*l = 2*l - 12. Suppose -n + 2*n = 5*x + 33, 3*x + 9 = 0. Suppose -n = 7*k - 13*k. Is l equal to k?
True
Let b be 3 + (-3 - 2/(-1)). Let j = -6 + b. Let h be ((-1)/j)/(4/16). Do 1 and h have the same value?
True
Let d be ((0 - 0)*-1)/(-1). Let y be (-1*13)/((-30)/(-5) - 5). Let j be (4/((-4)/(-2)))/(-15 - y). Which is greater: j or d?
d
Let o = -81/4 + 19. Suppose 3*g = -g - 4. Let x be g/2*0/5. Is x less than o?
False
Let b = 501/4 - 126. Let q = 2493 + -7552/3. Let f = q + 24. Which is smaller: f or b?
b
Let g = 17.54 + 0.46. Let b = g + -17.9. Let x = 4 - 6. Which is smaller: x or b?
x
Let y = -35895/7 - -5103. Let g = y - -4712/189. Let w = 89/108 - g. Is 1 at most w?
False
Suppose -w + 11 = -4*a, -18 = w + 2*w + 5*a. Let h be (-22)/(-4) - w/2. Let c = -3 + 6. Is c less than h?
True
Let f = -2/197 - 185/1182. Let u be (-5)/(-3) + (-8)/12. Let c be 3*u/3*1. Is c greater than f?
True
Suppose -36*b - 425 = -31*b. Let m = b - -86. Which is smaller: 3/40 or m?
3/40
Let m = 1 - 9. Let v be 2/(-6*16/348). Is v less than or equal to m?
False
Let z be 30/120*(-2 + 1). Is z not equal to -212?
True
Let s = -140 - -50. Do s and -88 have the same value?
False
Let h be ((-639)/(-12))/((-153)/2). Let t = h + 1/34. Let j = t - 16/21. Is -1 less than j?
False
Let v be (-328)/(-84) + (-20)/5. Suppose -q = -0*q - 13. Suppose w + b = 6*w - 11, 4*w - 5*b = q. Is w not equal to v?
True
Suppose -2*k + 10*w = 5*w + 1, 4*k + 35 = -w. Suppose i - 56 = -51. Suppose i*t + 4*y = 2*t + 4, t + 3*y - 3 = 0. Is t at most as big as k?
False
Let a be (-48)/756*51/2. Which is bigger: a or -2?
a
Let p = 80/29 - -5183/87. Let s = p - 63. Which is smaller: s or 0.1?
s
Let m(w) = -13*w**2 - 3*w - 8. Let g be m(-3). Let h be 0 - g/(-57) - -2. Which is smaller: 1 or h?
h
Let u be 9/(-6)*5*(-8)/145. Is 1 <= u?
False
Let m = 6.34 - 5.34. Which is bigger: m or 671?
671
Suppose 0 = 2*i - 4*l + 22, -5*i + 3*l = -i + 29. Let c be 2/i + 22/30. Let j = -18.6 - -0.6. Is c equal to j?
False
Suppose 0 = 3*q + q. Let o = 181/451 + -9/41. Which is greater: q or o?
o
Let s = -983 - -983. Which is smaller: s or -2/297?
-2/297
Let v(t) = 31*t - 270. Let s be v(14). Is s greater than 165?
False
Suppose -7*i - 2*i = -54. Let z be i + (-5)/(5/3). Is 8 >= z?
True
Suppose 7*z + 1890 = -0*z. Let a be (-36)/z - 4/30. Is a equal to 5/6?
False
Let m = 5627/982707 + -7/921. Which is smaller: 1 or m?
m
Let a be (-72)/(-20) - (-8)/20. Suppose -3*l = -2*d - 60 - 5, a*d - 101 = -5*l. Is 23 > l?
True
Suppose -g = z - 4, 0 = -5*g + 2*g + 4*z + 19. Suppose -2*m - 119 = g*m. Is -17 smaller than m?
False
Let r(k) = -2*k - 1. Let c be r(2). Let x(u) = -u**2 - 4*u + 7. Let z be x(c). Let b = 0 - z. Is b < -5?
False
Suppose 3*f - 60 = 3*z, -3*f + z + 227 - 175 = 0. Which is greater: 142/9 or f?
f
Let o be (-2 + 32/20)/(56/40). Is 0.4 at least as big as o?
True
Let k be (-234)/(-52)*8/(-6). Let u(t) be the first derivative of t**4/4 + 2*t**3 - 3*t**2 + 2*t - 2. Let c be u(-7). Which is smaller: k or c?
k
Suppose 92 + 119 = -5*j + 4*x, 2*x = -2. Which is smaller: j or 3?
j
Let k be (6/4)/(9/(-24)). Let v = 4 - -8. Let l = 8 - v. Is k equal to l?
True
Let g be ((-256)/(-130) - 2)*50/10. Which is smaller: g or -46?
-46
Let n = -2550 - -2723. Which is smaller: n or 1?
1
Let x = -21 - -19. Let v = -0.0177 + 12.0177. Which is smaller: x or v?
x
Let w = 1437 + -2359. Which is smaller: -921 or w?
w
Let o(f) = 32*f**3 + f + 1. Let h be o(-1). Suppose 7*a - 1128 = -204. Let c = -164 + a. Is c at least as big as h?
True
Let p be (2 - 8/6)*3. Let f(d) = -24*d - 383. Let a be f(-16). Which is bigger: a or p?
p
Let g be (-1446)/(-4) + ((-44)/(-8) - 3). Which is bigger: 365 or g?
365
Let q(c) = -184*c**2 - 25*c - 1. Let f be q(-1). Is -165 <= f?
True
Let q be (-1 + -1)/(3 + -1). Let n = 16311/5 - 3246. Let p = 1711/105 - n. Is q smaller than p?
True
Let v be (-285)/(-360) - (0 + (18/(-16))/(-9)). Let q be (-145)/(-2)*(-4)/(-5). Which is smaller: q or v?
v
Let d = -0.496 - 1.504. Let r = -0.2 + 1.7. Is d smaller than r?
True
Let j = -857.9 - -845. Is 0.06 less than or equal to j?
False
Let q be (-66)/(-2) + -6 + 4 + 0. Suppose -3*a - q = -13. Which is greater: a or -2?
-2
Let o = 83/464 + -7/29. Let q be ((-60)/21 + 3)/(8/14). Do o and q have different values?
True
Let d = -211.92 - -212. Is -12 at least as big as d?
False
Suppose -10*l + 14*l = -12*y + 52, -4*y + 21 = 5*l. Which is bigger: -3/1331 or l?
l
Let u = -348 + 352. Are u and -11 unequal?
True
Suppose 2*y + 4*d = 12, -y - 5*d - 4 = -13. Suppose -x - y*i = -3*i + 4, 4*x = -3*i - 16. Let r = -125/24 - -13/24. Which is smaller: x or r?
r
Let z = -118 - -116. Let p be 210/(-36) - z/(-12). Is -46/9 equal to p?
False
Suppose -42453 = 116*v + 16939. Which is greater: -511 or v?
-511
Let w = 48 + -20. Suppose 0 - w = 4*g - 2*t, 2*t - 7 = g. Let j = -14 - g. Which is smaller: j or -8?
-8
Let j = -46.9 + 49. Let m = j + -1.1. Let i = 3 - m. Is -8 equal to i?
False
Let p be 42/(-130) + 1*(-26)/(-65). Is 0 less than p?
True
Let n = 4 - -1. Suppose -n*k - 2*l = -2*k - 36, -3*k = -3*l - 36. Let b = -12 + k. Which is smaller: b or -8?
-8
Let i(j) be the first derivative of j**2 - 4*j - 22. Let o be i(-2). Is -8 at least o?
True
Suppose -2*v = -s, -4*v - v + 14 = s. Suppose -1 = 5*j + s. Is 5/16 at least as big as j?
True
Let q = 57.9 - 55.39. Let k = q + 0.49. Which is greater: k or -9?
k
Let z(s) = 3*s + 17. Suppose 6*l - 3*l - x = -6, -3*x = -l + 6. Let i be z(l). Let g = 3 + 5. Is i at most g?
True
Let k = -6/2071 + 21304/205029. Is 0 < k?
True
Let k(v) = 18*v + 4. Suppose 0 = 4*u - 2*u - 4, 0 = 3*y + 3*u - 9. Let o be k(y). Which is bigger: 106/5 or o?
o
Suppose 0 = 2*z + 3*g + 1199, 15*z = 11*z - g - 2373. Is -593 smaller than z?
True
Suppose 0 = -5*y + 5, 4*t + 9 = -0*y + 5*y. Which is greater: -3 or t?
t
Suppose 2*h = 6*h. Let p = 0 + h. Suppose -o = -4*u + 14, -553*u = o - 556*u + 10. Are p and o unequal?
True
Let l = 64 + -43. Suppose -s + 4*z = -l, -4*s - s + 3*z + 122 = 0. Which is smaller: 27 or s?
s
Let x = 8 - -2. Suppose 8*q = 11*q + 36. Let w be 1 + q*-4*3/18. Which is smaller: x or w?
w
Let z = -22.8 - -21.8. 