+ 55. Let v be r(14). Does 99 = v?
False
Let m be 4*(-4)/(-16)*2. Let s be -2*m/((-8)/(-10)). Suppose -u + 5 = -2*u. Is u less than or equal to s?
True
Suppose 24660 = -40*p - 5*p. Which is greater: -547 or p?
-547
Let g(o) = 11*o - 7. Let v be g(5). Let n = -24 + v. Is n less than or equal to 24?
True
Suppose -2*c = 3*c - 20. Let u(f) = -7*f**2 - 23*f - 2. Let r(g) = 3*g**2 + 12*g + 1. Let x(y) = 5*r(y) + 2*u(y). Let z be x(-14). Is c < z?
False
Let q = -42.5 - -42.6. Is q > -1.65?
True
Suppose -4*r - 8 = 28. Suppose 0 = -0*l - l + 5. Suppose 42 = -4*a - 2*z, l*a - 5*z + 3*z = -30. Is a at most as big as r?
False
Let c be (15/(-18))/1*20/(-25). Which is smaller: -3/167 or c?
-3/167
Let s(p) = -p - 17. Let x be s(-8). Let d = -4.243 + 0.243. Is d < x?
False
Let c = 10.9 + -10. Let z = -0.9 - c. Let k = z - -1.8. Is 4 less than or equal to k?
False
Let x be ((-2)/(-4) + 0)*4. Let a = 38 - x. Is a <= 35?
False
Let p = -26/11 - -204/77. Let a = -0.44 - -30.44. Let q = -32 + a. Does q = p?
False
Suppose 24361 = 21*d + 6679. Which is smaller: 840 or d?
840
Let u = 10.189 + 0.011. Let g = u - 0.2. Let y = -9.95 + g. Are 0.1 and y equal?
False
Suppose -4*y - 2*x + 4 = 86, 44 = -2*y - 4*x. Let k be (-24)/y*(-18)/12. Is k bigger than -3?
True
Let s = -7309/9 + 813. Which is bigger: s or 0?
s
Suppose 66*k - 28*k - 228 = 0. Which is smaller: 8 or k?
k
Suppose -20 = -0*n + 5*n. Let v = -42 + 46. Suppose -v*b - 7 - 13 = 0. Which is greater: b or n?
n
Let p = 799.9 - 800. Is p >= 2/33?
False
Let n = 151 + -448/3. Let k be (3/(-2))/((-9)/(-48)). Let x = k + 9. Is n >= x?
True
Let f = 2555 + -2554. Which is smaller: f or 3/802?
3/802
Suppose -11 = -2*n - 3. Suppose -n*y = y. Suppose y*i + 48 = 4*i. Is i less than or equal to 11?
False
Let d = -0.61 + 0.21. Let u = 38 - 37.9. Which is bigger: u or d?
u
Let l = -126 + 128. Suppose 80 = -l*r + 24. Let i(z) = z - 5. Let o be i(4). Which is smaller: o or r?
r
Suppose 37*w - 38*w = -4. Is 7 > w?
True
Suppose -n - 11 - 5 = 0. Let o(u) = -3*u**3 + 194*u**2 + 68*u - 213. Let k be o(65). Is k <= n?
True
Let l be (2/72)/(105/40). Is 1 <= l?
False
Suppose 147 = 4*y - y. Suppose -7*s - y = -2*s - 4*z, 0 = -3*s + 3*z - 30. Which is smaller: s or -5?
s
Suppose -11*z - 136 = -37. Is z greater than -7?
False
Suppose 1039 + 753 = 7*d. Is 255 not equal to d?
True
Suppose 3*p + 1 = 2*r + 10, -44 = 2*r + 4*p. Let o = r - -13. Do o and 1 have different values?
False
Let x = -493 + 503. Let q(v) = -v**2 + 7*v + 5. Let w be q(6). Does x = w?
False
Let p = -0.0546 - -3.0546. Let v = -2.6 + 0.9. Let x = v - 0.3. Is x equal to p?
False
Let l = 21 - 25. Let q = -78 - -43. Let k be l/10 - (-21)/q. Is k less than -1?
False
Let x(m) = m - 21. Let c be x(25). Suppose 3*h + 5*z = -c - 9, 0 = -3*h - 3*z - 15. Are -6 and h equal?
True
Let g(t) = 18*t**2 - 80*t - 79. Let u be g(-1). Let x be 4/20 + (-48)/(-10). Suppose x = 4*h - 3*j - 67, -2*j = 0. Which is smaller: u or h?
h
Let m(o) be the first derivative of o**2 - 6*o + 6. Let u be m(3). Let t be u/2 - -2 - -4. Is -2/7 < t?
True
Let a = 38 - 38. Suppose a*i = -4*i + 20. Which is bigger: i or 9?
9
Let f(s) = -s**3 - 22*s**2 - 33*s - 14. Let p be f(-20). Is -0.1 smaller than p?
False
Let p = -0.0437 - 0.9563. Let d = -104 - -1770/17. Which is greater: d or p?
d
Suppose -24*j = -32*j + 80. Let n be 4*(j/40 - 146/(-8)). Is 75 greater than or equal to n?
True
Suppose -4 = -5*s + 36. Suppose 3*l = 12, -7*o = -3*o + 5*l - s. Let g = 3 + -3. Which is smaller: g or o?
o
Let j be 1/(1/(-24)) - (-6 - -1). Which is greater: j or -12?
-12
Let x = 0.55 + 0.08. Let a = x - 0.66. Which is smaller: 2 or a?
a
Let a = 1140 + -398999/350. Let f = 8747/1050 + a. Which is bigger: 0.1 or f?
f
Let p(o) = -97*o + 232. Let r be p(-5). Which is greater: 716 or r?
r
Suppose -2*z + 4*d - 18 = 0, 4*z + 3 = 6*z + 3*d. Let r(g) = g**2 + g - 4. Let l be r(z). Which is smaller: 0 or l?
0
Let c be (-8)/((45/(-10))/9). Suppose 5*k - 2*q = 97, 2*q + c = 6*q. Let n = -21 + k. Do -2/13 and n have the same value?
False
Suppose -19 = -3*r + 2*a, 2*r + 3*a = -0*a + 30. Suppose 0 = 5*l + 15, -3*b + l + r = -b. Suppose 10 = -5*x + 2*d, d = x + b + 2. Which is smaller: x or 6/13?
x
Let m be 1*0*(-2)/(-4). Let q be ((-2)/5*7/(-14))/((-32)/4). Which is smaller: q or m?
q
Let o = 25 + -26. Let i = -7 + -25. Let u be i/(-18) - (-5 - -7). Is o < u?
True
Suppose 2*t = 4*j + 46, -4*j - 10 = -t + 41. Let c = -13 - j. Let k be (-56)/(-130) - (-6)/(-15). Which is greater: k or c?
c
Let l(i) = 8*i - 144. Let n be l(19). Do n and 96/11 have the same value?
False
Suppose -3*q + 2*c + 43 = 0, q - 28 + 11 = 2*c. Do q and 159/11 have different values?
True
Suppose 13*k - 5*k = 4728. Which is greater: k or 590?
k
Let o be 0 + 3 - (-1 - -2). Suppose -o*d + 7*d = 10. Let w = 8 - d. Is 2 at least w?
False
Let w be 1*4/(-3 - 1). Let d = -555/506 - -17/46. Is d less than w?
False
Suppose 4*u = -r + 7, 5*r + 2*u - 79 = 4*u. Suppose -9*m = -4*m - r. Suppose -i = -m*w - 4*i - 18, -w + 19 = -4*i. Which is smaller: -2 or w?
-2
Let y(t) = t**2 + 3*t - 2. Let f be y(-5). Let l(z) = 151*z**2 - 2*z - 5*z - 150*z**2 - 10. Let q be l(9). Is q smaller than f?
False
Suppose 0 = -3*n + 5*u - 24 - 10, -5*n + 5*u = 60. Let h = -2 - -4. Suppose -h*z - 2*z = 56. Which is smaller: z or n?
z
Let b = 0.04 - 0. Let x = 0.03 + 0.03. Let j = b + x. Are 6 and j unequal?
True
Suppose -3*n - 1 = -5*h + 5, -4*n - h = 31. Let z(b) = b + 8. Let t be z(n). Which is greater: -3/16 or t?
t
Let o = 8 + -8. Is 2 at most o?
False
Let f(z) = z + 5. Let w be f(-8). Let r be w - (-7)/((-28)/64). Let d = -19 - r. Is -1 at most d?
True
Suppose -h = -2*h + 26. Let y = h + -27. Which is greater: y or 3/26?
3/26
Let y(o) = 4*o**2 + 22*o - 2. Let a be y(-9). Let n = a + -1118/9. Which is bigger: n or -1/8?
-1/8
Let n = -83 - -67. Let o be 3/(3*2/(-20)). Let z = o - n. Is z at most as big as 1/4?
False
Let t = 3 + -3. Let o = -4879 + 4878.953. Which is smaller: t or o?
o
Let g = 238 - 158. Let t be ((-6)/(-5))/((-24)/g). Let v = t + 3. Which is smaller: -3 or v?
-3
Suppose 5*a + 25 = 0, 0 = u - 2*a - 2*a - 20. Suppose l - 116 = -2*r, 3*l - 6*l = 0. Let p = r - 115/2. Which is greater: u or p?
p
Let c be (-2)/(-5) + (-360)/375. Is c equal to -1?
False
Suppose 30 = 6*a - 3*a. Let t be 2*(0 + a/35). Is t > 2?
False
Let l = -0.219 - -2.219. Do -94 and l have the same value?
False
Let u be 60/(-22)*(-2)/6. Let b(d) = d**3 - 6*d**2 - 17*d + 10. Let g be b(8). Let j be (g - (-24)/(-10))/((-20)/50). Which is bigger: u or j?
j
Suppose 2*s - 5 = -h, 5*s - 6 = -2*h + 9. Let v be 0 + 0 + (-81)/h. Is 15 greater than v?
False
Let o be 7 + ((-978)/36)/(81/18). Is 2 at most as big as o?
False
Let x(r) = r**2 - 5*r - 6. Let d be x(6). Let l be 614/(-6) - 4/(-12). Let g = -405/4 - l. Which is greater: d or g?
g
Suppose 3*a + 4 = -y, 3*y + 6*a - 2*a = -7. Let f be y/(-3) + (-1 - (-429)/(-18)). Do f and -26 have the same value?
False
Let m(r) = -r**2 + 14*r - 34. Let d be m(11). Which is smaller: d or 52?
d
Suppose 5*l + 0 = 5. Let b = 50 + -46. Suppose -q - 5*t + 7 = 0, b*q - t - 28 = 4*t. Which is smaller: q or l?
l
Let a = 6.509 - 6.46. Which is smaller: a or 1/6?
a
Let a(c) = -3*c + 2. Let x be a(-4). Suppose -l = -3*r + 38, 5*r + 5*l = 4*l + 74. Is r bigger than x?
False
Let n be (102/9)/((-92)/966). Which is bigger: n or -0.1?
-0.1
Suppose 4*t - 36 = -t + 2*d, -2*d = 3*t - 12. Let f = 33 - 30. Let n be (f + 3 + -2)*(-9)/(-6). Is t at least n?
True
Let f be 8*(-4 - 51/(-12)). Suppose -4*y = 4*j + 12, f*j = -0*j + 2*y - 10. Is j > -30/7?
True
Let t = 756 + -12822/17. Which is greater: -0.1 or t?
t
Let b(q) = 11*q + 6. Let z = 70 + -72. Let l be b(z). Which is greater: l or -15?
-15
Suppose -80*g + 610 = -85*g. Which is greater: g or -121?
-121
Let a be (-3)/(-4)*8/(-951). Which is smaller: 1 or a?
a
Let k be (-14)/(-35) - (-4)/(-10). Suppose 4*m - 4*q + 92 = 0, 5*m + q = -k*m - 97. Is -20 less than or equal to m?
True
Let z = -216 - -214. Are z and -42/19 unequal?
True
Let w = 148 + -146. Is w greater than -0.11?
True
Suppose 0 = 4*z - 7*z - 5*n - 181, -8 = 4*n. Is -57 at least as big as z?
True
Let v(o) = -o**2 + 3*o + 4. Let i be v(5). Let w(p) be the first derivative of -p**3/3 - 4*p**2 - 9*p + 22. Let u be w