(4 - m). Is -1 smaller than r?
True
Let t(h) = 2*h**2 + 14*h + 19. Let j be t(-5). Which is smaller: j or -2/4553?
j
Suppose 4*a - 2*a = 0. Let c be -1 + -2 - (-904)/65. Let k = 53/5 - c. Which is greater: a or k?
a
Let r(b) = 13*b**2 + 766*b - 58. Let z be r(-59). Is 2/5319 >= z?
False
Let y be 1 + -2 + -11 + 4. Is y >= -11?
True
Suppose 2*q - 43 = -327. Let o be q/5 - (2 + -5). Let g = o + 25. Which is bigger: g or -1?
g
Let p = 4.29 - 3.9. Let l = -3.39 + p. Is -4 < l?
True
Let a = 2 - 5. Suppose -15 = -3*r - u - 4, -4*u = -20. Let b be (11 - 10)*(0 - r). Which is smaller: a or b?
a
Let b(t) = -3*t**2 - 15*t + 31. Let z be b(-7). Which is smaller: -16 or z?
-16
Let s(v) = -v**2 + v - 1. Let b be s(0). Let h be b/(-6) - (-8)/(-48). Which is greater: h or -3/25?
h
Let m(j) = j**2 - 5*j - 50. Let a be m(-5). Is -123 greater than a?
False
Let b = -33 + 33. Let o(z) = -z**2 - 10*z - 9. Let j be o(-8). Suppose -7 = -5*h + 4*k, j = 2*h + 2*k - 5*k. Is h at most as big as b?
True
Let d = 1 - -18. Suppose -25 - d = -4*p. Which is smaller: p or 1?
1
Let z(k) = -k + 1. Let y be z(-5). Let i be -1 - (y/3 + -2). Let j be 1/i*0/(-2). Is 0 smaller than j?
False
Let y(k) be the first derivative of k**3/6 - 3*k**2/2 - 5*k - 2. Let g(l) be the first derivative of y(l). Let a be g(3). Which is greater: -1/6 or a?
a
Let d = 797 + -1339. Do d and -542 have different values?
False
Suppose v - 2*v = h - 18, 5*h - 3*v - 74 = 0. Let s = h + -13. Suppose 2*x - 4*r + 20 = -s*x, -5*r = -3*x - 12. Which is bigger: x or 0?
0
Let n(r) be the third derivative of r**6/120 + 19*r**5/60 + 17*r**4/24 - 19*r**3/6 + 27*r**2. Let g be n(-18). Is -7 < g?
True
Suppose 4*k = 2*j, k = 3*k + 4*j. Let s be (-6)/86*(-3)/(-9). Which is greater: s or k?
k
Suppose -12*x = -11*x, -5*x = 4*c + 60. Which is bigger: -13 or c?
-13
Let m = 1.7 + -4.7. Let n be ((-2)/(-4))/(11/(-44)). Let t be ((3/(-4))/((-99)/48))/n. Is t greater than m?
True
Let f(h) = -h**3 - 11*h**2 - 5*h + 12. Let k be f(-11). Suppose 29*g = 25*g + 264. Which is smaller: k or g?
g
Let n be 1/14 - 3403/(-1162). Does n = 94/23?
False
Let d be -4*3/(-12) + (-25)/10. Let a = 1159272/78785 + -1/11255. Let r = -15 + a. Which is smaller: r or d?
d
Let s be ((-1)/3)/(6/(-54)). Suppose s = 6*x - 15. Is x < 23/9?
False
Suppose 12*h - 64*h = 8*h + 240. Let d = -108/65 + -92/65. Which is bigger: h or d?
d
Suppose -236*x = -228*x. Let p be 1*2*(-3)/(-2). Suppose x = 4*l - p*l. Which is bigger: 3 or l?
3
Let z(x) = 7*x**2 + 11*x + 6. Let m(p) = 4*p**2 + 5*p + 3. Let n(q) = -7*m(q) + 3*z(q). Let d be n(-2). Let t be (-4)/(-6) + 18/d. Is t != -1/3?
True
Let g(d) = d**3 + 4*d**2 - 2*d - 8. Let x be g(-4). Let s(o) = 2*o + 26. Let j be s(x). Let b = j + -19. Is 6 at least as big as b?
False
Let v = 32 + -34. Let h be 33/(-12)*4/7. Which is smaller: h or v?
v
Suppose -4*h + 1461 + 2151 = 0. Let a be h/(-4263) + (-1)/(-7). Which is smaller: a or -1?
-1
Let a = -19 + 16. Suppose 5*t + 27 = -3. Let h be t - a - 0 - 0. Which is greater: h or -1?
-1
Let q = 2.86 + -2.8. Let s = q + -2.06. Which is smaller: s or 2?
s
Let t(a) = -4*a**3 + a**2 + 3*a + 2. Let l be t(-1). Let p = -10 - -14. Suppose -l*r - 2 = 2*h, h + 0 + 1 = p*r. Is -1/2 bigger than h?
True
Let d(h) = h**2 - 7*h - 7. Let t be (-192)/(-36)*(-6)/(-4). Let z be d(t). Let w be -11*z/5*1. Is w not equal to -1?
True
Suppose -2*n + n = 2*a - 6, 2*a - 8 = -2*n. Let g be (-5336)/890 + a - -4. Let i = g - -2648/4895. Is 1 not equal to i?
True
Let t(o) = -6 + 7*o**2 - o**3 - o**3 + o**3 + 11*o. Let q be t(8). Let f = q - 4. Is 14 greater than f?
False
Let f be 8/48 + (-3 - -1)/(-12). Which is smaller: f or 100/7?
f
Let s be 5/(-4) + (-233)/(-932). Is s > -1107/4?
True
Let i = 0.2 + 0.08. Let q = -0.18 + i. Let p = -10 + 4. Is p > q?
False
Suppose -1 = -h - 0. Let x be h/(-2) - 1/(-8). Let s(t) = t**3 - 17*t**2 - 15*t - 53. Let j be s(18). Is x not equal to j?
True
Let d = 353246696 + -25368921914715718/71816445. Let k = d + -906802385/2614118598. Let y = k - 2/195. Are -1 and y non-equal?
True
Let y = 445 - 435. Is y smaller than 12?
True
Let g = 275 + -97. Suppose k - g = 4*f, -3*f = 2*f - 2*k + 221. Are f and -44 equal?
False
Suppose -2*q - 155 = 2*t + 3*q, q = 1. Let j = 317/4 + t. Let b = 22.2 - 22. Which is smaller: j or b?
j
Let t be -17 - (3 + (-1 - 4)). Let g be (-12)/4*(-1)/t. Which is smaller: -1 or g?
-1
Let k = -230/99 - -17/11. Let w be 3/(-1) - (-7)/(4 + 3). Do w and k have the same value?
False
Let j = 284 + -283. Suppose 0*t = -3*t. Which is smaller: j or t?
t
Let j(w) = -8*w - 4. Let i(f) = 7*f + 4. Let s(m) = 7*i(m) + 6*j(m). Let n be s(-5). Which is smaller: -4/7 or n?
n
Let j = -2951/3 + 992. Suppose -2*h - 4*l + 4 = l, -2 = l. Which is greater: j or h?
j
Let z(b) = 25*b. Let l be z(-3). Let r be (-5)/(l/6)*170. Let u = r + -341/5. Which is smaller: u or 0?
u
Let c(l) = -l**2 + 2*l + 1. Let x be c(3). Let p = -80 + 77. Is x at least p?
True
Let c = 3/10 - 23/60. Let g be 39/6*2 + -4. Suppose 4*r - 5 + g = 0. Is c smaller than r?
False
Let l = 127 + -119. Let s(a) = 9*a + 21. Let v(t) = 5*t + 11. Let h(k) = -6*s(k) + 11*v(k). Let i be h(5). Which is bigger: i or l?
l
Let m be (12/(-4) - -9) + 3693/(-612). Which is smaller: 1 or m?
m
Let p = -0.1 - -0.2. Let h = -0.41 + 0.41. Is h != p?
True
Let b = -0.06 - -0.22. Let p = b - 0.26. Is 4 smaller than p?
False
Let v = 635 + -629. Is v > 1.1?
True
Let y be (-12)/22 - 16926/(-27280). Is 0 at most as big as y?
True
Suppose x + 11 = c, 3*c + c - 3*x - 47 = 0. Is -0.1 less than or equal to c?
True
Let q = 353 - 330. Is q not equal to 118/5?
True
Let u be (-4)/(-2 + (-80)/(-44)). Let b = 22 - u. Which is bigger: 1 or b?
1
Let u(m) = -m**2 + 14*m - 28. Let p be u(2). Is -150 less than or equal to p?
True
Let s be (-16)/12*(-30)/4. Let d be 39/15 - 6/s. Let q be ((-64)/28 - 0) + d. Which is smaller: q or -6?
-6
Let s(y) = -y + 1. Let j be s(1). Let r be (4*4/1280)/((-6)/(-45)). Which is bigger: r or j?
r
Let u(b) = -2*b - 7. Let d be u(-5). Let g be (4 - 8)/(8/(-6)). Is g less than d?
False
Let a = 0.025 + -49.025. Let h = -48.9 - a. Which is smaller: h or -16/7?
-16/7
Let k = -42 + 43.34. Let q = 0.91 - k. Which is bigger: q or 2?
2
Let q = 0 - -0.05. Let a = -918 - -639. Let x = a + 276. Is q > x?
True
Let p(d) = d**2 - d. Suppose t - 4*a + 5 = 0, 3*t + 0*a + 1 = 5*a. Suppose 2*u + 2*f - 2 = 0, t*u + 0 - 9 = 3*f. Let b be p(u). Is b smaller than 2/3?
False
Suppose 17*w + 142 = 14*w - j, 2*w - 4*j = -76. Which is smaller: w or -140/3?
-140/3
Suppose -4*o - r + 312 = 0, 3*o - r = -6*r + 217. Which is smaller: o or 19?
19
Let g = -41 + 51.5. Let c = 0.5 - g. Let o = c - -10.2. Which is greater: o or 2/5?
2/5
Let z be (11 - 9)*-2 + (-6362)/(-1590). Which is smaller: 0 or z?
0
Suppose j - 4*h + 3*h + 30 = 0, -2*j - 2*h = 40. Let q be 1*-12*(126/j + 5). Is q < -1?
False
Let b = -17 - -26. Suppose 0 = -5*s - 34 + b. Let a(r) = -r**3 - 6*r**2 - 5*r + 3. Let j be a(s). Which is smaller: 0 or j?
0
Suppose 0 = 4*c + 18 + 30. Let l = c + 14. Suppose 2*f = -5*o + 4, -2*f + 3*o - l = -3*f. Is 1 at most f?
True
Let j = 20 + -11. Let i = -3 + j. Let d = -4/25 - -86/225. Is d at most i?
True
Let d be ((-100)/15)/(29/261). Which is bigger: d or 0.9?
0.9
Let z = 16 - 11. Suppose -m = w + 2*w + 23, 0 = z*w + m + 35. Let u(x) = -x**3 - 7*x**2 - 5*x - 3. Let i be u(w). Which is bigger: -8 or i?
-8
Let y = -26 - -100/3. Which is smaller: y or 6?
6
Let k = 13 - 71. Let s = k + 60. Which is smaller: s or 8?
s
Let q(o) = 15*o**2 - 7*o - 123. Let r(h) = 7*h**2 - 3*h - 61. Let z(p) = -6*q(p) + 13*r(p). Let w be z(-11). Is w <= 33?
True
Let v = 0.738 + -0.678. Which is smaller: -72 or v?
-72
Let h be 72/(-1080) + (-152)/(-1830). Suppose 3*z - 5 = -2*z. Which is smaller: z or h?
h
Let u = 330 - 339.07. Let r = 0.07 + u. Let p = r + 9. Are p and -1/3 unequal?
True
Let q be (-6)/4*36/(-189)*-7. Let n(j) = j + 1. Let u(v) = -2*v**2 - 3*v - 3. Let o(y) = 4*n(y) + u(y). Let l be o(q). Is l > -10?
True
Let z be ((-481)/(-21))/(2/(-12)). Let b(g) = 17*g**3 + 2*g**2 - 5*g + 4. Let r be b(2). Let o = r + z. Which is smaller: o or -1/5?
-1/5
Suppose 2*g + 8 = -5*v - 22, -25 = 5*g. Let u be (-110)/(-4) - 3*(-2)/v. Is u greater than 25?
True
Suppose -9*s + 501 = 177. Let