g or r?
g
Let j(f) = -3*f**3 + 3*f**2 + 4*f - 3. Let d be j(3). Is d less than -44?
True
Suppose 0 = 2*d + 9 + 1, v - 5 = d. Let r be v/(((-1)/(-1))/1). Which is smaller: r or 3/14?
r
Suppose m - 5*m = 2*p + 16, 3*p + 3*m = -9. Let i be ((-4)/(-32))/(p/(-4)). Which is smaller: i or -1?
-1
Let j = -2.24 - -0.24. Do j and -2/7 have the same value?
False
Let w be 13*(-1 - 0)/(-1). Suppose 3*n + w = 3*b + 1, 2*b = -5*n - 20. Does n = -4?
True
Let u(b) = b**2 + b - 2. Let m be u(1). Suppose 5*n = -5*t - 0*t, -5*t = -2*n. Is m != t?
False
Let i(c) = -c**2 + 4*c + 6. Let s be i(5). Let w be 7 - (0 + 1 + 1). Suppose 0 = 5*a - 10, -w*l + 2*a - 13 = -2*a. Which is bigger: l or s?
s
Let i = 5 + 1. Let c = 3 + 11. Suppose -2*l + c = -4*w, -5*w + i - 25 = -4*l. Which is bigger: 2 or l?
2
Suppose -h = -6*h - 10. Let y be (-3)/(-6)*h + 2. Let n = 593/7 + -85. Which is bigger: y or n?
y
Let p = -43 + 44.2. Which is greater: 2 or p?
2
Let o = 0.04 + -0.02. Which is greater: 1/3 or o?
1/3
Let q(z) = 2*z**2 + 10*z + 2. Let t be q(-7). Do t and -2/3 have the same value?
False
Let l be (-155)/(-15) + (-2)/6. Let m be 24/l - (-6)/(-15). Let d be 92/(-28) - m/(-7). Is -3 bigger than d?
False
Let q(x) = 3*x + 17. Let y be q(-8). Does -7 = y?
True
Let l = -0.07 + 0.57. Let r = 0.5 + -1. Let j = l - r. Which is smaller: 0.2 or j?
0.2
Let k = -3/14 - 1/126. Let t = k + -4/9. Which is bigger: t or 0?
0
Let r = 190 - 423/2. Let c = 21 + r. Which is smaller: -3/5 or c?
-3/5
Let p = 28 + -26.1. Let z = 2 - p. Which is smaller: -3/5 or z?
-3/5
Let z be 138/8 - 2 - (-1)/(-4). Is z at least 14?
True
Suppose 3*z - 11 = 19. Let b be 4/10 + (-4)/z. Suppose 2*f - g - 3 = b, 5*f = g + g + 5. Is -1 at most f?
True
Suppose 0 = -2*v - 4*w + 10, 20 = 3*v + 3*w + 8. Let d(x) = -2 + 0 + 2 + 4*x**2 - 1 + x**v. Let h be d(-4). Is h smaller than 2?
True
Let f(j) be the third derivative of 4/3*j**3 + 1/24*j**4 + 0*j - 2*j**2 + 0. Let u be f(-8). Which is smaller: 1/13 or u?
u
Suppose 2*d = d + 4. Suppose d*v - 2*v + 12 = 0. Is -6 > v?
False
Suppose 0 = 6*b - 9*b - 21. Is -6 smaller than b?
False
Let n = -38 + 55. Suppose -5*l + 8 = 5*z - n, -l + 15 = 3*z. Is l smaller than 2/11?
True
Let d be 3/(-2284)*6/108873. Let w = d - 11784000717/20791234870. Let a = w + -1/215. Is -2 != a?
True
Let i(l) = l**3 - l**2 - l. Let c be i(0). Suppose -15 - 5 = -5*h. Let a = 6 - h. Which is greater: c or a?
a
Suppose -g = 4*a - 18, 4*g + 2*a - 12 = -2*a. Let h be (g - (-2 - -1))*0. Suppose 2*d = -3*s - 4 - 4, 4*s - 5*d - 20 = 0. Is s >= h?
True
Let t(l) = l**2 - 5*l + 5. Let r = -6 + 10. Suppose 3*z + r*y = -5 + 13, 2*z - 9 = y. Let p be t(z). Which is smaller: p or -2/7?
-2/7
Suppose f + 1 = 6, -3*n = 2*f + 2. Let k be 1 - 2 - (1 + 1). Let d be (k/(-2))/(3/(-6)). Which is smaller: d or n?
n
Let d be -1 - (1 - (-14)/(-10)). Suppose -5*y + p = 6, y + 0*p + 5*p = 4. Is y greater than d?
False
Let v be 2/(-3) - 264/(-342). Which is greater: 1 or v?
1
Suppose 0 = -3*d + 58 + 419. Let m be (2/12)/(116/d). Let t = m + -3/29. Which is smaller: t or -1?
-1
Let b = 0.79 - 0.59. Let t = -1/940 + 5651/10340. Is t at least b?
True
Let t be (-1 - 26) + -3 + 1. Is t < -31?
False
Let s be ((-4)/(-70))/((-8)/(-40)). Is s equal to 4?
False
Let h be (-5)/(-1) + (-16)/4. Let r be (0 + 0)*(-1)/2. Suppose r - h = -o. Is o at least as big as 0?
True
Let d = -4 + 8. Let l = 9 - d. Let o(y) = -y**2 + 4*y - 1. Let w be o(l). Is -6 at least as big as w?
True
Let q be (3 + 0)/((-9)/(-51)). Is 15 bigger than q?
False
Suppose -4*j + 2*b - 58 = 0, 3*b - 35 = 2*j - 0*b. Which is bigger: j or -14?
j
Suppose 2*a - 4*y = -18, 4*a - 3*y + 11 = -15. Let h = 2 + a. Let d be (-14)/6 + h/(-9). Which is bigger: -1 or d?
-1
Suppose 4*q - 5*t = 26, 4*q - t + 4*t = 42. Is 9 equal to q?
True
Let w = 1.7 - 2. Let t = -0.5 - w. Let h = 0 + -1. Which is bigger: t or h?
t
Let l = -9 + 15. Is l smaller than 6?
False
Let f = 16 - 7. Suppose 4*u + 11 = -f. Let r be 2/u + 8/30. Which is smaller: r or 0?
r
Let j be -1 - (339/(-120) - -2). Let c = 129/280 + j. Is c smaller than -4?
False
Let k = 6 - 4. Let v = 385 - 384. Are k and v non-equal?
True
Let n be (2/6)/((-32)/138). Let c = n + -1/16. Let f be ((-1)/(-1))/((-2)/6). Which is bigger: c or f?
c
Let h be (-5)/(-2)*(0 + 2). Does h = 5?
True
Let d = 25 + -34. Let r(l) = 4*l. Let c be r(-2). Is c less than or equal to d?
False
Suppose -3*r + 3*j = 0, 5*r - 2*j = -j - 4. Which is greater: -6/5 or r?
r
Suppose 2*n - n - 2 = 0. Let v be 56/10 + (-29 - -25). Is v not equal to n?
True
Suppose 4*f + 15 = -1. Is -3 greater than f?
True
Let y(l) = -l**3 - 7*l**2 - 7*l - 6. Let v be y(-6). Suppose -5 = 5*d - v. Which is bigger: d or -3/4?
-3/4
Suppose r - 1 = 2*r. Let u be (-1 - -2 - 0)*-3. Let f be (2 - -1 - 1) + u. Is f not equal to r?
False
Let d = -22 + 23. Which is bigger: d or 2/5?
d
Let u = -4/7 - -1/14. Which is bigger: -13 or u?
u
Suppose f + 0*o + 13 = -3*o, -2*f - 11 = 3*o. Suppose 2*m = -m + 12. Suppose 0 = m*d - d - 6. Is f bigger than d?
False
Let h = -18 - -29. Does 9 = h?
False
Let a(f) = -4*f**3 + f**2 + f. Let h be a(-1). Let v be -20*(6/h)/(-3). Is 9 less than or equal to v?
True
Let l(g) = -g - 5. Let u(j) = j + 4. Let f(z) = -4*l(z) - 5*u(z). Let o be f(-2). Suppose 5*c = o*c - 6. Which is bigger: -3 or c?
c
Suppose -2*j - j - 9 = 0. Let a be ((-2)/j)/2*9. Let f be (2 - a)/(1/(-2)). Which is bigger: 0 or f?
f
Let w = 2 - -18. Suppose -4*r - 5*l = w, -2*r + 7*l - 4*l + 12 = 0. Is r <= 1/6?
True
Suppose v + 4 = -j + 2*j, 4*v = -8. Suppose -j*g = -0*g. Let b = 0 + g. Which is greater: 0.2 or b?
0.2
Let c(d) = -2*d + 1. Let k be c(-2). Let s be (-6)/15 + 3/k. Which is smaller: -1 or s?
-1
Let x be 0/1*1/1. Suppose -1 = -5*b - 81. Let z = b - -50/3. Which is bigger: z or x?
z
Let s = 9 + -10.2. Let q = s - -1. Which is smaller: q or 3?
q
Let n = 3 + -2. Let m(b) = -b**3 - 3*b**2 - 2*b. Let q be m(-2). Which is smaller: q or n?
q
Let u(p) = p**3 + 12*p**2 + 9*p - 13. Let n be u(-11). Is n at least as big as 41/5?
True
Let w = -31 - -31. Let r = -1 - -1. Let q = 2 + r. Which is smaller: q or w?
w
Let z be 6*(-1 + (-3)/(-2)). Suppose 4*v - 2 = z*v. Is v <= 3?
True
Let p = 66 - 724/11. Let o be (4/(-12))/(5/(-2)). Which is smaller: p or o?
o
Let w = -2/3 - -1/2. Let n be (-32)/(-18) - 4/(-18). Let c be (8/(-12))/(n/3). Is w bigger than c?
True
Let w be 2/7*14/(-6). Suppose n + 11 = 2*a, -5*a - 1 + 29 = -3*n. Do w and n have different values?
True
Let x = -119 + 114.1. Let g = x - -0.9. Let f = g - -4.2. Is -2 less than f?
True
Let x = 1388 - 77725/56. Which is smaller: 0 or x?
0
Let k = 40/9 - 307/63. Which is greater: 15 or k?
15
Let k be -5 + (-23)/(-5) - -1. Is k smaller than -0.2?
False
Let p be (-1)/1 + (-1 - -1). Let h be 152/26 + (-56)/(-364) + -8. Is h < p?
True
Let w = -77 + 232/3. Does 2/89 = w?
False
Let i(u) = -2*u**2 + 15*u + 7. Let g(q) = q**2 - 8*q - 4. Let s(v) = -5*g(v) - 3*i(v). Let d = 7 + -1. Let h be s(d). Which is greater: h or 6?
6
Let s be (-10)/15*198/(-4). Is s greater than 34?
False
Let y be (6 + -8)/((-1)/3). Suppose -4 = -2*i + y*i. Let j = i - -2. Which is smaller: j or -1/4?
-1/4
Suppose -d + 5 + 0 = 0. Let m be 1/(116/(-40) + 3). Suppose -5 = -d*t + m. Which is greater: 5 or t?
5
Suppose -3*d + 31 = -41. Let h = 93/4 - d. Let i be (4/(-6))/((-1)/(-3)). Is h greater than or equal to i?
True
Let c = -57 - -229/4. Let k = -1/15 + 49/60. Which is greater: c or k?
k
Suppose 0*s + 4*s = 2*k + 46, -s - 5*k - 5 = 0. Suppose -2*u = -u + s. Is u smaller than -9?
True
Suppose -6*g = -3*g - 3. Suppose -1 = d + g. Is d < -1?
True
Let k(j) = j**2 - 7*j + 8. Let r = -2 + 8. Let g be k(r). Is 2 at most as big as g?
True
Let v = 1.97 - -0.03. Let u = -1.4 - -2. Let x = u - 0.5. Is x greater than v?
False
Let w = 45 - 497/11. Let h(i) = i**3 - 3*i**2 - 7*i + 5. Let n be h(4). Let x = n + 8. Do x and w have the same value?
False
Let m be (-10)/(-25) + (-8)/15. Let y = m + 7/15. Is -0.1 at least y?
False
Let l be (52/16 + -2)*4. Suppose 7 - l = -2*k. Is 2/9 <= k?
False
Let d be 21/(-60) - (-6)/8. Is d > -1?
True
Let k(u) = -u**3 + 5*u**2 - 3*u - 4. Suppose 6*z - 4 = 5*z. Let x be k(z). Which is smaller: 2/3 or x?
x
Suppose 4 = -z + 2. Is z less than or equal to 5?
True
Let n = -2/161 - -7