 -420. Let h(f) = -5*f - 8. Let q be h(7). Which is bigger: q or a?
a
Let k be (3385/92)/((-1)/(-8)*-1971). Let j = -2/1679 - k. Is j != -1?
True
Let b = 21 - 36. Let w = b + 33. Let x be (16/(-20))/(w/(-10)). Which is smaller: 0 or x?
0
Let m be (4 - 24/(-9))*12/5. Let k be ((-9)/(-12))/(2/(m/93)). Does 0 = k?
False
Let f = -1593 - -1597. Which is smaller: 13.4 or f?
f
Let s be (-112)/6 - (-10)/15. Let q be 9/s*(0 - 10). Suppose 3*b + 45 = 4*u, 2*u + b - 10 - q = 0. Is 9 > u?
False
Let p = 40 + -39.9. Let l = 0 - -2. Suppose -x + l = 1. Is p at least as big as x?
False
Let i be (-80)/16*165/(-5). Is i != 832/5?
True
Let a(d) = d**2 + d. Let b(n) = 6*n**2 + 7*n - 4. Let j(w) = 5*a(w) - b(w). Let p be j(-4). Let x be 1/p*(-24)/9. Is x > 2?
False
Suppose 56*i - 61*i = 20. Is -4/33 greater than or equal to i?
True
Let m = 89/2 - 41. Suppose 11*a + 4 = 13*a. Suppose -a*z = -b, -2*b + 5*z + 3 - 5 = 0. Which is greater: m or b?
b
Let q(h) = -7*h**2 - 2*h - 8. Let j be q(4). Let c = j + 509/4. Is -2 not equal to c?
True
Suppose -5*d + 8 + 22 = 0. Suppose 7 = h + 1. Suppose -18 = -3*s + h. Does d = s?
False
Let m be (114/(-4))/(302907/319). Let t = 5/134 + m. Which is smaller: 0 or t?
0
Suppose -62*d + 71*d = 711. Which is bigger: d or 78?
d
Let g = 25 + -25. Let k(x) = 2*x + 29. Let o be k(g). Suppose 4*b - 9 + o = 0. Which is smaller: -4 or b?
b
Let j be 81/(-24) - (-2 + 3). Let h = -271/40 - j. Is -2 at most as big as h?
False
Let b = 244 + -44648/183. Which is smaller: b or 0?
0
Suppose 10 = 27*m - 71. Which is smaller: 57 or m?
m
Let a(n) be the second derivative of n**5/20 - 11*n**4/12 + 2*n**3 - 15*n**2/2 - 6*n. Let y be a(10). Suppose r + 27 = y*f, -3*r - 3*f = -1 - 8. Is -3 <= r?
True
Suppose 97*a - 72 = 101*a. Suppose 4*c + 64 = -0*c. Which is smaller: a or c?
a
Let x be (-498)/(-1245) - (533/(-1320))/(-1). Does x = -1?
False
Let t(m) = 10*m - 11. Let w be t(1). Is w bigger than 2/915?
False
Let h = 16122 - 58055324/3601. Which is smaller: 0 or h?
h
Suppose d + 22 = -d. Let x = -18 - d. Let p = 1 + x. Is p equal to -8?
False
Let c = 9724 - 29171/3. Let b be 2/3 - (-22)/(-51). Which is smaller: b or c?
b
Let h = 158 - 157.8. Is h at least as big as -1/4?
True
Let s = -1796740759/1105 - -1626010. Let w = s - 5/17. Which is greater: 1 or w?
1
Let p be 11/(-55) - (-16820)/(-25). Is -673 smaller than p?
False
Suppose 4*s - 239 + 84 = -5*j, 62 = 2*j - 5*s. Let q = j + -20. Let b = q + -12. Which is smaller: -3/7 or b?
b
Let p = -372593/101 + 3689. Is -1 not equal to p?
True
Let g be 98/(-4)*4 - (3 - 5). Which is greater: g or -0.1?
-0.1
Let u(q) = 9*q + 47. Let p(n) = -8*n - 47. Let g(f) = -6*p(f) - 5*u(f). Let k be g(-16). Let c = -443/4 - -110. Is k at least c?
False
Suppose s - 37 = -4*v, -4*v - 46*s = -43*s - 31. Are v and 72 nonequal?
True
Let d be 5 - (1 + -1)*1. Suppose 0 = 4*j - d + 1. Let b be j + 1/(68/(-76)). Is b != -1?
True
Suppose 0*j - 3*j + 15 = 0. Suppose -j*t = -3*p - 116, 0 = 6*p - 3*p - 4*t + 112. Let x be 2 + -1 - p/(-20). Which is bigger: 0 or x?
0
Let v = -1.76 - 72.24. Let z = v + 73.8. Which is greater: z or 0.11?
0.11
Suppose -c + 4*w = -0*c + 18, 0 = 5*w - 20. Let b = 1658 - 1651. Is b >= c?
True
Let j be ((-1)/2)/((-1)/2). Suppose -3*l - 12 = -g - 0*l, 5*g - 2*l = 21. Let h be 3 + -3 - ((-705)/(-237) - g). Do h and j have the same value?
False
Let m = 12 - 0. Let t = m + -27. Let k = 14.9 + t. Do -1 and k have different values?
True
Let n = -0.14 + -11.86. Let f = 24 + n. Are 0 and f equal?
False
Suppose 4*h = 2*d + 3*d - 176, 0 = 4*h - 4. Let j = d - 17. Which is smaller: 18 or j?
18
Let w be (2/(-2))/(12/((-144)/(-42))). Which is smaller: 1 or w?
w
Let o = -351.5 + 352. Which is greater: -1/4 or o?
o
Suppose 5*u + i + 105 = -2*i, -u - 2*i - 14 = 0. Let m be (1/38)/((-14)/u). Let p = -32/133 - m. Which is greater: p or 1?
1
Let h be 3*(-3 - (-18)/15) + 5. Are 1 and h unequal?
True
Let a = -316.77 - -317. Is a at most -2?
False
Let s = -1155.972 - -1156. Suppose -3*y + 3 = -0. Which is smaller: y or s?
s
Suppose -w = 5*r - 30, r + 8*w = 5*w + 6. Is r greater than or equal to -4?
True
Let k = -1847/21 - -88. Do 0 and k have different values?
True
Let t be (-22)/(-44) - 1/(-2). Is 1/575 greater than t?
False
Let y = -4 + 4. Suppose y = -10*t + 15*t. Which is bigger: t or 12?
12
Let b be 460/24 - (-2)/(-12). Which is bigger: b or 1.3?
b
Suppose 9 = 3*u - 42. Suppose 3*y - 33 - 9 = 0. Let r be (-8)/16 + u/y. Is r less than or equal to 0?
False
Let c(v) be the first derivative of -v**2 - 16*v - 5. Let b be c(-11). Which is greater: b or 7?
7
Let r(j) = 855*j - 189. Let q(n) = 59*n - 13. Let l(v) = 72*q(v) - 5*r(v). Let u be l(-13). Let b be (-4)/(-14) - u/1113. Is b at least 1?
False
Let t be ((-18)/(-54))/((-199)/90 - -2). Is t less than -3?
False
Let z = -25 + 15. Let r = 8 + -17. Is z != r?
True
Let x = -39 + 42. Suppose 0 = x*s + 27. Which is smaller: -6 or s?
s
Suppose -2*j - 4*j = -j. Let k be (-6)/21 - 4/(-14). Let u = k + j. Is 1 <= u?
False
Let i = 103 - 103. Is i >= 3/16?
False
Let a(u) = -7*u**2 - 13*u - 6. Let o(l) = 3*l**2 + 6*l + 3. Let g(r) = -4*a(r) - 9*o(r). Let h = 9 - 6. Let t be g(h). Is t greater than or equal to -2/11?
True
Let r = -0.044 - -0.144. Does 32/7 = r?
False
Let m = 10 + -16. Let v be 2/m + 248/(-120). Which is smaller: v or -2?
v
Let l = -1258 - -1258.3. Is l bigger than 245?
False
Let a = 1.0483 - 0.0483. Which is greater: -1 or a?
a
Suppose l - 3*o = -2*o - 1, 0 = -3*l - 5*o - 3. Suppose j - 19 = -5*n, 0*n = n - j - 5. Which is smaller: l or n?
l
Let y(d) = -27*d + 146. Let n be y(12). Is -2/5 equal to n?
False
Suppose 4*v + 4 = 12, 5*w + 4 = 2*v. Let m be 201/(-36) + 1 + 4. Let j = m - -61/228. Is j greater than w?
False
Suppose 0*u + 3*r + 15 = 5*u, -u + 3 = -5*r. Suppose 154 = u*n + 58. Is n at least 32?
True
Let m(r) = -r**3 - 19*r**2 - 3*r - 24. Let z be m(-6). Which is smaller: -473 or z?
z
Suppose -10*v + 24 = 184. Which is smaller: v or -61/4?
v
Let p be (448/(-74) - -6)/(-3). Which is greater: -4 or p?
p
Let j be 0 + (-4)/(20/(-15)). Suppose -j*a + a = -2. Let b be 0 - 21/23 - -1. Which is bigger: a or b?
a
Suppose 0 = -3*p + 2*p + 167. Suppose 8*j = d + 3*j + 49, 5*d + p = -j. Which is smaller: d or -32?
d
Let q(f) = f**3 + 8*f**2 + 10*f + 2. Let o be q(-7). Let n = 21 + o. Suppose 4*x = -l - 0 + 13, 4*l + 4*x = 4. Which is greater: l or n?
n
Let a = 2052 + -2056. Is a equal to -178?
False
Let l = 88359/91 + -971. Is -1 less than l?
True
Let a be 2/8 + 7/(-12). Suppose 0 = 5*g + 628 - 703. Do a and g have the same value?
False
Let c = 502 - 501. Is -6/13 at most as big as c?
True
Suppose 5*z - 2*f - 2 = 2, 0 = -2*z + 5*f - 11. Suppose 5*t - 3*r = 463, -3*t + 7*t - 4*r = 372. Let y be 17/(-24) + t/69. Is y at most as big as z?
True
Let x = 40 + -47. Let c = 31 + x. Which is smaller: 25 or c?
c
Let w = 19217/7 + -2735. Is w <= 9?
False
Let u be 1 + -1 + 2 - 2. Let b = -118 - -829/7. Does u = b?
False
Suppose 0 = 14*z - 11*z + 468. Do z and -155 have the same value?
False
Suppose 0 = -4*m - 0 - 16. Let q = 436 - 440. Are m and q unequal?
False
Let u = -10 - -6. Let h be -10 - 0 - (297 - 310). Is u >= h?
False
Let u(q) be the first derivative of q**3/3 - 4*q**2 + 14*q - 9. Let x be u(7). Suppose x - 17 = 2*c. Is -4 > c?
True
Suppose 5*q - 118 - 12 = 5*k, 4*q + 5*k - 149 = 0. Is q bigger than 31?
False
Let m be -3 + 1*-21 + 0. Let r = 67/3 + m. Which is bigger: -2 or r?
r
Let k = -12 + 13. Let i be (5/(-15))/(k/(-6)). Suppose 4*j + 5*b = 8 + 6, 3*j = i*b - 1. Which is smaller: j or -1?
-1
Let q be (1343/340)/((-1)/4). Let l = -499/30 - q. Does -0.2 = l?
False
Let v(m) = -m**3 + 16*m**2 - 18*m + 17. Let j be v(15). Let o be 8 - 10 - j/15. Which is smaller: o or 0.2?
o
Let s = 1003 - 1029. Is -36 at most s?
True
Let q(k) = 2*k + 2. Let f be q(3). Suppose -5*u - t + 9 = -3, -2*t = 2*u - f. Is 0.13 bigger than u?
False
Suppose -9*k - 165 = 2*k. Does -14 = k?
False
Suppose 0 = -s - 5 - 27. Are s and -32 non-equal?
False
Let i = 43 - 1. Let k = i - 45. Is k > -2?
False
Suppose 2*a = -2*h + 24, -2*a = 5*h - 0*a - 69. Let o = 24108 - 24096. Which is smaller: o or h?
o
Suppose 4*s - 6*s = -22. Let t = 11 - s. Is t != 3?
True
Let l = -43 + 38. Suppose 0 = -4*p - 1 - 7. Which is greater: p 