3 - 359/2). Are -184 and j non-equal?
True
Let x be ((-27)/(-18))/(57/(-58) + 1). Let b be x + -89 - (-2)/(-2)*-1. Does 1/119 = b?
False
Let h = 0.68 + -1.05. Let u = h + 20.37. Let l = u - 18. Is -1/4 bigger than l?
False
Let l be (-3)/(-15) + 15742/(-85). Which is bigger: l or -118?
-118
Suppose 0 = -3*x + 5*r + 39, -5*r = -4*x + 21 + 31. Let f = x + -11. Let v be f/(-6)*-3*(-15)/9. Is v > -1?
False
Let v = 0.392 + 6423.608. Is v <= -1?
False
Suppose 129*f + 201*f + 37730 = 260*f. Is f greater than or equal to -532?
False
Suppose -o = 6*o + 308. Let v be ((-178)/o - 4)*502/10. Let h = 21/10 - v. Which is smaller: h or 0?
h
Let j(z) be the second derivative of -z**3 + 67*z**2/2 - 77*z. Let r be j(-10). Which is smaller: r or 126?
126
Let k(r) = -r**3 - 3*r**2 - 6*r - 3. Let s be k(-2). Suppose 0 = -3*c + 3*y, -c = y + 5 + s. Let i be -3 + 1 + (-6)/c. Is i at most as big as -2?
False
Suppose -3*k = -4*z - 15 - 7, 4*k = 2*z + 36. Suppose 5*i - 5 = -k. Suppose -61*x + 65*x - 11 = -5*a, 0 = 3*x + 5*a - 12. Does i = x?
True
Let t(a) be the first derivative of -a**4/4 - 8*a**3/3 + 15*a**2/2 + 57*a + 87. Let s be t(-9). Which is smaller: s or -17?
-17
Suppose 16 = -4*s, 5*u - 4*s + 4798 = -5931. Which is greater: u or -2148?
-2148
Let q(t) = -9*t**2 - 39*t + 1069. Let y be q(23). Is -4589 less than y?
False
Let a = 582807902/5199 - 112100. Which is smaller: a or -1?
-1
Let v = 5 - -5. Let l = -22/2379 + -2269/11895. Which is smaller: v or l?
l
Suppose m + 0*c + 566 = -5*c, -4*c - 2788 = 5*m. Let f be 1/(3 + m/186). Let s be -2*((-4)/(-18) + f/(-54)). Which is bigger: 7 or s?
7
Let y be (1 - 0)/((-103)/228866). Are -2222 and y equal?
True
Suppose -2*m + 2*j + 23 = -5, -2 = j. Suppose -87 = -3*h - 6*p, -h - 4*p - p + 53 = 0. Is m equal to h?
False
Let d(z) = -z**2 - 10*z - 18. Let g be d(-3). Suppose g*n - 76 - 38 = 0. Let a be ((-2)/6)/((-12)/(-36)). Is n smaller than a?
False
Suppose -18*m = -14*m + 4*v - 96, 0 = 5*v. Which is bigger: 358/15 or m?
m
Let c = 1884 - 1884. Are c and 5/32 non-equal?
True
Let g(j) = -48*j**3 - 2*j**2 + j. Let n be g(1). Let c = n - -78. Let w be (297/(-1221))/9 + 2222/74. Which is bigger: c or w?
w
Suppose -5*m - 170 = -t, 2*m = 3*t - 71 + 3. Let z be 284/m - 540/(-60). Is 1 at most as big as z?
False
Suppose 0 = a - 1 - 0. Let m be -80*(-8 + ((-16)/(-120) - (-512)/66)). Which is smaller: m or a?
a
Let s = -537 - -586. Suppose 44*r = s*r + 130. Which is smaller: 1 or r?
r
Suppose 3*x - 2*x = -6. Let h(u) = u**3 + 5*u**2 - 6*u + 5. Let b be h(x). Suppose -19 = b*k + 6. Which is greater: -7 or k?
k
Let u = -37.248 - -38. Let h = 0.7 - u. Let f = h - 15.948. Which is greater: 1/3 or f?
1/3
Let v(q) = q - 6. Let y be v(0). Suppose 0 = 6*k, 2 = -p - k + 15. Is y at least p?
False
Let k(i) = 63 + 44 + 7*i - 85 - 2*i**3 + 5*i**2. Let u be k(5). Let h = -167 + 100. Which is smaller: u or h?
u
Let m be (-1)/24*(-105)/(-4039). Which is smaller: m or -1?
-1
Let z be (-724)/312 + 1/(-91)*-14. Let u(n) = n**2 + 5*n + 5. Let v be u(-5). Suppose 4*p = -p - v. Is p < z?
False
Suppose -72*s + 21*s - 80*s + 51876 = 0. Which is smaller: s or 405?
s
Let x = 3756 + -206593/55. Let v = -320236/13 + 405104572/16445. Let f = v + x. Are -1 and f unequal?
True
Let o be 3/(-6)*0*1/(-2). Suppose b + 4*g + g + 3 = o, -5*g - 13 = -4*b. Suppose -2*k = -2*m - b*m + 10, 4*k = m - 6. Which is bigger: 0 or m?
m
Let y = 6382 - 31908/5. Is y >= -7/160?
True
Let h be ((-75904)/88)/8 - 6/66*2. Which is smaller: h or -15?
h
Let r = -9.9 + 6.2. Let s = -14.4679 - -14.0679. Is s >= r?
True
Let q = -125.2 + 23.2. Let t = q + 102.1. Are t and 52 nonequal?
True
Let f = 24.1 + -22.1. Let b = 4/3 + -77/60. Which is smaller: f or b?
b
Suppose 3*m - 4 = 7*m. Let p = -4007 - -324566/81. Is m != p?
True
Let i be 0*(-2)/(-120)*-10. Let l be 2/(-10) - (-5 - (-8690)/1675). Which is bigger: i or l?
i
Let n(j) = -j**2 - j + 24. Let f be n(5). Let g be 0*(8/(-12))/(8/f). Does g = -2/497?
False
Let c = 60 - 60. Let m be 28/(-126) - (-9182)/45288. Let q = 5/68 + m. Are q and c nonequal?
True
Let m be 2*((-81)/(-2) + 1). Let s be (0 - 40/18)*(1993 - 2029). Which is smaller: s or m?
s
Let b = 26959/19 - 1419. Which is smaller: 1.24 or b?
b
Suppose 3*l - 17 = -k - 0*l, -3*l = 3*k - 33. Let h be k/(-6)*2597/56. Let d = 938/15 + h. Which is greater: d or 1?
1
Let p = -5251 + 5252. Is p >= 0.1948?
True
Suppose -4*z + 2*z = l - 4, 0 = l - 5*z + 10. Let s = 37 + -53. Let w(c) = c**3 + 17*c**2 + 15*c - 19. Let t be w(s). Is t less than or equal to l?
True
Let x(r) = 5*r + 32. Let s be x(-6). Suppose -32 = -4*w - 5*l, s*w = -w - 3*l + 21. Suppose w*y + 0*y = -5*p, 4*p + y + 7 = 0. Which is bigger: p or -5?
p
Let z(l) = 948*l - 3792. Let y be z(4). Which is bigger: y or 2/10955?
2/10955
Suppose 438*p - 423*p = -20340. Is -1356 <= p?
True
Let u(f) = -31*f + 15. Let s be u(-8). Let q = s - 258. Which is smaller: 6 or q?
q
Let w = 63668 + -63667. Let p = -557771/318 + 1754. Is p not equal to w?
True
Let s be (-42 + 11 - -17) + 14. Let l be (-4)/(-6) - 373/555. Which is greater: l or s?
s
Let d be 2/6 - (-16)/(-3). Let w = 46 + -45. Let j be 56/(-10) + w*24/(-60). Is j less than or equal to d?
True
Let w = 25609.179 - 25620. Do 0 and w have the same value?
False
Let t(u) = u**2 - 4*u - 118. Let j be t(-9). Let s be (-7)/(-8)*((-10)/14 - j). Which is smaller: s or 5?
s
Let t = -1.14001 - -0.14001. Let y = 213 + -1909/9. Do y and t have the same value?
False
Let l(p) = -p**2 + 6*p + 8. Let b be l(7). Let m = 8157 - 350753/43. Which is smaller: m or b?
m
Let b be (-21)/(-56)*8 + -4. Are 0.2097 and b nonequal?
True
Suppose -42 + 1736 = 7*y. Suppose 8*d - 154 = -y. Which is greater: d or -14?
d
Let x = 50978995/4686 + -10879. Which is bigger: 1 or x?
1
Let d be 16/48*66/283. Is 1 greater than d?
True
Let k = 36 + -31. Suppose -72 = x + k*x. Suppose -5*v - 90 = 5*z, 5*v - 11*z + 7*z + 63 = 0. Which is greater: x or v?
x
Suppose -17*o = 1167 + 329. Suppose -8*y = -124 - 276. Let n = o + y. Which is smaller: -40 or n?
-40
Let w = -15 + 13. Let g = 221.6 + -295. Let s = g - -73. Which is greater: s or w?
s
Suppose -2*a = -2*l - 2, 2*l + 3*a - 4 = 19. Suppose -2*u = -5*z - 141, -l*z + 11*u = 7*u + 108. Let x = -34 + 6. Is z less than x?
True
Suppose 122*p = 101*p + 5796. Let c be (1472/p)/(1/(-18)). Is -478/5 greater than c?
True
Let t be ((-16)/10)/(-9 + (-1644)/(-180)). Let q be 3 + (-528)/9 + t/(-18). Is q > -55?
False
Let v be (-4 + (-11)/11)*1. Let n(a) = a**3 - 6*a**2 + 4*a - 9. Let p be n(6). Let h be (-5)/(81/p + -4). Which is smaller: v or h?
v
Let s(b) = 319*b + 1591. Let l be s(-6). Is -320 != l?
True
Suppose 7 - 21 = -14*u. Let x be u + 92/(-12) + 3. Is x less than -3?
True
Let g(i) = -2*i - 34. Let t be g(-19). Suppose t*y + 25 = 5. Let d = -22 + 21. Which is smaller: y or d?
y
Suppose -a - 59 = x, 169 + 8 = -3*x + 4*a. Which is smaller: x or -44?
x
Let g = -16157/5809218 + 5/1514. Is 0.1 <= g?
False
Let k = -149.389 + 149. Let l = -0.309 - k. Which is smaller: -7 or l?
-7
Let d = -0.02368 + -730.97632. Which is bigger: d or -2?
-2
Let l = 64 - 52. Suppose 0 = 2*q + 6 - l. Suppose -q*o + p = o, 5*p = 4*o. Which is bigger: -2/7 or o?
o
Suppose 15 = -5*o + 30. Suppose 4*a = -o*l + 7, -2*l - 2*a + 23 = -3*a. Suppose -c + 45 = 4*y, 25*c - 20*c + 15 = 4*y. Is y equal to l?
False
Let d = 21853/8 - 1447413/520. Let t = -259/5 - d. Suppose -4 = 4*f - 4*j, -f + 4*j + 3 - 4 = 0. Which is bigger: f or t?
t
Let b = 1542.94 - 1542. Which is bigger: -1.2 or b?
b
Let a be -1 + (((-36)/396)/((-6)/326) - 4). Suppose 0*t + 5*t + 5 = -3*p, 0 = -5*p + 3*t + 37. Suppose -3*n = u + u + p, 4*u + 8 = -4*n. Is n bigger than a?
False
Let j = -274.065 + 196.1. Let o = 78 + j. Let p = -10.035 + o. Which is greater: 0.2 or p?
0.2
Let b(y) = 4*y + 12. Let c be b(-3). Suppose 3*h - 1 + 4 = 0, c = -g + 4*h + 3. Is g <= -5/27?
True
Let w(v) = -v**3 + 6*v**2 + 4*v - 9. Let d be ((-8)/(-6))/(2/12). Let z be w(d). Let h be z/(-33) - (-10)/(-55). Which is bigger: h or 2?
h
Let c = -16 - -115/7. Suppose 0 = 16*b - 20*b + 108. Let r = b + -28. Are r and c nonequal?
True
Let n = 116 - 118. Let a be (-3)/((-9)/15)*(0 - n). Is 15 greater than or equal to a?
True
Let s = -90.4 + 177. Let t = s - 0.6. Which is smaller: -1 or t?
