70
Let c be 11/(33/6)*(-1)/(-2). Let w be (-9)/3*c - -2. Is 1 at least w?
True
Suppose 2*p = -32 + 30. Let o = -147 - -67. Let j be (p + -1)*8/o. Which is bigger: j or 2/3?
2/3
Let k(z) = 5*z + 5. Let r be k(-1). Suppose r = 4*b - 10*b. Which is bigger: b or 7/6?
7/6
Let x = 2 - 6. Suppose -73 + 16 = 19*p. Which is bigger: p or x?
p
Let p = -2 + 5. Suppose -4*x = -p*x - 2. Suppose n = x*n - 1. Are -1/19 and n equal?
False
Let l = 0.093 - 16.393. Let q = 16.3 + l. Which is bigger: q or 17?
17
Let n(y) = -y**3 + y**2 + 75. Let a be n(0). Let l be (-3 - -1)/(a/(-3)). Let o be (-9)/7 - 2/(-7). Is l not equal to o?
True
Let p be 45/(-6) - 6/4. Suppose -5*d = -4*m - 4, 4*m + 4 = -0*m + 2*d. Let j(f) = 9*f**3 - f**2 - f. Let i be j(m). Is i <= p?
True
Let l = 8.6 + -14. Let y = 5.4 + l. Which is smaller: -3/28 or y?
-3/28
Let d be 7/(-14) - 1/14. Suppose 48 = -2*f - 4*t, -f = 2*t - 3*t + 15. Let l be 30/f + 4/6. Which is smaller: d or l?
l
Let s(o) = o**2 - 34*o - 499. Let u be s(51). Are u and 369 nonequal?
True
Let z(q) = 2*q - 11. Let y be z(8). Suppose -a - y = -0*a. Suppose -o = 5*v + 13 + 9, -5*o - 26 = 4*v. Which is smaller: v or a?
a
Let s = -31 + 30.75. Let w = -0.15 - s. Which is smaller: -7 or w?
-7
Suppose 3*v = -5*y + 412, -10*y = -6*y + 3*v - 329. Let d = y - 57. Are 27 and d equal?
False
Let n(x) = 3*x**2 - 8*x - 5. Let o be n(7). Let v = 254/3 - o. Is v at most as big as -0.1?
True
Let b be 8/(-6)*1 - 0. Let h = 257 - 209. Suppose h = j - 25*j. Do b and j have different values?
True
Suppose -4*x + 152 = -4*n, 4*x + n + 108 - 270 = 0. Suppose 1 = x*v - 41*v. Is 2/9 at least as big as v?
True
Let i = 6.62 - 9.62. Do i and -0.063 have different values?
True
Let q = 1 + -30. Which is bigger: q or 18?
18
Let h = -227.96 + 246. Let z = 0.1 - -17.9. Let w = h - z. Is 0.2 < w?
False
Suppose 5*y + 35 = -5*k, 0 = -4*y + 2*k - 5*k - 24. Let w = y - -7. Let g be (4/(-8))/(w/8). Is 1/5 < g?
False
Let u = 57 + -84. Which is smaller: u or -29?
-29
Let p be 0 + 11 + (-2)/(-1). Let a be 42/(-4) + p/26. Which is smaller: a or -8?
a
Let o = 2 - 2. Let b(w) = w**2 + 2*w - 3. Let k be b(-3). Is k > o?
False
Let y(n) = -n + 3. Let i be y(2). Let b(p) = 3*p - 5. Let k be b(3). Which is bigger: k or i?
k
Suppose 3*m + 6 = 6*m. Suppose -5*q + 3*v + 33 = 0, -m*v + 2 = 4. Suppose 115 + 5 = -q*x. Is x < -21?
False
Let z = 21037/7 - 3016. Is z > 0?
False
Suppose 2 = -4*u - 2. Let j be (-9)/(-3) + 15/u. Let q be 2/(-6) - 10/j. Does -1 = q?
False
Suppose 88*k = -15*k - 76014. Do -738 and k have the same value?
True
Let l = 209560/27167 - -2/3881. Which is bigger: l or 9?
9
Suppose 3*f - 11 = 5*l + 9, 0 = 2*l + 4*f - 18. Which is smaller: -11/102 or l?
l
Suppose -2*x = -146 + 8. Let d = 49 - x. Do d and 1 have different values?
True
Let d = 18.94 - 19. Let m = d - 0.14. Which is smaller: m or 4?
m
Let p(k) = 10*k - 4*k**2 - 5*k**2 + 8*k**2 - 1. Let n be p(10). Which is smaller: 2/41 or n?
n
Let f be 192/(-18)*3/(-2). Let w be f/48 + 244/(-714). Let q = w - -135/1904. Is q bigger than -1?
True
Let x = -5180 - -5182. Let c(b) = 3*b**3 - 3*b**2 + 1. Let f be c(2). Which is greater: f or x?
f
Let i(x) = -2*x**3 + 36*x**2 + x - 13. Let u be i(18). Suppose 2*c = -u*v + 75, 15 = 2*v - v - 3*c. Which is greater: -2 or v?
v
Suppose -4*x = -4*g + 64, 4*x + 14*g + 62 = 16*g. Suppose -4*v + 21 - 9 = -3*f, 0 = v + f - 3. Suppose v*q - 60 = 3*r, 4*q - q = 15. Is r equal to x?
True
Let v = -5 - -9. Let c be (-38)/(-5) - v/(-10). Let n be 13/39 - c/6. Which is smaller: 0.3 or n?
n
Let m be 2/5*(6 - 1). Suppose -m*a + 4*p - 68 = -a, 0 = -3*a - 2*p - 260. Let k = 250/3 + a. Is k greater than 11?
False
Let p = -83 + 75. Let y be (-4 - 41)*p/(-10). Does y = -36?
True
Suppose -3*w = -2*f - 174, 5*w - 445 = 5*f - 0*f. Which is greater: -92 or f?
-92
Let x be (-1)/(-3)*(-2)/(-3). Let p = -34.08 - -0.08. Let m = p - -35. Is m less than x?
False
Suppose -3*g - 8 - 1 = -u, 0 = -5*u. Let y = g + -35. Which is smaller: y or -37?
y
Let l = 1142 - 3457/3. Let k(m) = -3*m - 10. Let g be k(-7). Let o = l + g. Is 2 at most as big as o?
False
Suppose 20 = 4*h - 3*o + 9, 29 = 4*h + 3*o. Which is smaller: h or 15/4?
15/4
Let r be 1 + 1 + 0 + -29. Suppose 224 = -93*n + 85*n. Which is smaller: r or n?
n
Let z(u) = -u**3 - 7*u**2 - 4*u + 26. Let q be z(-5). Which is smaller: q or -12?
-12
Let j = -0.268 + 0.168. Which is smaller: 90 or j?
j
Let q be (20/(-45))/(-3 - 149/(-51)). Which is smaller: q or -1/3?
-1/3
Let b(n) = n**2 - 9*n - 11. Let f = -1 + 10. Let j be b(f). Let d = j - -19. Is 15/2 != d?
True
Suppose 122 = -5*i + 22. Let r = i - -21. Are r and 1 nonequal?
False
Suppose 4 = -4*g - 3*w, -2*w = 3*g + 2*w + 10. Let j be ((-15)/5)/(-9)*(2 - g). Is j <= 4/35?
True
Let p be 2*2/(-5) + (-1452)/110. Let c = -20 + 6. Is p greater than c?
False
Let m be (1/(-2) + 57/6)*(-1085)/4650. Suppose -d - 2*o = -3*d - 10, 5 = -4*d - o. Which is smaller: m or d?
m
Let s(k) = -k**2 + 15*k - 6. Let j be s(15). Let a be (-21)/77*(-4)/j. Suppose -g = g - 4*g. Which is bigger: g or a?
g
Suppose -263 + 267 = 4*f. Which is smaller: -1/554 or f?
-1/554
Suppose -53 = 3*c - 5*u, 2*c - 4*c - 52 = 5*u. Let y be (-3 - -5)/(-2)*0. Is y greater than c?
True
Let a = -27.3 + 28. Let h = -2.3 - a. Let z = -2 + h. Is z at most as big as 1?
True
Let l be (-408)/6 - (-7)/((-7)/6). Are -374/5 and l non-equal?
True
Let j be (-6)/10 - 10656/(-17640). Which is smaller: j or 0?
0
Let t = -123.04 + 120. Let n = -0.04 - t. Which is smaller: 1 or n?
1
Let p be 6/(-15)*(-1)/(-5). Let y = 135 + -129. Suppose 0 = 5*v + 4*g - 2*g + 5, -v + y = -g. Is v greater than or equal to p?
True
Let o(g) = -2*g**3 + 6*g**2 - g + 1. Let b be 1 - ((1 - 3) + 0/3). Let q be o(b). Which is smaller: q or -5/3?
q
Let w = 23/43 - 4019/7353. Which is smaller: -1 or w?
-1
Let b = -107/378 + -2/27. Suppose -5*j + 10 = -2*x, -2 = -5*j + 8. Which is smaller: b or x?
b
Suppose 65*z = -895 - 1900. Suppose 5*w + 137 = -83. Which is smaller: z or w?
w
Let u = 6 + 1. Let y = -56309/5 + 11270. Is y < u?
False
Suppose 3*p - 22 + 19 = 0. Which is bigger: p or -0.066?
p
Let l = 3 - 2. Let u = -0.905 - -0.905. Which is greater: u or l?
l
Let t = -128 + 50. Let c = t - 2. Is c at least as big as -80?
True
Let y be (9/(-18) - -1)*1*-398. Are -199 and y equal?
True
Suppose 27*u = 24*u + 3. Let v be u*-1 + 5 + -7. Let r be (1*(v - -2))/1. Which is bigger: r or -2?
r
Let t = 229 + -149. Suppose d + 81 - t = 0. Which is greater: -2/5 or d?
-2/5
Let j(p) be the second derivative of p**3/3 - p**2/2 + p. Let s = -460 + 461. Let f be j(s). Which is smaller: -1/11 or f?
-1/11
Let v(o) be the third derivative of o**6/120 - o**5/12 - o**4/8 - 4*o**3/3 - 5*o**2. Let y be v(6). Let k be 2/y*-6*-5. Is k at least as big as 5?
True
Let t be 1/(-4)*(-3 - -3)/2. Let r be 4/(-21)*6/(-14). Let m = -118/245 + r. Which is bigger: m or t?
t
Suppose 3*x - 105 = -2*x. Suppose 3*z - 4*c - 64 = 0, 2*z - 2*c + 58 = 5*z. Is z less than x?
True
Suppose 58 = -c + 3*z, c + 50 = z - 6*z. Let p be (-2)/(-5) + -277*5/25. Are c and p non-equal?
False
Let a = -14284 - -71701/5. Suppose -2*z = -58 - 48. Let o = z - a. Which is smaller: -4 or o?
-4
Let u = 545 - 546. Let k = -3 - -5. Which is smaller: u or k?
u
Let n(r) = -r - 1. Let j(x) = x**3 + 8*x**2 + 3. Let b(k) = j(k) - 6*n(k). Let a be b(-7). Let c = 10 - a. Do -6 and c have the same value?
True
Let q(j) = j**2 + 13*j + 27. Let h be q(-11). Suppose 4*i + 19 = 2*b - 17, -h*b + 3*i + 76 = 0. Which is greater: 15 or b?
15
Let g(b) = -b**2 - b + 2. Let o be g(-2). Suppose -12 = -248*q + 260*q. Which is smaller: o or q?
q
Let g be (-10)/15*(-3)/2. Let r be (260/406)/2 + 4/(-14). Is g bigger than r?
True
Let t = -59 + 86. Let u = -26 + t. Is u less than 22?
True
Let i = 51 - 30. Let y(d) = d - 22. Let w be y(i). Which is bigger: w or 1?
1
Let z = 22 + -20. Suppose z*b - 8 = -4*c, 5*c - b - 3*b + 16 = 0. Which is greater: 23 or c?
23
Let x = -389 - -387. Which is smaller: 0.3 or x?
x
Suppose w + 7*y - 7 = 2*y, -w + 1 = -y. Suppose -5*f + 20 = 5*o, -13 = 4*o - w*f + 1. Do o and 0.2 have the same value?
False
Let u be (6 + -2)/((-12)/(-4) + -5). Let z be u*(-3)/(-2) + -32. Is z equal to -35?
True
Let d = 239 - 236. Is -6 >= d?
False
Let p be 1 - ((-24)/(-1) + 1). L