-9.03 + 1.42. Let a = 0.39 - z. Let h = -7 + a. Which is greater: -38 or h?
h
Let m be -285*((-4)/6)/1. Let s(i) = -i**3 + 20*i**2 - 25*i - 7. Let d be s(18). Are d and m equal?
False
Suppose 45*c - 48*c + 441 = 0. Suppose -106*u = -103*u + c. Let k = u - -38. Is k at least as big as -16?
True
Let p = 10940/7 - 1560. Let d(f) = 3*f - 9. Let b be d(4). Suppose 14*t - 15*t = -b. Does t = p?
False
Let y = -120 + 120. Suppose 0 = 4*r - 3*a + 16, 8 = -4*r + a - y*a. Let i be (2/(-9))/(92/6). Do r and i have the same value?
False
Let c = 93 + -1. Let h be -14*((-936)/(-16))/(-9). Which is smaller: c or h?
h
Suppose -3*g + 5 + 1 = 0. Suppose 5*t = o - 6*o - 2115, 0 = -4*t + 12. Let x be 7/3 - 71/o. Is x smaller than g?
False
Let n = -22883 + 12979. Is n greater than or equal to 0.1?
False
Let z = -54 + 90. Suppose 28 = -m - 2*q, -m - z = m - q. Let v(l) = l**3 - l**2 + 1. Let r be v(0). Is m at least as big as r?
False
Let v = -22539 + 22539.1. Which is smaller: v or -11135?
-11135
Suppose -77*y = -74*y. Let v = y - -68. Let c = v + -47. Which is greater: 19 or c?
c
Let f = 3057 + -3086. Is f smaller than -1/3?
True
Suppose 14*g - 186 = 38. Suppose 162 = 7*n - g*n. Which is bigger: -4 or n?
-4
Let o be (-12)/(-45)*(-10)/6. Let v = 115 + -115.006. Let y = 1.006 + v. Is y at least as big as o?
True
Let i(h) = h + 3. Let y be i(-3). Let s(j) = -3*j + 49. Let t be s(-12). Let o = t - 85. Is o greater than y?
False
Let j be ((-54)/243)/((-6)/(-1242)). Which is bigger: -11 or j?
-11
Let y = -7639.7037 + 7640. Which is smaller: -5 or y?
-5
Let r be (-8)/((-160)/35)*(-2)/28*4. Is r < 1/120?
True
Suppose 3*j + 3*x = -378, -8*x = -5*j - 10*x - 645. Which is smaller: -121 or j?
j
Suppose -285*v = -333*v + 2112. Is 7 > v?
False
Let n = 18 + -56. Let d = n - 27. Is -66 less than or equal to d?
True
Suppose 130780 = 2*x - 4*x - 18*x. Does x = -6541?
False
Let r be -3 - -1 - -2 - (-565)/25. Which is smaller: -4 or r?
-4
Let d = -5730 - -5952. Which is smaller: d or -2/7?
-2/7
Let z be (88/462)/((-3)/308) + 4. Let c = z + 4769/306. Let r = -4 - -4. Is c less than or equal to r?
False
Let m = 1014 + -3883/4. Let b = m + -415/12. Which is greater: b or 9?
9
Let p be ((-446)/(-4) - 4)*(-128)/280. Which is greater: p or -49?
-49
Let u(d) be the first derivative of 3*d**2/2 + 13*d - 24. Let i be u(-8). Let n(w) = w**3 + 6*w**2 + 7*w. Let z be n(-5). Do i and z have the same value?
False
Let m = 5434 + -5440. Which is greater: m or -3?
-3
Let h(v) = -v**3 - 6*v**2 + 9*v + 16. Let z be (-154)/21 - (2 - 21/9). Let w be h(z). Let k be 2 - 36/21 - (-16)/14. Which is greater: k or w?
w
Suppose 62 - 43 = -n - 3*z, -4*n - 1 = -3*z. Which is bigger: n or -151/30?
n
Let l = 210.4 - 209.483. Let p = l + -2.917. Which is smaller: p or -1/73?
p
Let n = 10.8 + -57.8. Let j = n + 91. Let h = 64 - j. Are h and -1 non-equal?
True
Let n = 2689 + -2688. Is n at least as big as 2/22415?
True
Suppose -3*y + 7*y = 2*o - 102, -4*y - 143 = -3*o. Let c = 49 - o. Let n(a) = -a**2 + 9. Let h be n(0). Is h at most as big as c?
False
Suppose -20*t = -6*t - 42. Suppose 4 = t*p - s, -3*s = p - 6 - 2. Let x = 4637/10 - 463. Is x at least as big as p?
False
Let w = -31980 + 31981. Which is smaller: 8/2267 or w?
8/2267
Let n be (23/46)/(1/8*4). Is 4/9217 at least n?
False
Suppose -4*o + w - 5 = 0, -5*w + 9 = -0*o - 4*o. Let p be 1*(-8)/10*60/(-8). Let v be 2/11 + p/(-16038)*-9. Which is greater: v or o?
v
Let i(y) = -y**3 + 101*y**2 + 106*y - 407. Let a be i(102). Do a and -8/301 have different values?
True
Let v = 1187 - 1081.8. Let y = v + -98. Let o = y + -7. Which is smaller: 8 or o?
o
Suppose -2209*x + 2967*x = 0. Let f be (-6)/(-9)*(-78)/(-44). Is x at least as big as f?
False
Suppose 2*j = 3*j + 2*i + 216, -186 = j - 4*i. Let k = -3/62350 + -12544817/62350. Let x = k - j. Is x bigger than 4?
True
Let z = -20105 + 145437/7. Let g = 670 - z. Let v = -8730 + 8727. Does v = g?
False
Let g = -49.74 - -45.74. Let m = 2.85 - 0.05. Which is bigger: g or m?
m
Let h(x) = -x**3 + 9*x**2 - 3*x + 9. Let b be h(6). Let a = -69 + b. Suppose -3*t - a + 33 = 0. Is t less than 7?
True
Let k = -1586 + 1128. Let n = k - -486.6. Which is smaller: 1/2 or n?
1/2
Let v(g) = -g - 11. Let z be v(-11). Suppose -2*c = -3*n + 3*c - 22, z = 2*c - 10. Suppose -8 = 3*y - 2, 2*f = -5*y - 4. Which is smaller: f or n?
n
Let r = 2177 + -2233. Is -67 >= r?
False
Let o be ((-13290)/(-2))/((-4005)/(-2403)). Which is bigger: o or 3988?
3988
Let c(q) = -13*q - 31. Let r be c(-2). Let a be r/30*-3*-40. Do 1 and a have the same value?
False
Suppose -188*t - 60275 = -110*t + 26149. Is t at least -1112?
True
Let k be ((-98056)/(-2380))/((-4)/23). Is -238 less than k?
True
Let g = 15420 + -16350. Which is greater: -938 or g?
g
Let i = 169.9 - 13.9. Let o = i - 155.99. Which is smaller: o or 18?
o
Let c = -2792 + 2790.8. Suppose 13 = -4*t - 0*t - 5*q, 5*t + 8 = 2*q. Which is smaller: c or t?
t
Let o = -4356 + 4355. Let b = -71 - -68.91. Which is smaller: o or b?
b
Let z = -8079 + 105028/13. Let q = 0 - 0.5. Let p = q + 0.3. Which is smaller: p or z?
p
Let l(w) = w**3 - 9*w**2 - 13*w - 12. Let m(d) = d**2 - d. Let k(a) = l(a) - 2*m(a). Let t be k(12). Which is smaller: 1/14 or t?
t
Suppose -57*h = -1130 - 4969. Which is smaller: 130 or h?
h
Suppose 2*h - 5*h = 18. Let p be 10/8 - h/8. Suppose 5*o - p*x - 46 = x, 4*o - 5*x - 42 = 0. Which is smaller: o or 7?
7
Let v = 31 + -96. Let l = -65 - v. Which is smaller: l or -2/101?
-2/101
Suppose 3*r + 7 = -14. Suppose -37 = -5*k + m + 17, -k + 2*m + 18 = 0. Let g be ((-4)/k)/((-6)/180*-2). Is g < r?
False
Let u = 1.7 + -0.26. Let f = u + -1.02. Is 1 at most as big as f?
False
Suppose 5*i + 78 = 2*c + 47, 2*c - 2*i - 16 = 0. Suppose 2*w = -5*l + 85, 5*l = 4*l + 4*w - 5. Let g be 10/l*c/(-7). Which is bigger: g or -1?
g
Suppose 3*g - 99 = x, 3*g + 62*x = 64*x + 102. Which is bigger: g or -45?
g
Let t be (5/(-3))/((-19)/(-57)). Let q(m) = 18*m**2 + 2*m - 8. Let d be q(t). Let n be 1/(-2) - (-248)/d. Is n smaller than 1?
True
Let v = -4057 - -12184/3. Which is bigger: v or -356?
v
Let d = 6.88662 + -0.18662. Is d at least 57?
False
Let o(w) = 5*w**2 - 29*w + 74. Let f be o(3). Which is smaller: 60 or f?
f
Let s be 7*(-5 - -2)/(-3). Let t(c) = -7*c**2 + 16*c - 18. Let x(w) = 8*w**2 - 17*w + 19. Let l(b) = s*t(b) + 6*x(b). Let i be l(9). Which is smaller: i or 2?
i
Let f be 45/60*(66/(-18) - -1). Is -43/57 smaller than f?
False
Let l = 65/17 - 2309/595. Suppose z - 11 = -5*w - 19, -4*w = 3*z - 31. Suppose z*h = -0*h - 17. Which is greater: h or l?
l
Let y = 2112 + -2116. Which is bigger: y or 135?
135
Let a be (5 + (-20)/8)*8/10. Suppose -11 = -a*c - g, 4*g = -c + g + 18. Suppose -69 = c*x + 9. Is -26 at most as big as x?
True
Let t = -34325 - -30045. Is t at most as big as -4277?
True
Let a be -3 + (1*(-3 + 5) - -1). Suppose 3*t - t - 4*n - 116 = 0, 5*n + 5 = a. Which is bigger: t or 54?
t
Let f = 0.1 + -0.1. Let z = 0 - f. Let k = 110741 - 110740.57. Are z and k nonequal?
True
Let d = -429 - -423. Is d less than -97?
False
Let f = -56.006 + 0.006. Let u = -58 - f. Let t = -31/6 + 415/78. Which is smaller: u or t?
u
Let y = 75 + -67. Suppose -y = -19*d + 11*d. Which is greater: 24/47 or d?
d
Let i be ((-75)/(-20))/((0 + -1)/4). Let d(q) = -q**2 - 16*q - 22. Let c be d(i). Is c at least as big as 9?
False
Let k be ((-348)/(-1769))/(4/(-40)). Which is smaller: -1 or k?
k
Let j = -106.7 - -100.7. Let h = -6.2 - j. Let q = 0.13 - -4.87. Is h less than q?
True
Suppose -3*p + w = 398, 0 = -5*p + 39*w - 34*w - 680. Let t = p + 446. Are t and 316 equal?
False
Let p(n) = -83*n - 22. Let i be p(-4). Suppose 3*q + 3*u - 2*u = i, 2*q - 2*u = 212. Is 106 at most as big as q?
False
Let h = 12862 + -12138. Is 725 != h?
True
Let m = 124 + -125. Let c(v) = 500*v**2 - 2*v + 2. Let o be c(m). Let x be (-1)/7 - ((-646)/o + 1). Which is greater: x or 1?
1
Suppose -8194 = -183*v + 25844. Which is smaller: v or 215?
v
Suppose 2*r + 4*s - 30 = 0, -2*s = -2*r + r + 23. Let w = -15 + r. Suppose 3*p + 2 + w = 0. Is p smaller than -8/3?
False
Suppose -9*g + 2890 = g. Let a = -274 + g. Which is smaller: 10 or a?
10
Let s = 4593 + -4633. Which is smaller: -619/15 or s?
-619/15
Suppose 8*d + 45 = 3*d. Let t(p) = -5*p**2 - 701*p - 1