 = -14/9 - -116/63. Which is bigger: w or 104?
104
Let w = -6 + -1. Let j be 4/(-24)*4/w. Is j equal to 1?
False
Suppose 34 = 20*j - 19*j - 5*l, 0 = 4*j + l - 157. Which is greater: 2 or j?
j
Let v = -8828/11 - -802. Suppose -7*g + 9 = 2*g. Let t = g + -3. Which is smaller: t or v?
t
Let d be (-9*(-3)/(-945))/(6/(-20)). Is d <= 0.09?
False
Let a = -346/15 - -23. Suppose 3*v + 3 = -3*u, -3*v - 3*u - 4 = v. Let n be v/(3 - (-2)/(-4)). Which is smaller: n or a?
n
Suppose 4*s - s = 9. Suppose -4*c - c - 5*t + 35 = 0, 0 = 4*c - t - 13. Let g be -5 - (s - 24/c). Are -2/3 and g equal?
False
Let f(h) = 601*h - 10. Let r be f(6). Suppose 3*k = -k + r. Let z = 33265/37 - k. Which is bigger: -1 or z?
z
Let u(f) = 29*f - 41*f - 2*f**2 - 13 + f**2. Let o be u(-9). Is o greater than 13?
True
Let l(i) = 6*i**3 + i + 11*i**2 - 4 - 13*i**2 + 5 + 0*i**3. Let t be l(1). Suppose -j + 4*j = t. Which is bigger: -3 or j?
j
Suppose 5*h + 15 = -5*g, 4 = -3*g - h - h. Suppose g*y = y - 1. Let n be (-4)/(-18) + y + 1. Are 1 and n unequal?
True
Let d be ((-17)/(51/(-18)))/((-4)/(-126)). Which is greater: 379/2 or d?
379/2
Let p(s) = -7*s + 50. Suppose 43 = 5*q + 4*r, -4*q - 3*r + 2*r = -30. Let b be p(q). Which is bigger: b or -11/6?
b
Suppose 0 = f + 5, 4*b - f = 2*f - 33. Let w be (-14)/(-63) + (-43)/(-9) - -2. Suppose 2*s = -w*s - 108. Are b and s unequal?
False
Let p be 48/(-95) + 64/160. Is 5/2 bigger than p?
True
Suppose 0*n + 4*n - 40 = 0. Let r = -8 + n. Suppose 0 = -0*g + r*g. Which is smaller: g or -2/13?
-2/13
Suppose 0 = -p - p + 1408. Let h = -851902 + 9363184/11. Let g = h + p. Which is smaller: g or 1?
g
Let o(f) = f**3 - 10*f**2 - 10*f - 8. Let l be o(11). Suppose l*j = 7*j. Is j greater than 1?
False
Let k be ((-4)/6)/((-8)/12). Let x be (k + 14*9/12)*-2. Is -24 at least x?
False
Suppose 0 = 2*j - b - 185, 6*j + 4*b - 250 = 3*j. Which is greater: j or -1?
j
Let n be ((-1)/(2/(-140)))/1. Let m = -75 + n. Is -3 >= m?
True
Let v be 19/4 + 3/12. Suppose 0 = 55*z - 50*z - 25. Suppose z*q - 7 = -5*g - 2, v*g = 4*q - 13. Is q >= 2/7?
True
Let b be (1305/15)/((-21)/2). Is b <= -8?
True
Let n be (-2)/(-4)*(0 - 0). Let l = 1 - n. Let y be 8 + -9 + (-130)/(-120). Which is smaller: l or y?
y
Let t = 459 - 458. Which is bigger: 1/992 or t?
t
Let t be 27 - 4*(-3)/6. Let i = -8 + t. Suppose 3*m = i - 51. Which is greater: -11 or m?
m
Let f be 39/9 + 12/(-9). Let l be (2 + (-4)/f)/(14/(-21)). Which is greater: l or 2?
2
Let n = -7729 + 7734. Let f = -0.1 + 3.1. Let v = f + -1. Are n and v equal?
False
Let p = -0.54 - -46.54. Let y = p - 22. Let a = 40 - y. Is 0 not equal to a?
True
Suppose 5*j + 6 = 36. Let x(r) = r**2 - 5*r - 6. Let d be x(j). Which is smaller: 1/18 or d?
d
Let p = 228 + -236. Are -44/5 and p nonequal?
True
Let a = -150 + 132. Which is bigger: a or -13?
-13
Let p(k) = -k - 8. Suppose -4*d + q - 2*q = 20, -3*q = 0. Let a be p(d). Which is greater: a or 0?
0
Let v = -3/40 + 107/360. Is 0 != v?
True
Let d = 15 + -17. Let a be 244*4/(d - -26). Let x = 41 - a. Which is smaller: 1 or x?
x
Suppose 0 = 3*j - b - 5, 3*b = -5*j + 4*b + 5. Which is smaller: j or 7/23?
j
Let a = -32 - -21. Let d = 9 + a. Let y be (-4)/6*(1 - d). Is y equal to 0?
False
Let f be 11 + (27216/(-49))/(-12). Which is smaller: 58 or f?
f
Let b(v) = v**3 - 17*v**2 + 15*v + 32. Let i be b(16). Suppose -2*d + 40 = i. Which is smaller: 13 or d?
d
Let w = -166 + 177. Is -0.4 at most as big as w?
True
Let t = -76 - -58. Let o = -17.09 + 0.09. Let z = t - o. Which is smaller: 2/5 or z?
z
Suppose 75 = 5*u - 5. Suppose 0 = g - 5*g + 16, 2*a + 4*g = -18. Let j = a + u. Is 0 less than j?
False
Let s = 157 - 137. Let o(g) = 9*g - 5. Let r be o(4). Let t = r - 12. Which is bigger: s or t?
s
Suppose 2*x = 10, 3*w - 7*w - x - 2195 = 0. Does w = -550?
True
Let p = -1.071 - -1.061. Let j = -2.8 - -3. Which is smaller: j or p?
p
Let s = -0.11 - 3.89. Let x = 2.2 + -12.5. Let y = 10 + x. Which is smaller: y or s?
s
Suppose -v = 5*b - 36, 2*v - 2*b - 17 = -b. Let s = 24 - 12. Which is smaller: v or s?
v
Let n = -78 + 29. Let a = n + 47. Suppose 2*g + 4 = -q, -5 - 3 = 4*g. Is a <= q?
True
Let v be (-1 - 5)*(7 + (-75)/10). Suppose -v*i - 3*t + 375 = 141, 0 = -i - 2*t + 74. Is i > 82?
False
Let g(f) = -f**3 - 7*f**2 - 6*f + 2. Let r be g(-5). Let b = -8618 + 8601. Is r >= b?
False
Let u(t) = 30*t - 65. Let c be u(3). Is 21 < c?
True
Let j be ((-160)/256)/((-5)/4). Is 9/28 < j?
True
Suppose -i = -6 + 2. Suppose -2*f + 2 = i*a - 7*a, a - 3*f = 4. Let m be 3 - (4 + a + 0). Which is greater: m or 2?
2
Let t = 8179/5 + -1648. Is t > -13?
True
Let c be (-4 + 3)*642/2. Let q = -655/2 - c. Let d = -22 - -15. Is d greater than q?
False
Let l = -3139 - -3104.67. Let p = 0.67 - l. Let g = p + -34. Are 0.5 and g equal?
False
Suppose 6*q - q - 20 = 0. Suppose 4*d + 3*s + 869 = 0, -q*d - 649 = -d + 5*s. Let w = 1958/9 + d. Which is smaller: 0 or w?
w
Let f = 544 + -545. Which is smaller: -2/1121 or f?
f
Suppose -o - 15 = -4*t, -3 = -2*t + 1. Let h be (74/(-3))/((2/3)/(-1)). Let n = h + -45. Which is bigger: n or o?
o
Suppose -x + 151 = 4*t - 129, 2*t = -x + 138. Suppose 0 = 4*c + 2*z - 270, -3*c + 134 = z - 71. Which is smaller: c or t?
c
Let l(w) = 93*w + 296. Let c be l(-3). Which is smaller: c or -0.01?
-0.01
Let y = 0.2 - 0.2. Let k = -0.307 + -0.801. Let w = -0.108 - k. Which is bigger: y or w?
w
Suppose -26 = -7*a - 5. Suppose -4*w - x = -w + 4, 3*w = a*x. Is -3/31 < w?
False
Let z(m) = -m**3 + 13*m**2 - 2*m + 28. Let k be z(13). Suppose -9 = 3*l + 2*d, k*l - 2*d = l + 5. Let q = 38/9 - 199/45. Which is greater: l or q?
q
Let d = -7.38 + 7.08. Does 7.3 = d?
False
Let r(y) = -y**2 + 6*y + 40. Suppose -24 - 26 = -5*z. Let h be r(z). Are 1/99 and h equal?
False
Let d = -729 - -581. Are -149 and d equal?
False
Let p(z) be the third derivative of z**4/12 - 3*z**3/2 - 2*z**2. Let k be p(-6). Let m = k + 43/2. Which is greater: m or -0.3?
m
Suppose 0 = -4*y - 62 - 106. Are y and 6 unequal?
True
Let u = 3.27 - 3.3. Is 136 less than or equal to u?
False
Let t = 331 - 332. Which is greater: t or 2/595?
2/595
Suppose -r = 3*w + 11, 0 = -w + 3*r + 6 - 3. Let d be ((-2)/6)/((-10)/(-90)). Let y = d + 3. Is y at most w?
False
Let t(i) = 2*i**2 - 12*i + 5. Let m be t(6). Suppose 0 = m*q - 5*s - 68 - 62, 5*s - 10 = 0. Let z = 50 - 22. Is z > q?
False
Let p be (-12)/3 + (-2)/4. Which is smaller: 11 or p?
p
Let s = -108 + 107. Let p be 1 - 1 - -8 - 0. Is p < s?
False
Let i be 6/(-39) + 2684/4433. Is i not equal to -1?
True
Suppose -3*b - 121 = 44. Let p = -80 - b. Let k = -28 - p. Which is bigger: 1 or k?
1
Let d be (3 - (-39)/(-45)) + 2/(-15). Let i be 0/(-1)*1/d. Let z be 0 - (0 + (-6)/(-8)). Are z and i non-equal?
True
Let i = 27 - 27.037. Let y = i - 0.063. Is y less than or equal to -0.4?
False
Let h be 200*(70/10 + -6). Which is bigger: 202 or h?
202
Let q be (-6)/(45/(-10) - -3). Suppose -3*y + h - 1 = -2*y, -8 = -q*h. Which is smaller: y or 0?
0
Let q = -2794 + 396743/142. Is q != -1?
True
Suppose -21 = -45*z + 66*z. Is z > -7/52?
False
Let b(c) = 3*c**2 - 15*c + 1. Suppose 3*v + 0*v - 4*t - 18 = 0, 2*t + 6 = v. Let f be b(v). Which is smaller: 20 or f?
f
Let d = 2 + -1. Let o = 46081/71 + -649. Which is smaller: o or d?
o
Let b be 2/9 + 19/36. Suppose 12*x - 16 = 4*x. Which is smaller: x or b?
b
Let v be ((-4333)/40 + 37/296)*-5. Is 542 smaller than v?
False
Suppose 19*r = 15*r - 4. Which is bigger: -28/15 or r?
r
Let d be 1100/(-20)*1/(-5). Suppose d*t = 18*t + 91. Which is greater: t or -41/3?
t
Let o(i) = -i**3 - 6*i**2 + 9*i + 13. Let a be o(-7). Let x be (-2)/8 + (-172)/80. Which is bigger: a or x?
a
Let g = -380 + 151. Which is bigger: -228 or g?
-228
Suppose 9*b - 15*b - 384 = 0. Suppose 218 = 5*m - 7. Let x = m + b. Which is smaller: x or -18?
x
Let r = 291 - 294. Is -62/29 equal to r?
False
Let r = -375060 + 78012721/208. Let d be ((-14)/(-96))/((-3)/27). Let l = d + r. Which is greater: l or -1?
l
Let g = -666.99 - -667. Which is bigger: 37 or g?
37
Suppose -r = -5*v + 46 + 3, 7 = 3*v + 5*r. Suppose -3*t + v = 6*t. Which is bigger: t or 0?
t
Let i = -25 - -85/4. Let g be 5*(-6 + (-165)/(-25)) - 8. Do g and i have different values?
True
Let f = -1179087/4595 + 1283/5. Which is bigger: 1 or f?
1
Let u = -4.9 + 6.9.