3 - 61 = 0. Let v be (6/8)/((-6)/a) - -16. Is 15 at least as big as v?
False
Suppose -14 = -5*m - 5*w - 4, 0 = 5*m + 2*w + 62 - 15. Let i be 1 + 1 + -2 + 2. Let g be -1*i - (0 - -9). Which is smaller: g or m?
m
Let q be (8/(-4))/((-1)/(-10)). Let d = q - -29. Suppose -3*p = 3*o + 15, 4*p - 3 + d = 3*o. Is -2.4 greater than o?
False
Let c = 1501 + -1497. Which is greater: c or -1068?
c
Let c = 1321 + -1332.43. Let l = c + -0.67. Let a = l + 11. Is -2/3 less than or equal to a?
False
Suppose -2 = m - i, m - 7 = 6*m - 4*i. Let n be m/(-3) - (-38)/(-30). Let f = 50 + -51. Is n greater than f?
False
Let n = -1/25936 - 232823/15587536. Which is greater: -1 or n?
n
Let a = 33147 - 33146. Is -7277 >= a?
False
Let u = -8520 + 8519. Let j = 0.7 - 0.8. Is j != u?
True
Let q(l) = l - 100 + 120 - 2*l**2 + 3*l**2 + 9*l. Let b be q(-7). Which is bigger: -1/32 or b?
-1/32
Let d(w) = -2*w + 33. Let x(j) = -j + 15. Let r(f) = 6*d(f) - 13*x(f). Let g be r(-2). Is g < -2/83?
False
Let d = 21 - -105. Let l = d + -505/4. Let k = 18 - 47. Which is smaller: l or k?
k
Let l = 1544 - 5508. Is -3965 <= l?
True
Let d = -2605 + 2470. Which is bigger: -128 or d?
-128
Suppose -5*q - 12 = -i, 2 = q + 6*i - 4*i. Let c be ((-34)/(-119))/(-19*q/7). Which is bigger: -1 or c?
c
Let x = 9402 + -9403.3705. Which is bigger: x or -2/5?
-2/5
Let r = 3724 - 3596. Which is greater: r or 73?
r
Let m = 40426/24916535 + -12/8035. Is -1 > m?
False
Let w = -6.4 - -7. Suppose -5*k + u + 3*u + 25 = 0, 0 = 4*k - 5*u - 11. Suppose -28 = k*m - 16*m. Is m at least w?
True
Let a = 193 - 129. Suppose -x + 5*q = -70, -86*x + 128 = -84*x + 2*q. Which is greater: x or a?
x
Suppose 15 = 5*l - 4*y - 17, -5*l + 5 = 5*y. Suppose v = 15 - l. Suppose m - v*m = -10. Which is smaller: m or 10/17?
10/17
Let u(k) be the first derivative of 8*k**2 - 572*k - 227. Let j be u(36). Let g be 2*(-4)/30*-6. Is g <= j?
True
Let q(f) = f**2 + f. Let a be q(0). Let z = 1556 + -31129/20. Do z and a have different values?
True
Suppose 29 = -5*h + 69. Let k(p) = -p**3 + 8*p**2 + 2*p - 8. Let b be k(h). Let z(v) = 3*v - 25. Let d be z(b). Is d equal to -2/3?
False
Let f = 847 + -857. Let r = 8 - 12. Let j(y) = y**3 + 3*y**2 + 5. Let z be j(r). Which is smaller: z or f?
z
Let n = 159345731/1771 + -89975. Which is smaller: n or 1?
n
Suppose w + 4*u = -102, -3*u - 442 = 2*w + 3*w. Which is bigger: -82 or w?
-82
Suppose -24*c + 23 = 9 + 38. Is c > -32/115?
False
Let g = -89 + 218. Let k be 28/(-42)*(-18)/(-3) - -127. Let o = g - k. Is -1 at most o?
True
Let n(r) = r**3 - 6*r**2 + 5*r - 24. Let o be n(6). Let d be (8/90)/(o/(-9)). Let f = 56 - 55. Is f smaller than d?
False
Let z(a) be the first derivative of 7*a**6/60 - a**3/6 - 9*a**2/2 - 13. Let t(g) be the second derivative of z(g). Let s be t(-1). Which is bigger: s or 2/3?
2/3
Suppose -19 = -5*m - x, 11*m + 2*x + 14 = 14*m. Suppose 5*n - 64 = 3*n - 3*a, -m*n + 3*a + 110 = 0. Suppose 6*z - 90 = 3*z. Which is smaller: n or z?
n
Let p = 2/5149 + 9784/1323293. Is -32 >= p?
False
Let p(g) = 6*g - 27. Let j be p(27). Let l = -105 - -240. Is l not equal to j?
False
Let r = -18.87 + 22.4. Let k = 3.13 - r. Which is smaller: k or 2/11?
k
Suppose -4*f - 8 = -12. Suppose s - 47 = 5*r + 57, s = -f. Which is smaller: -43/2 or r?
-43/2
Let c be 1/(-5)*312 - 32/(-80). Let g be (8/16 + 2)*c. Which is smaller: g or -156?
-156
Let k = 1543 - 1542.9. Which is bigger: k or -48/23?
k
Suppose 449*o = 454*o - 345. Let k = o - 71. Which is smaller: k or -4?
-4
Suppose 0 = -39*a + 175 + 176. Let k(x) = -x**3 + 7*x**2 + 16*x + 18. Let o be k(a). Let y be 2*(-2)/(-9) - 0. Is o equal to y?
False
Let z(a) = -6*a + 101. Let y be z(17). Let k be (y + 1)/((80/8)/(-5)). Which is bigger: 1/154 or k?
1/154
Let v = 70 - 16. Let j = 17842 - 17790. Is v bigger than j?
True
Suppose -14*w + 24 = -88. Suppose 4*m - 3*i = -0*i + w, 4*i = -5*m - 21. Are -34 and m equal?
False
Let w = -203 + 212. Let v be (-195)/(-30) + w/6. Is v smaller than 41/6?
False
Suppose -85*i - 101*i = 71748 + 14928. Is -472 at least as big as i?
False
Let p = 5/4 + -1. Let m = 107.8 + 341.2. Let z = 438 - m. Which is greater: p or z?
p
Let f be ((-20)/4)/15 + (-13)/(-3). Let q = -8 + f. Let r be -4 - -8 - (8 + q). Which is bigger: r or -2/17?
r
Let t be 63 - 347 - (0 + -10). Is -274 less than t?
False
Let g(a) = -a**3 + 408*a + 77. Let p be g(21). Which is smaller: p or -617?
-617
Let v(t) = -6668*t**3 + 3*t**2 - 7*t + 5. Let x be v(1). Which is bigger: -6668 or x?
x
Let k(f) = -f**2 - 18*f + 7. Let o be k(-20). Let s(w) = -2*w - 137. Let d be s(o). Suppose -3*z - 79 - 137 = 0. Which is bigger: d or z?
d
Suppose -20*h - 22*h + 13195 = -7*h. Which is smaller: h or 375?
375
Let w be (-147)/(-49) + (-1147)/388. Let b = -205/57812 + w. Do b and 1 have the same value?
False
Suppose 24 = 4*q - 4*o, -18 = -3*q - 6*o + 7*o. Let z be q + 351/(-3) + -4. Which is smaller: z or -114?
z
Let f be -11*(-6 + (-390)/(-66)). Is 0.1418 at least as big as f?
False
Let v = -409/37 - -83921/7622. Which is smaller: v or -0.1?
-0.1
Suppose -25*m - 21*m = -17388. Let j be ((-56)/m)/(8/(-12)). Which is smaller: j or -0.06?
-0.06
Let g = 1190 - 1189. Which is bigger: g or -10/349?
g
Let n = 326 - 140. Let u = n + -92. Let z = -91 + u. Is z greater than or equal to -20/3?
True
Let q = 29259614/1119 - 26148. Let v = q + 1861/2238. Is v bigger than -12?
True
Let u(z) = -294*z + 11754. Let o be u(75). Which is greater: o or -10295?
-10295
Let i be 4/14 + (51083/(-161) - 10). Do i and 2/7 have the same value?
False
Let g = -2468 + 2121. Which is smaller: -2438/7 or g?
-2438/7
Let d = 21061426/45235 - 2/9047. Does 466 = d?
False
Suppose -5*t + c = -131, -3*c = 7*t - 2*t - 147. Suppose t*y - 25*y - 2*a - 4 = 0, 0 = a + 4. Is y less than or equal to -23/24?
True
Let l = -31/6 + -16/3. Suppose b + 4*b + 180 = 0. Let v = b - -24. Which is smaller: v or l?
v
Let v = 1521105/79 - 19255. Which is bigger: v or -1?
v
Let c = 15 - -7. Suppose 0 = -3*f - 5*g + 83, 52*f - 56*f + 88 = g. Is f > c?
False
Let t = -7201 - -7186. Which is smaller: t or -1?
t
Suppose 3*n - 2*u - 992 = -387, -3*n = 3*u - 615. Which is greater: 225 or n?
225
Let n(v) = -43*v**2 + 31*v - 314. Let b be n(9). Which is greater: b or -3517?
-3517
Let y be 226/3 - 0 - (-12)/(-4). Let v = y + -72. Is v less than 0.134?
False
Let h = -4823 + 3844. Which is bigger: h or -974?
-974
Let k(u) = u**2 - 12*u - 15. Let c be k(14). Suppose c*h + 4080 = -17*h. Which is greater: h or -137?
h
Let q be 12289/((-2048)/(-3 + 2)) - 6. Is 0 bigger than q?
False
Let t = 96.33 - 1.33. Let r = t + -92. Let k = 819 + -4925/6. Which is greater: r or k?
r
Suppose 50*t - 225 - 499 = -24. Is t equal to -79?
False
Let x = -11335 + 10301. Which is smaller: -1033 or x?
x
Let z(q) = -3*q - 3. Let i be z(0). Let d be (-2)/i - 1 - 215/(-15). Let u be 3/((-3)/(-3)) - d. Which is smaller: -12 or u?
-12
Let m(o) = -o - 1. Let f be m(-7). Suppose 46 + f = 4*y. Which is smaller: 12 or y?
12
Let s = -384 - -1966. Which is greater: 1583 or s?
1583
Let j = -19010245/844 + 22524. Is j greater than 0?
True
Let f(u) = 4 - 1 - 5*u - 32*u**2 + 33*u**2 - 2*u**3 + 3*u**3. Let b be f(-4). Let x = 39 + b. Which is smaller: x or 13?
13
Suppose 1395*s - 1402*s = 490. Is -57 less than or equal to s?
False
Let w = 178 + -171. Let q(v) = -2*v**2 + 23*v - 25. Let u(o) = o**2 - 12*o + 12. Let l(k) = -3*q(k) - 5*u(k). Let x be l(w). Are x and -3/7 unequal?
True
Let x = 16 + -23.5. Let g = 6.5 + x. Let d = g + 10. Which is smaller: d or 1?
1
Let y be 32/28 - (-170)/(-238). Which is bigger: -298/7 or y?
y
Let x = 4 + -4.02. Let t = -314.88 - -315. Let k = t - x. Which is greater: k or -2/7?
k
Let p = -278/9 - -1829/63. Is p < -1?
True
Let q(p) = -p + 23. Let k be q(30). Let g be k/(14/(-4)) - 9*2. Suppose 5*w = -2*r - 10, -5*r - 4*w - 46 = 13. Which is bigger: r or g?
r
Suppose 6175*w - 6179*w = 140. Which is smaller: w or -37?
-37
Suppose -4*p = 4*t - 0*t + 12, 3*p - 4*t - 19 = 0. Let c be 2/p + (-172)/(-7). Which is greater: c or 26?
c
Let a = 2008295/11631 - 3/3877. Suppose 1468 = -1257*r + 1244*r - 820. Let f = a + r. Which is bigger: f or -3?
-3
Let x be ((-22)/6 + 3)*1*-1239. Let s = x - 680. Which is greater: 148 or s?
148
Let a be ((-24)/(-120)*15)/((-6)/1304). 