1?
x
Let w(x) = -x**2 + 9*x - 29. Let s(o) = -o**2 - o + 1. Let i(v) = -2*s(v) + w(v). Let j be i(-13). Which is smaller: j or -33/7?
j
Suppose 5*p - 29 = -3*t, 2*t + 2*t = -3*p + 24. Suppose -36 = -4*o - 4*w - 0*w, -t*o - 2*w + 22 = 0. Suppose -2 - o = -3*l. Which is smaller: l or 3/5?
3/5
Let y be 12 + -14 - 22/(-12). Let r be ((-28)/(-3))/4 + -2. Which is greater: y or r?
r
Let p = -245 + 151. Do -94 and p have the same value?
True
Let d = -250.94 + 223.8. Let w = 27 + d. Is w at least as big as 0?
False
Let p = 934 + -897. Which is bigger: p or 39?
39
Let o(m) = m**2 + 42*m + 320. Let v be o(-10). Suppose 2*w - 9 = -5*i, 1 = w - 2*w + 3*i. Let y = 2 - w. Does y = v?
True
Let h = 47 + -52. Let p = 9 + h. Let i = -4 + 8. Is i greater than p?
False
Let c(j) be the third derivative of 7*j**5/30 - j**4/8 - j**3/3 + 2*j**2. Let w be c(-1). Is w greater than or equal to 15?
True
Let s = -2442/4249 + 2/607. Which is smaller: 0.01 or s?
s
Let s be (16/40)/((-46)/10 + 1*2). Suppose 0 = -f - 5*a + 24, -f + 4 = -0*f + a. Which is smaller: s or f?
f
Let k be (-1 + -2)/(-5*9/(-4275)). Are 2/5 and k nonequal?
True
Suppose 2*x + 38 = 5*y, -y + 2*x = -5*y + 16. Suppose m = y*m. Are -4/9 and m unequal?
True
Suppose r - 3*f + 27 = 5*r, -2*f + 2 = 0. Which is greater: r or 62/13?
r
Suppose -8*g + 545 = -71. Which is greater: g or 78?
78
Let i = 4 + 19. Let j = i + -24. Which is smaller: 1/9 or j?
j
Let t be 3 - 20/((-35)/(-7)). Which is smaller: -1009 or t?
-1009
Let i = 187 - 186. Is -2 > i?
False
Let d = -168/5 - -499/15. Which is smaller: d or -581?
-581
Let a(m) = m + 11. Let d be a(-6). Let p(s) = 18*s + 4 + 3 - 19*s. Let h be p(d). Which is smaller: 3 or h?
h
Let w be ((-60)/(-550))/((-6)/10). Let t be (9/(-2) - 0)*2. Let n be 4/t*3/8. Which is smaller: n or w?
w
Let g be 30/9*(-36)/13. Let s = g + 866/91. Let o = 2 - 2. Is o != s?
True
Let p = -672 + 629. Is -208/5 bigger than p?
True
Suppose 23 = n + 19. Suppose -2*t + 3*c = -14, 0 = 5*t - n*c - 21. Is t > 2/9?
True
Suppose 2126*z = 2125*z + 15. Which is smaller: 185/12 or z?
z
Let n = -0.508 - -0.51. Let w = -2.002 + n. Which is smaller: w or 9/4?
w
Let v = -2 + 10. Let d be 2 - (v/(-46) - -2). Which is smaller: 0 or d?
0
Suppose -7*x - 15 = -85. Which is smaller: x or 12?
x
Suppose -i + 3*m - m = 3, -m = -2*i - 3. Let v be (6 + -7)/((-11)/12 - i). Is v less than or equal to -12?
True
Let o be 6/(336/8)*1*-2. Are o and 0.101 equal?
False
Suppose -o - 3*o - 3*z = -141, 0 = -4*z + 12. Suppose o = -9*w - 30. Which is smaller: w or -9?
-9
Let l = -5 - -5. Let j = l + 0.1. Suppose 5 = -13*b + 14*b. Which is smaller: j or b?
j
Let w(i) = i**3 + 12*i**2 + 11*i + 1. Let o be w(-11). Suppose -o + 2 = -b. Is -1/66 less than b?
False
Let i = 319126/97 - 3290. Is i greater than or equal to 1?
False
Let z be (8/5 - 2)*-10. Suppose 5*d - 13 = -2*n, -z*d - 4 = -n - n. Let l be (d - 0)*(-3)/(-11). Is l at least as big as 1?
False
Let n be (-4)/14 + 652/28. Let a = -872 - -871.9. Are a and n non-equal?
True
Let w(l) = l**3 - 10*l**2 + 6*l + 4. Let z be w(3). Which is greater: -1 or z?
-1
Let i = 4/55 + 5/22. Let s be (0 + 1)*6/2. Suppose 0 = -s*z + 5*z. Which is bigger: z or i?
i
Let s = -73403/5040 - -233/16. Let p = 2/63 - s. Are -1 and p nonequal?
True
Suppose -2*p = -w - 49, 0 = 5*p - 2*w - 2*w - 118. Which is greater: 24 or p?
p
Let r = -4783 + 593093/124. Let c be 2/(-2)*(-1 + 1). Is c greater than r?
False
Suppose 4 = -4*u - 3*r + 13, -15 = -5*u - 5*r. Which is greater: -1/31 or u?
u
Let f(s) = s**2 + 3*s + 3. Let o be f(0). Suppose 0 = -o*k + 6*k + 42. Which is bigger: k or -16?
k
Suppose -5*a = 39 + 51. Let t be a/(-14) + 20/(-70). Is 13 < t?
False
Let y = 12 - 4. Let c(i) = 2*i**3 + 7*i**2 - i - 22. Let w(d) = -d**3 - 4*d**2 + 11. Let k(a) = -3*c(a) - 7*w(a). Let g be k(-6). Which is greater: y or g?
y
Let j = 18 + -14. Let n be (7 - 8)/(2/j). Do -1 and n have different values?
True
Let o be (-222)/(-160) - (-16)/(-40). Let s = o - 3/16. Are 1 and s equal?
False
Suppose -2 = t - 5*x - 9, t = -5*x + 7. Let z be (t - 9)*(-1)/2. Which is greater: z or -1/159?
z
Suppose u + 0*u + 3*k - 291 = 0, 5*u = 2*k + 1472. Suppose 86 = -8*c + u. Which is greater: -1/4 or c?
c
Let d = -17/33 + -7/33. Which is bigger: d or -2?
d
Suppose 0 = -54*l - 2*l + 112. Which is smaller: l or -61?
-61
Suppose -12*q = -9*q - 9. Suppose -q*x - 9 = 0, 4*w + w = 5*x + 75. Suppose 0 = 3*m - 29 - 7. Do w and m have the same value?
True
Let c(h) = -16*h + 161. Let a be c(-35). Which is smaller: a or 722?
a
Let p = 3 - 5. Let r be (-12)/(-28) - (0 - (-4 - (-87)/21)). Which is greater: r or p?
r
Suppose 2*r - 24 = 2*i, r - 22 + 70 = -4*i. Let u be (-15)/((-60)/(-8)) - (0 + -1). Does i = u?
False
Let g be 4 + (5/(-15) - 184/6). Is g < -103/4?
True
Let t = 12/1807 + 335970/19877. Which is greater: t or 16?
t
Let g be 670/405 + (-6)/9 + -1. Is g less than or equal to -1?
False
Let t = 1344/5 + -267. Let s be 6*(-1)/(-15)*(-35)/(-14). Is s <= t?
True
Let f = 15 - 14.7. Let h = -16 - -11. Let a = -5.2 - h. Is f at least as big as a?
True
Suppose -4 = -3*d - 7. Let c be 9 - 6 - d/(-1). Suppose 2*q = -0*q + c. Does q = 0?
False
Let t(g) = 3*g + 121. Let d be t(-40). Is d > 4/13?
True
Suppose -2123 = -10*t + 797. Are t and 292 equal?
True
Let o be (-5)/(-5*3)*-2. Let a be (-162)/21 + 8 + 30/(-56). Which is smaller: o or a?
o
Let n be ((-6)/(-64))/(20/(-4) + 2). Let m = -1 + 1. Suppose m = -7*t + 2*t. Which is smaller: n or t?
n
Let a = 26.998 - -0.002. Let j = a + -28. Which is bigger: j or -0.2?
-0.2
Suppose 146 = -2*q + 3*s, 5*q + s = -2*s - 386. Let a = 76 + q. Which is smaller: -1.3 or a?
-1.3
Let v be (50/(-4))/((3 + 1)/(-8)). Suppose 0 = v*z - 20*z - 110. Is z smaller than 23?
True
Let f = 0.3 + 0.7. Let s = 40 - 63. Let c = s - -36. Are c and f unequal?
True
Let t be 1230/20 - (-1 - -2 - 3). Let y = t + -64. Are y and -2.6 equal?
False
Suppose -3*f + 5*r + 76 = 0, 5*r - 18 = -4*f + 25. Let j = 0.22 - 0.12. Is f bigger than j?
True
Let u(z) = z**3 - 3*z**2 - 5*z + 4. Let g be u(4). Suppose g = v - 4, -2*r = r + 3*v - 3. Are r and -2 unequal?
True
Let h = -0.5 - -0.5. Let b = 42 - 40. Is b != h?
True
Suppose w - 3*w = 2. Suppose h - 6*h = q + 43, -5*q - 2*h - 215 = 0. Let f = q - -251/6. Is w smaller than f?
False
Let f = -7733/13888818 - -1/9378. Which is greater: 1 or f?
1
Let x = 761 + -28921/38. Let s = x - -249/266. Does s = 2?
False
Let n = -1022 - -4091/4. Is n not equal to -2.88?
True
Suppose 311 = 5*a - 409. Which is smaller: a or 145?
a
Let d be 387/63 - 6/1. Which is bigger: 11 or d?
11
Suppose 2*n = n - 6. Let s be (19 - 15)*(-2)/n. Which is greater: 2 or s?
2
Let s(u) = -308*u**2. Let m be s(2). Is m bigger than -1232?
False
Let l = -116 + 815/7. Let u = -3.77 - -3.77. Which is smaller: u or l?
u
Let x(g) = -5*g + 150. Let n be x(29). Is 1 > n?
False
Let h(a) = -a**3 + 4*a**2 + 3. Suppose y - 12 = -5. Suppose 0 = 2*g + j - 6, 3*j + 1 - y = -3*g. Let r be h(g). Which is bigger: 1 or r?
r
Let u = 118.555 + -1.655. Which is smaller: -1 or u?
-1
Let d(c) = -2*c**3 + 14*c**2 - 7*c - 7. Let x be d(5). Do x and 60 have the same value?
False
Let b = 625/506 + 261/46. Is b not equal to 6?
True
Let c = 4 - -12. Suppose -3*t - 12 = 2*n - 5*n, -c = 5*t - 3*n. Which is smaller: 1/8 or t?
t
Suppose -i - 2*u + 45 = 0, 5*i - 180 = -4*u + 3*u. Let a = -55 + i. Which is smaller: -21 or a?
-21
Let g = -104 + 938/9. Which is bigger: g or -221?
g
Let u be (9/3)/6 - (-476)/(-784). Which is greater: u or 0?
0
Let k = 0 + 0.1. Let l = -138 - -138.63. Let j = 0.63 - l. Which is smaller: k or j?
j
Let o = -168 - -166. Suppose r + 8 = -3*r, -r = 3*t - 40. Let v be 2/(-8) + t/(-8). Is o > v?
False
Let g(n) = 2*n**2 - 15*n + 24. Let s be g(11). Is 99 at most as big as s?
True
Let a be 0 + 36/(-6) - 212/(-4). Which is smaller: a or 1/6?
1/6
Suppose -5 = -j - 2*r, 2*j + 0*r = r. Let b = 28/11 - 543/209. Which is smaller: j or b?
b
Let f(t) = 5*t - 51. Let h be f(10). Let v = 149 - 2829/19. Are v and h non-equal?
True
Let x(z) = z**3 - 2*z**2 + z - 1. Let r be x(2). Let y = -8591/14 - -111989/182. Let c = -15/7 + y. Is r at least as big as c?
True
Let a be (-5)/(-2)*12/10. Let x(y) = 2 - 2*y**2 - 6 + 6 + a*y**2 + y. Let j be x(0). Is j greater than or equal to