e t/(-5) - (5 + -9)/20. Let a = o - -59. Which is bigger: 2/189 or a?
a
Suppose j + j - 6 = 0. Suppose -j*b + 7 = 7. Let w be 1*(-10 + 3)*-1. Is b smaller than w?
True
Let k = 0.0324 + 4.6676. Let a = k - 5.1. Which is smaller: a or 62?
a
Let x be (-8 + (-42000)/(-5257))/(-12). Which is smaller: x or 2/9?
x
Let r(h) = -14*h**3 - h**2 - 28*h + 60. Let p be r(2). Let c be (168/p)/(1/98). Which is smaller: c or -148?
-148
Let w be -1 + 11/10 + 2. Let r be -49 + (2 - 1776/(-37)). Is r != w?
True
Suppose -18*d + d = -51. Suppose r = 4*h - 275, -5*h + d*r = -2*r - 325. Is 70 greater than or equal to h?
True
Let r = -2813 - -2813. Which is smaller: r or -2625?
-2625
Let v(t) = 115*t + 58. Let a be v(2). Let g = a + -291. Let x be 1 - ((-14)/(-9) + 1). Which is smaller: g or x?
g
Let n = 46 - 66. Let u = n - -58. Which is smaller: 0.1 or u?
0.1
Suppose -13*a + 10*a = -81. Suppose -1 + 5 = 2*f. Suppose -3*s + 64 = 4*z, -f*s + z = -0*s - 61. Is a at most s?
True
Let d(c) = 331*c + 996. Let a be d(-3). Which is bigger: 62/17 or a?
62/17
Let q(l) = 3*l + 2 - 53 - 4*l. Let k be q(-29). Suppose -c - 3*n - 6 = 6, -69 = 3*c - 2*n. Which is smaller: c or k?
k
Suppose -47 = -4*m + 3*g, 2*m + 40*g - 41*g - 25 = 0. Is -84 less than m?
True
Let s = -794957/15840 + 7/1440. Which is smaller: s or -50?
s
Suppose -2*f + 1873 = 437. Which is greater: f or 720?
720
Let s = -5 + 5. Let d be 172*(-1 + (-12)/(-8)). Let g = 1033/12 - d. Is g <= s?
False
Let f = 1 + -1. Let i = -7889/34 - -232. Are i and f non-equal?
True
Suppose -22*l + 2*n + 26 = -24*l, 0 = -4*l - 5*n - 50. Let i = 0 - 4. Let m be 13/l - 4/i. Which is bigger: m or 1?
1
Let d(l) = -l + 42. Let z be d(30). Suppose 10 + z = -11*x. Let f be -24*((-44)/(-40) - 1). Do f and x have different values?
True
Let l be ((-4753)/28)/(1/(-4)). Suppose 3*t + 84 = -x - 439, -4*t - 5*x = l. Let r be (-12)/66 - (-34)/t. Which is greater: r or -1/2?
r
Let b(j) = -2*j**2 + 53*j - 127. Let d be b(23). Suppose -9*m = -4*m - 155. Let s = m + 2. Are s and d non-equal?
True
Let i(w) = 421*w - 1502. Let q be i(4). Which is greater: 187 or q?
187
Let a(p) = -27*p**2 - 94*p - 284. Let q be a(-3). Is -251 > q?
False
Let w(c) = c**2 - 8*c + 5. Suppose 0 = -3*z + 11 + 13. Let b be w(z). Suppose -5*p + 10 = 0, p = -b*k - p + 4. Is 0 <= k?
True
Let g(b) = 214*b - 1925. Let y be g(9). Which is smaller: -262 or y?
-262
Let f(a) be the second derivative of a**3 - 10*a**2 + 13*a. Let c be f(6). Suppose 10*o = c*o + 42. Which is smaller: o or -9?
-9
Let j be ((-2)/26)/(-15 + 10 + 16). Is 4/27 smaller than j?
False
Let n = 3363 + -6727/2. Which is smaller: n or -11.7?
-11.7
Let w = -876 + -1565. Is w smaller than -2441?
False
Suppose -i + o = 4, 0 = -2*i - 5*o + 5 - 6. Let d be (3/(24/(-176)))/(i/15). Which is bigger: d or 109?
d
Let c(w) = 32*w**3 - w**2 - 2*w - 1. Let x be c(-1). Let o be 30/(-28)*112/x. Is o bigger than -1?
True
Suppose 3*m - 139 = 194. Suppose 0 = -4*n - 3*y + 16, y + 107 = m. Which is bigger: 3/169 or n?
n
Let p be 34 + 0/5 + (1 - 5 - 1). Let g be 1 + 30 - (4 - 6). Which is bigger: g or p?
g
Suppose -2*j - 228 = j. Suppose -4*o - 354 = 2*d - 34, -401 = 5*o + 3*d. Let n = j - o. Which is smaller: n or 2?
2
Let s = 9.998 - -0.002. Let v = s + 24. Let f = v + -34. Which is smaller: 0.7 or f?
f
Let l be 0/(-3 + 3 + -7 + 5). Is l not equal to -61/97?
True
Let b be 83712/10257 + (-3 - 5) + 6/(-39). Which is smaller: 1 or b?
b
Let h = -458 - -36641/80. Is -9 at least h?
False
Suppose -976*y + 42 = -997*y. Suppose 7 = -5*m - 4*q - 0, 5*q - 22 = 4*m. Let w = -7 - m. Which is bigger: w or y?
y
Suppose -10 = a - 0*a. Let m = a - -87/8. Let k(p) = -3*p**2 - 441*p + 2756. Let d be k(-153). Does d = m?
False
Let l = 988 - 968. Let h be (-868)/l - (-5)/(175/14). Which is smaller: -2 or h?
h
Let m be (-3 + 957/5)*(-50)/(-15). Suppose 0 = -20*z + m + 32. Does z = 28?
False
Suppose -3*t + 1608 = -f, -f + 4229 = 5*t + 1541. Let r = t - 3241/6. Suppose 4*j + 13 + 3 = 0. Which is greater: j or r?
r
Let m(r) be the third derivative of r**4/24 + r**3/2 - 2*r**2 + 4*r. Let z be m(-3). Is z at least as big as -8/55?
True
Let z(u) = 28*u - 136. Let f be z(6). Suppose 51 = p + f. Let d(y) = -y**3 + 4*y**2 + 4*y + 3. Let r be d(4). Does p = r?
True
Let u = 75007 - 74944. Let j(x) = 2*x + 10. Let i be j(-7). Let m(f) = 3*f**2 - 5*f - 4. Let h be m(i). Which is greater: u or h?
h
Let l be 6/27 - (-701)/(-36). Suppose -4*s = -3*p - 53, -73 = -3*p + 7*p - 3*s. Is l less than p?
True
Let j(a) = -a**3 + 17*a**2 - 66*a - 3. Let n be j(10). Which is bigger: n or 33?
n
Suppose -3*g + 42 = 3*y, 60 = 5*g - 5*y - 0*y. Let t be 3/(-4) + g*1/(-4). Let s be (-12)/t - (1 - -4). Which is bigger: -12/19 or s?
-12/19
Suppose -j - 10811 = 6*h + 7374, -5*h - j = 15153. Which is bigger: h or -3031?
-3031
Suppose -26*b - 8 = -6 + 24. Are b and 19/181 non-equal?
True
Let x(y) = y**3 - 3*y**2 - 4*y + 1. Let p be x(4). Let c be 0/5*(0 + p) - 35. Is c bigger than -38?
True
Let o be 15 + (1 - 2330/143). Which is smaller: -1 or o?
-1
Let w = 13955 + -7998. Which is smaller: 5956 or w?
5956
Let s = -34 + 37. Let v be -3 - 13/(-4) - s/2. Let m = v + 5/12. Is 0 >= m?
True
Let u be 1813 - (-5 + (0/2 - 4)). Is u > 1822?
False
Let f = 5.009 + -74.069. Let t = 68.949 - -0.051. Let n = t + f. Does n = -4/3?
False
Let h = -4588/3130173 + 1/603. Let d = 4673/2688938 + h. Which is smaller: 0 or d?
0
Let b(v) = v**3 - 6*v**2 + 2*v + 9. Let d be b(-3). Is -25 greater than d?
True
Suppose 0 = 7*g - 5*g - 22. Suppose 41 = 2*x - 8*o + 3*o, -5*x = o - 35. Let s = x - g. Which is bigger: s or 7?
7
Let w be -1*3 + 4 + 0 + 4. Suppose 8*u - u = -56. Let a be ((-4)/u)/(-1 + (-9)/(-6)). Do w and a have different values?
True
Let j = 1122 - 891. Is j smaller than 1391/6?
True
Let m = -112 + 1094/3. Let t = m - 252. Suppose 0 = 4*p - 4*g + 8, -8 = -3*g + 4. Is p not equal to t?
True
Let x be (10 - -1) + (-2)/1. Let s be (-51)/x - (-4)/18*3. Let t be s - -47*(-11)/(-103). Is t bigger than -1?
True
Let i = -165 + 168. Suppose 4*y = -5*j - 18 + 4, y = -j - i. Which is smaller: -3/101 or y?
y
Suppose 65*n - 67 = -392. Suppose 6*h = 3*h + 21. Let m = 6 - h. Are n and m nonequal?
True
Let s = 963 + -561. Let n be s/9*(-9)/54. Let b = n + 23/3. Which is smaller: b or -8?
-8
Suppose -33*r + 29*r = 440. Let f = 124 + r. Suppose 0 = 3*s + 8 - f. Is 2/3 greater than s?
False
Let d be (-14973)/403 + 37 - (-1758)/26. Is d > 66?
True
Let o(r) = -70*r - 250. Let v be o(-7). Let u be v/(-40) + 189*2. Which is smaller: u or 371?
371
Let h = -94108 + 94180.887. Let p = -0.113 - h. Which is smaller: p or 0.1?
p
Let i be 4476/20385 + 4/(-18). Which is smaller: 1 or i?
i
Let o = -0.58 + 0.818. Let w = -11.262 - o. Is 2 greater than or equal to w?
True
Let w = -75 - -74.954. Which is bigger: -0.76 or w?
w
Let k be ((-2)/(-2))/((5 + -6)/1). Let u = -422/5 + 1940/23. Which is greater: u or k?
u
Let b(q) = q**3 + 22*q**2 + 12. Let c be b(-22). Suppose -9*w = c*w + 4*w. Do w and -1/508 have different values?
True
Let u be (-6160)/260 + 19 - 25. Are u and -30 equal?
False
Suppose 5*c = -4*w + 9, -3*c = -3*w + 81 - 54. Let k = -4 - -9. Suppose -w*r - k = 1. Does -2/63 = r?
False
Let z be 8/(-52) + ((-3720)/(-182) - (-392)/(-1372)). Is z at most as big as -489?
False
Let g be (-8)/18 + 242/99. Which is greater: -6/251 or g?
g
Let u(v) = -141*v - 1093. Let j be u(-8). Which is greater: 36 or j?
36
Let b = 1188 - 22556/19. Suppose 8*u + 30*u = 7*u. Is b smaller than u?
False
Let o = -2741 + 1905. Let k = 870 + o. Which is smaller: -1 or k?
-1
Let v = 0.62 + -18.52. Let j = v + 17.9. Which is greater: j or -2/5?
j
Let j be ((-16)/12)/((-1507)/33). Which is bigger: j or -7?
j
Let j = 39.52 - 38.82. Is j smaller than -222/11?
False
Let a = -1532 - -1516. Let k be ((-24)/6)/((4/(-2))/(-12)). Which is smaller: k or a?
k
Let l = 107.983 + -108. Let n = -35.017 - l. Suppose 4*o + 1 = -3. Which is greater: o or n?
o
Let c = -60.87 - -61. Let d = c + -0.23. Let u = 3 - -3. Which is smaller: u or d?
d
Let m = 1617 - -1730. Is 3350 at least as big as m?
True
Suppose d - 2*v = -2829, 20*v = d + 17*v + 2834. Which is smaller: d or -2817?
d
Let a = 2032719/2486 + 1/7458. Let s = -464931551771/393 - -1183032756. Let y = s - a. Is -1 not equal t