r v?
v
Let g(k) = -k**3 + 28*k**2 + 59*k + 42. Let f be g(30). Which is greater: f or 10?
f
Suppose -l = -c - c + 6, -c + 3 = 4*l. Suppose 5*q + 6 = c*q. Let r = -2.2 - -0.2. Which is greater: r or q?
r
Let g be (-3 - -276) + 3/(-9). Let m = 270 - g. Suppose a + 3 = 4, -5*w - a - 9 = 0. Is m > w?
False
Let p(x) = -6*x - 2. Let q be p(2). Does q = -14?
True
Let u(o) = 45*o - 1. Let p be u(1). Suppose 0 = -b - b + 3*c + p, b - 4*c - 27 = 0. Which is smaller: b or 18?
18
Suppose 22 = 3*p + 7. Suppose -13 = -2*w + 3*a, 2*w = 3*w - p*a - 24. Let d(t) = -t**2 + 1. Let z be d(1). Is w smaller than z?
True
Let t(y) = y - 23. Let h be t(6). Is h greater than -17?
False
Suppose 3*x - 9 = 0, 0 = 4*l - 4*x - x + 15. Suppose j - 5*s = -10, 4*j - 5*s = 2*j - 10. Suppose -b + l*b = j. Which is greater: 2 or b?
2
Let x(a) = a**2 + 7*a + 9. Let c be x(-6). Is 3 smaller than c?
False
Let s be (-71)/273 - ((-2)/7 - 0). Is s <= 1?
True
Let n be (-2)/15 - 84/45. Is -11 > n?
False
Let t = 4 - 2. Is 1 not equal to t?
True
Let d = -0.04 + -4.96. Let p = d - -7. Is p greater than or equal to -1?
True
Let g = 0.4 + -0.6. Let o = g - -0.6. Let q = -1.4 + o. Which is smaller: q or -2/3?
q
Let r = -125 - -125.1. Let t = -4 - -12. Let q = t + -8.3. Is r at most q?
False
Let j = -13 - -12.7. Let b = -0.4 + -0.6. Does b = j?
False
Let v = -102 + 105. Which is bigger: 5/2 or v?
v
Let c = 0 + 0.2. Let y = -0.1 + c. Is y != -1/3?
True
Let j = -6 - -5. Which is greater: 4 or j?
4
Let s = -24 + 12. Let i = s - -27. Let k = 11 - i. Which is bigger: -2/3 or k?
-2/3
Suppose 5*y - 5 = 5. Suppose 5*b + 4*n = -0 + y, b = 4*n - 14. Is b at most -3?
False
Let z be (1/(-3))/(-5 - (-22)/4). Which is smaller: 17/2 or z?
z
Let d = -6 + 5.99. Let t = d + 0.01. Is t greater than -1?
True
Let m = -82/4161 - -4/73. Which is smaller: 1 or m?
m
Let q(b) = b**2 + 15*b + 12. Let i be q(-14). Suppose 12 - 30 = 3*m. Is i less than or equal to m?
False
Let o(p) = 3*p**3 - p**2 - 1. Let w be o(1). Is -5 >= w?
False
Let n = 39.5 + -38. Is n > 3/2?
False
Suppose -12 = 2*v - 3*w + 3, w - 5 = 0. Which is smaller: v or 2/89?
v
Let m be (-6)/4*(-4)/(-3). Let t(b) = -b - 4 - 1 + 2. Let j be t(0). Are j and m equal?
False
Suppose 2*t = 3*o - o + 10, 5 = 2*o + t. Which is smaller: -5/19 or o?
-5/19
Let x = -2 + 2. Let m = x + -4/3. Is -2 at least as big as m?
False
Let f = -11 - -17. Which is bigger: f or 7?
7
Suppose -12*o - 419 + 131 = 0. Is o > -24?
False
Let r(f) = f**2 + 3*f + 2. Let u be r(-2). Are 2 and u unequal?
True
Let s(f) = 2*f**2 - 31*f + 5. Let t(g) = -g**2 + 21*g - 3. Let m(p) = -5*s(p) - 7*t(p). Let z be m(3). Do -7 and z have different values?
False
Let w = 9 - 9. Which is smaller: w or 2/15?
w
Let y be ((-1)/(-2))/((-2)/2). Let f = 0.08 - 7.08. Let q = f - -7.4. Is q at least as big as y?
True
Let k(h) = -h**3 + 9*h**2 - 4*h - 2. Let t be k(8). Is 29 less than t?
True
Let q(f) = -4*f**3 + f**2 - 1. Let w be q(-1). Which is smaller: 3 or w?
3
Let w = -55/21 + -26/7. Let t = w + 187/30. Let l = -3/5 - t. Which is greater: l or -1?
l
Suppose 0 = -3*d - 2*s + 5*s, -3*d + 2*s = -4. Suppose 3*c - 7*t + 2 = -3*t, 7 = -d*c + t. Are c and -4 nonequal?
True
Suppose 5*f - f - 12 = 0. Suppose 0 = 2*c - 4*c + 12. Suppose 0 = -5*y + 2*y + c. Which is greater: f or y?
f
Let h = 4 - 3.5. Let r = h + 3.5. Let m = -33 - -32. Is m != r?
True
Let v = -1 - -6. Do 7 and v have the same value?
False
Let b be 2*2/(-8)*-68. Suppose 16 = m + 3*q - 8*q, -3*m + q + b = 0. Is m greater than 10?
True
Suppose 5*u + 15 = 10. Is 6/19 != u?
True
Let a be (-8)/40*(-5)/(-4). Are a and 0.4 nonequal?
True
Let f = -9 - -13. Suppose -4*g - 44 = -f*t, 5 = -5*t + 20. Which is smaller: g or -7?
g
Let a = 16 - 28. Let w = -28 - -22. Let h be w/(-4)*a/(-54). Do h and 1 have the same value?
False
Suppose -4*h = 3*a - 0 + 18, 5*h + 21 = -3*a. Let x(z) = -z**3 - 3*z**2 + 4*z - 1. Let m be x(-4). Which is bigger: m or a?
m
Let t be 3/(-5)*(0 + (-14)/21). Is t <= 4?
True
Let d be 0 + 0 + (6 - -2). Suppose -2*p + d - 2 = 0. Is 0 <= p?
True
Let t = -31 - -31.1. Is t greater than or equal to 0.15?
False
Suppose 0*j = -2*j - 6. Let r = 11.1 - 1.1. Let d = r + -9. Which is smaller: d or j?
j
Let g(b) = -b**2 - 18*b + 1. Let j be g(-18). Is j bigger than -3/11?
True
Suppose k - 4*k = 4*x - 44, 2*x = -5*k + 36. Let v = x + -9. Is -2/7 less than or equal to v?
False
Suppose -4*y - 7 = -v, -2*y - 21 = 4*v - v. Let f = -6 - -1. Is f > y?
False
Let q be 4 - ((-45)/(-6) - 4). Is q not equal to 1?
True
Let q be -28 - -9 - 1*2. Let j = 14 + q. Does -7 = j?
True
Suppose -v - 334 = -110. Let s = 2466/11 + v. Let d(u) = u**2 - u. Let a be d(0). Is a less than s?
True
Let s be (1/3)/((-22)/36). Is s >= -2?
True
Let h be ((-11)/(-2))/((-1)/(-2)). Suppose -3*f = -1 - h. Is 5 smaller than f?
False
Let h be -1*(3 - 4)*1*21. Is 21 smaller than h?
False
Let k be 2/(-4) - 4/(-8). Suppose 0 = -5*h - 5*m + 1 + 4, 3*h + 4*m - 2 = k. Let t be ((-1)/5)/((-4)/10). Which is greater: t or h?
h
Suppose 0 = 3*w - 0*w + 9. Let s be (-8)/(-6) - 2/w. Suppose s*f = u - 3, 6*f = -4*u + f - 27. Is -3 <= u?
True
Let r = 7383 + -29685/4. Let d = -38 - r. Let i(g) = g**2 + g. Let s be i(0). Which is greater: s or d?
d
Let u(x) = -x**3 + 6*x**2 + 1. Let i be u(6). Is 2/49 >= i?
False
Let x(f) = f - 3. Let u be x(11). Suppose -5*p + u = -22. Is p equal to 6?
True
Suppose -u = -5*w + 2*u - 10, -5*u = 0. Suppose -8 = -2*s - 2*s. Let d = w - s. Which is bigger: -5 or d?
d
Let t(m) = 2*m. Let i be t(-1). Let o be ((-4)/(-10))/(i/(-20)). Let p = o - 7. Does -4 = p?
False
Let p = 85 - 76. Which is smaller: p or 8?
8
Let m = -1828/663 - -46/17. Is 0 < m?
False
Let i = -2 - -8. Let o = -7 + i. Let u = -3 - o. Is -2/3 at least u?
True
Let a = 1.3 + -1.3. Let g = a - -0.1. Is -4 at least as big as g?
False
Let p be (-3)/(-1) - (9 - 5). Is p > -2?
True
Let w be ((-3)/12 - -1)/(-3). Suppose -2*x = -5*x + 15. Suppose 0*d - 8 = -5*y - 2*d, 0 = -y - x*d + 20. Which is bigger: y or w?
y
Let j = 0 + 1. Suppose -m = 2*f - j, 5*f - 4*m + 3*m = 13. Suppose -f = v + v. Which is bigger: v or -1/4?
-1/4
Let d = 24 - 23.91. Which is smaller: d or -2?
-2
Suppose -3*t = -t - 2. Suppose 3*x + t = 2*x. Suppose 3*g = 2*p - 2*g + 2, 3*g = 0. Are x and p non-equal?
False
Let c = -23 - -43. Let t = 0 - -2. Suppose 4*d - 20 = 0, -h - t*d + c = 3*d. Which is smaller: -6 or h?
-6
Let q = -2 + 1.08. Let x = q - 0.08. Is -2 > x?
False
Let t = -6 - -8. Let m be -5 + 5 + 1/t. Which is smaller: 1 or m?
m
Let k = 29.7 - 28. Which is bigger: -1 or k?
k
Let i = 0.05 + 0.95. Is i < -67?
False
Suppose 2*x + 3*x - 5*g + 25 = 0, x - 3*g = -15. Suppose 3*f + 2*f - 10 = x. Suppose 0*v - 2 = -f*v. Which is smaller: v or -2?
-2
Let v = -17/12 + 5/3. Is 0 greater than v?
False
Suppose -f = -2*o, 0 = -f + 3*f - 2*o + 2. Let t be 52/65*(-10)/14. Which is bigger: f or t?
t
Suppose l = 5*a - 35, 5 = 6*a - a + 5*l. Let m be (-21)/14*a/9. Which is bigger: m or -6/17?
-6/17
Suppose 0*p - 16 = -i + 3*p, -i - 8 = 5*p. Let w = -8 + i. Is w <= -1/21?
True
Let v = 0.16 - 0.16. Is 0 bigger than v?
False
Let b(r) = -r + 7 + 2 - 3*r + 5*r. Let f be b(-8). Do 1/2 and f have the same value?
False
Let i(u) = -u**2 - 6*u - 6. Let y be i(-4). Let k be y + ((-42)/16 - -1). Which is bigger: k or 2/3?
2/3
Let d = 0.111 + -0.111. Which is smaller: d or 13.3?
d
Suppose q - 4*q = 54. Let z = -18 - q. Which is greater: 2/65 or z?
2/65
Suppose o + 2 = -4*d - 8, -2*o - 4*d = 4. Suppose o*u + f = u - 10, 3*u - 4*f + 29 = 0. Let i = u + 6. Is i <= 3?
True
Suppose 2*m - 4 + 2 = 0. Let a = -21/4454 - 4912489/57902. Let d = a + 85. Which is greater: m or d?
m
Let p be ((-3)/7)/(36/63). Which is bigger: p or -1?
p
Let b = -15 - -22. Suppose -3*c + 36 = -b*c. Which is greater: -10 or c?
c
Let t(g) = -g**2 + 4*g + 5. Let m be t(-4). Are -27 and m non-equal?
False
Let c = 0.02 + 0.03. Let f = 2.95 + c. Is f greater than -2/5?
True
Suppose -4*p + 2*s + 26 = 0, p + 2*s - s = -1. Let t be p/10 - (-52)/20. Suppose -r = t*r. Are -1 and r equal?
False
Let q = 2/533 - 1607/2132. Which is smaller: -1 or q?
-1
Let u = 15 - 14.3. Let n = u - 0.6. Which is smaller: n or -0.1?
-0.1
Let t be 32/6 - (-8 - -12). Which is smaller: t or 0?
0
Let d(g) = 4*g + 4*g - 6*g - 4*g. Let c be d(-