r s?
s
Let f(b) = b**2 + 12*b + 35. Let k be f(-6). Let w be 1*(1 - 22/23). Is w > k?
True
Let f(h) = -h - 1. Let b(k) = 2*k - 7. Let n(x) = -b(x) + 3*f(x). Let c be n(7). Let y = -18 - c. Which is bigger: 14 or y?
14
Let x(z) = -z**2 - 23*z - 39. Let j be x(-17). Suppose 2*d - 11*d = -j. Is d less than 6?
False
Let p = 426 - 494. Does p = 2/9?
False
Let s be (-15)/660*(-20)/(-17). Which is smaller: -1 or s?
-1
Let d = -22.936 + -0.064. Let p = -23.701 - -0.751. Let q = d - p. Which is smaller: 3/4 or q?
q
Let i = 1464.04 + -1464. Are i and 4 non-equal?
True
Let n = 16 + -16. Suppose -4*o - 5*i = -n*i + 7, -3*o = 4*i + 5. Which is smaller: o or -2?
o
Let u be 2 - 6/8 - 392/32. Which is bigger: -9 or u?
-9
Suppose -4*f - 74 = t, 3*t = -2*f - f - 213. Is 1/4 greater than t?
True
Suppose 38*s + 131 = -135. Which is smaller: s or -46/7?
s
Suppose 5*n = 6*n + 240. Let y be (n/9)/((-3)/9). Let t be 12/y + 4/(-10). Is t > 1?
False
Let s be (-2)/(13 + 4 - -2). Suppose 7 = 46*b - 53*b. Which is smaller: s or b?
b
Let g(s) = -7*s + 52. Let b be g(8). Which is smaller: -10 or b?
-10
Suppose -2*l - 5*p + 47 = 0, -24*l + 27*l + p - 38 = 0. Which is bigger: l or 174/17?
l
Let g = 38 + -21. Let a = -16.5 + g. Which is bigger: a or 1?
1
Let j be ((-53)/30 - -2)/(32/80). Which is greater: 1 or j?
1
Let m = -251/6 - -22327/534. Let l = -97/356 - m. Is l > 24?
False
Suppose 8 = 4*i - 0. Let m(j) = 2*j**i - 1 - 13*j**3 + 2*j + 2*j**3 - 2*j. Let o be m(1). Which is bigger: -9 or o?
-9
Let k(x) = 96*x - 430. Let i be k(0). Is i bigger than -431?
True
Let n = -7 + -3. Let c be (-8)/40 - ((-48)/n + 0). Are -2/7 and c equal?
False
Let g(v) = -2*v - 4. Let w be g(10). Let f be (w/9)/(20/(-6)). Which is bigger: f or 2?
2
Let a be (19 - 2)*11 - 0. Let p be a/295 + ((-12)/(-10))/(-2). Which is smaller: 0 or p?
0
Suppose -3*h + z - 1 = 0, -h - 17 = -2*h - 4*z. Let f be (-7)/(-2)*12 - 1. Let n be f/9 - 27/9. Is h at least as big as n?
False
Let x be 2*((-4)/2)/1. Let l = 3221/4 - 810. Is x at least l?
True
Let d = -197 + 202. Is -206 > d?
False
Let p(q) = -q**2 + 13*q - 5. Let d be p(6). Is 38 greater than d?
True
Let d be ((-10)/(-15))/((-2)/3). Let n be (d - 24/15) + 3. Let b = -20 - -17. Which is smaller: n or b?
b
Let y = -7.21 + 7. Let v = -0.41 - y. Is v < -0.12?
True
Let x(p) = p - 13. Let m be x(15). Suppose 5 - 33 = m*d. Is -15 < d?
True
Let w = 15/31 - -203/93. Let y = w + 29/6. Is 9 > y?
True
Let p = -1185 + 485. Is p bigger than 0.1?
False
Let z = 25/16 - 17/144. Which is smaller: z or 0?
0
Let s = -432 - -433. Is 2/1037 bigger than s?
False
Let q be 0 + 2 + 365/(-160). Are q and -1 unequal?
True
Let o be (2400/56)/(18/63). Is 150 at least as big as o?
True
Let a(y) = -y**2 + 22. Let n be a(0). Let l = n + -23. Let x = -63/2 - -30. Which is bigger: l or x?
l
Let i = -5/1067 + 23428/5227233. Let k = i + 200878/93081. Let x = 613/152 - k. Which is smaller: 2 or x?
x
Let z = -1235 - -18533/15. Suppose 2*r = -4, -4*y + r + 246 = 240. Which is smaller: z or y?
z
Let d be (-25)/(100/152) - (1 + 4). Are d and 1 non-equal?
True
Suppose 122*d - 129*d = 7. Is d less than -1/7?
True
Let a = 1065 - 1162. Is a at least as big as -94?
False
Let q = -25560913/1761 - -14515. Let u = 1144/26415 + q. Let r be (-169)/(-39) - 2/4*10. Is r greater than or equal to u?
False
Let j(x) = -x + 14. Let i = 35 + -15. Let k = i - 4. Let v be j(k). Is v >= -5?
True
Let x = -21 - -15. Let f(u) = u + 9. Let s be f(x). Is -3/4 greater than s?
False
Let r = 12668/13 - 974. Suppose 10*d - 6*d - 4 = 0. Is d greater than or equal to r?
True
Let z = 1/1916 - 3839/13412. Which is bigger: -0.113 or z?
-0.113
Let o = 2053/7161 - 1/1023. Let c be 1 - (-1)/22*-14. Which is smaller: c or o?
o
Let y(l) = -l**2 - 7*l. Let u be y(-9). Let h(n) = -n**3 - 17*n**2 + 19*n + 17. Let a be h(u). Is a > 2/29?
False
Let s be 192/288*3/803. Which is smaller: 0 or s?
0
Let x(c) = -c**2 - 8*c - 1. Let a be x(-6). Which is bigger: 61/6 or a?
a
Let s be (-2)/10 - 30/(-25). Which is smaller: s or -4/33?
-4/33
Let o be (-128664)/290 + 2/(-5). Suppose 0 = w - 82 - 362. Let t = o + w. Which is smaller: 0 or t?
t
Let i = 11 + -4. Suppose 3*a = -i + 1. Let y be (a + 1)/(1/13). Is -14 smaller than y?
True
Suppose 5*r + 10 = -2*t, -5*t - 2 + 19 = 2*r. Suppose -4*l + 44 = 7*l. Suppose 5 - 29 = -l*b. Is b at least t?
True
Let t = -34 + 50. Let n = t + -15.91. Let x(m) = -2*m**2 + 43*m - 126. Let i be x(18). Which is smaller: n or i?
i
Suppose 4*r = 0, 0 = -n - 3*n - r - 4. Is n > -2/73?
False
Let k = -0.1375 - 71.8625. Which is bigger: k or 1/3?
1/3
Let a(k) = 2*k**2 + 24*k + 71. Let y be a(-7). Let z be (-2)/7 + 6/28. Does y = z?
False
Let t(s) = s**2 + 5*s + 5. Suppose -1828 = 7*w + 790. Let b be 1/7 + w/119. Let o be t(b). Is -1 equal to o?
True
Suppose 7*j = 2*j + 105. Suppose 3*h = 2*b - 4, -2*h + 0*h - 4 = -2*b. Suppose -b*v + 40 = -2*a, -5*v - 3*a = -a - 100. Which is greater: v or j?
j
Let s(n) = -n**3 + n**2 + 2. Let q be s(0). Suppose g = -q*g + 3*j, 28 = 4*g + 3*j. Do g and 0 have the same value?
False
Let h = 114/35 - 248/77. Suppose 3*o = -2*o + 3*o. Is h < o?
False
Let u be 1580/(-12)*(-10 - (-2 + -5)). Which is bigger: 392 or u?
u
Let o(l) = -5*l + 11. Let h be o(-4). Let v = h - 23. Is 6 bigger than v?
False
Let i = -158 + 169. Let n = 8 - -1. Let s(u) = u**3 - 8*u**2 - 8*u + 3. Let d be s(n). Which is greater: d or i?
d
Let i(r) = 2*r - 7. Let v be i(10). Suppose 0*g - v = -2*g - 3*h, h - 5 = 0. Which is smaller: 1/6 or g?
g
Suppose -b - 3*f + 2*f + 2 = 0, 5*f - 15 = 0. Is b < 21?
True
Let d(p) = 2*p + 4. Let k be d(4). Suppose 2 = 2*i, g - 4*g - i - 35 = 0. Let s = g + k. Are 0 and s nonequal?
False
Let l(k) = -k**3 - 7. Let a be l(0). Let w be 36/(-21) + ((-99)/(-21) - 5). Let i be (w - (1 - 3))/((-4)/1). Is i <= a?
False
Suppose v + 93 = 31. Which is greater: v or -57?
-57
Let k be (22 - 28) + 3*2. Is k > 13?
False
Let p be (13/(-4) - 4)*8/2. Which is greater: p or -21?
-21
Suppose 0 = 4*v + 1 - 9. Let h be 7 + -5*3/(-5). Let j be (-36)/(-60)*h/8. Which is smaller: j or v?
j
Suppose -3*t = c - 16, t - 4*c - 22 + 8 = 0. Suppose 122 = -10*h + 422. Suppose k - t*k - h = 2*r, 3*r = -k + 7. Is k < 0.1?
True
Suppose 5*s = -4*v - 215, -2*v + 210 = -5*s - 5*v. Which is smaller: -40 or s?
-40
Let w = 0 + -1. Let u be (w - -2) + (-6)/8. Let d(j) = -j**2 + 33*j + 34. Let m be d(-1). Is m < u?
True
Suppose -2*t + 15 = -t. Let y be (t/(-12))/1 + 1. Let m = -4.7 + 5. Is y != m?
True
Let m(b) = b**2 - 12*b + 14. Let z = -8 - -17. Let i be m(z). Let c(w) = 10*w - 2. Let g be c(-1). Do g and i have different values?
True
Let b = 2/185 - -72/185. Let h = 4.05 + -0.05. Let u = 3 - h. Which is greater: u or b?
b
Let u = 32 - 19. Let t = u + -29. Let q = t - -14. Which is bigger: q or -0.2?
-0.2
Let k = 0 - 8. Let b be 16/k + (-27)/(-11). Let t = -6/19 + 37/57. Which is smaller: b or t?
t
Let x = 23 - 36. Let u(j) = 2*j**2 + j. Let c be u(-3). Let a = x + c. Which is smaller: a or 7/5?
7/5
Let a be 10/(-386)*((-12)/(-5) + -2). Let n be (-5)/4 - 13/(-52). Is n at least a?
False
Let k = 0 + -4. Let q be 407/(-396) - k/(-18). Is q >= 2/3?
False
Let o = -319.95 - -320. Is o bigger than -0.08?
True
Let p be (-1)/(-2 + 9/6). Let j be -2 + (-10)/(-5) - p. Are -3/4 and j unequal?
True
Let h = 0.04 + -0.94. Let v = -2.6 - -2.2. Let r = h - v. Is 0.1 at least r?
True
Let r = -4 + 6. Suppose -5*i + r*q - 9 = 5, 2*q = -2*i. Let v be ((-1)/(-22))/(-9 + 74/8). Is i equal to v?
False
Let b be ((-2)/16)/(3/(-48)). Which is greater: b or 35?
35
Let j(a) = -16*a - 108. Let o be j(-11). Are o and 68 equal?
True
Let h = 22/27 + -289/189. Suppose -w = 2*x - 2, -4*w + 3*x = 2*x + 10. Which is bigger: w or h?
h
Let m = -156 + 179. Are 29 and m equal?
False
Let a be (12/(-9) + 1)*1. Are 8.1 and a unequal?
True
Let o = 1.88 + 139.12. Do o and -3 have the same value?
False
Let f = 539 + -802. Does f = 0.1?
False
Suppose 4*p + 5 = -g - 9, 3*p = 4*g - 1. Let c be 1*((-3)/(-7))/p. Is c at most as big as -3?
False
Let h(i) = -3*i - 18. Let v be h(-6). Let b(n) = -11*n**2 - n - 2. Let k be b(3). Let l = k - -1663/16. Which is greater: l or v?
v
Let n be (-2)/1*6/30. Let d(z) = 3*z + 31. Let v be d(-10). Let t be -3 + ((1 - v) + 2 - 0). Is t greater than n?
F