0, 3*r - 6*j + 5*j = 59. Which is greater: 20 or r?
r
Let x(d) = -d**3 - 4*d**2 + 5*d + 15. Let o be x(-4). Is 4 at most as big as o?
False
Let b be 3 + (-1 + 6/9)*94. Is -27 equal to b?
False
Let y be 18/(-40)*60/36. Let g = 4 + -10. Let s = g + 6. Is y equal to s?
False
Let w be (4 + -5)*(4 + -5). Which is smaller: w or -2/49?
-2/49
Suppose 2*v = 42 - 12. Let p(q) = q - 2. Let z be p(-2). Let n be (-20)/v*(-6)/z. Which is bigger: n or -3/5?
-3/5
Let w = 0 - 2. Let g(a) = 3*a - 15. Suppose 5*x - 33 = -2*j, -22 = -2*j - j - 2*x. Let z be g(j). Are z and w equal?
False
Let v be (10586/3685)/((-2)/10). Which is bigger: v or -14?
-14
Let t be ((-38)/(-6))/((-16)/48). Let v be (10/105)/((-2)/(-6)). Which is smaller: v or t?
t
Let m = 0.168 + 68.832. Are m and 0.2 unequal?
True
Let s = 0.0378 - 2.7378. Which is smaller: s or -5?
-5
Let j = -45 + 32. Let f = j - -13.02. Are 0.2 and f nonequal?
True
Let d(x) = x**3 - x**2 - 2*x - 1. Let o be d(-1). Does o = -1/115?
False
Let x = 239 + -260. Which is greater: 4 or x?
4
Let z = -11.79 - 0.21. Let p = 6.1 - -1.9. Let w = z + p. Which is smaller: -1/3 or w?
w
Let f = -23 - -20. Let p = 5 - 9. Which is bigger: p or f?
f
Let b be -9 + 5 - (-22)/2. Let k(a) = -a**3 - 3*a**2 + 2*a - 4. Let y be k(-4). Which is greater: y or b?
b
Let d(w) = -17*w + 25. Let q be d(3). Let p be q/(-39)*3/2. Which is smaller: -2/7 or p?
-2/7
Let u be (10 - 13) + -2*(-2)/8. Is 2/15 equal to u?
False
Let s be (3996/63)/((-5)/35). Which is bigger: -446 or s?
s
Let x = -28 + -120. Which is smaller: -147 or x?
x
Suppose 2*d - 13 = -5. Suppose -d*a + s + 1 = 0, 3*a - 5*a + 4*s = 10. Are a and 3/8 unequal?
True
Let s = -140 + -132. Which is bigger: -275 or s?
s
Let i be (-12)/(-8) + 10/(-8). Let q(k) = k + 13. Suppose 20 + 4 = -2*m. Let p be q(m). Is i at least as big as p?
False
Let d be (12/(-90))/((-1)/3). Let c = 47 - 32. Let h be 12/(-20) + 6/c + 0. Which is bigger: h or d?
d
Let w = 457 - 452. Which is smaller: 24 or w?
w
Suppose 22*a + 19*a + 5863 = 0. Which is greater: -144 or a?
a
Let q = 3526001/141 - 25007. Which is bigger: -1 or q?
q
Let l(b) = -b**3 - 6*b**2 - 10*b - 2. Let w be l(-4). Let m = w + -7. Are -1 and m non-equal?
False
Let d = 849 + -849.2. Which is smaller: 8/35 or d?
d
Let b = -5/191 + 54/9359. Let y be (25/(-10))/(1/2). Let t(j) = j**3 + 6*j**2 + 6*j + 4. Let k be t(y). Is k >= b?
False
Let l = -150 - -559. Do l and -0.1 have different values?
True
Let j(q) = 3*q**2 - 1. Let s be j(-1). Suppose -4*u - 1 = 7, 4*u + 104 = 4*f. Let m = 27 - f. Which is smaller: m or s?
s
Let d(z) = -7*z - 5. Let m be d(-3). Suppose 0 = -5*o + 14 + m. Let s be 21*1/o + 3. Is 8 greater than or equal to s?
True
Let t be (-20)/(-15) - (-364)/(-138). Are -1 and t non-equal?
True
Let n be 6410/(-18) - 1/(-9). Let a be (4 + -2)/(3 - n/(-124)). Do a and 16 have the same value?
False
Suppose -5 = -5*x, j + 20 = x + 4*x. Let p = j + 20. Suppose 0*d = 3*d. Is p less than d?
False
Let v be 1/4*2/(-3). Let i(n) = -3*n**3 - 2*n + 2. Let g be i(0). Suppose 14*w - w = g*w. Which is smaller: v or w?
v
Suppose 3*k - 3*g - 11 = 2*k, -5*g - 25 = 0. Let b be (4 + -2)*((-110)/k - 2). Is 51 greater than b?
False
Let b(k) = -2*k**3 + 5*k + 6. Let z be b(-1). Let l = 6 - 4. Are l and z equal?
False
Suppose -22*o = -3 - 19. Which is smaller: o or 18/35?
18/35
Let p = 324/589 + -4/31. Are p and 0 unequal?
True
Let j(z) = z**2 + 7*z. Let b be j(-14). Which is greater: 97 or b?
b
Let u = 25 - 34. Let z = u - -7. Let o = 0.03 - 0.03. Which is greater: o or z?
o
Let a(p) = -7*p - 15. Let c be a(-5). Let i be (-4)/(-2)*-1 - (-39)/c. Which is smaller: i or 2?
i
Suppose 156*y - 82*y = 78*y + 8. Let x be 2/(-12)*(-42)/(-8). Is y bigger than x?
False
Let q = -225.22 + -5.78. Is q smaller than 1/4?
True
Let q = 8 - 6. Let w = -14.5 + 14. Let l = w + 0.45. Which is smaller: l or q?
l
Let k be (-20)/(-2)*(-130)/(-3575). Which is smaller: k or 2?
k
Let w(u) = -15*u + 39. Let j be w(6). Which is greater: j or -53?
j
Let c(z) = -3*z + 37. Let u be c(9). Suppose 90 = -7*l + 2*l. Let y = l + u. Which is smaller: y or 1?
y
Let u(q) = q**3 - 5*q**2 + 2*q - 6. Let f be u(5). Let l be f/(-26) + 82/26. Let y be (4/l)/(16/(-72)). Which is greater: y or -14/3?
-14/3
Let r(d) = -5*d - 2. Let y be r(2). Suppose -3*n = 0, -2*n = -4*p - n - 52. Are p and y equal?
False
Let y(w) = 6*w**3 - 3*w**2 + 2*w - 3. Let a be y(2). Let f = a - 31. Is f less than 3?
False
Let l = -1.24 + -5.36. Let c = 4.4 - l. Which is greater: c or -2?
c
Let d = 9.6 - -58.4. Let c = d - 73. Is c less than or equal to 2/35?
True
Let l(f) = f + 6. Let a be l(-6). Let c be (a - 1)*(-11)/1. Suppose -5*r + 49 = -2*p, 2*p + p = -r + 3. Is c not equal to r?
True
Suppose -3*u - 18 = -15. Which is greater: 2/221 or u?
2/221
Let n = 7/6 + -3/2. Is n at most as big as -39?
False
Let r be (-34)/72 + 4/18. Suppose a + t + 3*t = -37, 5*a + 5*t + 110 = 0. Let y = a - -16. Which is bigger: y or r?
r
Let m be 23730/(-490) - (-6)/14. Is m < -49?
False
Let w = 72.99 - 73. Let m = w - 0.49. Which is bigger: -3 or m?
m
Let r(d) = d**2 - 15*d + 13. Let i be r(14). Let n(g) = 9*g - 1. Let x be n(i). Is x >= -2?
False
Let n be (4/(-48)*-6)/(50/(-60)). Which is bigger: n or -27?
n
Suppose 25*n = 8*n - 2159. Is 2/9 less than n?
False
Let y be ((-3)/9)/(6/(-54)). Suppose 4 = f + y*f. Suppose 0 = 3*r + 20 + f. Which is greater: r or -5?
-5
Let y = -86 - -77. Let m be -3*(-8)/42*y. Which is smaller: m or 1?
m
Suppose -4*o + 170 - 166 = 0. Which is bigger: o or -2/401?
o
Let x be (4/(-46))/((-20)/130). Let r = x + -397/621. Is r at least 0?
False
Let q = -10 + 5. Let w(v) = v - 13. Let l = -17 + 26. Let r be w(l). Is r not equal to q?
True
Let f = 145.34 + -144. Let r = 0.34 - f. Do -3 and r have the same value?
False
Let f = 328.6 + -384. Let c = 39 + f. Let n = -3.4 - c. Are n and 0.1 unequal?
True
Let x = 411 - 414. Let v(z) = z**3 + 6*z**2 + z + 8. Let k be v(-6). Which is smaller: k or x?
x
Let q = 146 - 145.2. Which is greater: -6 or q?
q
Let d = 3 + -1. Let v(c) = -14*c**2 + 6*c**2 + 7*c**2 - 11*c - 9. Let q be v(-10). Which is smaller: q or d?
q
Let i = 557/8 + -687/8. Which is smaller: i or -0.1?
i
Let i(a) = a - 3. Let r be i(11). Let x = 18 - r. Suppose 2*l - k + 5*k - x = 0, 20 = 4*l - 5*k. Which is smaller: 1 or l?
1
Suppose 35 = -v - i - 0*i, -3*i = 4*v + 141. Let a = 38 + v. Which is smaller: 3 or a?
a
Let i be (-6)/(-4) + 9755/(-80)*-5. Let a = i - 611. Which is bigger: a or 1?
1
Let q be (1/3)/((-2)/(-6)). Let c = 0.86 - 1.1. Let p = -0.06 + c. Which is bigger: p or q?
q
Let d be (-674)/12 + 0 - (-41)/246. Which is greater: d or -57?
d
Suppose z + 43*u = 38*u + 1, 2*z = 4*u + 2. Is z bigger than -115?
True
Let u(h) = -h**3 - 14*h**2 + 16*h + 15. Let f be u(-15). Suppose f = 2*y - 2 - 6. Let x be (4/(-10))/(y/20). Is x at most -2?
True
Let v = -650 + 651. Is -5/38 != v?
True
Let p be (28/(-70))/((-1)/(-5)). Suppose -5*n + 9*n + 12 = 0. Let m be p/n*(-225)/30. Is 0.1 less than m?
False
Suppose -5*z = -2*v + 9, 0 = -0*z + 2*z + 5*v - 8. Let h be 6/(z/(-4) + 2). Is h smaller than 2?
False
Let h = -2.511 + 0.511. Is h != -8.8?
True
Suppose 7*y - 9287 - 1675 = 0. Let z = -70474/45 + y. Does z = 1?
False
Let w = 2.5 + -2.36. Let h = -0.35 + w. Let j = h - -0.01. Is -3/2 at most as big as j?
True
Suppose 3*u = -i + 191, -5*u + 10*u + 679 = 4*i. Is i < 177?
True
Let f be 188/10 + 45/225. Is 11 > f?
False
Let h be 940/40 - (0 + 2). Is 23 less than or equal to h?
False
Let r = -123.3 + 106. Let l = r + 1.3. Let y = l - -12. Is 0.1 less than or equal to y?
False
Suppose -t = -6*t. Suppose 5*x + 0*d - 8 = 4*d, t = 4*x + 5*d + 10. Suppose -4*l - n = -6*l + 2, -4*n = 5*l + 21. Which is smaller: l or x?
l
Let s be (-2)/(-4) + (-21)/4. Suppose -4*n - 8 = 8. Do s and n have different values?
True
Let a = 1 + -7. Let p be -5*a/15 - 22. Let k = -16 - p. Which is greater: k or 3?
k
Let k be 1*((-3)/12 + 21/4). Suppose k*v + 10 + 0 = 0. Suppose -2*y - 9 = -t, -y - 2 = 5*t - 3. Is v at least as big as y?
True
Let r = -5256 - -21145/4. Which is bigger: r or 30?
r
Suppose p + 17 = -4*q, 3*q + 11 = -p - 2. Let d be 7*p*(2 - -1). Let r be 6/30 - d/(-5). Is -4 >= r?
True
Let o(a) = 69*a + 18. Let u be o(1). Which is greater: -2 or u?
u
Let b =