er: z or 19?
z
Let q(h) = h**3 - 11*h**2 + 11*h - 22. Let g be q(10). Which is smaller: -13 or g?
-13
Let z = -0.04 + 0.1. Let o = -0.16 + z. Which is bigger: o or 9?
9
Let m = 1/2139 - 2225/183954. Let a = -1189/1290 + m. Let o = -3/5 - a. Which is greater: 1 or o?
1
Let s be (-4)/14 - 108/14. Let o = s - -12. Let k be (3/o)/((-6)/(-16)). Which is smaller: 4/5 or k?
4/5
Suppose -5*c + 3*q = -24, -5*q - 18 = -5*c + 4*c. Which is greater: c or 32/13?
c
Let r(y) = y**2 - 4*y + 2. Let z be r(4). Let b = -10 - -7. Let l be (0 - -1) + b/12. Is z at least l?
True
Suppose 0*j - 3*g - 16 = -2*j, -4 = -2*g. Which is smaller: 9 or j?
9
Let z(k) = -2*k**3 + 2*k**2 - k. Let w be z(1). Let r be 3 + 758*(-3)/(-42). Let v = -57 + r. Is w less than or equal to v?
True
Suppose d + 20 = -4*z - 2, 0 = -2*z + 5*d. Let k(m) = -m - 12. Let v be k(-10). Is v >= z?
True
Let d = 243 - 977/4. Suppose 6 = 8*k + 14. Which is smaller: k or d?
d
Let t = -1 + 0. Let q be t*3*(-2)/2. Let k be 4/((-4)/q) - -2. Which is smaller: 0 or k?
k
Let s(p) = p - 3. Let r be (5 - 2)*(-8)/6. Let k be s(r). Suppose 12*g + 12 = -4*u + 17*g, 0 = g + 4. Do k and u have the same value?
False
Let s = -1 + 6. Suppose -5*i - 3 + 22 = 4*w, 3*w = s*i - 12. Let u be (-3)/(-9)*i + -3. Which is bigger: -3 or u?
u
Let a = 7 + 5. Suppose 2*o = -a - 54. Let z be o/28 + 1/(-4). Which is smaller: 0 or z?
z
Let a(y) = -y**2 - 4*y + 7. Let m be ((-10)/(-5))/((-2)/5). Let j be a(m). Suppose j*f = f + 2. Is f at least as big as 2/3?
True
Let k = -23 - -46. Is k bigger than 1/2?
True
Let m be 15 - (0 + -2 + 2). Let h be ((-24)/m + 2)*-5. Is h at most -1?
True
Suppose 3 = -4*f + 3*j, 4*f - 30 + 3 = -3*j. Suppose 0*r + z = -4*r + 21, 3*z + 3 = -r. Does f = r?
False
Let i be (-22)/6*24/28. Let y = -124/35 - i. Is y greater than -4?
True
Suppose 5*m - 4*o + 271 = 0, -17 = -2*m - 3*o - 107. Which is bigger: m or -52?
m
Suppose -4*r - 17 = 47. Which is bigger: -15 or r?
-15
Let k = 10.7 - 11. Let t = 3/14 - -5/42. Which is greater: t or k?
t
Let p be 238/380 + (-6)/10. Which is bigger: 0 or p?
p
Let w be 22/(-12) + 3/(-6). Are w and 3 non-equal?
True
Let h = 11 + -11.03. Which is greater: h or -0.1?
h
Let u(b) = b**3 + 7*b**2 - 8*b - 16. Let q be u(-7). Let p be 2/5*q/16. Is p less than 3?
True
Let u be (-2)/7 - 17*(-8)/1064. Do 1 and u have the same value?
False
Let m = -7 - -6. Let h be 6*(m/(-3) - 1). Suppose 2*v - 1 + 21 = -5*u, 0 = -u + v + 3. Which is greater: h or u?
u
Let g = 0.013 - 0.103. Let h = 23 - 24.09. Let s = g - h. Is s != -0.2?
True
Let y(l) = -l**2 - 3*l + 4. Let o be y(-5). Let i = o - -6. Which is smaller: 1 or i?
i
Suppose -22 = -n - 3*y + 2, 5*n - 40 = y. Is n not equal to 9?
False
Let t = 2 - -26. Which is greater: 2 or t?
t
Let m(w) = w**3 - 4*w**2 - 5*w + 6. Let v be m(5). Let r = 8 - v. Let o be r/8 + 3/20. Is o bigger than -1?
True
Suppose -5 = 3*r + 2*r. Which is smaller: r or 2?
r
Let b(x) = -x**3 + 4*x**2 + x - 5. Let z be b(4). Let m be (2 - 4/2)/z. Which is smaller: m or -2/17?
-2/17
Let w be 4 + (0 + -2 - -1). Let p be w + (-3)/(9/12). Is -1/7 <= p?
False
Let u = -57 + 95. Which is smaller: 39 or u?
u
Suppose 5*j = 2*r + 43, -3*r + 5*j - 9 - 43 = 0. Suppose -65 = 5*g - 25. Does g = r?
False
Let y = -65 + 323/5. Suppose 5*h = 1220 + 40. Let v be 2/9 - 92/h. Do y and v have different values?
True
Suppose -5*m + 159 = -4*h + 53, 2*m = -3*h + 24. Let o be (-12)/m*3/(-2). Is o at most as big as 2/7?
False
Let d(x) = 3*x. Let k be d(4). Suppose k = 4*l - 0. Which is bigger: 2 or l?
l
Let a = 41 + -36.5. Is a greater than or equal to -1?
True
Let s be (7/140)/((-4)/(-36)). Which is smaller: s or 0?
0
Suppose 6 + 0 = z. Let p be 9/6*(-4)/z. Which is greater: p or -3?
p
Let v(z) = -2 + 4 + z - 5. Let i be v(8). Suppose 2*h - 7 = i*c, -3*h = c - 2*c - 17. Is 6 < h?
False
Let v be ((-1)/(-2))/(-1)*-2. Let m = v + 1. Let w be (-2 + (4 - m))/1. Is w greater than 0?
False
Suppose 22 = 5*g + 4*m, -5*g + 4*m - 14 = -6*g. Let c be g/8 + 4/(-16). Which is smaller: -3/7 or c?
-3/7
Let a = -27/2 + 14. Is 1 less than or equal to a?
False
Let d = -2 - -9. Let m be (-33)/(-11) - (8/(-2))/2. Which is smaller: m or d?
m
Suppose -7*n - 3 = -4*n. Let s be (n - 72/(-69))*2. Which is bigger: 0 or s?
s
Let w = -4 + 6. Suppose -4*q = 5*f - 53, 5*q - 3*f - 59 = -w*f. Let x be 3/(-9)*(-9)/q. Which is smaller: x or 1?
x
Suppose 0*i + i + 2 = 0. Let l be (-25)/60 - i/(-8). Is 3 >= l?
True
Let t be (-3 - 10/(-4))*(1 - 1). Do 10/19 and t have different values?
True
Let n be (2/6)/((-80)/(-32)). Which is smaller: 1 or n?
n
Let f be ((-4)/(-5))/(2/5). Which is smaller: 23 or f?
f
Let u be ((-10)/4)/(2/(-4)). Let z(x) = x**2 - 4*x - 7. Let c be z(u). Let t = -68/35 + 8/7. Are c and t nonequal?
True
Suppose 10*c - 5*c + 135 = 0. Is -26 bigger than c?
True
Let n be (-84)/(-33)*2/4. Which is smaller: n or 1?
1
Let q(o) = 2*o + 7. Let r be q(-6). Suppose 0 = -4*b + 12 + 12. Let t = r + b. Which is smaller: 2 or t?
t
Let w be -2 + 1*(-114)/5. Let q = 127/5 + w. Let g be (-2)/5 + 24/10. Which is smaller: g or q?
q
Suppose -3 = -6*f - 93. Which is bigger: -16 or f?
f
Suppose -3*m = -b - 51, -m = 4*b - 3*m + 194. Let u be b/(-70) + 4/(-10). Suppose -n + 3*p = -4*n - 9, 0 = -3*p - 12. Which is greater: n or u?
n
Let h = -29/10 - -12/5. Is -21 < h?
True
Let t = -2 - 3. Suppose 5*r + 25 = 0, -4*r - 8 - 20 = -4*n. Let l(d) = -d**3 + d**2 - d + 1. Let o be l(n). Do o and t have the same value?
True
Suppose 0 = 2*f - 4*f + 110. Let a be 2/15 - f/(-150). Which is smaller: -2 or a?
-2
Let b = 10 + -8. Suppose r + i + b*i = -15, -3*i = -3*r + 15. Is 2 bigger than r?
True
Let r(c) = 3*c - 7. Let j be r(-7). Suppose h = 2*h - 11. Let n be (-2)/8 - h/j. Is 1 > n?
True
Suppose 0 = -7*a + 3*a + 4. Which is smaller: a or -6?
-6
Let w be 0/(-5)*2/(-2). Suppose w*a + 2*a = 4. Let p = 2 - 1. Which is greater: p or a?
a
Let w = 6671/671 - 109/11. Is 1 greater than w?
True
Let x = -1.7 + 2.6. Let p = x + -1. Which is bigger: p or -1.3?
p
Suppose 2*t = -r - t - 50, 3*t = r + 38. Let k = -133/3 - r. Suppose 5*x + 9 = 4. Is x != k?
True
Suppose 5*b - 39 = 2*z, -z + 3*b + 20 = -6*z. Let c(q) = -q**2 + 4*q - 1. Let v be c(5). Is z bigger than v?
False
Let f = -29/144 + 5/16. Suppose 3*g - 15 = -0*g. Let m = g - 6. Is m < f?
True
Let t = -31.1 + 36. Let z = 5 - t. Let k = 4 - 1. Is k greater than or equal to z?
True
Suppose 5*c = -2 - 3. Let n = -0.11 + -1.09. Let u = n + 1.3. Is u bigger than c?
True
Suppose 12*r = 10*r + 88. Which is smaller: 45 or r?
r
Suppose -53 = -4*v - 21. Is v <= 9?
True
Let t(m) = m**3 + m + 6. Let k be t(0). Which is smaller: k or 8?
k
Let k = -10.11 + 0.11. Let u = k - -10.4. Is u at least 0.2?
True
Let b(j) = j**3 + 8*j**2 + 7*j + 6. Let t be b(-7). Let m be 23/7 + t/(-21). Is 1 at least m?
False
Let k(n) = -n**3. Let w be k(-1). Let m(t) = t**3 + 3*t**2 + 1. Let f be m(-3). Let a be 11/(-15) - f/(-3). Which is bigger: a or w?
w
Let w be 0/(-2)*3/(-6). Which is greater: w or -1/29?
w
Let z = -4/17 + -32/153. Which is smaller: 0 or z?
z
Let u be 4/(-1)*(-5)/(-10). Let y be (u/(-4))/(2/1). Is 2 greater than or equal to y?
True
Let l = -0.4 + 0.1. Which is smaller: -1/4 or l?
l
Let d(b) = b**3 - 8*b**2 - 9*b + 3. Let k be d(9). Suppose 6*i + k = 3*i. Let j be (-1 - 1)*(-2)/20. Is j greater than i?
True
Suppose 5*g + 190 = 2*k, 0 = 5*g + 2*k - 8 + 198. Which is greater: g or -39?
g
Let n = 53.65 + 59.33. Let s = n - 108. Let h = s - -0.02. Which is smaller: h or -0.1?
-0.1
Let t = -5 + 8. Let f = t - 1. Which is greater: f or -2/9?
f
Suppose 3*a = 2*a - 1. Let y be 1/(-2)*(-4)/(-2). Is y less than or equal to a?
True
Let d be (4 - (-228620)/(-55275)) + (-8)/(-60). Is -1 < d?
True
Let j = 0.09 + 0.01. Let w = -34 + 14. Let h be w/(-39) - 4/6. Which is smaller: h or j?
h
Let j(p) = -p - 2. Let a be j(-28). Which is bigger: a or 22?
a
Let x = -0.2 - -0.1. Let p = 1/6 + -11/3. Are p and x non-equal?
True
Let v be 10/45 - (-43)/9. Suppose -2*g = -v*g. Suppose -3*w - 6 = -3*r, g = 4*r + r - 20. Is w greater than 2?
False
Suppose 2*t - 3*k - 3 = 0, -t + 2 = -4*k - 2. Let d be (3 - 4) + (-33)/(-35). Which is smaller: d or t?
d
Let m be 2/4*2/(-4). Let a(z) = -z**2 + 6*z - 6. Let c be a(5). Which is smaller: m or c?
c
Let p = 423/5 +