4*s(q). Let g be l(0). Let c be (-4)/14 - 960/g. Is c <= 1?
True
Let l = 14 + -27. Suppose 3*g + 7*g - 450 = 0. Suppose -g = 13*j + 111. Which is greater: l or j?
j
Let b = -596 + 7736/13. Is b greater than 0?
False
Let u = 0.344 - 0.044. Let g = 3.4 + -4. Which is bigger: g or u?
u
Let b be (280/(-6))/(100/150). Which is greater: -64 or b?
-64
Let p(k) = -17 + 10*k - 11*k - k. Let w be p(-10). Suppose -2*x - 5*j + 0*j - 16 = 0, 2*x - 24 = 5*j. Is w > x?
True
Let f(c) = c**3 + 6*c**2 + 5*c. Suppose 2*r - 6 = 5*r. Let j be f(r). Suppose -v = -j*v + 195. Is 38 at most as big as v?
True
Let g be (2/(-12))/((-2)/(-28)). Let s = 1873/1155 + 24/77. Let z = s + g. Is 2/3 at most z?
False
Suppose -8*r + 7 = -1. Suppose 2*d + 5*g = -5 - 2, -2*g = d + r. Is 8 less than or equal to d?
True
Let n be 3*(-3 + 0 + 2). Let d be 2 + (-4)/(4/n). Suppose 35*h - 125 - 15 = 0. Are h and d nonequal?
True
Suppose -5*i + 2*d - 55 = 0, 3*d = -2*i + d - 8. Are -28/3 and i nonequal?
True
Let i = -269 + 269. Which is greater: i or 264?
264
Let n(u) = u**3 + 4*u**2 + 3. Let j be n(-4). Let l = -13.28 + 13. Let a = l - 3.72. Does j = a?
False
Suppose 0 = -d + 5, -3*g + 2*g - 4*d + 21 = 0. Is g < 1.76?
True
Suppose 2*h = 4*x - 74, 0 = -2*x - 0*x - 2. Let d be (42/10)/(h/(-130)). Suppose 2*k - 18 = d. Is k at most as big as 16?
True
Let d(b) = b**3 - 12*b**2 - 12*b - 7. Let z be d(13). Let w = -9 + 13. Suppose -w*m = -z - 14. Is 1 > m?
False
Let r be 11/(99/(-95)) + (0 - -3). Let g(m) = -m**2 - 16*m + 8. Let b be g(-17). Are b and r equal?
False
Let u = -65 - -29. Let t = 39 + u. Is -1 <= t?
True
Let l = 0.175 - 0.275. Which is greater: l or 1.45?
1.45
Let r = -22 + 19. Let q = r + 3. Is q smaller than -1/3?
False
Let w = -30 + 36. Let a be ((-4)/w)/(3 + (4 - 8)). Which is greater: -2/11 or a?
a
Let v = -12.66 + -0.34. Is 0.04 > v?
True
Suppose -5*t + 11 = -14. Suppose -2*b + t*u = 33, 3*b + 4*u - 8 = -0*b. Let i be 180/351 - b/26. Is 0 smaller than i?
True
Let q be 24/14 + 4/14. Let f = -211 + 237. Suppose f = 10*d + 6. Does d = q?
True
Let w = -39 + 74. Let o = w - 6. Let s = 30 - o. Is 2.5 greater than or equal to s?
True
Suppose -302*c + 9 = -293*c. Which is smaller: c or -10/153?
-10/153
Let o = 270.96 - 254. Let w = -0.04 - o. Let d = w - -16.9. Which is smaller: 0.01 or d?
d
Let n be 0/2 + 2730/245. Which is greater: n or 11?
n
Let k = 60/19 + -6041/1919. Let a = k + -625/1919. Which is greater: -1 or a?
a
Let y = 21 - 23. Let k be y/9 + (-6137)/153. Let a = k - -40. Is 0 < a?
False
Let p = 4 + -2. Let q be ((-68)/(-102))/(14/(-3)). Is q equal to p?
False
Suppose 4*n = 18 + 30. Let y be (-4)/(-2) + -1 - -1. Suppose y*m = -5*k + 55, -3*k = -m - 10 - 34. Is k equal to n?
False
Let w be (-1900)/(-304)*1/(-5) - -1. Which is smaller: w or -841?
-841
Let x(t) = 3*t**2 + 6*t + 1. Let z be x(1). Is z not equal to 131/14?
True
Let r be 10/15 - 144436/(-1830). Let d = 708/61 + r. Let z = 92 - d. Which is bigger: z or -2/3?
z
Let k(l) = 17*l**2 - 1. Let i be k(-1). Let x(c) = c**3 - 30*c**2 - 30*c - 19. Let j be x(31). Does i = j?
False
Suppose 13 + 26 = -39*z. Which is smaller: 4/245 or z?
z
Let i = -115/8 + 5389/376. Let m(n) = -n**3 + n**2 + n. Let l be m(0). Let d be (-3 + -1 - -3)*l. Is i bigger than d?
False
Let z = 631 - 635. Is -22/7 less than z?
False
Let l = -39 - 17. Let o = -79 - l. Which is smaller: o or -24?
-24
Let g = 4 - 8. Let q = -3 - g. Let h = -2.87 + 2.77. Which is smaller: h or q?
h
Suppose -290*w - 21 = -291*w. Do w and -3 have the same value?
False
Let n(c) = -2*c - 4. Let m be n(-2). Are m and -1/4 unequal?
True
Let h = -0.11 - -0.01. Let l = 0.2 - h. Let m = -1.3 + l. Which is smaller: 6 or m?
m
Let o(z) = z**2 - 26*z + 20. Let q be o(25). Is -64/13 greater than or equal to q?
True
Let d be -143*(3 + 5/(-2)). Let v = -687/10 - d. Is v at most 3?
True
Let v be (-20)/(-495) - (-10)/55. Is -1 >= v?
False
Let h = 912 - 555. Is 357 < h?
False
Let r(d) be the second derivative of -5*d**3/6 - 3*d**2/2 - 2*d. Let y(i) = 11*i + 7. Let n(c) = -13*r(c) - 6*y(c). Let h be n(-2). Is -5/7 != h?
True
Suppose -q - q + n = -4, -2*q - 2*n + 16 = 0. Suppose -5*y - 4*j + 206 = 0, 0 = -3*j + q*j + 1. Which is greater: y or 43?
43
Let d be -3 + (-2 - (-1 + 0)). Let s be ((d/(-5))/1)/(8/(-20)). Are 4 and s nonequal?
True
Let w(z) = 2*z**3 - 104*z**2 - 9*z - 44. Let s be w(52). Is s not equal to -511?
True
Let a be 10/632*2/5. Is 1 greater than a?
True
Let s = -773 + 872. Which is bigger: s or 102?
102
Let o = 32 - 31.69. Let c = -7.69 - o. Is c not equal to 0?
True
Let w be 12/(-10)*-10*12/544. Which is greater: w or -1?
w
Let x = -0.04 + 15.04. Let n = x + -15. Is -1.8 >= n?
False
Let j = -5.2 + 5.4. Is j > -1097?
True
Let z be -2 + 3 + 4/(-3). Let x = -5.14 - -36.08. Let j = -31 + x. Which is bigger: j or z?
j
Let w = 2.213 - 1.613. Let k(b) = b**3 - b**2 - b. Let u be k(0). Let j = u + -2. Does w = j?
False
Let h be -3*(2/(-2))/(-1). Suppose -2 = -2*o + o. Suppose o*k = 0, -9 = -4*d - 3*k - 21. Is h smaller than d?
False
Let j be 171/((-9)/(-3))*(-6 + 7). Let c = j + -58. Let a(m) = -m**2 - 2*m - 1. Let k be a(-2). Is c not equal to k?
False
Let j be ((0 - 1)*0)/((-76)/38). Is j equal to 14/75?
False
Let k be 1*-4*15/(-12). Suppose -k*n - 4 = -3*n. Let t = -2 - n. Which is smaller: t or 1/8?
t
Suppose -89*l = -94*l - 440. Which is smaller: l or -84?
l
Let x be (1 - (-86)/(-50))/(2/5). Suppose 3*c - 3 = 4*c + d, 5*c = 5*d - 15. Which is bigger: c or x?
x
Let w(k) = -7*k + 1. Let y be w(2). Let x = y - -21. Suppose 0 = -5*v - 2*i + 3*i - 32, -x = -v + 5*i. Which is bigger: 1 or v?
1
Let p = 362 - 48. Which is smaller: 313 or p?
313
Let y be ((-2)/(-1))/(1*6). Let k = -3.7 + -0.7. Let t = 2.4 + k. Is t < y?
True
Suppose -2*d = 4, -3*c + 5 = -4*d + 6. Let r be 16/7 - 2/7. Let v be (r/3)/((-3)/9). Which is bigger: c or v?
v
Let m be 15/35 - (-79)/(-70). Let i = m + 1/5. Which is smaller: i or 8?
i
Suppose 8*q - 3*q = 50. Let h = 11 - q. Is -2/61 at most as big as h?
True
Let p = 11 + -22. Let u be (35/70)/((-1)/2). Are p and u equal?
False
Suppose 0 = 2*p + 4*l - 10, -l - 20 = -5*p - 6*l. Let g be ((-4)/6)/((-8)/60). Which is smaller: g or p?
p
Let q = 4.55 + -4.5. Which is smaller: q or -35?
-35
Let s be 6/(-14)*2/(-3). Let a be (-24)/(-70)*(-440)/(-176). Is s at most as big as a?
True
Let w = 127 - -26. Is 151 bigger than w?
False
Let t be 17 + (-2 + -1 - -1). Let i(h) = -45*h - 30. Let u be i(-1). Is t less than u?
False
Let d = -11 - 205. Is d <= -216?
True
Suppose -a = 4*q - 29, 0*a + 5*a - 1 = -2*q. Suppose 3*w - 4 = 2*w, -3*u + q = 5*w. Are u and -4 nonequal?
False
Let f(l) = -l**2 - 8*l + 21. Let k be f(-10). Do k and -1/225 have different values?
True
Let c be (-3)/(-12) + (-126)/(-8). Which is smaller: c or 12?
12
Let u be (-2 - 227/(-223)) + 1. Let r = -629/2230 - u. Suppose -3*c = 3*n + 2*c - 5, 2*c = 5*n + 2. Which is greater: n or r?
n
Let z = -22 - -37. Let j be -1*87/(-180) + (-6)/z. Which is bigger: 0 or j?
j
Let h be (-2 - -10 - -39)/15. Which is smaller: 4 or h?
h
Let t be (1 - (2 + -1))*1. Let f = t - -1. Let v be (f/(-5))/((-36)/(-45)). Which is smaller: 0.14 or v?
v
Suppose 5*g = -10, 3*u + 11 = 4*g + 31. Is 3 at least u?
False
Let l(v) = v - 5. Suppose -2*m + 5*h + 34 = 0, -5*m = -8*h + 4*h - 51. Let g be l(m). Suppose -2*b - 2*u = -10, b - 3*b = -4*u + 14. Is b at most as big as g?
True
Suppose -3*v + x - 708 = -3*x, -4*v - 3*x = 919. Are v and -232 non-equal?
False
Let v = 40 + 2. Let y be (v/8)/((-2)/(-8)). Let r = y + -14. Which is greater: 2 or r?
r
Suppose -37 = -6*k - 13. Let h be (-35)/k + (-1)/4. Which is bigger: -10 or h?
h
Let x(h) = 4*h + 4. Let y be x(4). Suppose -5*p + p + 2*b = y, -5 = p - 5*b. Are -32/7 and p equal?
False
Let p = -288420/289 - -998. Is -0.2 smaller than p?
True
Let s be 4/10 + 119/(-35). Let h(z) = -3*z - 1. Let n be h(s). Suppose -4*d + 4*k - 16 = 0, -2*k - n = 3*d - k. Does d = -6?
False
Let l = -40/57 - -2/57. Let g = 0.8 - 0.76. Is l greater than or equal to g?
False
Let a be 15/((-195)/64) - 2. Which is smaller: -6 or a?
a
Let m = -112067/3 + 37045. Is -312 equal to m?
False
Let c be (-1 - -5)*(-8)/(-48)*6. Suppose 2*m = c*m + m. Which is smaller: -6/7 or m?
-6/7
Suppose 2*b = -5*c + 195, 2*b + 5 = 3*b. Let s = 