m be -13*(2 + (-128)/52). Are m and g unequal?
True
Let u = 7 + -12. Let s be 16/(-20) + (-2)/u. Let m = -28 + 13. Is s < m?
False
Let f be (2*(-4)/40)/((-2)/(-142)). Which is smaller: f or 0?
f
Let j = -7.7 - -8.7. Which is smaller: -208 or j?
-208
Let p = 302.1 + -311.1. Does p = 8/27?
False
Let q be ((-2)/3)/(4/36). Let t be (-6)/18*8/q. Which is greater: t or -1?
t
Suppose 8*x - 4 = 6*x. Let c = x + 1. Suppose -c*q = -q. Is -6/17 at most q?
True
Suppose -2*h + 3*s - 86 = 0, -4*h + 4*s - 164 = 2*s. Let m = h + -4. Do -45 and m have the same value?
False
Let f be (-1142 - 2)/(-11) + 2/(-2). Are 103 and f non-equal?
False
Suppose -2*l - 5*q - 66 = 0, 5*l - 7*q + 99 = -3*q. Let h(n) = -n**2 - n - 2. Let p be h(4). Are l and p unequal?
True
Let k = -11 - -13. Suppose -d - k*n = 0, 2*d - 2*n = 5 + 7. Suppose 5*p - 5 = 0, 3*o = o - d*p - 2. Does o = -7/2?
False
Let u(y) = -y**3 - 24*y**2 - 24*y - 27. Let r be u(-23). Is -24/5 < r?
True
Let g = -0.18 - -2.18. Let i = -206/39 + 60/13. Which is smaller: i or g?
i
Suppose 0 = 2*d + t - 53, 3*d - 5*t = -t + 63. Which is greater: 28 or d?
28
Let j be (-108)/378 - (-1746)/6062. Is 2/3 greater than j?
True
Let y = -202 - -6260/31. Let t = 72/155 + y. Let k = -3 - -2. Which is greater: k or t?
t
Let g = 92 - 1745/19. Let a be (7 + -11)/((-1)/2). Let i be (-15)/6 + 12/a. Which is smaller: i or g?
i
Let k be (15 + -15)/(0 - 4). Let d be (2 - 27/4) + k. Which is smaller: -5 or d?
-5
Suppose -2*q + 1 + 3 = 0. Let a be (6/45)/(q/6). Let v = 7.1 - 7.2. Is v at most as big as a?
True
Let u(l) = -139*l - 1108. Let b be u(-8). Suppose 2*f = -n + 16, 4*n + n + 4 = 4*f. Is f < b?
False
Let l = -114 - -83. Let i = l - -120. Is -0.1 at least as big as i?
False
Suppose -8*x + 6 - 14 = 0. Suppose -10 = g + 4. Which is smaller: x or g?
g
Suppose -2*k - 3*k = -10. Let q be k + -2 + (3 - 3). Let p = q - 5. Is p < 0?
True
Let t(d) = -2*d - 18. Let w be t(-8). Let s(u) = -3 - 6*u - 2*u**2 + 4*u**2 - 3*u**2 + 1. Let h be s(-6). Is h <= w?
True
Let x(u) = 3*u**2 - 2*u + 9. Let y be 2/9 + (-152)/36. Let f(g) = -g**2 + g - 1. Let z(p) = y*f(p) - x(p). Let b be z(5). Are 11 and b non-equal?
True
Suppose -z + 12 = p, -p = p - 5*z + 4. Suppose g - 6*g - 2*c + 3 = 0, -3*c = -5*g + p. Do -16/5 and g have the same value?
False
Let k be 1 + 1*(-58)/65. Is -1 greater than k?
False
Suppose 18*n = 30*n + 36. Let z be 3681/(-15) + (-2)/(-5). Let u = z - -728/3. Which is bigger: n or u?
u
Let a = -1126.6 + 1115. Is -1/3 < a?
False
Suppose 4*j - 14 - 14 = -4*k, j = -5*k - 1. Which is bigger: j or 6?
j
Let p = -7.43 + -1.47. Let s = -29.9 - -30. Let y = s - p. Which is bigger: y or -1/4?
y
Let a = -49 - -15. Let z = a + 69/2. Which is smaller: -2/59 or z?
-2/59
Let b = 39 - 45. Suppose -4 + 6 = -2*t. Is b at least t?
False
Suppose -5*g - 730 = -4*k + 90, -4*g - 635 = k. Let m = g + 159. Is -3/31 >= m?
True
Suppose -140 = -6*h - 1802. Is -277 <= h?
True
Let m = -0.469 + 0.469. Let x be (-6)/4*1/(-6). Do m and x have the same value?
False
Let o = 95 + -95.108. Let u = o - 0.892. Let t = 1.2 - 1. Which is bigger: t or u?
t
Let l be 9 + (3240/(-250) - -3). Are l and -2 non-equal?
True
Let j = 399 + -407. Suppose 5 = -3*x - 7. Let a be (7/(-4))/((-1)/x). Is a greater than or equal to j?
True
Let r = 0.39 + -0.08. Let f = r - 0.21. Let y be 2/(-7) + 75/(-7). Are f and y equal?
False
Let g(z) = 528*z - 80. Let p be g(1). Do 451 and p have different values?
True
Let t = 20 + -24. Let s be (-2)/t*(-24 - -22). Which is smaller: s or -3/20?
s
Suppose 0 = r - 0*r - 5. Suppose -4 + r = l. Let a be (1/4)/((-1)/l). Is a at most 1?
True
Let g be (305/(-15) - 3)*54/(-399). Is g < 3?
False
Let i = -5/21 + 167/525. Let r be (9/(-2))/((-60)/80). Suppose -v - r = 5*v. Which is bigger: i or v?
i
Let q = -32 + 21. Let w(f) = -f**3 - 10*f**2 + 10*f - 12. Let d be w(q). Is d at most as big as -2/19?
True
Let g = 2242/7 + -96350/301. Which is smaller: g or -1?
-1
Suppose 4*v + 2*a = 13 - 17, -3*v - 3*a = 6. Is -6/35 less than v?
True
Let g(c) = 2*c + 4. Let j be g(-2). Let d(n) = -n**2 + n + j*n - 7*n - 4*n - 5. Let x be d(-8). Is 11 less than or equal to x?
True
Suppose 5*u - 9*u = -40. Let w = u - 8. Let o = w - 1. Is o less than 0?
False
Let y = -4565/72991 - 2/1553. Let v be ((-5)/(-15))/((-2)/6). Which is greater: y or v?
y
Let k = -29 + 44. Suppose 0 = -4*r + 25 + k. Let c be 1 - (-2 + r + -2). Is c smaller than -5?
False
Suppose i - 6 = 7*i. Let v be i*(-12)/20 - -15. Let k = 224/15 - v. Which is smaller: k or 3?
k
Let h be 8/(-60)*(-5)/6. Let r be 1/(-3) + 68/(-12). Let y = 7 + r. Which is smaller: h or y?
h
Suppose -3*f - 3 = -4*f. Suppose f*q = -2*x + x - 22, -5*x = 5*q + 60. Is -9 bigger than x?
False
Suppose 1 + 14 = 3*h. Let f be ((-12)/3 + h)/(-1). Is f < -1/2?
True
Let u = 104 + -73. Suppose -32*h + 1 = -u*h. Which is bigger: -2/165 or h?
h
Let d be 280/84*((-6)/(-10))/(104/(-40)). Let q(i) = -i**2 + 5*i - 4. Let x be q(4). Which is smaller: d or x?
d
Let u be 4/(249/81 + -3). Suppose -4*z = -2 + u. Let p = z + 14. Are 1 and p nonequal?
False
Suppose 4*j = 8 + 68. Let p = -17 + j. Do 1 and p have the same value?
False
Let z = -1/1506 - 877/2259. Which is bigger: z or 0?
0
Let v = 50.4 - 49. Let x = 148 + -140.9. Let n = x + -7. Is v greater than n?
True
Let u = -6/19 - 134/57. Let f(m) = m. Let i(s) = 4*s - 2. Let d(z) = 5*f(z) - i(z). Let y be d(-4). Which is greater: u or y?
y
Let q = -23 + 25. Suppose -q*a - 46 = 260. Let k be (-34)/a - 64/234. Is k less than 1?
True
Suppose -23*p - 264 = 35. Is 0.2 greater than p?
True
Let k = 89 + -200. Let c = 108 + k. Is -12/7 at most as big as c?
False
Let l = -1 - 10. Let m = l - -9. Let c = 2.4 + m. Which is smaller: c or -3?
-3
Suppose 301 - 961 = -33*l. Which is smaller: 17 or l?
17
Let h be -346*4/(-8) - 2. Let y be h/(-1) + 0/2. Let w be (-2)/(-3) - (-132)/y. Which is bigger: w or 1?
1
Let p = 746 - 787. Are -45 and p equal?
False
Let z(f) = -7*f**3 + 7*f**2 - 9*f + 13. Let b(x) = 4*x**3 - 3*x**2 + 5*x - 6. Let m(t) = 5*b(t) + 3*z(t). Let d be m(5). Which is greater: 23 or d?
d
Let k = -0.84 - -0.75. Which is smaller: 7/9 or k?
k
Let k be (87 - 89) + (-7528)/(-3762). Which is smaller: k or 1?
k
Let x(r) = r**3 - 11*r**2 + 22*r - 7. Let g be x(7). Let j be ((-28)/g)/(4*10/28). Is j bigger than -2?
True
Let t be (-42)/(-45) - (-9)/(-15). Which is smaller: t or 638?
t
Suppose 0 = 5*m - 2*a + 2, -m - 2*a + 4*a = 2. Is m not equal to 3/47?
True
Let c = -0.252 - 1.288. Is c >= 0?
False
Suppose 4*d - 3568 = -5*p, 4*p + 8*d - 2867 = 9*d. Is 716 not equal to p?
False
Let f = -1154 - -1153. Which is smaller: f or -6/347?
f
Let t be 2/(-7) - (-880)/(-56). Does t = -47/3?
False
Let d(v) = 2*v**3 + 2*v**2 + v + 4. Let u(o) = -o**2 - 12*o - 2. Let p be u(-12). Let q be d(p). Is q < -3?
True
Let q = 11887/91 + -1596/13. Are 9 and q unequal?
True
Let g = 3.5381 - 0.5381. Let b = 19.55 - 20. Let y = b - -0.05. Which is smaller: g or y?
y
Let z = 8 - 5. Suppose 5*i - 134 + 8 = 4*u, -4*i + 101 = -z*u. Is i at least 26?
True
Let d = -4249234/19 + 223699. Let i = 55 - d. Let z(j) = -j**3 - 7*j**2 + 9*j + 7. Let t be z(-8). Which is greater: t or i?
i
Let k(n) = -n**3 + n**2 - 5*n - 11. Let w be k(-2). Let o = -26 - -44. Let l be (-4)/o + 303/27. Is w < l?
False
Let n = 21 - 1. Suppose -2*d + 4*d - n = 0. Let a = -19 + 18.9. Is a != d?
True
Let k = 330 + -2340/7. Is k greater than or equal to -3?
False
Let b be (-484)/14 + 8/14. Let q = b - -34. Let y be q + (8 - -2)*-1. Is y <= -9?
True
Let f be (1 - 1)/(-1 - 0). Suppose -4*v - 540 = -q, 0 = 4*v - 0*v - 2*q + 536. Let a be v/84 + (-12)/(-9). Which is smaller: a or f?
a
Let p = -582 - -627. Which is smaller: 226/5 or p?
p
Let k = 695 + -691. Is 20 at most as big as k?
False
Suppose -3*p - 1 - 2 = 0. Let w(l) = -l + 13. Let v be ((-22)/(-6))/(1/3). Let h be w(v). Which is smaller: p or h?
p
Suppose 0 = -5*l + 151*l - 3650. Suppose 2*m - m - 24 = 0. Is l < m?
False
Let u be (-261)/(-116)*(16/6)/1. Is u smaller than 28?
True
Let d = -4518/7 - -22727/28. Which is bigger: d or 166?
d
Let s = -86 - -24. Let g = s + 61. Which is smaller: -12/5 or g?
-12/5
Let p be -2*((-6)/9)/((-4)/(-6)). Let n be 8 + (-1 - 1) + (1 - p). Which is smaller: -1 or n?
-1
Let d(u) = -u - 9. Let z be 1