a be 11/33*(-9)/(-3). Let w be 6/(-15) + (-97)/(-45). Let k = w - 14/9. Which is greater: k or a?
a
Let v(y) = 5*y**2 - 209*y + 53. Let f be v(41). Which is bigger: -109 or f?
-109
Suppose 61 - 21 = 4*r. Let p = -3 + 7. Let y be (-12)/p + 32/r. Is 1 smaller than y?
False
Let l be (3 + -27 - -2) + 3. Let t = l + 18. Let a be 2/41 - 0 - 0. Is t less than or equal to a?
True
Let y = 44.6 - 6.6. Let f = y + -38.4. Does f = -3?
False
Let p = 67 + -47. Let w be 12/p + (-26)/10. Suppose -4*s - 7 = 1. Is w at most s?
True
Suppose -6*k = k. Let d be (2/3)/(5/3). Are d and k nonequal?
True
Let z be 4/6 - 16/(-3). Let t(l) = 34*l - 443. Let i be t(13). Is i less than z?
True
Suppose -3*j = 4*b + 16, 5*b - j = -8 - 12. Let s be ((-4)/10)/((-3)/(-45)). Let y(o) = o**2 + 6*o - 2. Let k be y(s). Which is smaller: k or b?
b
Let j = 15247/42 - 363. Let a(u) = -19*u - 75. Let i be a(-4). Which is greater: j or i?
i
Let q(r) be the first derivative of -r**4/4 + r**3/3 + 3*r**2/2 + 7*r + 7. Let z be q(4). Let b be (1 - 2)/(6 + z). Which is bigger: b or 0?
b
Let v = -8 + 14. Suppose -5*p + 25 = -o - v, -3*p = -5*o - 23. Let s(u) = -2*u**2 - 16*u - 7. Let i be s(-7). Which is bigger: p or i?
i
Suppose -o + 4*t + 0*t + 18 = 0, -4*o - 2*t = 0. Suppose -5*y + 59 = 3*b - 0*b, 31 = o*b - 5*y. Let s = -3 + 4. Which is smaller: b or s?
s
Let l be 2*(-17)/8 - 2. Suppose -67 = 2*k - 59, 0 = -5*n + 3*k - 23. Which is greater: l or n?
l
Let m be 19/114 + (-51)/(-18) + 1. Is -7 at most as big as m?
True
Suppose 5*j + 34 = -11. Let y be j/48 + 0/(-2). Which is bigger: y or 0?
0
Let y = 22/3 - 353/48. Let i be (0/40)/(3/1 - -2). Which is smaller: y or i?
y
Let d = 3 + 2. Suppose 0 = -0*u + d*u + 30. Let s be u/14*25/15. Which is greater: s or 0?
0
Suppose -12*u + 1 + 23 = 0. Suppose 0*r = 2*r + 4*c + 2, 0 = -4*r - 2*c + u. Is 4 <= r?
False
Suppose 0 - 3 = 3*r. Let g be 112/(-12) + r/(-3). Suppose -z + 5*x = -2*z - 25, 5 = -3*z - x. Does z = g?
False
Let p = -145/187 + 7/17. Let d = 1.973 + -0.133. Let n = d - 3.84. Which is smaller: n or p?
n
Suppose 5*f + 14 = -6. Let d be f/(2*22/(-12)). Is d at most 2?
True
Let h = 0.51 + -0.02. Let q = h + -3.49. Let s = 0.1 + -0.2. Are q and s equal?
False
Let q(j) = -j**3 - 17*j**2 - 2*j + 25. Let w(o) = -o**3 + o**2. Let i(x) = q(x) - 2*w(x). Let s be i(19). Which is smaller: 0.2 or s?
s
Let u = 19.5 - 29. Let a = 10 + u. Let w = -0.2 + a. Which is smaller: 0.1 or w?
0.1
Let d = 300 - 581. Which is greater: d or -282?
d
Let o = 6257 - 31027/5. Which is smaller: 52 or o?
o
Let f(n) = -6*n - 7. Let y be f(-2). Let x(d) = -d**3 + 5*d**2 - 2*d + 9. Let i be x(y). Is -4/5 < i?
False
Let l be (1 + 0 + 0)/1. Let x be (-255)/(-90) - (-1)/(-2). Which is greater: l or x?
x
Suppose 3*p - 2 = -n, -n - p = -0*n. Let h be 16140/(-1350) - (-60)/5. Which is greater: h or n?
h
Suppose 464 = -t - 3*t + 2*n, -5*n = -5*t - 580. Let f = 130 + t. Which is greater: 16 or f?
16
Let o be 18*2/(1/(-1)). Let v = 52/9 + -370/9. Let r = v - o. Are r and 0 non-equal?
True
Let y(v) = -v**2 + 3*v - 1. Let a be y(2). Let c be ((-4)/(-132))/((-35)/6). Let k = -1171/3080 - c. Are a and k nonequal?
True
Let j = -1 - -1. Let x be (1*3/(-18))/(117/52). Which is greater: x or j?
j
Let f = 74 + -118. Let d = f + 44. Is d >= 1/9?
False
Let b = -335 + 332. Which is bigger: b or -2.4?
-2.4
Let d = -19437 + 19438. Let m = -180 + 903/5. Which is greater: m or d?
d
Suppose 6 - 42 = 3*p. Let g = -48 - p. Let z be g/24 - (-2)/(-4). Is 2 >= z?
True
Let s = -122 - -53. Which is smaller: -71 or s?
-71
Let p = 453 + -21290/47. Suppose -f - 4 = 3*f, 5*u - 4*f = 9. Is p < u?
True
Let r = 0.2 - -0.32. Let i = 0.8 - r. Let c = i + -0.18. Which is bigger: -0.2 or c?
c
Suppose -6 = -10*a + 44. Let h be (a*(-3)/(-15))/(5/2). Which is greater: h or -1/3?
h
Suppose 0 = 3*t - 14 - 7. Suppose g + 3*g - 26 = 5*u, -u = -g + t. Do g and 19/2 have different values?
True
Let h = -22 - -27. Let r = -0.2 - h. Which is smaller: r or 2/5?
r
Let l(c) = c**3 + 6 - 4*c**2 - 3*c - 3 - 3*c. Let n be l(5). Let b = 6.3 - 1.3. Which is smaller: b or n?
n
Let j = -5.25 + 177.45. Let m = 206 - j. Let w = -34 + m. Which is greater: 3 or w?
3
Suppose -34*h - 14*h = 0. Which is smaller: -1/647 or h?
-1/647
Suppose 2*v + 32 = 12. Let d(j) = -j + 14. Let m be d(v). Suppose -6 + 24 = 2*a + q, q = 4*a - m. Is 6 bigger than a?
False
Let t(w) = -3*w - 38. Let i be t(-16). Suppose -4*l - 45 = l. Let u = i + l. Is 1 < u?
False
Suppose 37*l - 8 = 36*l. Which is greater: l or 7?
l
Let o = -512 - -1130. Let r = o - 5552/9. Is r at most as big as 2?
True
Let z(l) = 18*l**3 + 3*l - 3. Let i be (6 + (-248)/40)/(2/(-10)). Let h be z(i). Do h and -0.2 have different values?
True
Let j(m) = -m**2 + 9*m - 11. Let y(i) = -i**2 - 7*i + 2. Let d(r) = -r**2 - 3*r + 4. Let w be d(-5). Let z be y(w). Let n be j(z). Which is smaller: n or 0?
n
Let z(d) = 10*d - 2*d**2 + 3*d**2 + 1 - 2*d**2 - 7*d. Let k be z(3). Which is smaller: k or 0.3?
0.3
Let b(f) = 2*f. Let r(w) = 5*w + 2. Let g(s) = 3*b(s) - r(s). Let u be g(1). Is u at most 2/117?
True
Suppose 2*q = -0*q. Let u be -2 + (-7 - 4) + 3. Let i be -1 - 2*u/24. Which is greater: q or i?
q
Suppose 3*n = -n - 28. Let f(c) = -c**3 - 8*c**2 - 8*c - 6. Let l be f(n). Let b be (0 - 0)/(3 - l). Is b smaller than -3?
False
Let g be ((-3)/(-2)*78/(-225))/1. Let s = g - -1/50. Which is bigger: s or 0.3?
0.3
Let u = 700 - -249. Let q = u + -6656/7. Is q smaller than -2?
False
Let m = 0.17 - 2.87. Let z = m + 3. Let r = 457/9 + -51. Is z <= r?
False
Let z = -28 + -75. Let u = z + 103.1. Which is smaller: -98 or u?
-98
Suppose 60 = -4*s - 2*s. Let m be 38/s + (-24)/(-60). Which is smaller: m or -2?
m
Let o = 0 + 0.1. Let d = -7 + -17. Let b = d + 28. Is o smaller than b?
True
Suppose 0 = -2*j + 3*j - 17. Is 18 at most as big as j?
False
Suppose 0 = 12*s - 20*s + 144. Suppose 4*r = 51 + 13. Which is bigger: r or s?
s
Let u = -17 + 17. Let g = 7 + -6. Do u and g have different values?
True
Suppose 0 = 12*t - 34*t - 176. Is t < -0.1?
True
Let k be (3 - 4 - -9)/((-63)/36). Is -6 < k?
True
Suppose -6*v = -35 - 13. Let x be 2 - (84/v)/7. Is x greater than 2/3?
False
Suppose -57 - 102 = 53*z. Let a = 4 + -7. Is a not equal to z?
False
Suppose -5*b = -4*o - 2*b, -b = o. Is 5/8 at most o?
False
Suppose -4*j + 1 = -5*y - 27, 5*j + 2 = -3*y. Suppose 3*v = -j*v. Let u(z) = 7*z**2 + 15*z - 53. Let a be u(-4). Which is bigger: a or v?
v
Let x = 4.13 + -4.3. Let p = 0.83 - x. Is p at least 1?
True
Let a = -10.2 + 10. Let j = a - -0.18. Let i = 0.05 + j. Is 2/3 greater than or equal to i?
True
Suppose -2*k - 19 = -4*d - 91, 12 = -2*d. Let m be 0 + -1 - (-25)/1. Is m at least k?
True
Let b = -47/2 - -23. Let c = 5771/14 - 412. Let i = -19/42 - c. Which is smaller: b or i?
i
Suppose 26*y - 17*y + 9 = 0. Which is bigger: -3/13 or y?
-3/13
Let r = 550/2759 - 12/89. Which is bigger: 1 or r?
1
Suppose -8*l = -l. Suppose -o + 3*o = v - 1, l = 3*o - 4*v + 9. Suppose -12 = -4*a - 4. Which is smaller: a or o?
o
Let b = 0.4 - -0.6. Suppose -248 = 11*m - 226. Which is greater: b or m?
b
Suppose -48*j = -44*j - 12, 0 = 2*x - 4*j - 240. Which is greater: x or 128?
128
Let c be -5 + (-5)/((-30)/24). Is c bigger than 1.3?
False
Let g = -133.05 + 133. Let a be 4/10 + 24/(-15). Is g > a?
True
Let g be (-4*3/16)/(-48). Is g > -3?
True
Let y = 5 - 0. Suppose 10 = y*u + 2*c - 7*c, -3*c - 6 = u. Let l be ((-20972)/(-1729) - (-11)/(-143)) + -12. Which is smaller: u or l?
u
Let y be (2 - 120/42)/(-1). Which is greater: 2 or y?
2
Let v(m) = m**2 - m - 7. Let g be v(7). Let n = 34 - g. Is n bigger than 2/29?
False
Let v be (-28)/18*(-672)/1616. Let f = -2/101 - v. Which is smaller: 2/7 or f?
f
Let u be 418/92 + 4/(-8). Let n = -4 + u. Which is bigger: n or 0?
n
Let n be ((-24)/(-36))/((-5)/(-435)). Which is bigger: n or 469/8?
469/8
Let h = 511 - 527. Which is greater: 4 or h?
4
Let c be (32/42 + -1)*3. Let a be (1456/(-312))/(21/9). Which is greater: a or c?
c
Let a be 19 - (2 - (-4 - -4) - 2). Suppose -13*o - 324 = -a*o. Which is smaller: -0.1 or o?
-0.1
Let a be (48/(-18))/((-1)/(-9)). Let p = a + 20. Let v be (2 + -17)*p/(-5). Is v smaller than -14?
False
Let a = 921 - 704. Is 216 < a?
True
Let k = -24848/21 - -1183. Suppose -13 = -5*v - 8. 