e (-87)/(-9) - (-12)/(-18). Let d = o + -12. Let a be -4*(-3)/48 - (-300)/(-112). Which is greater: a or d?
a
Let i be -8 - -12 - 822*-1. Let j = i + 309. Suppose 0 = -15*l + 25 - j. Which is bigger: l or -73?
-73
Let i(m) = m**2 - 27*m + 183. Let y be i(14). Are 9/2098 and y equal?
False
Let l(v) = 20 - 111*v + 15 - 9 + 97*v. Let n be l(-16). Is 250 >= n?
True
Let v = -20.2 + 19.21. Let c = v - -1.19. Is 0.033 greater than c?
False
Let g = -249 - -190. Let y = 72 + g. Let x = 0.2 + -0.2. Are y and x non-equal?
True
Let s = -2513 - -2513. Let p(v) = -v - 5. Let h be p(-5). Suppose h = -3*z - 2*z + 10. Is z greater than or equal to s?
True
Let u be (13 + -14 + 22)*(-5)/215. Are -2/3 and u non-equal?
True
Suppose 0 = x - 3 - 0. Suppose -5*t + 4*w = 4443, 0 = 3*t + x*w + 2*w + 2688. Let l be (12/t)/(-2*(-3)/(-9)). Which is bigger: l or 1?
1
Suppose 4*o + 0*o - 14 = 2*b, 3*o = -3. Let m be b/2*322/21. Are m and -69 equal?
True
Let k be (-10)/2*6/(-15). Suppose a + l - 7 = 0, l = 2*a + a - 13. Suppose a*j = 4*w + 7, -3*j - 2*j = -2*w - 1. Which is bigger: j or k?
k
Let u = -195/28 - -7549/1092. Let s(q) = -q - 5. Let a be s(-6). Let r(n) = 2*n**3 - n. Let h be r(a). Which is bigger: h or u?
h
Let l be 3 + (0 - -581)*22/154. Which is smaller: 98 or l?
l
Let w(r) = -r**2 + 16*r - 10. Let l be w(11). Let v = 49 - l. Let t be ((-1)/6)/((12/(-117))/v). Which is smaller: t or 6?
6
Let p = -83 - -83. Suppose 19*s - 349 + 1603 = p. Are s and -64 unequal?
True
Let i be ((-10)/24)/(-5)*147/245. Let u(r) = -r**2 + 7*r + 4. Let s be u(7). Let z be (0/((-16)/s))/2. Which is smaller: z or i?
z
Let q = -7/3098 - -703323/34078. Let l(b) = 2*b - 42. Let a be l(11). Let s = a + q. Is 2 greater than or equal to s?
True
Let d = -160 - -816. Does d = 3278/5?
False
Let r = 8241.314 + -8241. Is 5 < r?
False
Let w be (-8 - (-756)/90)*(20/(-8) + 2). Is 270.4 equal to w?
False
Let r(t) = -10*t + 3*t - 6*t**3 + 7*t**3 - 2*t**3 - 10*t**2 - 1. Let v be r(-9). Let j = v + 38. Which is smaller: 20 or j?
j
Let v = 6 + -12. Let d = v - 8. Let b be 11/35 + (-4)/d. Is 0 at least as big as b?
False
Let j be -2*1/19 + -84*(-371)/(-163134). Let p = 2 + -2. Suppose -4*b = 2*n - 2, p = -b - 3*n - 0 + 8. Which is smaller: j or b?
b
Let s = 0.15405 + 718.74595. Let l = 660 - s. Let q = l + 59. Which is smaller: q or 3/7?
q
Let j = -698449.13 - -698449. Let c(s) = -s**3 - 5*s**2 - 7*s + 7. Let w be c(-6). Let u = 257/3 - w. Which is smaller: u or j?
j
Let n be 5/(-7932)*11714/(-115). Let y = 2/1983 + n. Let w = 0.21346 - -0.78654. Is y > w?
False
Suppose -5*j - 2*v = 15, 4*j + 2 = 3*v + 13. Which is smaller: -18 or j?
-18
Let l(m) = -m**3 + 6*m**2 + 33*m - 138. Let t be l(8). Which is smaller: -624/43 or t?
-624/43
Let g(d) = 9*d**2 + 3*d + 1. Let q be g(-1). Suppose -o - 4*n - 30 = 0, 0 = o + o - 2*n + 30. Let f be o/(-30)*q/3. Which is bigger: 2 or f?
2
Suppose 399 = -2*x + 3*a, 3*x = 2*x - 3*a - 195. Let b = -106 - x. Which is smaller: b or 93?
b
Let j be ((-4)/(-6))/(11/(616/(-340))). Which is smaller: j or 1?
j
Suppose -q = -3*q - 4, 0 = -3*y + 3*q + 156. Let d be (-68)/(-17) + (-199)/y. Suppose 2*k - 1 - 1 = 0. Which is smaller: k or d?
d
Let j = -1161.1 - -1103. Let u = j + 58. Which is smaller: -89/8 or u?
-89/8
Let p(g) = g**3 - 5*g - 1. Suppose 151 + 460 = 13*m. Let u = m + -47. Let n be p(u). Is n smaller than -2/319?
True
Let h be (14 + 1 - (-24)/6)/(39/2301). Is 1121 at least as big as h?
True
Suppose 2*s + 2*s = 8. Suppose -42 = 2*v - 4*v - q, -v + s*q = -21. Let p be 9/(-19)*7/v. Does p = 1?
False
Let s(i) = i**2 - 8*i + 1. Let t be s(-8). Let w be (t/(-3))/((20/2)/(-1)). Let f = w + -29/5. Is f greater than -1?
False
Let o = -13958 + 13907. Is o != -827/16?
True
Let x be 68/(-238) - (-3910)/(-1407) - -3. Which is smaller: -1 or x?
-1
Let r = 19/2360 - 356657/43714280. Which is greater: 1 or r?
1
Suppose -16 = -2*o - 6*o. Suppose -9*g + 12 = -6*g. Suppose g*q - 10 = -2*a + 5*q, 4*a + 2*q = 36. Which is greater: a or o?
a
Let d = -1859426/55 - -164936/5. Let c = 820 + d. Suppose -x + 4*k - 8 = 2*k, 2*x + 4*k = 8. Are x and c unequal?
True
Let r = 159 - 323. Let g be r/205 - (-2391)/2995. Which is greater: 0 or g?
0
Let k = 781 + -780. Which is smaller: k or 1/3204?
1/3204
Let b(g) = -g**3 - 35*g**2 - 34*g + 77. Let s be b(-34). Suppose 0 = 7*z + s + 224. Which is smaller: -42 or z?
z
Let j(q) = -2*q + 3. Let i be j(2). Let n be 158118/168 + (-8)/(-32). Let t = 941 - n. Which is greater: i or t?
t
Let b be (1/(-2))/((-5)/(-10)). Suppose 24*j - 396 = -9*j. Is b greater than or equal to j?
False
Let w = -1096 + 1328.3. Which is bigger: w or -1?
w
Let q(x) = -5*x + 2. Let t(m) = m**3 - 2*m**2 + 2. Let s be t(2). Let l be q(s). Let i be (-33)/(-13)*-4 + (-26)/(-169). Is i > l?
False
Let d = 220636 - 220706. Suppose 0 = -m - 82 + 11. Which is smaller: d or m?
m
Let n = -2 - -1. Let p = 0.0191 - -56.9809. Let j = p + -59. Which is bigger: j or n?
n
Let j = 5155 + -7102. Which is smaller: -1948 or j?
-1948
Let b be (-2 + 3)/(4/(-8)). Let w be (-4 + (2 - -3))/((-1)/b). Let n be w*(2/(-14) + 0). Which is smaller: 0.06 or n?
n
Let p be (2 - 365/(-4))*32/8. Let r = -374 + p. Are 2/91 and r non-equal?
True
Suppose 5*c + 11 = -6*c. Let x be 201/30 - 5 - (c + 0). Let j = -23/10 + x. Is 0.1 less than j?
True
Let s = -96 - -80. Let w be (835/2270)/((-26)/s). Let m = w - -1/227. Which is bigger: 0 or m?
m
Suppose 351*b + 381*b - 8992 = 764*b. Is -309 >= b?
False
Let p(w) = w**2 + 47*w - 708. Let t be p(12). Is 3/1639 at least t?
True
Let c(f) = f**2 + 6*f - 34. Suppose -x + 120 = -13*x. Let a be c(x). Is 16/3 at least a?
False
Let v(c) = 68 - 118 - c + 97. Let n be v(5). Which is bigger: 286/7 or n?
n
Let m = 775 - 775. Which is smaller: m or -122/159?
-122/159
Let x(m) = -60*m + 1320. Let l be x(22). Is l smaller than 244?
True
Let c = -1.7 + 1.68. Suppose 0 = -7*f - 5*z + 175, -f + 25 = -5*z + 9*z. Which is smaller: c or f?
c
Let m = 34 + -30. Suppose 0 = c - n - 34, c + m*n - 38 = 1. Suppose -7 + c = -2*f. Which is smaller: f or -11?
f
Let b = -83 + 83.54. Let m = -1.46 - b. Which is smaller: m or 1/61?
m
Let v(y) = 32*y + 67. Let r be v(-2). Suppose 2*p - 18*f - 100 = -21*f, r*p + 2*f - 145 = 0. Which is greater: -2 or p?
p
Let t = -42 + 25. Let i(u) = 5*u + 3. Let h be i(4). Let c = t + h. Which is smaller: 5 or c?
5
Let t(c) = -c**2 + 6*c + 13. Let j be (115/20*-2)/(1/(-2)). Let a be t(j). Is a at most as big as -378?
True
Let c = -0.00724 - -0.00724. Let v(g) = -27*g**3 - 4*g**2 - g - 4. Let j be v(-4). Let r = -11672/7 + j. Which is smaller: r or c?
r
Let s(h) = 4*h + 107. Let w be s(-25). Suppose 3*c = -3*d + 4*d + 10, -5*d = 4*c - w. Is d equal to 8/19?
False
Suppose -4*h + g = 12, -5*g = -2*h - 2*g + 4. Let d(w) = -3*w + 13. Let y be d(h). Let i = -19 + y. Which is smaller: i or 5?
5
Let w = -244240161/2287 - -106795. Which is smaller: w or -1?
-1
Suppose -3*i + 10*x = 9*x + 10, -5*x = -i - 8. Let p be (i/21)/(15/(-1500)). Do 14 and p have the same value?
False
Let x = -9 - 76. Let n = 0.18 + -2.18. Which is smaller: x or n?
x
Let l = 225754252/507085 - 2/101417. Which is greater: 446 or l?
446
Suppose -3*a + 4472 = 4484. Which is bigger: 14 or a?
14
Let t = -0.05311 + 1.05311. Let f = 86.4 - 133.7. Let b = -5.3 - f. Is t at least as big as b?
False
Let q(y) = -474*y - 4741. Let c be q(-10). Is c greater than or equal to -2/5117?
False
Let z = -146507289/215 - -3436053/5. Let c = -5781 + z. Let s = -2/129 + c. Which is smaller: s or 19?
s
Suppose 0 = 3*v + 157 - 22. Let t be 3*(-5)/v + (-56)/6. Is t at least -13?
True
Let u = -1.4 - -1.518. Let f = -0.307 + u. Let b = 0.011 - f. Is b greater than or equal to 3/5?
False
Let i(o) = -o. Let d(w) = 8*w - 47. Let r(p) = d(p) + 3*i(p). Let a be r(9). Which is greater: -19 or a?
a
Let o = 22947 - 19165. Are o and 1 non-equal?
True
Suppose 0 = -3*g - 87 + 3. Let p = -104 + 206. Suppose -2*i + 3*c = i + p, 5*c = 3*i + 112. Which is greater: i or g?
g
Suppose -u - 405 = 5*k - 1228, -3*k + 3*u = -501. Suppose 4*l = 9*l + k. Are 1/3 and l equal?
False
Suppose 3*h + 27 - 18 = 3*x, 0 = 3*h - 4*x + 15. Which is bigger: -1.516 or h?
h
Let w = -237 + 238.41. Let i = w - -0.13. Is i <= 0.1?
False
Let v(y) = -75*y - 53. Let h be v(-2). Suppose -5*