 Let q be j(0). Is u <= q?
True
Let n(b) = b - 4. Let z be n(5). Let a(s) = s. Let t be a(z). Let r = -53.8 - -34.8. Which is bigger: r or t?
t
Suppose 79*o = 85*o + 978. Is o not equal to -160?
True
Let y(k) be the second derivative of -k**3/2 + 5*k**2/2 + 3*k. Let i be y(-9). Suppose -8*c + 131 = -125. Is c < i?
False
Let p = 384 - 387. Let t = -0.5 + 0.4. Is p at most t?
True
Let i(r) = -10*r - 142. Let o be i(-15). Which is bigger: o or 46/7?
o
Let j = -1468 + 1467. Are j and -11 equal?
False
Suppose 270 = -8*y + 5*y + 3*r, 2*r = 4*y + 360. Is y less than or equal to 0.04?
True
Let c(a) = a + 7. Let t be c(-6). Suppose 5*d - 3*f = 4, -2*f + 9 = -5*f. Is t at most d?
False
Suppose 260*k - 261*k = -799. Does -0.1 = k?
False
Let r = -12 - -17. Suppose 30 = -r*t + 10*t. Let b be 4/t*(-72)/16. Which is bigger: -5 or b?
b
Suppose -3*p + 4 = u, 6 = 5*u + p - 0. Let o = 12 - 2. Let b = 13 - o. Which is greater: b or u?
b
Let a = 14 - 15.9. Let z = a - -1.5. Which is smaller: z or 0.2?
z
Let m be (4/5)/(5/25). Suppose -5*a - 2*r + 10 + 15 = 0, -r - 7 = -m*a. Let h be (-20)/a*(-18)/(-15). Is 1/3 less than h?
False
Let o be -166*((-4)/2)/((-24)/(-18)). Which is smaller: o or 247?
247
Suppose -2*q - 10 = -5*v, -4*v - 3*q + 0*q = -8. Suppose 0 = -w + v*i - i - 3, -4 = -2*i. Which is smaller: -11/20 or w?
w
Let q = 2 - 3. Let a = 1 + q. Suppose 4*z - 22*x + 24*x - 8 = 0, 3*z - 11 = -4*x. Does z = a?
False
Let x be (16/(-6))/(-4) + -3. Suppose 2*f - 3*f = 0, -4*f = 5*g - 20. Suppose -g*t = 2*b - 0*t + 22, -5*b + t = 11. Which is smaller: b or x?
b
Suppose -19*r = -379 - 476. Do 45 and r have different values?
False
Suppose 6*n - 22 = 14. Let c(x) = -3*x + 4 - 2 + 2*x + 1. Let i be c(n). Are -5 and i non-equal?
True
Let q = 92 + -92. Suppose 4*y - 16 = q, -y - 4 = 2*d - 2. Let v be (2/(-3))/(1/3). Is d at most as big as v?
True
Let r = -831 - -29. Is -803 at least r?
False
Let l be 2 - ((-130)/(-134) + 1). Let h(a) = 2*a**3 - 15*a**2 - 7*a - 9. Let v be h(8). Is v greater than l?
False
Suppose -3*h - 2*h = -195. Let q = h + -56. Let b = 25 + q. Which is bigger: b or 6?
b
Suppose -5*c - 11 = 12*q - 8*q, 0 = -q - 4*c. Let a = 3 + -4. Is a != q?
True
Let n be (-6)/(-1) + 2 - 4. Suppose -z - 209 = -n*q + 4*z, 5*z = -5*q + 205. Let o be -2 + q/(-2 + 4). Is o >= 21?
True
Let u be (-19)/1 + (-5 - (-1 - 8)). Is 1 greater than u?
True
Let a = 12 + 21. Suppose 5*q - a + 43 = 0. Which is bigger: -9/7 or q?
-9/7
Let c be (-16)/(-6)*(-6)/(-72). Let v = -70 + 74. Which is greater: v or c?
v
Suppose 2*i - 3 = -5*h - 7, -3*i + 2*h = -13. Suppose -12 = -7*l + i*l. Which is smaller: l or 24/11?
24/11
Let u = -71 - -34. Let t = -36 - u. Let d = -7.1 + -0.9. Which is bigger: d or t?
t
Let r = 2225 + -391. Let f = 141216/77 - r. Which is greater: f or -1?
f
Let s = -649 - -607. Is -45 bigger than s?
False
Suppose 2*s - 4*g = 2, 3*s + 5*g = 2 - 10. Let a(z) = 22*z**2 + 2*z + 1. Let r be a(s). Let b = 25 - r. Which is bigger: 5 or b?
5
Let o(s) = -9*s. Let t be o(-1). Let a(z) = 4*z - 2 - t*z - z**2 + 8*z. Let x be a(1). Which is smaller: -3/5 or x?
-3/5
Let w = -3.482 + 2.482. Let m = -31 + 22. Does m = w?
False
Suppose -118*o + 100*o - 18 = 0. Are 16/39 and o equal?
False
Let p(x) = -6*x - 9. Let f be p(-4). Let o = -76/5 + f. Which is smaller: 0 or o?
o
Let p(d) = d**3 + 38*d**2 - 40*d**2 + 2*d**3 - d. Let m be p(-1). Let z be -1*((-10)/m + -2). Is -0.1 less than z?
False
Let q be (-3861)/1309 - (-1 - (-1 + 3)). Which is smaller: -1 or q?
-1
Suppose -2*i = 3*i. Suppose 4*t + 2*p - 10 = 0, -p + i*p - 10 = -t. Suppose t*a - 3 = 7. Is a equal to 5?
False
Let x(q) = -2*q**2 - 5*q - 2. Let u be x(-5). Let m be 4/2 + 4/(72/(-30)). Which is smaller: u or m?
u
Suppose 0 = 5*d + 5*r, 0 = -3*d - 5*r - 9 + 1. Suppose 3*u + 1 = -p, -4*p + u - d = -4*u. Let y be (2/4*0)/p. Which is smaller: y or -1/3?
-1/3
Let l(v) = 2*v + 5. Let h be l(0). Let u(t) = 4*t - 1. Let c be u(1). Suppose -2*k + 2 = c*a + 8, -10 = 4*k + h*a. Which is greater: 1 or k?
1
Let c be ((-1)/2)/((-99)/(-18) + -5). Which is smaller: c or 2/3663?
c
Suppose -65*a + 5 = 5. Which is bigger: -2/2013 or a?
a
Let n be 1/(-3)*-5*12/10. Suppose -14 = n*q + 4. Is q not equal to -8?
True
Let y be -1 + -7 + 11 + -2. Let s be (8/14 + 0)/(-14). Which is smaller: y or s?
s
Let x = 462.6 - 462. Which is smaller: 1 or x?
x
Let b(t) = t - 15. Let n(r) = -r + 15. Let m(l) = 4*b(l) + 3*n(l). Let j be m(18). Which is smaller: j or 1/6?
1/6
Let q = -12 - -11. Let r be (q - 1) + -6 + -1. Let d = r - -5. Which is smaller: d or -5?
-5
Let g = 3.2 + -0.2. Let i = 2.8 - g. Is 15 greater than i?
True
Let i = 347 + -346. Is -295 greater than or equal to i?
False
Suppose 4*u = 3*t - 22, 8 = -3*t - 5*u - 6. Suppose 0 = -4*b - 6 - 2. Let s = b + t. Do 4 and s have the same value?
False
Suppose -w - 3*w - 596 = -4*v, 1 = -v. Let o = w - -129. Which is bigger: -23 or o?
o
Let y = 3 + -2. Let o = -857/9591 + 1/417. Which is smaller: o or y?
o
Let v be ((-776)/(-6))/(14*(-26)/(-91)). Which is smaller: 31 or v?
31
Let w = -1905 + 1599. Is w <= -4?
True
Let a be 0/(-1 + 0 - 0). Let m be 4 + a + (8 - 12). Is m > 0?
False
Let b(i) = -i**3 - 4*i**2 - i. Let v be b(0). Which is bigger: 1/105 or v?
1/105
Let j = -1.81 - -2.01. Which is bigger: j or -13?
j
Let q = 121 + -72. Is 48 at most q?
True
Let y = 91/825 - 2/25. Which is greater: y or -2?
y
Suppose -348 - 104 = -4*p. Let l = -114 + p. Is l < 2?
True
Suppose -15*y = -4*y - 11. Let f be (y/(-15))/((-1)/3). Is f at least as big as -0.2?
True
Let d be -1*1 + 65/39. Let m = 1.16 - 11.16. Are d and m unequal?
True
Let o be -2 - -5 - 2/(-1). Let b = 9 - o. Suppose -9 = 3*g, 0 = -z + b*g - 6*g - 12. Which is smaller: -7 or z?
-7
Suppose 0 = 4*r - 5*g - 10, 0 = -g - 2 - 0. Let k = r + 6. Let o(j) = 3*j**2 - 2*j. Let c be o(2). Is c < k?
False
Let x(q) = q + 12. Let r be x(-9). Suppose -3 = -r*j, -v = -2*j - 7 - 4. Let b = v - 11. Is 1 <= b?
True
Suppose -94 = -47*p + 45*p. Is p greater than 0.1?
True
Let s = -1043/1070 - -8/107. Let q = -133/20 - s. Let t = -291/52 - q. Is t at least as big as 0.4?
False
Let l be 2 - -1 - (0 - -2). Let r be 15/25*(-70)/(-217). Is r less than or equal to l?
True
Suppose 0 = -0*c + 5*c, 0 = -a - 4*c + 2. Let t be (0/(12/a))/(1/1). Which is smaller: 14 or t?
t
Let k = -16 + -5. Let i be 16/(-240)*45/6. Is k at most i?
True
Let z be (1705/340 - 5)*2. Do -1 and z have different values?
True
Suppose 4*p - 5 = 15, -3*w - 28 = -2*p. Is -3 at least as big as w?
True
Let f = 13853/16 + -866. Which is bigger: f or -7?
f
Let o = 318 - 318.17. Is -0.05 less than o?
False
Suppose -2*t = 3*t + a - 9, 2*t = 3*a - 10. Let z be (t + -1 - -2)*8/664. Which is smaller: -1 or z?
-1
Let t(a) = -a**3 - 6*a**2 - 6*a - 3. Let y = 18 + -23. Let v be t(y). Let b(l) = -l**2 + 4. Let s be b(v). Is s not equal to -3?
True
Let o be (-2)/(-10) - 3142/(-15). Let d = -583 + 375. Let l = o + d. Which is bigger: 1 or l?
l
Let f(l) = l**3 + 8*l**2 + 8*l + 6. Let m be 70/(-15)*6/4. Let i be f(m). Is -1 equal to i?
True
Suppose 6*j = -0*j - 30. Suppose 0 = 5*p - 118 + 148. Which is bigger: j or p?
j
Let d be (3 - 0)*(-32)/48. Let j be d/((-8)/(1 - -3)). Is 3/16 < j?
True
Let n = 255.9 - 256. Which is bigger: n or -2/319?
-2/319
Suppose 0 = -m - 6. Suppose -5*y - 5*i + 24 = -21, 2*i - 8 = 0. Suppose -10 = y*w + 20. Is m greater than w?
False
Suppose -s = 4*x + 288, 133*x = 132*x - 5*s - 91. Is x not equal to -71?
False
Let a = 1068 - 1063.01. Let f = -12.99 - -13. Let m = a + f. Which is smaller: -1/3 or m?
-1/3
Let p = -648/11 + 77079/1309. Do p and -1 have the same value?
False
Let v(u) be the second derivative of -u**5/20 - u**4/4 + u**3/2 - 3*u**2/2 - 26*u. Let f be v(-4). Is f equal to -2/57?
False
Let d = -297 - -292. Which is smaller: d or -11/2?
-11/2
Let z = -125435171/408090 + 68231/223. Let c = -1/366 - z. Suppose 5*u + 6 = -2*h, h = -7*u + 8*u + 4. Which is smaller: c or h?
c
Let x = 0 - 0.2. Let r = -81 - -1376/17. Which is smaller: r or x?
x
Suppose -64 = -5*s - 359. Let p = 41 + s. Let f = p + 19. Which is smaller: f or -1/15?
-1/15
Let z(a) = a - 3. Let x be z(5). Suppose -x = -k - k. Let f be (-1*2)/(-1 - -10). Is k greater than or equal to f?
True
Let a be (7 - (-173)/(-10)) + (-2 - -3). Which is s