633/65. Is p equal to 0?
False
Let b = -4.83 - -0.73. Let q = -4 - b. Let p = q - 0.3. Is p <= 2?
True
Suppose -2*l = 4*d + 20, -d - 5 = 4*l - 0. Let y be (-3)/(-6)*4 + -8. Let s = y - 0. Is s != d?
True
Let u be 1 - (-3 - 1/(-1)). Let r be ((-21)/70)/((-9)/24). Which is greater: u or r?
u
Let p = -3 + 5. Let a be (-190)/(-175) + (-4)/14. Is a bigger than p?
False
Let t be -4 - ((-6)/3)/1. Which is smaller: t or -4?
-4
Let t(n) = 2*n + 22. Let u be t(-10). Let w be ((-5)/(-6))/((-1)/(-2)). Is w at least u?
False
Suppose -3*k = -2*k + u + 12, -2*u = k + 15. Let a be (1 - (0 - -2)) + k. Let i be a/3 + 6/(-9). Is -3 less than or equal to i?
False
Let d = -1176 + 57622/49. Which is bigger: d or -1?
d
Suppose 4*z - 22 = 2. Are z and 21/4 unequal?
True
Let n be 8*(-1)/(1/(-2)). Which is greater: n or 17?
17
Let y(j) = 2*j - 4. Let w be y(3). Let s(m) = -2*m**3 - m**2 + 1. Let f be s(-1). Let z = -1 + f. Is w less than or equal to z?
False
Suppose s = 4*s. Let n = 1 - 0.9. Is n equal to s?
False
Let t = 2.06 - 0.06. Let v = 2 - t. Let x = 6 + -6. Is x less than v?
False
Suppose -4*l = -4 - 0. Which is smaller: 2 or l?
l
Let c be 0 + (1 - -2) + -3. Suppose 2*x + c = 8. Is 3 <= x?
True
Let p = -13.3 + 13. Which is smaller: 4/5 or p?
p
Let c = -32/119 - -7/17. Is 1 at most as big as c?
False
Suppose 4 = -2*w + 2. Is w bigger than 5/14?
False
Suppose -3*y + 48 = -0*y. Suppose x - 5*x = y. Suppose 0 = -c - w, 28 = -4*c + w + 2*w. Are c and x unequal?
False
Suppose 2*l = 4*l. Suppose -10 = 5*n, -4*b + 2*b - 2*n - 4 = l. Suppose -m - 5*i - 11 = 3*m, 12 = -4*i. Does m = b?
False
Let l be 5/(2 + 365/(-184)). Let k = 304 - l. Let h = k - -13/6. Which is bigger: -2 or h?
h
Let s(b) = -b**2 + 6*b - 5. Let j be s(5). Suppose 2*r - 3 + 1 = j. Which is bigger: r or -1?
r
Suppose 4*z - 18 = z. Let c be ((-2)/z)/((-1)/(-3)). Suppose 2 + 3 = 5*d. Which is smaller: d or c?
c
Let i = 108 + -71. Let a = i + -112/3. Which is smaller: a or 0.7?
a
Suppose 242 + 122 = 4*t. Let n = -173/2 + t. Is 4 smaller than n?
True
Let w = -7 + 8. Suppose i + w + 3 = 0. Which is greater: i or -3?
-3
Let u = 38 + -16. Suppose -22 = 3*w - 2*d, -5*w + 3*d - u = 7*d. Is w greater than or equal to -6?
True
Let u = 0.2 - -0.1. Let m(x) = -x + 9. Let i be m(11). Which is smaller: u or i?
i
Let u be (11/(-3) - -3) + 86/30. Are u and 1 non-equal?
True
Suppose 4*o = 0, -2*r + 12*o = 8*o + 4. Let a = -286 + 2005/7. Is a less than r?
False
Let n be 2 + -2 + (4 - 1). Let s be (0 + -2 + n)*0. Is -2/9 less than s?
True
Let q = 12.18 + -12. Let o = 0.02 + q. Let w = -0.3 + o. Is w equal to 0?
False
Suppose 0*u = -3*b + 5*u - 25, -10 = 4*b - 2*u. Which is bigger: b or 1/106?
1/106
Let u = 1 - -5. Let y = u - 6.04. Is y equal to 0?
False
Suppose -4 + 5 = a. Is a at most 4?
True
Let o = 9 - 17. Let v = 7 + o. Is 1/2 equal to v?
False
Suppose 2*i - 1 = i. Let l = 2 + -1. Let w be -1*(-2 + 2)*l. Is w at most i?
True
Let v(t) = t**2 - 7*t - 8. Let q be v(7). Let l = q - -6. Which is greater: -1 or l?
-1
Suppose -h - 4*h + 10 = -5*t, -2*h = -3*t - 4. Let y be ((-19)/57)/(h/(-27)). Is y smaller than 6?
True
Let j(g) = -g + 1. Let y be j(1). Let t be (0/(-3) - y)/1. Let h(l) = l - 4. Let b be h(5). Which is smaller: b or t?
t
Let d = 3023/7 + -431. Which is bigger: -2/3 or d?
d
Let h = 1 - 1. Suppose y = -y + 12. Suppose k = 4*k + y. Is k smaller than h?
True
Suppose 6 = 5*c + 1. Which is greater: c or -2/21?
c
Let w be 120/(-225)*(-5)/12. Let f be 2/(-6) - (-289)/3. Let r = f + -866/9. Which is smaller: w or r?
r
Let b = -9/5 - -221/45. Which is bigger: 2 or b?
b
Suppose s - 2 - 3 = 0. Suppose -2*b + 5 + s = 0. Suppose b*t - 3 = -8. Which is bigger: t or -0.1?
-0.1
Let s(c) = -c**3 + 9*c**2 - 7*c - 8. Let z(k) be the third derivative of -7*k**4/24 + k**3/6 + k**2. Let l be z(-1). Let m be s(l). Which is smaller: -2/5 or m?
-2/5
Suppose -5*l = -m - 19, 2*l - 5*m - 5 = -2*m. Suppose 0 = -2*v + 4 + 4. Is l at most v?
True
Let i = 724 + -4834/7. Let q = i + -34. Is -1 >= q?
False
Let b = 9 + 11. Which is bigger: -1 or b?
b
Let t = 22 - 20. Which is smaller: 3 or t?
t
Let l = 17 + -1. Suppose 4*y + 12 = -l. Is y < -8?
False
Let c be 6/(-4)*8/6. Let f = -2/41 - 72/205. Is c greater than or equal to f?
False
Let v be (0/3 + 28/(-62))*-1. Is v >= 1?
False
Let y be (4 + 368/(-84))/((-12)/(-14)). Is y bigger than 0?
False
Let j = 562/869 + -8/79. Suppose 3*l = 2 + 1. Which is greater: l or j?
l
Suppose -3*x + 2*x = -159. Let b = 3019/19 - x. Which is bigger: b or 0?
0
Let b be 9/(-6)*4/(-6). Let j(h) = h**2 - 9*h + 6. Let w be j(8). Let k be b*3/(-21)*w. Is k less than or equal to 0?
False
Let p be -1*((-4)/(-2) - 8). Let a = p - 4. Let n be (-3)/(8 - 2)*a. Do n and -1 have the same value?
True
Suppose 0 = 7*j - 3*j. Let s be (-9)/(-4) - (-7)/(-28). Is j not equal to s?
True
Let k = 11.6 - 12. Which is smaller: k or -4?
-4
Let t(q) = q**3 - q**2 - q - 1. Let z be t(0). Let p = z - 1. Let x be 6/(-5 - p) - 0. Is -0.1 bigger than x?
True
Suppose 0*z - 18 = 4*z - r, -4*r = -4*z - 24. Let n(x) = -x - 7. Let y be n(-8). Let i = y + z. Which is bigger: -2 or i?
-2
Let a = -45 + 46. Let u be 843/(-18)*3/(-22). Let b = -62/11 + u. Which is greater: b or a?
a
Let f = -7 - -6.9. Let b = -1.3 + 0.3. Let v = 0 - b. Is f at least as big as v?
False
Let w(g) = -g - 5. Let m be w(0). Let p be 2/m - 8/(-20). Suppose -3 = b - p. Which is smaller: b or -2?
b
Suppose 5*c + 13 = 4*i, 0*c = 4*i - c - 9. Is i > 3?
False
Suppose -5*d - m = m - 23, -d - 2*m = -11. Suppose w = 2 - d. Which is bigger: -11/5 or w?
w
Let u(d) = 2*d + 7. Let o be u(-5). Let b be o/(-9)*(-3)/(-8). Suppose -f = 4*f. Which is smaller: b or f?
f
Suppose 0 = 4*f + f - 4*f. Which is bigger: 4/5 or f?
4/5
Let x = 8.7 - 8. Let y = x - 0.9. Which is greater: 0 or y?
0
Let f be 1/6 - (-410)/60. Which is bigger: f or 2/3?
f
Suppose 4*j - 7 + 31 = 0. Let q be (4/j)/((-8)/(-12)). Let s be (3 - -1)*(-1)/(-18). Which is greater: s or q?
s
Suppose -2*v = 2*v - j - 1, -3*v + 5*j = -5. Suppose p - 6*p - 2*q + 14 = v, 5*p = 3*q + 4. Suppose 0 = r + 1 - 3. Is r >= p?
True
Let u = -391/336 + 19/16. Let c = -53/21 + u. Which is smaller: c or -3?
-3
Let i be (32/(-6))/2*-3. Let r = -45 - -55. Do i and r have the same value?
False
Let t = 31 + -30. Is t less than 1/38?
False
Let p = -5 - -7. Let w be (9/3)/((-3)/2). Let h = -1 - w. Which is greater: p or h?
p
Suppose -60 = 5*z + 2*g, 0 = 2*z - 4*g + g + 24. Let o be 2/4*z/(-138). Which is smaller: o or 1?
o
Suppose 5*v - 5 = -5*g, 4*g + v - 3 = -2*v. Suppose 5*y + g = -5. Does y = 0?
False
Suppose 2*j + 42 = -24. Which is smaller: j or -35?
-35
Suppose 4*q = -q. Let n = 1/4 - q. Suppose -8*c + 3*c + 5 = 0. Which is greater: c or n?
c
Let y = 26 + -10. Suppose 3*v = y - 1. Let f = 8 + -5. Which is smaller: f or v?
f
Let h(u) = -u - 7*u + 2 + 2*u + 3*u. Let i be h(2). Which is greater: i or -3?
-3
Let q be 35158/(-210) - 2/(-7). Let o = q - -167. Which is smaller: 0 or o?
o
Let g = -2.06 - -1.96. Does -7 = g?
False
Let p = -40 + 526/13. Which is greater: p or 0?
p
Suppose 0 = m + 2*r + 5, r - 5 = 3*m + 3. Suppose -4*p = 3 + 5. Is p greater than m?
True
Let p = 0 + 0.2. Which is bigger: p or -5?
p
Suppose 2*n - 2*i = -0*n + 14, 0 = n - 4*i - 4. Let t(f) be the third derivative of -f**6/120 + 2*f**5/15 + f**2. Let c be t(n). Is c smaller than -4?
False
Let h(t) = 2*t**2. Let y be h(2). Which is smaller: y or 9?
y
Let o = 57346/35 - 8328/5. Let y = o - -711/28. Is -3 at most as big as y?
True
Let k = -132 + 121. Let g = -34 - -24. Which is greater: g or k?
g
Let q be -3*(-2 - 14/(-6)). Let i be (2 - 4)*6/4. Is q less than or equal to i?
False
Let y = -2 - -3. Let l = 64/51 + -10/17. Which is bigger: y or l?
y
Let h = 425 + -1264/3. Which is smaller: 4 or h?
h
Let v = -3 + 6. Let m = v + -2. Which is greater: 0 or m?
m
Suppose 4*j + 24 = -2*p, 4*j = 3*p - p - 8. Let f = 12 + j. Is f smaller than 8?
False
Let p be (-7)/14 - 98/(-4). Is p at most -5?
False
Let a = -6 + 8. Suppose -q + a = q. Let j = 89 + -618/7. Is j not equal to q?
True
Let r = -18 + 33. Let q be (10/r)/((-2)/21). Is -5 bigger than q?
True
Suppose -4*h = -2*h - 6. Let f(w) = 2*w**3 - 2*w**2 - 2*w. Let y be f(2). Suppose -4*i = -5*b + 26 + y, 17 = b - 3*i. Which is bigger: h o