er: w or y?
y
Let n(g) = -g + 5. Let o be n(3). Let y(i) = i**3 - 4*i**2 - 6*i + 4. Let m be y(5). Let r be 12/(m*4) + 7. Which is smaller: o or r?
o
Let b = -18379822/66781 + -28/5137. Let w = 275 + b. Which is greater: -1 or w?
w
Suppose 4 = -3*k + 4*k. Which is smaller: k or -1?
-1
Let y = 30 + -19. Suppose -19 = 2*f + f + 2*p, -2*p = -3*f - y. Let s(d) = d + 3. Let b be s(f). Which is bigger: -5/4 or b?
-5/4
Suppose -2*u = 2*u. Let z = 0 + 7. Let w be (-9)/7 - (-2)/z. Is w at most as big as u?
True
Let x be 7/42 - (0 + (-2)/(-12)). Which is greater: x or -2/71?
x
Suppose 2*h = -2*h + 5*g + 126, -h + 26 = -4*g. Which is smaller: h or 33?
33
Let o = 7.03 - 7. Let r = 0.17 + o. Is r at most as big as -0.1?
False
Suppose 5*k - 2*k + 3 = 0. Let v = k - -4. Let b = 6 - 4. Is b > v?
False
Let l(t) = -1. Let q(k) = -k + 1. Let d(x) = -3*l(x) + q(x). Let u be d(3). Which is greater: 2 or u?
2
Let t = 2/847 - 2561/8470. Is t >= -1?
True
Let h(k) = k**2 + 3*k - 1. Let j be h(-3). Does -3 = j?
False
Let i = -4 + -16. Let t be (8/i)/((-1)/(-5)). Let p be (-1)/28 - t/7. Is p greater than -1?
True
Let x = 0.29 - -1.73. Let j = x - 0.02. Let z = -2 + 3. Are z and j nonequal?
True
Let s = -201.31 + 211.1. Let p = -0.21 - s. Are p and 2/3 unequal?
True
Let r(c) = -c**2 + 8*c - 11. Let w be r(6). Is -1/69 at most w?
True
Let f be (1 - 1)*1/2. Let o be 6 + 5/(10/(-4)). Let t be o/(-6)*9/(-39). Which is greater: f or t?
t
Let p(l) = l**2 + 5*l. Let g be p(-6). Let b(f) be the second derivative of -f**3/6 + 7*f**2/2 - f. Let h be b(g). Is -2/13 greater than or equal to h?
False
Let l = -456/77 + 62/11. Let s be (1 - -1) + 0 + -1. Which is smaller: l or s?
l
Let i = 7 + -3. Suppose -2*j - 5 = -3*b - 0*j, i*b - 18 = -3*j. Let x = 11 - 8. Is b greater than or equal to x?
True
Let o be 12/(-42) + 64/28 + -3. Is -3/49 < o?
False
Let p be (-37 + 34)*2/(-66). Is 0.3 less than p?
False
Let k be -4 + 19/3 + -1. Which is smaller: k or 2?
k
Let b(h) = 3*h - h - 7 + 3 - h. Let n be b(10). Let q be 6 + -2*1/(-2). Which is smaller: q or n?
n
Suppose -4*s + 0*o + 3*o + 27 = 0, -17 = -3*s - o. Let k = -4 + s. Let a = k - 3. Which is smaller: -2/3 or a?
a
Suppose -2*w - s = -6, -9 = -3*w + 2*s - 3*s. Suppose -2*r = 3*k + 6 - 2, 5*r + 3 = -4*k. Do w and r have the same value?
False
Suppose -2*x - 26 = t, 4*x - 22 = 3*t + 36. Let o be 0 + 1 + t/2. Let j be (-4)/o - (-3)/5. Which is smaller: -1/4 or j?
-1/4
Let m(y) = 3*y**2 - y - 4. Suppose -3*i - 2 = -2*i. Let g(j) = -7*j**2 + 2*j + 9. Let z(u) = i*g(u) - 5*m(u). Let l be z(2). Which is smaller: l or -1/4?
-1/4
Let m(u) = -u**3 + 3*u**2 - 2*u. Let w be m(2). Which is greater: 3 or w?
3
Suppose 90 = 6*d - 9*d. Is d <= -31?
False
Suppose a = -0*a + 3. Let o be 5*8 + a/(-6). Let s = -38 + o. Which is greater: 2 or s?
2
Let m = -8599/47 + 183. Are m and 0 nonequal?
True
Let a = 4 - 7. Is a <= -5?
False
Let m be ((-4)/8)/((-1)/(-6)). Let x be m - (2 + -1 + -8). Let a be (-3)/x - (1 - 2). Is 5 < a?
False
Suppose 2*w = -2*w + 12. Let b be 8/52 - w/104. Is -1 >= b?
False
Let s be 30/8 - (2 + 2). Is s less than 1?
True
Let w(x) = -x**2 - x + 1. Let o be w(-2). Let i be 2/4*(-3 - o). Let a be -1*(1/(-2))/i. Are a and -1/3 unequal?
True
Suppose -2*r = 2*r + 100. Let d = -6155 - -43262/7. Let f = d + r. Which is smaller: f or -1?
-1
Suppose 7 = -3*g + 1. Let r = g - -7. Suppose m = 4*d - 8, -4*m - 2 = r*d + 9. Which is greater: d or -1?
d
Let s be ((-43)/103)/((-17)/2). Let t = 1/103 + s. Is t at most -1?
False
Let i(l) = l**3 + 8*l**2. Let h be i(-8). Let m(x) = -x - 5. Let k be m(h). Is k equal to -4?
False
Let q(y) = -4 + y**3 - 4 + 4*y + 4*y + 5*y**2 + 5*y**2. Let o be q(-9). Which is smaller: o or -2/9?
-2/9
Suppose 2*q + 132 = h - 57, h + 3*q = 209. Let d = h - 1377/7. Which is bigger: -1/2 or d?
d
Let d(j) = j**2 - 4*j - 1. Suppose 2*i + i = 12. Let c be d(i). Which is smaller: -1/2 or c?
c
Let q = -89 + 89. Is q > 0.29?
False
Let v = -4 - -7. Let x = v - 5. Let u = -5 - -4. Which is greater: x or u?
u
Let s(n) = n - 77. Let x be s(0). Let p = -695/9 - x. Let f be (-4)/(-6) + 4/(-6). Which is greater: p or f?
f
Let u = -29 + 20. Let z = 986 - 995. Is u at most z?
True
Suppose -2*c = 2 + 36. Is c != -18?
True
Let t(m) = -2 - 2 - m + 5. Let s be t(3). Suppose 3*v + 0*v = -3. Does s = v?
False
Suppose -f = 3*f. Suppose f = -b + 3*b + 4, 4*y + 14 = -5*b. Are y and -1 equal?
True
Let l = -1.2 + 0.2. Let g = l + 1.2. Let r = 2.65 - -0.35. Does g = r?
False
Suppose 5*t - 192001 - 328284 = 0. Let w = t + -937628/9. Let k = -124 - w. Which is bigger: -1 or k?
k
Let f = 379/6 + -60. Let j = -5/2 + f. Let d = -4/9 + j. Is 0 > d?
False
Let h be 1 - (1 + -1) - 2. Let n be ((-2)/(-4))/(h/12). Let t(r) = r + 7. Let c be t(n). Which is smaller: 0 or c?
0
Suppose 2*x - c - 16 = 4*c, 2*x + 4*c = -20. Let u be (-1)/((x + 1)*-1). Are u and -2 equal?
False
Let f be -2 + (-3)/(-3) - -3. Let k = f + 0. Let b = k + -2. Which is smaller: 3/5 or b?
b
Let y = 0.048 - -25.952. Do y and 0 have the same value?
False
Let b(r) = -r**3 - 4*r**2 + 3*r - 9. Let h be b(-5). Is h greater than or equal to -4?
True
Suppose -3*k + 3*o = 3, 2 + 0 = 2*o. Is k <= -3/13?
False
Let s be 1/(-45) - 1/5. Suppose -3*l + 7*l = -4. Is s >= l?
True
Suppose -5*d = -r + 8, 4*d = 4*r + 3*d + 6. Let h = -2.5 + 3.5. Is r less than or equal to h?
True
Let k = -29 - -42. Let j be (-1 - (-58)/4)/(-1). Let f = k + j. Which is greater: f or 1?
1
Let c be ((-42)/(-4))/(36/(-6)). Suppose 6*g + 5 = g. Is g < c?
False
Let r = 5061/16 + -316. Let u = -29/112 - r. Which is greater: -1 or u?
u
Let f(y) = -2*y - 10. Let z be f(-8). Suppose 2*x - 2*p = -z, -3*x + 12 = -0*x + 4*p. Suppose x - 2 = 2*h. Is 1/8 greater than h?
True
Let o = 146 + -1171/8. Let v = 14 - 6. Let b(s) = s - 8. Let d be b(v). Is o > d?
False
Suppose -2*l - 19 = -5*k, l - 2*k + 8 = 1. Is -0.1 not equal to l?
True
Let b = 71.07 - 71. Is -4 > b?
False
Suppose 5*i + 5*z = 115, 4*z - 48 = -2*i - 0*z. Is i less than or equal to 21?
False
Let z = -1 + 1. Is -12 less than or equal to z?
True
Let h = -135 - -134. Is 1/4 not equal to h?
True
Let i = -195/2 - -95. Let h(y) = -y**2 - 6*y + 10. Let g be h(-7). Suppose -g*p + p = 4. Which is greater: p or i?
p
Suppose 0 = -7*p + 4*p - 3. Is 2 smaller than p?
False
Let t = 5.4 + -4.4. Do -2 and t have the same value?
False
Let k = -397/2 + 94093/474. Let b = k - 172/1659. Is b less than 0?
True
Let r be 2*2/4*(-8)/(-184). Is r < -1?
False
Suppose 8*v - 16*v = 608. Is -76 smaller than v?
False
Suppose -3 = 2*x - x. Let s = 2 + -2. Let o be (-1)/1 + s + 0. Is o bigger than x?
True
Let i = 20 + -39. Let q = 601 - 621. Is i >= q?
True
Let b(c) = 3*c + 3. Let q be b(-3). Let v be (-2 + 1)*(-2 + 6 + 0). Which is smaller: q or v?
q
Let t = -0.06 + 14.06. Is t at most as big as 1/3?
False
Suppose 0 = -3*g - s + 12 + 3, 4*g - 4*s = 20. Suppose -2*a + p - 4 = -7*a, 4*a - 9 = g*p. Which is smaller: 2/13 or a?
2/13
Let t = 11094 + -488113/44. Let o = -3/11 + t. Which is greater: 1 or o?
1
Suppose -2*j + 7 = -7. Suppose j*u = 3*u. Is 0 > u?
False
Let l be 1*(-3 + 2) - 20. Let x = l + 20. Which is smaller: -2/13 or x?
x
Let g(m) = m**2 - m. Let u be g(2). Let s be u/(-7) - (-5)/42. Is 2/5 not equal to s?
True
Suppose 3*w = 4*s + 7*w - 4, 0 = -4*s + 4*w - 12. Let l(g) = -g - 7. Let h be l(-5). Let x be 4/(-8)*h/(-5). Is s > x?
False
Let b = -4 - -4. Which is greater: b or -1/4?
b
Let o = -0.45 + -6.35. Let t = o - -7. Let l be 2/(-10) + 126/280. Which is bigger: l or t?
l
Let d be (-4)/(6 + -3 + -1). Suppose 0 = 4*v + 17 - 5. Is d less than v?
False
Let u(b) = 5*b**2 - 8*b + 4 - 9 - 9 + 2 + b**3. Let j be u(-6). Is 1/44 greater than or equal to j?
True
Let z = 2 - 1.2. Let x = 1.1 - z. Let n be (1/3)/((-7)/(-6)). Is n <= x?
True
Suppose -6*v = 8*v - 70. Is 16/3 <= v?
False
Let j = -60 - -3658/61. Does j = 0?
False
Let o = -10.6 + 1.6. Let u = 8.9 + o. Is u equal to -2?
False
Let p = 0.02 - 0. Let z = p - 6.02. Suppose 3*w - 4 = -1. Which is smaller: w or z?
z
Suppose -b + 4 + 5 = 0. Is 11 at most b?
False
Let m be (-20)/84 + 3/(-9) + 0. Which is bigger: m or 2/9?
2/9
Let h be (21/6)/7*0. Suppose 6*k - 3*k = h. Is k < -1/7?
False
Suppose 3 = c - 0. Let r be 3/(-1116)*886 + c. Let b = -3/62 - r. Is -1 great