1?
-41
Let o = 71 - 37. Let q be o/10 + (-2)/5. Suppose q - 13 = 5*r. Which is bigger: -6/7 or r?
-6/7
Let t = -19.8 + 23.8. Which is smaller: t or 0.8?
0.8
Let j = 438 - 168. Suppose -9*o = -4*o - j. Is 0 smaller than o?
True
Suppose 11 = 4*f + 5*c, 5*f + 3*c + 2*c = 10. Let s(z) = z**2 + 1. Let a be s(-2). Let x be (-1 - f)/(a/5). Is 1 smaller than x?
False
Let h be 68/(-153)*(1 - 51/6). Is -1 smaller than h?
True
Let i = -8 - -20. Suppose -v = -3*v - i. Let r be v/(-21)*(-5)/(-15). Is 1 <= r?
False
Suppose -u - 93 = 2*c - 2*u, -c - 39 = -3*u. Is -49 equal to c?
False
Let j(y) = 2*y + 6. Let p be j(-7). Let a = p + 6. Suppose 0 = -3*g - 3*o + 2 + 7, 3*o = -g + 13. Is g greater than a?
False
Let a = 2.9 + -2.8. Let y = a + 0.1. Which is greater: 0.7 or y?
0.7
Let z = -50 + 53. Suppose 4*l + z*l - 42 = 0. Is 2/5 smaller than l?
True
Suppose 2*g - 9 = -g. Suppose 4*t = -g*z - 47 - 28, 2*t = 2*z - 48. Is t >= -22?
True
Let v = -16 + 13. Let o be 1/(v + 26/8). Suppose 5*z = 4*x - o, 0 = 3*z - 0*z + 2*x + 20. Which is smaller: -5 or z?
-5
Let z = 76 + -77. Which is greater: 2/873 or z?
2/873
Let y = 273/34 + 8/17. Is y != 10?
True
Let y = -0.093 - 0.007. Are 60/7 and y unequal?
True
Let t = -2074.1 - -2172. Let q = 98 - t. Which is smaller: -4 or q?
-4
Let u = 0.334 - -398.666. Does -2 = u?
False
Suppose -60*q + 31 = -29. Which is greater: 35/66 or q?
q
Let g(p) = 4*p**3 + 2*p - 1. Let x be g(1). Suppose 13 = z + x*y, 2*z + 4*y - 10 = 10. Let k be z/(-10)*(-275)/(-10). Does k = -23?
False
Let d be 4 - (-800)/(-245)*1. Is 2 > d?
True
Let b = 6647/174715 + -4/2105. Do -1 and b have different values?
True
Let f(b) = b**2 - 2*b - 4. Suppose 4*s + 20 - 6 = 2*q, 0 = -4*s + 8. Let u(r) = r - 7. Let l be u(q). Let x be f(l). Is x < 2?
False
Suppose 5*h - 102 = -4*n + 699, -481 = -3*h - 2*n. Which is smaller: h or 164?
h
Let t be (-42)/(-4)*(-6)/(-9). Let y(c) = -c**2 + 4*c + 36. Let n be y(8). Which is greater: n or t?
t
Let m = -562 - -561. Which is bigger: 2/1155 or m?
2/1155
Let a = 33 - -4. Suppose a*u - 41*u = -4. Let r = -1 - 3. Is r <= u?
True
Let o be (-27)/18 - (1 - (-20)/(-8)). Which is greater: o or -18/37?
o
Let i = 427.08 - 420. Let o = 13 - 6. Let y = i - o. Which is smaller: y or 1?
y
Let w = 336 - 329. Which is greater: w or 20?
20
Suppose 117 = 8*o - 51. Suppose 5*p = -3*j + 7*j + o, j - 11 = -2*p. Which is bigger: -2/23 or j?
j
Let d(i) = -13*i - 25. Let h(o) = 3*o + 6. Let b(g) = -2*d(g) - 9*h(g). Let m be b(-7). Let p be 0/m + 2 + -2. Is p smaller than 0?
False
Let d = -68 - -68. Suppose 5*b + d*b - 45 = 0. Suppose -3*o = -28 - 2. Which is greater: o or b?
o
Let i(f) = f**3 - 4*f**2 - 3*f - 7. Let r = 10 + -5. Let w be i(r). Let d(m) = 3*m + 1. Let g be d(w). Is 11 <= g?
False
Let x be (-8)/52 + 160/26. Let l = x - 4. Which is bigger: l or 16/5?
16/5
Let u = -12886 - -141860/11. Let a = u - 938/99. Is 0 > a?
False
Let s be ((-3)/(-14)*2)/(129/86). Which is smaller: 2/29 or s?
2/29
Let v(m) = 2*m**2 - 2*m**3 + 4*m + m**3 + 0*m**2 + 4*m**2 + 1. Let i be v(7). Let u = 15 + i. Is -5 > u?
False
Let y = 5 + -6. Let n be (-3)/15*0/y. Let b = -451/2 - -10369/46. Which is smaller: b or n?
b
Let q = -100 + 145. Suppose -123*g - x = -122*g - 5, 5*g - x - 13 = 0. Let h be g/(-6) + q/(-6). Which is greater: h or -7?
-7
Let x = 11057842709185/34143 - 323868515. Let u = -6/599 + x. Which is smaller: u or 1/4?
u
Let o = 3.1 + -16.9. Let z = o + 15. Let l = 63/220 + -2/55. Are l and z equal?
False
Let y be ((-2)/57)/((-12)/(-1962)) - -2. Is -5 smaller than y?
True
Let i = -0.46 - 0.54. Which is smaller: i or 0.51?
i
Let o(p) = p**3 + 2*p**2 - 12*p + 8. Let g be o(-5). Let a = -28 - -30. Is a < g?
False
Let t = 173 - 173. Are t and -2/299 nonequal?
True
Let v = -812 + 785. Which is greater: -1 or v?
-1
Let f(o) = -4*o**2 - 11*o + 14. Let s(m) = -m**2 - m + 1. Let j(r) = f(r) - 5*s(r). Let p be j(4). Are p and -6/35 nonequal?
True
Let y = -150 + 160. Are y and -10 non-equal?
True
Let w(u) = -13*u**3 - 2*u**2 + u. Let o be w(1). Let b = o - -13. Let r = -2 - b. Are -1 and r nonequal?
False
Suppose -2*c = -3*h + 4, 2*h - h + 5*c + 10 = 0. Let o = -9235/6 - -1544. Let l = -44/9 + o. Are h and l non-equal?
True
Let c(a) be the third derivative of a**6/120 + a**5/20 - a**4/6 - a**3/3 + 7*a**2. Let g be c(-4). Let f be (-14)/(-3)*g/(-8). Which is smaller: f or 0?
0
Let t = -0.4 + 0.4. Let i = t + -0.1. Suppose -56 + 72 = -4*o. Do o and i have the same value?
False
Suppose -j + 9 = -2. Let q = -10 + j. Which is smaller: 2/27 or q?
2/27
Let s(i) = 11*i - 1. Let p(h) = 33*h - 3. Let w be 15 + (2 - 1)*-4. Let z(c) = w*s(c) - 4*p(c). Let a be z(-1). Which is greater: 11 or a?
a
Let g = 0.0643 + -0.0343. Which is smaller: g or -1.4?
-1.4
Let y be (-10)/(-3)*144/15. Let u = y + -33. Which is bigger: -0.13 or u?
-0.13
Let f = 1/52 - -49/156. Is 4 equal to f?
False
Let g = 1843 - 2570. Is -727 greater than or equal to g?
True
Suppose 0 = -3*i - 2*n + 3, 3*n = 3*i + 8*n - 12. Let x be (i + 2)*(1 + 3). Suppose 3*f + 4*u - 3*u - 7 = 0, x*f - u = 0. Is f less than -1/31?
False
Let q = -22 - -19. Let i = -10 - q. Let j(s) = -s - 1. Let v be j(5). Is i smaller than v?
True
Let m be 20/(-3)*(-6)/5. Let t be (-12)/(-9)*(-342)/(-12). Suppose 5*x + 0*h + t = 2*h, -m = -2*h. Is -4 > x?
True
Let s = 0.97 + -0.77. Is 0.047 greater than s?
False
Suppose -4*x + 4 = -2*x. Suppose -5*v + x*j = -3*v + 6, 13 = -3*v + 5*j. Let u = 44 - 265/6. Are v and u equal?
False
Let w = 134 + -90. Let r = w + -44.1. Is 7/2 at least r?
True
Let f = -117 - -170. Which is smaller: f or 1/4?
1/4
Let x(z) = -z**2 + z + 6. Let r(g) = g**3 + 13*g**2 + 11*g - 5. Let l be r(-12). Let y be x(l). Let b be y/10 + (-9)/(-3). Which is greater: b or -2?
b
Let m be ((-1)/67)/(16/((-64)/8)). Which is smaller: 0 or m?
0
Let a be (1 + 20 - 7)*1. Which is bigger: 32 or a?
32
Let x(z) be the second derivative of z**3/3 + 8*z. Let l be x(-1). Let g be (l/(-4))/((-3)/(-6)). Is g at most 6/17?
False
Let b = -7 - -12. Suppose 0 = 5*l - 2*a - 3, -4*a + 7 = b*l - 2. Suppose 2*z = l - 15. Is z equal to -8?
False
Let w = 63 + -36. Let z = -17 + w. Let d be z/25 - 124/10. Which is bigger: -11 or d?
-11
Let z be -2*3/6 - (4 + 0). Let y be z/15*30/25. Which is smaller: y or 8?
y
Let k be (-18)/6*10/(-6). Suppose -k*d = d. Which is smaller: -2/5 or d?
-2/5
Let o = -54 + 76. Suppose 3*m + o = 5*z - 8, 5*z + 3*m = 0. Which is greater: 1 or z?
z
Let y = -0.26 + 0.2. Let k = -5957/4 + 1488. Which is greater: k or y?
y
Let i be (4 - 1)/(3/(-4)). Let s = -12 - -6. Let w be s*i/(-24)*-2. Is 1 greater than w?
False
Let m(k) = -2*k**3 + 36*k**2 - 76*k + 33. Let c be m(15). Which is greater: 245 or c?
245
Let r be (7/3 + -2)*(-66)/(-4). Which is greater: r or 6?
6
Suppose 10*m = 52 - 22. Which is smaller: 16 or m?
m
Let n be ((-208)/(-10))/((-2)/(-5)). Suppose -238 = -5*r + 17. Does n = r?
False
Let q(i) = i**2 - 3*i - 7. Let g be q(5). Suppose 0 = 8*h - 7*h + g. Let m be (16/408)/(1/h). Do m and -1 have different values?
True
Suppose -2*v = v + 3. Let f = 26 + -36. Let h be 247/65 - 2/f. Is v greater than or equal to h?
False
Suppose 90 = 6*i + 102. Is -46 at most i?
True
Let t be (77/(-21))/(-11)*0. Which is greater: t or -16?
t
Suppose -h - 4*h = -3*r - 98, -2*h = 4. Let k be r/(-3)*7/((-714)/4). Is k greater than 0?
False
Let d(s) = s**3 + 6*s**2 - 5*s + 2. Let b be d(-7). Let a be -4 + (1 - 33/b). Which is bigger: a or -0.02?
-0.02
Let q = 258.607 - -11.343. Let z = q - 276. Let l = z + 6. Which is greater: 2/5 or l?
2/5
Suppose 2*k - 1902 = -4*r + 820, -r + 691 = -3*k. Which is smaller: r or 0?
0
Suppose 3*x = 4*m + 11, 4*m - 9 = -6*x + 5*x. Suppose x*i + 29 = -4*n, -n = n + 3*i + 17. Is -1/3 equal to n?
False
Let r = 19 - 0. Let y = r - 17. Suppose 2*k = 5*k - y*o + 24, -o = -k - 7. Which is bigger: k or 0?
0
Let r be 137/(1 - (-116)/(-90)). Let a = 589 + -115. Let h = r + a. Is h greater than or equal to 0?
False
Let g = 20 + -39. Let b = 21 + g. Let f = -0.6 - -0.8. Do f and b have the same value?
False
Let c = 2.86 + -22.86. Is -1 >= c?
True
Let d(u) = u**2 + 6*u + 3. Let p be d(-7). Let n(y) = 8*y - 21. Let c be n(p). Is 59 <= c?
True
Let f = 0.177 + -1.177. Let y = 10 + -7. Are f and y equal?
False
Let q be ((-270)/(-21))/((-