694?
w
Let j = -1662 - -1761. Does 99 = j?
True
Let c be (((-660)/54)/10)/((-5)/(-21)). Which is bigger: c or -4?
-4
Let n(k) = 2*k**2 + 5*k - 6. Let y be n(-4). Which is smaller: y or 14/3?
14/3
Let s = 73.48 + -80.2. Is s >= 1?
False
Let i = -112/11 - -235/22. Is i at most as big as -6/23?
False
Let z = -44 - -100. Suppose -n = 125 - z. Is n less than -68?
True
Let w be (-3 - (2 + -4))/(9/5562). Which is bigger: -616 or w?
-616
Suppose 12*x - 11*x - 6551 = 5*s, -2 = -2*x. Does s = -1309?
False
Suppose 0 = 4*h + 39 + 21. Let k be 52/10 + 3/h. Suppose 0 = -k*b - c + 4*c + 61, 76 = 5*b + 2*c. Is 14 < b?
False
Let y = -26 - -11. Let o = -215 - -200. Is y bigger than o?
False
Let d = 132 + -63. Let z = d + -68. Which is greater: 14/9 or z?
14/9
Suppose 0 = 5*m - a - 2*a - 19, -4*a + 28 = 4*m. Is 92/17 greater than or equal to m?
True
Suppose -2*p = -3*t - 71, -5*t + 4*p - 108 = 9. Let l = 13 + t. Let j = 9 + l. Which is bigger: -4 or j?
j
Let j = -17 + 16.9. Let z = -56.14 + 56. Are j and z nonequal?
True
Suppose 5*c = 5*g + 40, -c - 2*c - 4*g = 4. Let z be ((-1)/c)/((-1)/28). Suppose 0*w + 2*q - 24 = -4*w, w = -4*q - 1. Is w <= z?
True
Let x be (-9)/2 + 14607/3186. Is x smaller than -1?
False
Let r(i) = -29 + 2*i - 7 - 12. Let j be r(25). Is 2 < j?
False
Suppose 55*y = 39*y + 144. Which is smaller: y or 5?
5
Let d be 6204/16830 - 2/15. Is -11 greater than or equal to d?
False
Let j = 21 - 21.09. Let v = j - -0.07. Let a = 56 - 54. Is a greater than or equal to v?
True
Let y be (583/(-3))/((-13)/78). Which is smaller: 1167 or y?
y
Let x = -7 + 6. Suppose -7*m + 3*m + 3*d = -2977, 0 = 2*d - 2. Let a be 6/(-2) - m/(-245). Is a != x?
True
Let f = 39.6 - 39.7. Let c = -14 + 1. Is f < c?
False
Suppose 3*r - 4 = -1. Let c = -0.7 + 2.6. Let f = -7.9 + c. Is f at most as big as r?
True
Let p be (-6 + 2 + 1)/(-1). Suppose 2*s = p*k - 10, -s - 8 = -2*k - 0*k. Suppose -3*v = -5*d + 3, 10*v = d + 9*v + 1. Which is smaller: d or k?
d
Suppose 16 = 3*h + 4. Suppose -h*q + 4*j - 60 = 0, 5*j = -4*q + j - 28. Let o(u) = u**3 + 10*u**2 - 11*u. Let p be o(q). Which is smaller: p or -8/9?
-8/9
Let o = -1.347 + 1.857. Let j be (-5)/(-3) + (2 - 3). Is j less than or equal to o?
False
Let g = 0.6 + -1.6. Let u = 15 - g. Is u at most as big as 1?
False
Suppose -w = 2*f - 5, -w - f = -2*w + 20. Let c(h) = -h**3 + 14*h**2 + 15*h + 8. Let i be c(w). Suppose -2*d + i = -3*d. Is 1 at most d?
False
Suppose 5*a + 30 = 315. Let d = a + -31. Which is bigger: d or 27?
27
Let u = 7 - 7. Suppose u = 18*b - 20*b + 2. Let t = 291/8 + -20095/552. Is t smaller than b?
True
Let f = 0.87 - 0.03. Let t = f - 1.04. Which is smaller: -32 or t?
-32
Let r be ((-1359)/2)/(-3)*(-32)/48. Is r at most -149?
True
Suppose -1525 = -9*k + 1049. Is -1 greater than k?
False
Let x = 2 - 5.4. Let b = x - -3.53. Let z = 5 - 5. Which is smaller: b or z?
z
Let q = -379 - -378.6. Is -2/31 bigger than q?
True
Let p(t) = t**2 - 56*t - 240. Let a be p(-4). Is 42/47 >= a?
True
Let u(c) = -4*c - 1. Let o be u(-3). Let f(g) = g + 7. Let m be f(5). Are m and o nonequal?
True
Let h be (4 + -4)/(32 - 34). Is h smaller than -7/275?
False
Let i = -2 + -8. Let y be ((-1)/(-15))/(-13 + (-880)/(-66)). Which is greater: i or y?
y
Let s be (-57)/15 - 1/5. Let u = s - -6. Let n be (-10 - -13) + 24/36 + (-8)/3. Which is smaller: u or n?
n
Suppose -10*w + 33 = w. Suppose t + w*u = 6*u - 12, t + 4*u = -47. Which is bigger: t or 0?
0
Let z = 0.2092 + 0.3608. Is 6 at most as big as z?
False
Let j(h) = -3*h + 1. Let v be j(-2). Let s be 36/(-21)*14/(-3). Is v greater than s?
False
Let a be (10 + -11 + (-562)/(-566))/(-1). Is -2/7 smaller than a?
True
Let v be 4/3 - (86 + -84). Which is smaller: v or 5.8?
v
Suppose -9*x + 6*x = 0. Suppose x = -c + 4 - 3. Let f = -48 - -95/2. Is c >= f?
True
Let y = -3 - -8. Suppose 2*p = -3*g - g - 10, y*p + 4 = -3*g. Suppose 4*z + p = -7. Is -2 bigger than z?
False
Suppose 2*j - 6*j - 12 = 0. Let t be (-5 + (8 - -3))/2. Let c be ((-11)/t + 3)/((-2)/(-3)). Is c > j?
True
Let n = 44/87 - -496/2001. Let z = n - 2/23. Is 0.4 less than or equal to z?
True
Suppose 2 = 3*d + 5. Let t be 28/(-8) + 1 + 1. Which is greater: t or d?
d
Let o be 22/(-3 - 14/(-4)). Let h be (-34)/o*(-20)/6. Let x = h + -8/33. Which is greater: 3 or x?
3
Suppose -t - 4 = -4*b + 3, -2*t + 3*b = 4. Which is smaller: t or -93?
-93
Let r be (-6 - (-364)/63)*(4 - 13). Which is smaller: r or 26/11?
r
Let r = 14.24 + -0.24. Let l = r - 13.9. Are 14 and l nonequal?
True
Let q(u) be the first derivative of u**4/4 - 5*u**3/3 + 5*u**2/2 - 6*u - 5. Let w be q(4). Is w bigger than -2?
False
Let c = -2/2466813 - 30960969863/123340650. Let z = 251 + c. Let g(n) = n**2 + 3*n - 4. Let h be g(-4). Is z less than h?
True
Suppose 0 = 5*y - 2*j - 12, -3*y - y + 13 = -5*j. Suppose 3*v = 3*k - 21, 24 = 5*k - y*v - 20. Let p = k + -11. Which is greater: p or 1?
1
Let j(w) = w**2 + 10*w - 6. Let q be j(-18). Let b = q + -1516/11. Which is bigger: 1 or b?
1
Let t be 16/(-576)*-8 - 34/72. Which is greater: t or -70?
t
Let d = 9275 - 9273.4. Let h = 3 + -5. Is h less than d?
True
Suppose 4*x + 633 = 3*k - x, 4*x - 1018 = -5*k. Which is smaller: 205 or k?
205
Let u be (4/(-6))/(4/90*5). Let f(v) = v**3 + 2*v**2 + v - 1. Let r = -4 + 2. Let p be f(r). Is u equal to p?
True
Let c = -0.95 - 0.05. Let y = c + -7. Let p = y - 5. Which is smaller: p or 0?
p
Let z(w) = 18*w**2 - 36*w**2 + w - 2 + 17*w**2. Let u be z(-2). Which is smaller: u or 2?
u
Suppose 2*k + 3 = -1, 3*c + 3*k - 510 = 0. Let t be (-6)/(-21) - c/896. Is t greater than -1?
True
Let d(c) be the third derivative of -c**6/120 + c**5/5 - 11*c**4/12 + 4*c**3 - 18*c**2. Let h be d(10). Let x = 2705/4 - 673. Which is greater: h or x?
h
Let t = -99/791 + -2/113. Suppose 3*l - 13*l = -9*l. Which is smaller: l or t?
t
Let u be 2/18 + 22361/(-198063). Which is smaller: -1 or u?
-1
Let g be (-4)/1 + (-1)/(270/(-1118)). Let o = 1/15 - g. Let r = -0.1 + 0.1. Is r >= o?
True
Let c = -4 + 3. Let y = 23/173 - 1185/7612. Which is greater: y or c?
y
Let c(g) = g**2 + 8*g + 6. Let l be c(-6). Let y be (-3)/(12/(-28))*1. Suppose 8*i = y*i - 6. Is l greater than i?
False
Let o = -32 + 36. Suppose -i + 1 = 5*u, -i + o*u = -5*i + 4. Which is greater: 14/19 or i?
i
Let k = 1 - 2. Let g = -8 + 16. Let r be 2/(2 - g/(-4)*-3). Do r and k have different values?
True
Suppose 130 = -281*x + 294*x. Suppose n = -5*s + 6, 6 = -2*n - 2. Suppose 2*u + 4*h = 0, 0 = 2*u + s*u + 3*h - 25. Is u at least x?
True
Let j = -5 + 9. Suppose j*f = f. Let i be (-45)/(-210)*52 - 10. Which is greater: i or f?
i
Let t be (-7)/(-8)*3/7. Let u(x) be the third derivative of -x**5/60 + 5*x**4/24 + x**3 - 4*x**2. Let b be u(6). Which is smaller: t or b?
b
Let z be 10/(-1) + (4 - 2). Let p be (z - -20)*50/(-63). Let y = 29/3 + p. Is -2/7 less than or equal to y?
True
Let g(a) = -a**3 - 6*a**2 - 4*a + 3. Let o be g(-4). Let t(s) = s + 5. Let q be t(o). Let f be (2/q)/((-18)/(-4)). Is f at most 1?
True
Let h = -1044 + 722445/692. Is 1 bigger than h?
True
Suppose 2*s = 2*h + 25 + 21, 0 = -4*s + 5*h + 87. Is s at least 29?
False
Let d = -3 - -5. Let t be 224/20*(-20)/(-16). Suppose d*i - t = -3*q, -4*i + 3*q + 41 = -5. Which is smaller: 9 or i?
9
Suppose g + 4*s + 3 = 20, 12 = -4*g + 4*s. Which is greater: g or -1/42?
g
Let d be ((-10)/12810)/((-14)/(-63)). Which is smaller: d or 0?
d
Let t = 26.4 - 27. Let g = t - 1.4. Which is greater: -0.1 or g?
-0.1
Let t = -845/76 + 1187/76. Let w = -6.7 - -7. Let f = w + 0.7. Do t and f have the same value?
False
Let h be 1 + (-3450)/(-24) + -1. Let v = 144 - h. Is 4.1 != v?
True
Suppose -b - 4 = k, 2*k - 17 = 5*k + 4*b. Which is smaller: 1/493 or k?
1/493
Let h = -1125 - -643. Which is smaller: -1 or h?
h
Let f = 243 - 977/4. Let b(m) = m**3 + 7*m**2 + 5*m - 6. Let i be b(-6). Which is smaller: f or i?
f
Let h(b) = -b - 1. Let c be h(5). Let m be -4 - 2*13/c. Let y(k) = 3*k + 21. Let t be y(-7). Is m >= t?
True
Let t be -5 + 17/(-20)*-5. Are -84 and t non-equal?
True
Suppose 0*a + 2*a = 4*d + 4, 2 = 5*a - 2*d. Let r = 8 - 13. Let z = 7 + r. Which is smaller: z or a?
a
Suppose -2*g = -2*o, -o + 2*g + 3*g = -4. Let x = -1 + o. Are x and -16/13 unequal?
True
Suppose 3*g + 3*t = -127 + 991, -4*g = -t - 1137. Let k b