 or equal to w?
True
Let o = -0.4 + 0.23. Is -2 less than or equal to o?
True
Let z(s) = 3*s**2 - s + 1. Let i be z(1). Let c be i/(-9) - (-2)/(-12). Let d = -4 + 2. Which is smaller: d or c?
d
Let b be 3/5 + 81/15. Which is smaller: 5 or b?
5
Suppose -p - 168 = 6*p. Is -2 at most p?
False
Let p be 1 - (-2)/(4/(-1)). Let q(k) = 1 - 7 + k + 5. Let r be q(3). Which is greater: p or r?
r
Suppose 3*r + 6 + 3 = 0. Let x = r + 2. Let g = -19.9 + 20. Is g at most x?
False
Let o(y) = y**2 - 13*y + 36. Let d be o(9). Which is greater: 1/7 or d?
1/7
Let s be -312 + (0 - (-6)/(-2)). Let l = s - -3153/10. Let q = 2 + -1. Which is bigger: l or q?
q
Let d be (-27 - 2)*(-16)/(-30). Let c = -47/3 - d. Suppose t - 6*t = 5. Is c greater than or equal to t?
True
Let n = -110 + 879/8. Let h(r) = -r - 1. Let a be h(-2). Which is greater: a or n?
a
Let v = 23/9 - 17/9. Let j be 608/(-30) - 4/10. Let i = j + 21. Do v and i have different values?
True
Let f be -6 + -1 + 3 + -2. Suppose -3*k = -a + 3, -2*k + 12 + 0 = -3*a. Is a at least as big as f?
True
Let a = -1436/3 + 9971/21. Let g = a + 115/28. Does 0.8 = g?
False
Let y be (-2)/8 - 165/(-100). Is y greater than 1?
True
Let u(t) = -2 - 7*t - 2*t**2 + 6 + 16*t + 3*t**2. Let i be u(-8). Let m = 1 - 2. Which is smaller: i or m?
i
Let u = -1 - -1. Suppose u*p + 18 = p. Let n be p/8 - 4/16. Is 0.1 smaller than n?
True
Let m = 124/17 + -1310/119. Which is smaller: m or -5?
-5
Suppose 0 = 4*x + 3 - 15. Suppose -14 = x*s + 2*p, -2*s - p - 16 = 2*p. Which is smaller: 2/5 or s?
s
Let n = -1.8 + -0.2. Which is smaller: n or -1.9?
n
Let g be (12/(-5))/((-21)/(-70)). Which is smaller: g or -9?
-9
Let i = -4 - -1. Let t = i - -3. Suppose -2*g + 2 = -0*g. Which is smaller: t or g?
t
Suppose -f - 4*f = -15. Let j(u) = -u**2 + 7*u - 6. Let k be j(5). Which is smaller: k or f?
f
Let p = -7 + 7.06. Let x = p + -2.06. Which is bigger: 0.3 or x?
0.3
Suppose -5*r - 1 = -w, -5*r - 7 = -5*w - 22. Let f be ((-30)/9)/((-14)/(-6)). Is r at least f?
True
Let t = 0.9 + -2.2. Which is greater: 2 or t?
2
Let d be 2 - (-10)/(-3)*1. Suppose 0 = -4*f + 23 - 31. Is d less than f?
False
Let v be 8/(-3)*3/(-10). Let r = -27 + 28. Is r not equal to v?
True
Let h be 1264/18 + 2/(-9). Let q be 1/(-5) - h/25. Let v be (q - -3)/(1 + -2). Is v smaller than 0?
False
Suppose -5*j + 5*i + 345 = 0, i = 4*j - 0*i - 291. Suppose -j = 4*q - 710. Let x = -2386/15 + q. Are x and 1 unequal?
True
Let b = -32 + 32. Which is smaller: b or 1/7?
b
Let j be ((-2)/1)/1 + 0. Let l be j + 2/(1 + 1). Let p = l - 0. Are p and 1/4 nonequal?
True
Let c = 15 + -18. Suppose -2 = 4*h + 2*m - 0, -4*h = m + 5. Which is smaller: c or h?
c
Let r be (-170)/(-44) + (-4 - 0). Is -1 bigger than r?
False
Let x(j) = -j**3 - 8*j**2 - j - 9. Let y be (4/3)/((-5)/30). Let i be x(y). Do 0 and i have the same value?
False
Let u be 2/8 + (-133)/(-12). Which is greater: u or 12?
12
Suppose -2*c + 3*u + 2*u = -9, 1 = -u. Suppose 0*z + c = z. Let q(s) = s**2 - s - 1. Let o be q(z). Is o bigger than 1/6?
True
Suppose 3*k = -k + 8. Suppose g - 3*g + 6 = 0. Suppose g + 2 = 5*s. Is s at least as big as k?
False
Let r = -73/3 - -25. Do 0.7 and r have the same value?
False
Suppose 0 = -a - 3, -89 = -4*f - 2*a - 11. Let u = -13 + f. Let d be 3/(-2) + 12/u. Which is smaller: d or -3/7?
-3/7
Let m(r) = r**3 - 4*r**2 - 4*r - 3. Let p be m(5). Let v(k) = k + 11. Let u be v(0). Let l be u/35 + (-4)/(-14). Which is smaller: p or l?
l
Let l be 30/1*16/20. Let k = -218/9 + l. Which is bigger: 0 or k?
0
Let z be (-11)/5 - (-2)/10. Let m(j) = -j**3 - 3*j**2 - 2*j - 1. Let v be m(z). Let s be 2*3/(-2 + v). Which is bigger: 0 or s?
0
Let l(a) = -a**3 + 2*a**2 + a - 3. Let n be l(2). Which is greater: n or 3?
3
Suppose -5*g = 2*y - 167, 3*g - 3*y - 63 = g. Which is greater: g or 32?
g
Let y = -7 + 7. Suppose -5*x = c - y*c - 15, 3*c + 4*x = 1. Is c less than -6?
False
Let a = 27 - 1. Which is smaller: 23 or a?
23
Let w be ((1 - 0) + (-104)/120)*3. Is -1 at least w?
False
Let l = -109/35 - -19/7. Let n = -139 - -971/7. Is n equal to l?
False
Suppose 5*k = 3*k + 2. Suppose l = -0 - k. Which is greater: -5/7 or l?
-5/7
Let o be (-2)/(-4)*(48 + -10). Are o and 1 nonequal?
True
Let j(r) = -r + r**2 - 2 - 4*r**3 + 5*r**3 + 0*r. Let o be j(0). Let h be (-1 - o)/(-7 + 2). Which is bigger: 1 or h?
1
Let b be (0 + 17/(-2))*3308. Let w = 3289847/117 + b. Let y = w + -2/117. Which is smaller: y or 0.1?
0.1
Suppose -3*k + 9 = -0*k. Suppose -1 = k*q - t - 0, t = 5*q + 3. Is -2 not equal to q?
True
Let i be 8 - -2 - (3 - 2). Which is smaller: i or 11?
i
Suppose u - 5*u = -5*l - 126, -4*u + 100 = -4*l. Which is bigger: -25 or l?
-25
Let w = -29/126 + -1/18. Which is smaller: w or 0?
w
Let s(r) = -r**2 + r + 1. Let q be s(-1). Let k = -2/19 + 64/247. Which is greater: q or k?
k
Let w be (0/(4/(-2)))/(-2). Which is smaller: w or -3/4?
-3/4
Let r be (1/(-3))/(2/6). Let w = -4 - r. Let h = -4 - w. Which is greater: -2/7 or h?
-2/7
Let l(c) = -10*c**3 - c + 2. Let z be l(2). Let x be (-1)/(-3) - z/(-24). Let j = -2 + -1. Is j greater than x?
False
Suppose 5*z - 5 = 2*u - u, 2*u = -2*z + 2. Let r = -6 - -6. Which is bigger: r or z?
z
Let d(t) = -4*t**2 + 1. Suppose -l = 2*l + 21. Let w = l - -8. Let a be d(w). Which is smaller: -4 or a?
-4
Let q = 1 + -1.02. Let o = 3.02 + q. Let r = 5 - o. Is r > 0.1?
True
Let y = -3 + 8. Let q = 5 - y. Is -5 at most as big as q?
True
Let i(j) = 2*j + 6. Let l be i(0). Let r be (-35)/42 + 2/l. Does -7 = r?
False
Let t = 7/2731 + -107174/259445. Let p = 1/95 + t. Are p and 0 nonequal?
True
Suppose 5*p = 10*p - 50. Let l be (-126)/(-15) + 6/p. Is l less than -1?
False
Let c be 2/2 + 1 + -6. Suppose d - 14 = 6. Suppose 0 = t, -3*t = -5*r - 8*t - d. Does r = c?
True
Let v be (-4)/(-30) + (-524)/(-570). Is 1 greater than or equal to v?
False
Suppose 4*k + 43 = 11. Let q = -7 - k. Let v be 3/((-18)/4) + 2. Which is smaller: v or q?
q
Let c(m) = m**2 - 4*m + 3. Let u be c(1). Which is smaller: u or -1/24?
-1/24
Let x = -3 + 2. Let p be -1 - x - (0 + -3). Suppose -p*k - 2 = 1. Is -2 smaller than k?
True
Let d = -139/265 - 4/53. Let y be (-1)/(-3)*(-171)/84. Let m = y - -1/84. Which is greater: d or m?
d
Suppose -2 + 6 = q. Let z be q/12 + 1958/(-408). Let a = 55/12 + z. Is 1 != a?
True
Suppose r - 3*s = 2*s + 12, -4*s = -2*r + 12. Suppose -u = r*u. Let q be 1*(-4)/12*-3. Which is bigger: u or q?
q
Let j = -275/3 + 93. Let y be 2*-4*2/4. Let a = -3 - y. Is j at most as big as a?
False
Suppose -160 = i - 6*i. Which is bigger: i or 31?
i
Suppose 4*c = 8*c + 8. Are c and 1/29 non-equal?
True
Suppose 2*i - 12 = 6. Suppose 0 = 2*w + 3*v - 22, -2*w - v = -17 - 1. Which is smaller: w or i?
w
Let z = -9 + 7. Let l(n) = n**3 - 3*n**2 - 5*n + 4. Let t be l(5). Let r = t + -63/2. Which is smaller: z or r?
r
Let g(w) = 3*w - 5. Let j(q) = -4*q + 6. Let v(s) = -3*g(s) - 2*j(s). Let t be v(4). Which is smaller: 0.3 or t?
t
Let l(j) = -j**2 + j + 3. Let t be l(0). Suppose 4*i + t*b - 27 = 2, -3*i - 3*b + 24 = 0. Let s(x) = x - 6. Let u be s(i). Which is smaller: -1/4 or u?
u
Suppose 5*m + 31 = 2*c, -3*c + 2*m = -2*c - 15. Let d = c - 7. Which is greater: 7 or d?
7
Suppose 5*q + 0*q = -4*j + 7, 2*q + 34 = 3*j. Let h be j/40 + (-76)/5. Let i be -3 + h/(-6) + 0. Does 0 = i?
False
Suppose -3*f = 54 + 51. Which is bigger: f or 1?
1
Let s = -3/20 + -1/4. Let t be 2/(-4)*(-14)/(-21). Do s and t have the same value?
False
Let p = -5.9 + 2. Let f = p + 4. Do f and 6/5 have different values?
True
Let j(a) = 9*a**3 - a**2 + a. Suppose -3 = -4*w + 1. Let y be j(w). Is y > 0.1?
True
Let a be 1/(-70)*22 - (-6)/(-21). Which is smaller: -2 or a?
-2
Let w(m) = m + 1. Let n be w(2). Suppose -h + 126 = 8*k - 3*k, -5*k + n*h + 142 = 0. Let o be (0 + (-2)/k)*1. Is 0 not equal to o?
True
Suppose 4*m = x - 20, 4*m + 24 = -m + x. Let d be (60/(-25))/(m/10). Is d < 6?
False
Suppose -5*d + 69 = 3*u, 2*u - 4*u + 66 = 5*d. Suppose -n + z = -0*n - d, -3*n = 4*z - 1. Is n != 8?
True
Let s(d) = d**2 - 2*d + 1. Suppose -3*n = -5*n + 5*i + 2, i = -n - 6. Let j be n/6 - 5/(-3). Let y be s(j). Is y at least -1?
True
Let u = 20 - 12. Suppose 3*x + 1 = 2*v - 1, u = 2*v. Suppose -3*g + 23 = -h + 6*h, g = x*h - 7. Which is smaller: 2 or h?
2
Let n = -1.1 - -1. Le