?
False
Let m be 5*(1 - (-60)/(-58)). Suppose -6*f + f + 8 = y, -16 = -4*f - 4*y. Is m at least f?
False
Let x = 1.2 - 1. Let i = -358 - -366. Which is smaller: i or x?
x
Let b = -445756/8001 - 2/1143. Is -56 != b?
True
Suppose 4*h + 3*n - 3 = 0, -3*h = -2*h + 2*n - 7. Let r be ((-18)/(-8))/h*(-24)/63. Is r != -126?
True
Let j(g) = g**3 + 1. Let f(b) = b - 2. Let s be f(4). Suppose 4*u = -s*u. Let r be j(u). Is -2/57 equal to r?
False
Let n = -73 + 265/3. Let q = -15 + n. Let t(c) = -c**3 + 5*c**2 - 3*c - 4. Let d be t(4). Is q at least d?
True
Let j = 16 + -17. Which is smaller: j or -15/7?
-15/7
Suppose -3*i = h - 9 + 2, -3*h = 3*i - 9. Let d be 15/(-8) - (h - 3). Which is greater: -1 or d?
d
Let f = 218 - 111. Let p = 108 - f. Is p < 0?
False
Suppose -289 + 251 = 3*m - 4*k, -5*m - 58 = -4*k. Is -27 != m?
True
Let q be -1 + 2 + (1 + 0)*17. Let u = q + -18. Is u equal to -1/42?
False
Suppose 0 = -12*q + 327 + 453. Which is bigger: q or 67?
67
Suppose -19*f = -25*f + 2058. Is f smaller than 343?
False
Let t = -1 - -1. Let s(b) = b**3 - 8*b**2 + 12*b - 3. Let k be s(6). Let z be (k/(-9))/((-1)/(-1) - 0). Which is greater: z or t?
z
Suppose 70 = -3*m - 2*s, -2*s = -3*m + 8*m + 114. Let p = -22 - m. Which is smaller: p or 2/87?
p
Suppose 4*n + 2*o - 750 = 0, n - 4*o = 3*n - 384. Suppose -3*w + 9*w = n. Which is greater: w or 32?
32
Let v = 930 + -943. Do -2/15 and v have different values?
True
Let h = 440 - 439. Is h less than or equal to -3/89?
False
Let w(o) = 2*o**3 - 13*o**2 - 6*o - 7. Let d be w(7). Suppose -6*j + 5*j - 6 = d. Which is smaller: j or -5?
j
Let i(t) = -t + 2. Let z be i(1). Let x be (-204)/(-24) + z/(-2). Suppose -x = 2*y + 10. Is -10 less than y?
True
Let u(j) = 6*j**3 + 5*j**2 - 4*j - 5. Let s be u(3). Is s at least 759/4?
True
Suppose 0 = -0*b - b + 3. Let y(h) = -h**3 + 2*h**2 + 4*h - 2. Let m be y(b). Suppose m + 14 = -5*f. Is f greater than -2?
False
Let v = 0.454 - 0.354. Let h = -2 + 2.3. Let r = v - h. Which is smaller: r or -2/7?
-2/7
Let q = 0.026 + -5.026. Let r = -5.2 - q. Which is smaller: -0.02 or r?
r
Let p = -0.0394 + -0.0606. Is 61 at most as big as p?
False
Let a = 667 + -665. Is a greater than or equal to 17/18?
True
Let r = -1859 + 989. Is r <= -0.2?
True
Let t(n) = -406*n - 1643. Let k be t(-4). Let r = -9486 - -18607/2. Let j = r - -165. Which is greater: k or j?
j
Suppose -3*c = 12, 2*i - 14*c = -17*c - 64. Which is greater: -24 or i?
-24
Let n = 37061/33 - 1123. Which is greater: -0.18 or n?
n
Suppose 0 = -2*w - 8, -1 = -2*z + 4*w + 63. Suppose p + 2*c = 5*p + z, -4*p = c + 12. Is -16/5 > p?
True
Let y = 5 - 1. Let n be -2 - (y + -2)/(-2). Let t be (5/(-20))/((-121)/(-88)). Is t < n?
False
Suppose -4*o + 27 = -o. Let n = o + -5. Suppose -n = -4*v + 12. Which is bigger: v or 3?
v
Let u be (-35)/9 + 2 - -1. Let x = 1746 - 1746. Does u = x?
False
Let t(p) = p**2 + 6*p - 1. Let b be t(-6). Let i = -6497/28 - -232. Is i not equal to b?
True
Let l = -2827/13 - -217. Let z(m) = m**2 - 6*m - 5. Let d(o) = o. Let s(n) = 3*d(n) + z(n). Let g be s(4). Do g and l have different values?
True
Let y = -239 - -239. Let i(z) = -10*z**2 + 4*z - 9. Let s be i(6). Let k be s/(-92)*(y + -4). Which is smaller: k or -16?
-16
Let d(c) = -14*c - 15. Let a be d(-5). Let z = a + -16. Does z = 39?
True
Let t be (6/9)/(5/30). Let x be 2 - (-6)/(12/t). Suppose 0 = x*u + 5*w - 29, 0*w - 2*w + 14 = 4*u. Does u = 3/5?
False
Let a = -4/42601 - 250826/50908195. Is a greater than -1?
True
Let o(v) = -v**2 - 21*v - 70. Let p be o(-25). Is p at most as big as -171?
False
Let q = -6.3 - -0.3. Let x = 0.74 + -0.3. Let z = x - 1.44. Which is smaller: z or q?
q
Let f be (-11)/(-88)*1498 - 6/1. Is f less than 182?
True
Let h = -30.575 + -0.425. Which is smaller: 1/2 or h?
h
Let f = -34 + 13. Let q = f + 23. Let g be 9/12*16/18. Which is bigger: g or q?
q
Suppose 14 = -g + 5*f, -127 = 3*g + 5*f - 25. Let h = g - -86/3. Which is bigger: h or 13/4?
13/4
Let j be ((-4)/16*0)/2. Let k = 209356129/36 - 5815877. Let n = k + 429. Which is smaller: j or n?
j
Let n = -11 - -7. Let w = -4 - n. Let a be 2 + ((-192)/(-45))/(-2). Which is greater: a or w?
w
Let f = 5.9 + -6. Let a = 3.1 + -2.5. Do f and a have the same value?
False
Let i(n) = -n**2 - 5*n. Suppose 4*c + 2*l = -11 + 3, 5*c = -2*l - 12. Let j be i(c). Let v be 1/j + 4/80. Which is smaller: v or 0?
0
Let y be -44*6/(8*-3). Which is smaller: y or 73/7?
73/7
Suppose -143*i + 141*i = -64. Which is greater: i or 34?
34
Let i(p) be the first derivative of p**4/4 - 4*p**3/3 - 2*p**2 - p - 19. Let h be i(5). Which is greater: h or 6?
6
Let j = -332 - -332. Is -2/699 at most j?
True
Let z = 5183/79856 - 1/2576. Let j = 1 + 0. Which is smaller: z or j?
z
Let q = 2104 - 227231/108. Is q at most -1?
False
Let q be 0 - 0 - 6/(-2). Let b = -2420 + 2427. Is q less than b?
True
Let f be (-150)/(-5)*(-2)/4. Does -15 = f?
True
Let u(t) = -t**2 - 13*t - 7. Suppose 2*r + 57 = -5*n, 0*n - 22 = 2*n + r. Let a be u(n). Is a less than or equal to -8?
False
Let x be (8/10)/(51/(-5) - -13). Are -347/7 and x equal?
False
Let k(g) = -g**3 + 10*g**2 - 18*g + 6. Let v(f) = -5*f - 47. Let u be v(-11). Let w be k(u). Is w less than or equal to -15?
False
Suppose 0*w - 16 = -4*w. Suppose 0 = -3*p + 6*p - 6. Suppose 0 = 5*s + 5*v - 20, -s + 8 - 3 = p*v. Which is smaller: w or s?
s
Let b(f) = -3*f**2. Let i be b(2). Let j(l) = -20*l + 37. Let x(c) = -7*c + 12. Let s(r) = -6*j(r) + 17*x(r). Let v be s(7). Which is greater: v or i?
v
Let x = -1.744 + 0.744. Which is smaller: 371 or x?
x
Suppose -3*p = -11*o + 10*o - 39, -5*o + 45 = 5*p. Let i be -1 + 27/12 + (-3)/p. Which is greater: i or -4/19?
i
Suppose -3*q = -5*i - q - 712, 0 = -5*i - 4*q - 736. Is i smaller than -144?
False
Suppose i = 3*b + 6*i - 47, 75 = 5*b + 5*i. Suppose b*x - 10*x = -8. Is -4 less than x?
True
Let i(r) = -r**2 + 2*r - 9. Let t be i(0). Let c be (t - -8) + 0/1. Is -1/4 != c?
True
Suppose -38 = -3*c - 41. Which is smaller: 2/169 or c?
c
Let b be ((-154)/(-1463))/((-2)/(-6)). Let p = 0 - 1. Which is bigger: b or p?
b
Let x = -387 - -381. Is x smaller than -76/11?
False
Let g be ((-8)/(-3) - 1)/((-14)/6). Is 0.08 smaller than g?
False
Let s be (-35)/10*3/21*26. Which is greater: -38 or s?
s
Suppose -2*f = f - 12. Is f greater than or equal to 10?
False
Let k = 4.2 - -0.2. Which is smaller: 1 or k?
1
Let w = 5.11 + -0.11. Let m = w - 6. Let d = -2 + 2.1. Is d equal to m?
False
Let i be 7 - (-3)/((-1)/1). Suppose -6*h = -i*h + 6. Let s(u) = -u**3 - 4*u**2 + u - 1. Let w be s(0). Does h = w?
False
Suppose 4*o + 36 = -0*o. Let i be o/(-6) + (-1)/2. Which is smaller: i or 2/33?
2/33
Suppose 3*c = -c + 80. Suppose -8*k + c = -4*k. Suppose -2*g - k = -17. Are 4 and g non-equal?
True
Let t = -0.07 + 0.16. Let k = -6.09 + t. Which is smaller: k or 1/4?
k
Let q(a) = -7*a**2 + 109*a + 10. Let x be q(16). Which is smaller: -37 or x?
x
Suppose -12 = -s + 4*v, -12 = -3*s + 7*v - 3*v. Let b be 35/(-40) - (1 + -2). Is s <= b?
True
Let w = -979 - -835. Is -145 <= w?
True
Suppose -5*u + 2*h + 26 = -0*h, 0 = 4*u - h - 22. Let v = -34.08 - -34. Let c = v - 0.02. Which is smaller: c or u?
c
Let w be ((-214)/(-222) + -1)/(12/(-27)). Which is smaller: w or 0?
0
Let c = 6 - 6. Suppose -5*m = -c*m - 45. Let g = -8 + m. Which is greater: 2 or g?
2
Let b = 11/23 - 71/437. Suppose -16*q - 16 = -0*q. Which is bigger: b or q?
b
Let y(o) = -4*o**2 + 42*o - 20. Let b be y(10). Which is smaller: 49 or b?
b
Suppose 0 = 7*w - 25 - 10. Let h(r) = -r + 6. Let b be h(w). Is b greater than 3/11?
True
Let w = 3538 - 166301/47. Let q = 619/1645 + w. Is 0 at most as big as q?
True
Let g be (25/12 + 36/(-27))*-36. Let f = g + 42. Which is smaller: 14 or f?
14
Let a be 26502/(-32)*1654/11265. Let m = -1/6008 + a. Let p = m - -124. Which is smaller: p or 3?
p
Let y be (6/(-4))/(3/20). Let j(u) = -12*u + 4. Let d be j(1). Is y at least as big as d?
False
Suppose 4*w = -4*u - 8, 0*w = -w + 2*u + 4. Let g = w - -3. Let k(v) = -2*v**3 - 34*v**2 + 5. Let l be k(-17). Which is bigger: l or g?
l
Let t(r) = r**3 - 19*r**2 + 29*r + 84. Let a be t(17). Which is smaller: 3/257 or a?
a
Let z(w) = w**3 + 19*w**2 + 19*w + 19. Suppose -27 = 3*f + 24. Let x be z(f). Let d = x - 5205/19. Does 0 = d?
False
Let a be