ller: b or u?
b
Suppose 0 = 4*n - 2 - 2. Are n and 2 equal?
False
Suppose -2*n + 12*n - 90 = 0. Which is smaller: 29/3 or n?
n
Let b be 6/(8/15*(-15)/(-20)). Which is greater: b or 16?
16
Let w(g) = g**2 - 8*g + 9. Let t be w(6). Let p be 5*-2 - t - -2. Is -5 at most p?
True
Suppose 56 = 5*b + 11. Is 9 < b?
False
Let k = 1/1343 - -1254/119527. Which is smaller: -1 or k?
-1
Suppose -5*q + 88 = -32. Suppose 0*b = -4*k - b + q, 30 = 5*k - 4*b. Is -1/4 greater than k?
False
Suppose p - 6 + 0 = -2*b, -p - 4*b + 12 = 0. Suppose -4*c + c - 36 = -3*g, -2*g - 3*c + 19 = p. Are g and 11 equal?
True
Let q be ((-64)/(-20))/((-2)/(-5)). Suppose -2*b + 0 = -q. Is b greater than or equal to 4?
True
Let c(z) = z**3 + 15*z**2 + 15*z + 15. Let u be c(-14). Suppose -1 = 4*t - 21. Let j be ((-8)/10)/((-7)/t). Do j and u have the same value?
False
Let m = -0.007 + -0.093. Does m = 1.4?
False
Let y be ((-16)/(-20))/((-4)/10). Let m = 9 - 5. Suppose -2*c - 2 - 2 = q, -m*c - 14 = 5*q. Is q at most as big as y?
True
Suppose 3*c - 9 - 16 = 5*u, -c + 4*u + 20 = 0. Suppose -3*g + 9 = -2*l, c*l - 15 = 2*l - 5*g. Let p be -4*(15/78)/5. Which is smaller: p or l?
p
Suppose i + 2*r - 6 = 0, -5*i + 10 = -3*r - 7. Let d(w) = -w**2 + 5*w - 6. Let q be d(i). Is q < -2?
False
Suppose 5*y + 8 = 2*w, -2*y = -5*w + 11 - 33. Is -7 greater than w?
False
Let o = -2 + 2.3. Let j = 330.7 + -331. Is j greater than o?
False
Let p(r) = r**3 + r**2 - r + 3. Let m be p(-3). Let q be 2/(-8)*(-80)/m. Let z = -3 - -1. Which is greater: z or q?
q
Let o(j) = 2*j - 15. Let p be o(7). Is p <= 1?
True
Let g = 5.4 + -7.5. Which is bigger: g or -1?
-1
Let z(s) = -s**3 + 5*s**2 - s - 4. Let k be z(5). Is k at least as big as -11?
True
Let s = -26 + 24.1. Which is smaller: s or 1/2?
s
Let g be ((-9)/6)/(2/(-8)). Let z = g + -11. Is -5 less than z?
False
Suppose 2*w + 2 = 4*y, y = 4*w - w - 2. Let z be (2*(-4)/16)/(2/12). Which is smaller: y or z?
z
Let m be (17 + -19)*(-1)/1. Which is smaller: 3 or m?
m
Suppose 6*x - x - 20 = 0. Let q be 70/40 + (-3)/x. Let p = 86/3 - 1112/39. Which is smaller: p or q?
p
Let z = 53/3 + -17. Let n(a) = 2*a**2 - 2*a + 2. Let j be n(2). Suppose 4*x - 2 = j. Does z = x?
False
Let x be (82/(-24))/((-63)/8). Let c = x - 4/27. Are 0 and c non-equal?
True
Let t = -2.02 - -0.02. Let x = 8.8 - 9. Which is smaller: t or x?
t
Suppose 2*l + 2*l = 2*v - 236, 4 = -2*v. Is l smaller than -60?
False
Suppose 5*k + 3*h = 4, 5*k - 4*h - 1 = -18. Which is smaller: k or -3?
-3
Suppose 4*v - 3*v = 3*z - 23, 0 = -2*v + 5*z - 41. Which is smaller: v or -7?
v
Let n(i) = -i - 1. Let v be n(-9). Which is smaller: 1/4 or v?
1/4
Let a be (-3)/(-2) - 24/18. Is 0 < a?
True
Let z = -3 - -2.6. Let s = 0.8 - z. Let m = 1 - s. Are m and 1 nonequal?
True
Suppose -4*g = 12, 3*g = -v - 3*v - 1. Are 4/7 and v non-equal?
True
Let p(t) = -t**2 - 7*t - 4. Suppose -o - 13 = 2*o - b, -3*b = 4*o + 26. Let l be p(o). Let g be (3/10)/(l/(-5)). Which is greater: g or -3?
g
Let j(g) = -g**2 - g - 4. Let y be j(0). Let a = y - -10. Let p = a - 6. Which is greater: p or -1?
p
Let k be (-6)/39 - (-82)/26. Let a(h) = -h**2 - 4*h. Let m be a(-2). Suppose -k*y + x = -m + 11, -y - 4*x = 11. Is -3 at most y?
True
Let q = -71.1 - -71. Which is greater: q or 1/28?
1/28
Let k be (-70)/50*(-10)/(-12). Is k less than or equal to -1?
True
Suppose -2*o - 2 = 4*n, 3*o - 1 = n - 3*n. Suppose 0*y - 4*y = 8. Let t be 6/2 + y - 2. Do t and n have different values?
False
Suppose -2*y + 5 = 3*s - 2*s, -40 = -3*s - y. Which is bigger: 14 or s?
s
Let o(y) = y + 2. Let a be o(-1). Which is greater: -2/9 or a?
a
Suppose 0 = -4*l + v - 27, -l + 2*l + 9 = v. Let y = -11 - -6. Let i = l - y. Which is bigger: i or -2?
i
Let f = -0.29 + 32.29. Is f at most as big as 0.1?
False
Let v(u) = -u**3 - 6*u**2 + 4*u + 1. Let i be v(-7). Which is greater: i or 23?
23
Let p be 2 - 4/((-40)/(-18)). Let g = 2/15 + p. Do g and 0 have the same value?
False
Let f = 1 + -1. Which is greater: f or 0.02?
0.02
Let w = -7/44 + -1/11. Are 0.07 and w unequal?
True
Suppose 23 = 20*j + 103. Let y = -3/146 - 1159/438. Is j < y?
True
Let b = -35.061 - -0.061. Which is greater: b or -0.1?
-0.1
Suppose 2*y - 2*v + 407 = -3*y, -3*v + 3 = 0. Let w be 6/(-9)*y/6. Let r be 6/(-8) - w/4. Is r less than -2?
True
Let j = -25 - -67. Let b = j + -211/5. Let f(q) = -2*q**3 - 2*q**2 + 1. Let n be f(-1). Which is smaller: n or b?
b
Let v = -2.2 + 0.2. Let b = -2 + 3.7. Let l = v + b. Which is smaller: l or 1/3?
l
Let i be 363/(-78) - (-8)/52. Which is smaller: -4 or i?
i
Let f = 64 - 383/6. Which is bigger: -1 or f?
f
Let n = -7.2 - -7. Let h = -9.8 + n. Let b = -9 - h. Is b at most 3?
True
Suppose -2*k = 3*y - 19, -26 = -3*y + y - 4*k. Is 3 less than y?
False
Let l = 1 - -17. Let o = l + -17. Which is smaller: o or 2/5?
2/5
Suppose 5*h - 2*y = 3*y + 35, h - 15 = 3*y. Let b be (-21)/6 + 2/(-4). Let s be ((-2)/b)/((-5)/(-10)). Which is smaller: h or s?
s
Let z be 26/(-65) + 67/5. Suppose 11*i = z*i. Is i equal to 8/11?
False
Let l be (-12)/(-28) + 80/(-7). Let m = -11 - l. Is m at least as big as 2/7?
False
Suppose -66 = -4*x + 2*z, 4*x = 2*z - 4*z + 54. Let p be 2 + -1 + 0/(-1). Let a be (p - 2)/(x/9). Is -1 greater than or equal to a?
False
Let n = 0.9 - 1.7. Let h = 1.7 + n. Which is smaller: h or 1/4?
1/4
Let t = -31 + 51. Is 1 less than t?
True
Let d = -423/10 - -42. Is 1 smaller than d?
False
Suppose 2*j + 17430 = 5876. Let z = j + 254169/44. Let m = z + 2/11. Are -1/10 and m equal?
False
Let r = -5 + 2. Let c be (1/r)/(2/6). Is -2 <= c?
True
Let g = 1/60 + 1/12. Which is smaller: g or 4?
g
Suppose 0*q + 2*q - 2 = 0. Let j be (21/(-6) - -3)/3. Which is greater: j or q?
q
Let i = -5/11 - -3/55. Do i and 8/5 have the same value?
False
Suppose -4*g + 6 = -2*v, 4*g - 3 = -v + 6. Suppose g*w = w. Which is smaller: w or 1/3?
w
Suppose -1 - 2 = 4*k + 5*r, 0 = 2*k - 3*r - 15. Suppose 4*f = f, -t + 4*f = k. Let o = 0 + t. Is -3/2 at most o?
False
Let g be 60/14 - 16/56. Suppose p - 6*x = -x + 6, -3*x + 1 = g*p. Is p greater than -1?
True
Suppose 3*x - 3 = 0, -5*w - 25 = 5*x - 85. Is 10 greater than w?
False
Suppose -386 - 442 = -18*p. Which is smaller: 47 or p?
p
Let y = -3194/11 - -291. Which is smaller: y or 0?
0
Let i(d) = 3*d + 2. Let k(l) = l + 1. Let s(r) = -i(r) + 4*k(r). Let a be s(-3). Which is smaller: -2/3 or a?
a
Let s = -0.28 + 0.08. Is -1/5 bigger than s?
False
Let w(r) = r**3 + 5*r**2 - 4*r + 12. Let x be w(-6). Which is bigger: 4 or x?
4
Let c be (-1)/(-5) + 28/10. Suppose -2*t - c*n - 9 = 0, -2*t - 2 = -3*n - 11. Let k = 41/3 + -14. Which is smaller: t or k?
k
Let c be 6 - (0 - -4) - 1. Which is smaller: -6/13 or c?
-6/13
Let z = 7 - 5. Let l be z/(4/(-6)) - -2. Let o be (4/(-44))/(2/(-4)). Which is smaller: l or o?
l
Let x be 3*1*6/(-9). Let k = x + 3. Let o = 146 - 1020/7. Is k bigger than o?
True
Let z = 142/51 + -16316/255. Let b = 61 + z. Let p = -11 - -10. Which is bigger: p or b?
b
Suppose 7*t - 41 = 29. Which is bigger: t or 1?
t
Let j = -16 - -18.04. Let y = j - 2. Let l = -0.14 + y. Which is smaller: l or -5?
-5
Let w = -100 + 108. Is 8 != w?
False
Let u(p) = -2*p**2 + 16*p + 14. Let x be u(11). Do x and -52 have the same value?
True
Let g(b) = 7 + 3 + 0 + b. Let l be g(-7). Suppose -2*a - 2*v + 2 = -4*a, -l*a + 5*v = 9. Which is smaller: a or 1?
1
Let v be 6/9 + (-60)/27. Which is smaller: -1 or v?
v
Suppose -5*a - 30 = -0*a. Is -6 bigger than a?
False
Suppose 0 = 4*h + 12 + 16. Let c = h - -20/3. Is c != 1?
True
Let w(y) be the third derivative of y**4/24 + 7*y**3/6 - 2*y**2. Let z be w(-6). Which is bigger: -2/13 or z?
z
Suppose 0 = 3*h - 4*b + 61, 3*h + 3*b = -0*h - 33. Are 2 and h unequal?
True
Let f = 1.8 - 2. Which is smaller: f or 0?
f
Suppose -19 + 1 = 2*t. Suppose 10 = -2*g - 8. Are g and t non-equal?
False
Let h = -33.8 - -31. Let d = h - -0.6. Let m = -2 - d. Which is greater: 0 or m?
m
Suppose 5*x - 55 = -5*z, 0*x = -z - 4*x - 4. Suppose 0 = -4*n - 229 + 29. Let b be (z/n)/((-4)/10). Which is bigger: -1/3 or b?
b
Let c = -20 + 20.11. Let h = c + -0.11. Let v be ((-1)/(-2)*-1)/1. Is v equal to h?
False
Suppose -2*h + h = 0. Let w be (-3)/3 + h + 4. Suppose -w*o + l = 4 - 1, 0 = 5*o - l + 7. Which is smaller: -3 or o?
-3
Let r = -1 + 0.5. Let c = r - -