al?
True
Let w = 1072.071 - 1072. Does w = -1/5?
False
Let l(m) = -107*m + 18. Let u be l(1). Is u less than 0.2?
True
Let k(t) = 4*t**3 - 4*t + 3. Let q be k(2). Let r = q + -24. Which is smaller: r or 19/5?
r
Suppose 5 = -m, 3*m + 50 = 3*d + 2*m. Let t = d + -31. Which is smaller: t or -15?
t
Let n be 378/105 + (-6)/10. Suppose 0 = -n*z - 0 + 12. Which is bigger: 7 or z?
7
Suppose 0 = -4*b - 4*f + 448, -16*b + 4*f + 357 = -13*b. Let x = 140 - 24. Is b bigger than x?
False
Suppose 0 = -5*x + 2*x - 42. Let d(n) = n**3 + 15*n**2 + 15*n. Let v be d(-14). Are v and x unequal?
False
Let b = 398 + -423. Let t be (-261)/10 - (-30)/50. Which is greater: b or t?
b
Let s = -12.1 + 16.7. Which is bigger: 0.4 or s?
s
Let x(l) = -45*l**2 - 27*l - 37. Let f be x(-6). Is -1494 less than f?
False
Let v be 2045/2370 + (-55)/66. Which is smaller: v or -0.1?
-0.1
Let p = -12428/35 - -355. Is p < -1?
False
Let b be -3 + (0 - (0 + -1)). Let m be -1 + -1 - b*5. Is 8 less than or equal to m?
True
Suppose 3*q - 12 = 12. Suppose -3*i + q = -5*i. Let p be 420/(-40)*i/7. Is 2/7 less than or equal to p?
True
Let k = 31 - 30.6. Let b = -1.72 + -0.08. Let m = 0.2 - b. Which is bigger: k or m?
m
Let j(u) = -u - 9. Let k be j(-7). Let v = k - -6. Suppose v*a = 8*a. Which is smaller: a or -7/5?
-7/5
Suppose 0 = -13*h + 10*h + 585. Which is smaller: 194 or h?
194
Suppose -39 = -2*h - 3*w + 54, -4*h = -5*w - 175. Which is smaller: h or 42?
42
Let q(d) = 35*d - 379. Let b be q(13). Is 0 greater than or equal to b?
False
Suppose 0 = -a + 2*a. Let u(c) = -c**2 + 14*c - 15. Suppose d + z - 13 = 0, -2*d + z = -21 - 5. Let b be u(d). Which is smaller: a or b?
b
Let s = -144 + 143.7. Which is bigger: s or 1?
1
Let n = 4 + 3. Let x = 6 + n. Let p = x - 13.1. Is -0.1 > p?
False
Let f(z) = 38*z - 239. Let c be f(7). Are c and 1/2 non-equal?
True
Let j be (-1 + 2/((-8)/(-27)))*4. Let g = j - 67/3. Is g equal to -37?
False
Let b be (40/(-15))/((-2)/24) - -1. Let u = 34 - b. Which is greater: u or -3/11?
u
Suppose 2*n + 0*z - 96 = -5*z, -n = -z - 34. Suppose 0*c - 2*c = -4*d + 162, -d + n = 2*c. Is d <= 40?
True
Let c = -1913 + 1910.1. Which is bigger: c or -1/6?
-1/6
Let w = 90 + -81. Which is smaller: 10 or w?
w
Let j be (16/(-2) - -10)*708/8. Which is greater: j or 174?
j
Let z = 3.9 - 1.3. Let g = z - 15.6. Is 1 greater than g?
True
Let p be 46/90 + (-2)/5. Let g(z) = -3*z**2 + z**2 - 8*z + 14 + 3*z**2 - 6*z. Let i be g(13). Is p at most i?
True
Let l = -0.942 + 0.892. Which is greater: l or 1/71?
1/71
Let h = -4 - -8. Suppose 3*k + 3*g + 36 = -2*k, -h*k = -g + 39. Which is smaller: k or -10?
-10
Let q be (1/(-57))/((-13)/429). Which is smaller: 0 or q?
0
Let h = 30 + -6. Let z = h + -24. Which is greater: 1/15 or z?
1/15
Let f = 7610.03 - 7702. Let t = 92 + f. Which is smaller: t or -2/5?
-2/5
Let s = 195/14 + -2305/168. Which is greater: s or 0?
s
Let b(k) be the first derivative of -k**3 - 5*k**2/2 + 12*k + 7. Let j be b(-10). Let p = j + 3096/13. Is p >= -1?
True
Let m(h) = -h**3 - 8*h**2 + 32*h - 13. Let a be m(-11). Is a at least -6/5?
False
Suppose 3*q = 4*q - 4*c - 4, -4*q + 2*c = -16. Suppose -13 + 17 = q*i. Is i greater than or equal to -2/77?
True
Suppose 5*q - 2 + 0 = -3*n, n - 4 = -5*q. Let f be ((-4)/3)/((-12)/(-54)). Let s be (-2)/(-4)*(-9)/f. Is s greater than or equal to q?
False
Let o(d) = -5*d**2 - d - 14. Let m(j) = -9*j**2 - 2*j - 27. Let z(v) = 4*m(v) - 7*o(v). Let y be z(-4). Which is smaller: -24 or y?
-24
Let x = 2.028 + -0.228. Is x < -4?
False
Suppose 0 = 12*l + 3*l - 3330. Are l and 224 equal?
False
Suppose -5*b + 6 - 11 = 0. Which is bigger: -6/31 or b?
-6/31
Let u = -277.6 - -251. Let p = -25 - u. Let n = -1.4 + p. Which is bigger: -2 or n?
n
Let d = -45504 + 45480.927. Let o = d + 0.073. Which is greater: -0.1 or o?
-0.1
Let p = 265 + -259. Which is smaller: p or -1?
-1
Let r(f) = -14*f - 2. Let l = 101 + -103. Let p be r(l). Is 26 != p?
False
Let b = 1 + -3. Let y = -0.194 + 0.094. Is b equal to y?
False
Let u be 0/(9*(-24)/(-108)). Is u bigger than -5/689?
True
Suppose 0 = -2*w - 33 - 163. Let x = 90 + w. Which is smaller: -2 or x?
x
Let g(v) = v**2 + 8*v - 25. Let n be g(-10). Let f be (-7)/n*(-15)/(-3). Let y(k) = -5*k - 2. Let i be y(-2). Is f at most as big as i?
True
Let h = 173 - -6. Is h greater than 179?
False
Let y be (-10)/(-5) + 2*(-614)/612. Does -1 = y?
False
Let x = 23 - 17. Suppose 0 = -5*a - 3*d - 5, x*d - 9*d - 13 = a. Which is bigger: 4/5 or a?
a
Let o = 584/7 - 83. Suppose 4*i - 4 = 8*i. Which is smaller: o or i?
i
Suppose 2*o - 1768 = 10*o. Let v be o/(-26)*(2 - 8/5). Is v < -0.1?
False
Let d = -1177.06 - -1191. Let y = 0.6 + 13.4. Let m = d - y. Is -1 greater than m?
False
Let f = -1 - -1. Let y = 320.1 - 322.4. Is f at least y?
True
Let w(y) = 12*y - 158. Let p be w(13). Let j = -13 + 4. Let u be (j/24)/((-3)/p). Which is smaller: u or 1?
u
Let g be (-2)/(-1*8/(-52)). Is 2 at least g?
True
Let j be 2/(-5) - (-63938)/245. Let r(m) = 45*m + 10. Let g be r(-6). Let d = g + j. Do d and 2 have the same value?
False
Suppose -5*l + 1964 = 5*w - 6026, -5*l = -5*w - 7950. Does l = 1593?
False
Let j = -26 - -28. Suppose j*d + 51 + 99 = 0. Do d and -75 have the same value?
True
Let a be 1*(6*1/(-2) + 4). Let k = 1859/243 - 1194674/4617. Let f = k - -251. Is f != a?
True
Let h = -0.098 - -0.454. Let j = -16.544 - h. Let g = j + 17. Which is smaller: -0.1 or g?
-0.1
Let a be 0 - -9 - -41 - 12. Let y(i) = i**3 - 2*i**2 + 3*i - 5. Let u be y(4). Are a and u nonequal?
True
Let s(p) = -p**3 - 7*p**2 - p + 1. Let m be s(-7). Let z be 1/5 - m/(-10). Let i be (2 + -2)*z/1. Is 3/4 less than or equal to i?
False
Let m(c) = -c**2 - 28*c - 6. Let s be m(-26). Is s != 48?
True
Let i = 33.21 + -33. Let n = i + -0.08. Let j = n - -0.27. Is j > -0.4?
True
Suppose 0 = -4*r + 604 - 1760. Is r at most as big as -288?
True
Let j be -1*4/8*0. Which is smaller: j or 3/104?
j
Let u = 7 - -66. Let s = -52 + u. Let x = -12 + s. Is 0 at least as big as x?
False
Suppose -5*g = -0*g - 10. Let t(o) be the second derivative of -7*o**3/6 - 25*o**2 + 19*o. Let l be t(-7). Which is smaller: g or l?
l
Suppose 5*h - 4*h = -23. Let o = 25 + h. Do o and 5 have different values?
True
Let f(p) = -2*p - 7. Let i be f(-10). Suppose 4*s - i = 3*s. Is s greater than 11?
True
Let n(d) = -6*d**2 + 102*d + 1. Let l be n(17). Which is smaller: -294 or l?
-294
Suppose -3*c = -4*c - 70. Let g be ((-4)/(-5))/((-7)/c). Suppose -2*q = -4 + g. Which is smaller: q or -4/3?
q
Suppose f + 126 = -2*f. Let u be (-1)/(4/12) - f. Let l be 3 - (81/u - -1). Which is smaller: 0 or l?
l
Let n = 2442 + -2440. Let p = 12533/385 - 228/7. Is p > n?
False
Let k be (14/(-6) - -1)*27/(-144). Let w be 0*1*(-1)/2. Is w not equal to k?
True
Suppose 4*z - 34 = t + t, 22 = 3*z + 2*t. Let l be (13/(-4) - -3) + 34/z. Is l <= 4?
True
Let p = 194 + -556. Is p not equal to -362?
False
Let s(x) = 48*x - 113*x - x**2 + 51*x. Let l be s(-15). Are -15 and l non-equal?
False
Suppose 0 = -8*i + 432 - 40. Let m = i + -49. Which is smaller: m or -8/11?
-8/11
Suppose 9 = 4*d - 3*p, -6*d + 2*d - 2*p + 34 = 0. Let n = 2637/406 - -1/203. Is d < n?
True
Suppose -3*m - 2*p = 40, -2*m + 3*p + 371 = 415. Which is bigger: -19 or m?
m
Let z(k) = k**2 - 3*k - 4. Let i be z(-4). Let c be (-680)/119*(-7)/(-2). Let g be i/c*(-45)/6. Which is bigger: 8 or g?
g
Let g = -0.061 - 0.039. Let l = -1712/7 + 236. Is g < l?
False
Let u be 1 - 9 - 36432/(-1564). Which is greater: 15 or u?
u
Let t = -218 + 218. Which is smaller: t or -199?
-199
Let h be (-2)/7 + 148/28. Suppose -j + 5*c - 2 = 3*c, h*j + c = 1. Let s be (-310)/(-2232) - (-2)/18. Which is bigger: s or j?
s
Let o be (-5 - -2)*(-10)/15. Suppose o*u + 15 = -3*u. Let t be ((u - -3) + -1)*-1. Which is smaller: t or 1/3?
1/3
Let j be -4 + (-976)/(-336) + 2/21. Is j < 4/39?
True
Let s = -39 + 39. Which is smaller: s or -2/17?
-2/17
Let h = 17.78 + 0.22. Let v = h + -17.98. Which is greater: 2 or v?
2
Let i = 121.8 + -8.8. Let v = i - 91.8. Let y = v - 21. Which is smaller: -2/3 or y?
-2/3
Let u be (-66)/(-55)*(-65)/(-2). Let g = -116/3 + u. Which is greater: g or 1/4?
g
Suppose 32*g + 24 = 40*g. Which is greater: 38/13 or g?
g
Suppose -2*f - 6 - 4 = 0, 16 = g - 4*f. Let o(m) = -146*m + 1894. 