33/j*(-7 + 5). Is m equal to l?
False
Let l = 503 - 503. Is l smaller than 1?
True
Let u be ((0 + 0)/2)/2. Let s = 26.079 + -0.379. Let j = s + -11.7. Which is smaller: u or j?
u
Suppose 0 = 2*c + 12 - 56. Suppose 2*d - 4*r - c = 0, 0*d + 2*d + 5*r = -14. Suppose 7*k - 3*k = -2*b - 30, -d*k = -3*b. Is k >= -3?
False
Suppose -4*q - 6 = -3*b, -5*b + 4*b + 2 = -q. Let t be b/(-10) + 387/360. Is 0 < t?
True
Let i be (-428)/6*(-88)/(-176). Is -37 bigger than i?
False
Let l = 20 + -14. Suppose -3*y + l*z - 3*z - 24 = 0, y - 2 = -z. Let d be 5 + y - 10/1. Is d greater than -8?
False
Suppose 0 = 10*l + 142 + 28. Is l at least as big as -17?
True
Let d(o) = o + 4. Let w be d(-6). Let q be (-50)/285 + (-2)/3. Which is smaller: q or w?
w
Suppose 150 = -15*x + 10*x. Let u = 46 + x. Suppose -q - u = -0. Which is smaller: -17 or q?
-17
Suppose 54*d = 49*d - 5*c + 105, c = -3*d + 57. Is d smaller than 27?
True
Suppose -s - 3*s + 4*t = -272, -t = 3*s - 208. Let g = 65 - s. Is -2/7 < g?
False
Suppose 0 = 5*w - 3*o + 3084, -5*w = -0*w + 4*o + 3063. Let v be ((-6)/(-8))/(w/10). Let g = v + 85/246. Is g at least 1?
False
Let o(i) = -14*i - 365. Let j be o(-26). Which is bigger: j or -3/214?
-3/214
Let y = 3.491 + -3.3. Is y >= -2/3?
True
Let r = 362.06 - 365. Let i = -0.56 - -0.5. Let t = r + i. Which is smaller: t or 0?
t
Suppose 3*s + 15 + 6 = 0. Suppose -3*r = 2*r - 5*m - 15, -2*m - 5 = -3*r. Is r greater than s?
True
Let r be (5 + -3)/(10/35) + 44. Is 46 <= r?
True
Let r = -28.9 - -30.9. Is 0.139 not equal to r?
True
Let w = -0.0038 + 0.0038. Which is greater: w or 129?
129
Let h = 482 + -825. Which is bigger: 2/5 or h?
2/5
Let c be ((-1)/4)/((-18)/(-72)). Which is greater: c or 1/193?
1/193
Suppose -2*h + 4*o - 20 = 0, h + o = 5*h + 5. Is h at least 2/173?
False
Let w = 4 + -2. Suppose y = -w*y. Let h(f) = f**2 - 4*f - 6. Let a be h(5). Is y smaller than a?
False
Let p be (-38)/140*-5 + -1. Is 0.2 < p?
True
Let l be (4 - 4) + (-16215)/31. Suppose 1961 = 7*q - 1700. Let f = l + q. Which is greater: 1 or f?
1
Let z(s) be the second derivative of s**3/6 + 15*s**2/2 - 3*s. Let n = -44 - -30. Let u be z(n). Is -4/11 less than u?
True
Suppose -15 = f - 3*k, -2*k + 7 = 4*f - 3. Which is smaller: f or -12/119?
-12/119
Let a = 2 - -1. Suppose -4*k = -a*k. Let u be 5/140 - (-2)/(-7). Do k and u have the same value?
False
Let x be (328/(-20))/((-8)/(-100)). Which is smaller: x or -206?
-206
Let m = -13 + 3. Let g = m - -12. Suppose -1 - g = -3*j. Which is greater: j or -2/9?
j
Let i = 150 - 151. Which is smaller: i or -11/25?
i
Let x(j) = j**3 + j**2 - 6*j. Let a be x(-2). Let k be (-31)/4 - 2/a - 1. Which is smaller: k or -8?
k
Let i = 293 + -135. Are i and 158 equal?
True
Suppose 11*i - 10*i = 0. Suppose 2*o + 4 = -i. Is -1 < o?
False
Suppose 2*c - 18 = 2*b, 2*b = -c - b + 29. Let o = c + -14. Suppose 0*s - 4*s - 28 = o. Which is greater: s or -6?
-6
Let b be (-161)/(-231) + (-2)/3. Let v = 5/33 + b. Let o = -0.9 - 0.1. Which is smaller: v or o?
o
Let c(n) = -n - 46. Let j be c(11). Let o = 56 + j. Let y = 0.2 - -1.8. Is o less than or equal to y?
True
Let z = 989 - 1406. Which is bigger: -418 or z?
z
Suppose 4*a + 155 = -3*l + 185, 5*a = 3*l - 3. Do 50/7 and l have the same value?
False
Suppose 3*c + 526 = -5*d + 15, c + 177 = -3*d. Let n be -4 + 2152/c*27/(-90). Which is greater: 0 or n?
0
Let a(c) = -c**2 + 37. Let u be a(-6). Which is smaller: 13/22 or u?
13/22
Let n be -3 - (154/(-91) - 1). Let j be (-1)/4 - 2/(-8). Is j at least n?
True
Let z be (-7434)/(-441) - 6/7. Which is smaller: z or -1?
-1
Suppose q + 143 = -12*q. Which is smaller: -56/5 or q?
-56/5
Let m = -3 - -2.8. Suppose -4*t = 1413*h - 1414*h - 9, 2*h - 2*t = 30. Which is bigger: m or h?
h
Let s(f) = -14*f + 6 - 7 - 3 + 5. Let t be s(-1). Suppose -z = 2*z - 4*l + t, z + 3*l - 8 = 0. Which is smaller: -8/9 or z?
z
Let d be 4/6*(-30)/(-4) + -1. Suppose -8 = 4*w + 2*l, d*w + 7 = -w - 4*l. Let s = 0.07 - 0.67. Which is greater: w or s?
s
Let v be ((-305)/(-17202))/((-10)/(-8)). Which is smaller: v or 1?
v
Let x be 537/24 - 3 - (-6)/(-16). Which is bigger: 17 or x?
x
Let h = 9 + -46. Let x = -1761 + 1761. Does h = x?
False
Let g = -241 - 50. Does -289 = g?
False
Let d = -3458 - -13691/4. Which is bigger: -36 or d?
d
Suppose w - 3*l = -0*w + 183, -3*l - 15 = 0. Is 168 at least w?
True
Let u = 14 - 108. Let w = 93.941 + u. Which is smaller: 0.1 or w?
w
Let r be (-4)/(4/(-6)*6/(-4)). Let h be (-450)/20 - (-2)/r. Which is smaller: -21 or h?
h
Let x be -1*((-10)/4 - 27/(-18)). Is x <= 1/219?
False
Suppose -3*y + 0*y = 15. Let x(d) = -70*d. Let r be x(1). Let a be (-518)/r - (-2)/y. Is 7 greater than or equal to a?
True
Suppose 8*h = 3*h - 35. Let m = -12 + 10. Let n be (4/3)/(m/9). Is h greater than n?
False
Let m be (4/(-6))/((-8)/(-12)). Let f be m - ((-7)/6 - 4). Which is smaller: f or 3?
3
Let k = -68 + 35. Let w be (4/10)/(k/45*-3). Let d be (0/1)/(-1 - 1). Do d and w have the same value?
False
Let n(a) = -2*a**3 - 3*a**2 + 5*a - 5. Let q(h) = -3*h**3 - 5*h**2 + 8*h - 8. Let v(c) = -8*n(c) + 5*q(c). Let m be v(0). Is 0.1 <= m?
False
Let g(w) = 2*w - 4. Let k be g(3). Suppose -4*t - 4 - 4 = -k*f, -2*t = 5*f - 20. Suppose 2 = -4*q - 6, -5*q = f*s + 110. Is -25 greater than or equal to s?
True
Suppose 9*t = 14*t + 140. Let c be (-105)/(-99) + t/21. Is 1 not equal to c?
True
Let f be -3*(1920/(-18))/(-4). Do f and -78 have the same value?
False
Let y be (55/(-5) - -4) + 0 + 4. Let j(x) be the first derivative of x**2 + 5*x + 1. Let t be j(y). Which is greater: t or -6?
t
Let w(t) = -2*t - 12. Let q be w(-7). Suppose -4*j = -q*j - 28. Suppose j*p = 10*p + 52. Is p <= 14?
True
Let t = 2 - -1. Let w be (-2)/t + (-23)/(-30). Let o(c) = -52*c + 364. Let l be o(7). Is w greater than or equal to l?
True
Let x(w) = 5*w**2 - 4*w - 1. Let h(n) = -6*n**2 + 3*n. Let u(c) = 6*h(c) + 7*x(c). Let r be u(-11). Is r < -17?
True
Let s(t) = 37 + 5*t + t + 12*t + t**2 + 2*t. Let u be s(-18). Which is bigger: u or -2/69?
u
Suppose -4*x + 7 = -q + 29, x + 10 = q. Suppose 0 = q*w - 171 - 63. Is w bigger than 39?
False
Suppose -m + 5*r + 0*r = -2, -5 = -m + 2*r. Suppose -5*u - 6 + 26 = 0. Let w be (m/42)/((-1)/u). Which is smaller: 0.8 or w?
w
Let g = 2 - -4. Let h be 2/6 + (-2)/g. Let d be 3/(-1) - (-1 - h). Is d != -1?
True
Let n be 1/4 - 14/(-8). Suppose 3*l - 7*l = -8, 5*u = n*l + 26. Let f be 20/u*(-12)/30. Which is smaller: f or -1?
f
Let d(l) = -l + 1. Let y = -1 + 7. Let m(b) = b**2 + 2*b - 2. Let p(j) = y*d(j) + m(j). Let u be p(3). Is u at least as big as 5/4?
False
Let b be -3*(-1 + (-2 - -2)). Suppose 0 = -5*r - 3*d + 110, -4*r + d + 90 = b*d. Suppose i + 0*j + j = 5, -2*i = 5*j - r. Is -2/7 < i?
True
Suppose -9*v + 4*v - 60 = 0. Is -5 < v?
False
Let b = -438 + 438.3. Which is smaller: 74 or b?
b
Suppose -2*s + 3*u + 1 = -10, -4*u + 32 = 4*s. Let d(i) = i**3 - 8*i**2 + 3*i + 18. Let v be d(s). Which is smaller: v or 5?
v
Let i(a) = -73*a - 10. Let s be i(-1). Is 63 at most as big as s?
True
Let c be 24/18*(-6)/(-12). Is 82 greater than or equal to c?
True
Let w = -194 - -572/3. Let d(b) = b**3 + b**2 - 4*b + 12. Let c be d(-5). Let j = c + 66. Which is smaller: w or j?
w
Suppose v + i = -7 + 6, -2*v - 14 = 5*i. Which is greater: v or 7/2?
7/2
Let z be -4 - 2/3*-6. Suppose 4 = r + 3*v, 5*r + 0*r - 4*v - 20 = z. Which is smaller: 5 or r?
r
Let q(b) = -b**2 - b + 31. Let d be q(5). Let j = -268903948274/8155 - -32974120. Let y = j - -4/233. Is y smaller than d?
True
Let h(z) = z**3 - 12*z**2 + 8*z + 12. Let c be h(11). Let o be (4/8)/(c/(-2)). Is o less than or equal to -1?
False
Suppose -2*n = -5*z - 118, 0 = 2*z + 2*z - 16. Let h = n + -73. Which is smaller: h or -1?
h
Let r = -0.911 - -1.111. Let a = 25 - 8. Which is smaller: a or r?
r
Let l = 36.54 - 36.64. Let w = 32 + -7. Which is smaller: w or l?
l
Let s(y) = -y + 1. Let v be s(4). Let o = v - -4. Let f(c) = 2*c. Let j be f(o). Is j at most 2?
True
Let s = -26 - -28. Let m = s - 1.8. Let n = -61 + 306/5. Is n at least as big as m?
True
Let a = 0.006 - 20.006. Let b = a - -21.14. Let u = b - 0.04. Which is greater: 2/9 or u?
u
Let z(q) = -2*q - 15. Let v be z(-7). Let d be (5 - 1)*1 - 74/19. Do v and d have different values?
True
Let y = 379/2210 - 3/170. Which