f) = 2*f**2 - 10*f + 17. Let q be j(3). Does g = q?
True
Suppose 3*i + i + 48 = 0. Which is smaller: i or -11?
i
Let i(n) = -n**3 - 2*n**2 - 2*n - 1. Let q be i(-2). Suppose 15 = q*j + 5*s, 5*j - 9 = -s - 2*s. Suppose j = 3*g + 4 - 13. Which is smaller: g or 2?
2
Let k = -187/4 - -47. Which is greater: k or 1?
1
Let y be 6/(-4)*1/2. Let j(b) = 1 + 4*b - 5*b - 6. Let p be j(-5). Are y and p non-equal?
True
Let s = 1 - 6. Is s smaller than -6?
False
Let q(v) = v**3 - 2*v**2 - 3*v + 3. Let c = 13 + -11. Let b be q(c). Is b bigger than -3?
False
Let q = 2/1025 - -152719/3075. Let f = q + -49. Is f at least as big as 2?
False
Let f = -6710/9 + 752. Let w = -424/63 + f. Is 0 at least w?
True
Let u = -3.1 - -3.4. Let g = 7.5 + -1.5. Let q = g - 6. Which is smaller: u or q?
q
Let h = -19.92 + 20. Let a = -0.88 + h. Which is smaller: a or 0?
a
Let a(c) = 2*c. Let d be a(-3). Let o be 16/d*(-3)/2. Let t = o - 4. Is t at most -2/17?
False
Let r(g) = -g**2 - 13*g + 4. Let n(h) = h**2 + 14*h - 5. Suppose 4*w + 5 = -5*x - 3, 2*x = 3*w + 29. Let y(s) = w*r(s) - 6*n(s). Let c be y(-6). Is -3 < c?
False
Let x be (-2)/(-3)*(-606)/(-16). Let b(z) = 2*z**2 + 7*z - 5. Let q be b(-6). Let y = x - q. Is y bigger than 0?
True
Let q be (7/(-7))/(1/(-2)). Suppose -3*f + 2*f - 2 = q*p, -5*p = -f + 5. Suppose f = -5*c + 13 - 3. Which is smaller: 1 or c?
1
Let f = -51 - -95. Is f greater than or equal to 0?
True
Let c = 0.02 + 0.13. Let k = 0.85 + c. Is k <= 0.6?
False
Let j = 11.7 + -11. Let y = -0.5 + j. Is 3 greater than y?
True
Let s be (-1)/(-2) + 111/2. Let i be 5/(-2)*s/(-105). Is 2 at most as big as i?
False
Suppose -3*k = -0*k - 42. Let a be 3/12 - k/(-8). Which is greater: a or -2?
a
Let b(t) = t**2 - 7*t - 18. Let s be b(9). Which is smaller: -0.104 or s?
-0.104
Let a(h) = -h**3 + 5*h**2 + 9*h - 8. Let p be a(6). Suppose 0 = p*u - 4*u. Is u at most as big as 2/3?
True
Let m be ((-35)/(-15))/(-7) - 3. Is 1/2 at most as big as m?
False
Let l be (-9)/(-30)*(1/(-3) - 1). Which is bigger: -1/19 or l?
-1/19
Let i be (24/225)/8*(1 - -1). Which is bigger: i or 0?
i
Let a = 3/3122 - 114031/81172. Let l = -5/4 - a. Is l less than or equal to 1?
True
Let s = -3.1 - -3. Let i = s + 0.3. Let h be -1 - (0 - 0/(-1)). Which is smaller: i or h?
h
Let i be 42/72 + 2/(-6). Let k = i - 13/20. Which is smaller: k or -0.5?
-0.5
Let f be 5/(-20)*(-1 - (-6)/4). Which is smaller: 3/5 or f?
f
Suppose d = -t - 2, -d - 9 = -2*t + 2. Is d at most 0.2?
True
Let t(s) = s**3 - 6*s**2 + 5*s - 4. Let n be t(2). Which is greater: n or 2/11?
2/11
Suppose 4*u = 6 + 2. Suppose 2*k - u*p + 7 = 3*k, 0 = k + 5*p - 10. Is 2 less than k?
True
Let h = -199/6 - -32027/966. Which is smaller: h or 0?
h
Suppose 3*q + 120 = 11*q. Is q < 16?
True
Let t(c) = c**2 + 3*c + 3. Let k = 1 - 4. Let w be t(k). Let l = w + -2. Which is greater: 1/8 or l?
l
Let u = 0.4 + -1.4. Which is smaller: 1 or u?
u
Suppose k - 9 - 8 = -3*r, 3*k + 4 = 2*r. Suppose r*p = 25 - 0. Which is greater: p or 6?
6
Let v be -4 + (-88)/30*15/(-10). Which is smaller: v or -9?
-9
Let w be (-2)/((-4)/(-130)) - 0. Let v be (-1)/(-3) - w/(-15). Is v at least as big as -5?
True
Suppose 9 + 3 = -2*p. Which is bigger: p or -2?
-2
Let x = -1/323 - -681/11305. Is 0 greater than or equal to x?
False
Suppose -3*r - 29 = -62. Suppose 4*j - 7 = 41. Which is smaller: r or j?
r
Let g(n) = n**2 + 2*n - 99. Let b be g(9). Let k be ((-7)/(-6) + -1)*-8. Is b != k?
True
Let t be -24*1*2/34. Which is smaller: -1 or t?
t
Let q = 8.2 - 9.6. Does 2 = q?
False
Let g(h) = h**3 - 20*h**2 + 16*h + 44. Let a be g(19). Is 0.4 at most a?
False
Let r = 361/5 + -72. Suppose -4*q - 12 = -2*q. Let m be (-21)/(-35) - q/(-10). Which is greater: m or r?
r
Suppose 5*r + 3 + 2 = 0. Let z = 15 + -15. Which is greater: z or r?
z
Let d be 13/26*(87 + 1). Which is greater: 43 or d?
d
Suppose 2*o = -o. Which is greater: o or -2/3?
o
Suppose 5*b + 0*b = 0. Let u be ((-1)/(-1))/(-1)*0. Is b > u?
False
Let p = 6 - 7. Are p and -1/18 equal?
False
Let z = 14046/11 - 1276. Does 0 = z?
False
Let k be -2 + 5 + 0 + -7. Which is greater: k or -14/3?
k
Let l = -182/3 + 60. Which is greater: l or 7?
7
Let r be 10/(-50) + (-154)/(-85). Let y = 24/17 - r. Which is smaller: 1 or y?
y
Suppose 0*h + 3*h = 9. Suppose 13 - 10 = q. Let g = q - h. Is g smaller than -4?
False
Let p be (6/3 + -1)*18/(-186). Is p at least as big as 1?
False
Let c(s) = -s**2 + 5*s + 8. Let h be c(7). Let i be (-3)/h*(2 - 18). Let z = i - -9. Which is greater: z or 1/2?
z
Suppose 0 = -4*j + 48 + 116. Let z be 2 + 0 - 2352/(-60). Let m = z - j. Is m smaller than -1?
False
Let z = 7/6 + -43/42. Suppose -3*q - 24 = -0*q. Let o be 6/4 + 4/q. Is o at least z?
True
Let d(i) = 2*i - 9. Let p be d(10). Suppose 2*x = p - 3. Suppose 6*r - m - 7 = r, 5*r - x = 2*m. Which is bigger: r or -3?
r
Let f = 2 + -2.1. Let a = f + 0. Let k be ((-3)/2)/(4 + 2). Is k at least a?
False
Let q = 4.11 - 0.11. Let y = 2 - q. Let p = -1.9 - y. Is p at most as big as -1/6?
False
Let o = -0.92 - -0.82. Are -60 and o non-equal?
True
Let s be 0/1 + -3*7. Let u = s - 7. Let v be (-8)/u*(-2)/(-2). Which is smaller: -1 or v?
-1
Let d be ((-20)/(-15) + 0/3)*-2. Is 0 equal to d?
False
Suppose 5*s - 110 = -145. Which is smaller: s or -11/2?
s
Let q = -9 - -13. Let v(k) = 3*k - 2*k - 4*k - 2 + q*k. Let m be v(4). Is -1 less than or equal to m?
True
Suppose 5*t = -3*d - 16, 0*t = 5*t - 5*d. Let j be (-5)/t*(-34)/3. Let g = -28 - j. Which is greater: g or 1?
1
Suppose m - 2*k = 5*m - 12, 4*m - 2*k = -4. Suppose 0 = 2*y + c - 3, 4*c - 12 = 2*y + 10. Let s be y + -1 - -4*m. Which is smaller: 1/2 or s?
1/2
Let h be ((-4)/(-3))/((-15)/(-18)*2). Which is smaller: 2 or h?
h
Let j = 1.5 - 1. Let a = -7.5 + j. Which is greater: a or -2/7?
-2/7
Let q be -2*2 + (-105)/(-27). Which is smaller: 1 or q?
q
Let s = -15 - -16.1. Is -1 greater than s?
False
Let a be ((-27)/24)/(9/12). Suppose -6 + 27 = -2*u + 3*y, y - 17 = 4*u. Is u < a?
True
Let o(p) = p**3 - 2*p**2 - 4*p + 4. Let d be o(3). Let y be 124/10 + 2/(-5). Let k be ((-2)/(-3))/((-44)/y). Which is bigger: k or d?
d
Let u = 131/330 - 8/15. Are 0 and u non-equal?
True
Suppose z + z = 3*z. Let m = 4300/139561 - 2/2083. Is z at least as big as m?
False
Let x(h) = -3*h - 2. Let b = -3 - -1. Let c be x(b). Is c at least as big as 4?
True
Let o be (-2)/(-8) - (-465)/(-100) - -4. Is o less than 0.12?
True
Suppose 0*s + s = 0. Let o = -241 + 4581/19. Is s less than o?
True
Let c be 4/10 - 33/(-5). Let z = 20 - 21. Let y be (-3)/(-9)*c*z. Is y > -3?
True
Let t be 74/28 - (-3)/(-2). Which is bigger: 1 or t?
t
Suppose -8*r = -6 - 2. Which is smaller: 6/5 or r?
r
Let a(v) = v**3 - 6*v**2 + 4*v + 7. Let m be a(5). Suppose 0 = m*x - 10 + 2. Let w = 17 - 17.1. Which is bigger: w or x?
x
Let g = -111 + 102. Is -10 not equal to g?
True
Let t(c) = -c**3 + 11*c**2 - 10*c. Let q be t(10). Let r be (-1)/(-15) - (-1)/3. Do q and r have the same value?
False
Let j = -12.07 - -12. Let z = j + -0.23. Which is smaller: z or 1?
z
Let l = 0 - -5. Suppose -2*j - 120 = -l*j. Let r be 23/j + 4/(-20). Are 1 and r equal?
False
Let f = -2 - -2. Let b(c) = c**3 - 4*c**2 - 4*c - 4. Let t be b(5). Which is smaller: f or t?
f
Let r(v) = -7*v - 6. Let d be r(-2). Which is greater: 7 or d?
d
Let v = 13/15 + -49/45. Let u(b) = -b**2 - 9*b - 9. Let c be u(-7). Let l(p) = -p**3 + 4*p**2 + 6*p - 5. Let j be l(c). Are v and j unequal?
True
Suppose 0 = 4*o + o. Let i = 186273 + -2420247/13. Let r = 100 - i. Which is greater: r or o?
o
Let v be (-46)/248 - (-2)/8. Let d = v + 27/62. Which is smaller: d or 1?
d
Let f = -9 - -10. Let z = -3 + 4. Let n be (-16)/(-5) - 2 - z. Which is smaller: n or f?
n
Suppose -5*b - 4*b = -963. Which is smaller: 106 or b?
106
Let w(y) = -y**3 + 8*y**2 + 8. Let m be w(8). Let i be (2/(-4))/(m/16). Is i smaller than -2/35?
True
Suppose -18*i = -16*i + 28. Is i >= -14?
True
Let i = -48 - -43. Suppose 0*f + 2*f = -12. Which is bigger: f or i?
i
Let o = -1 - -4. Let j = 3.2 - o. Let y = j - -0.8. Is -2 greater than y?
False
Let v be (4/4)/(0 - -1). Suppose 3*r = -4 + 10. Let h be (-9)/(-6)*r/3. Is v greater than h?
False
Let z be ((-1 - -2)/13)/(-1). Which is bigger: z or 0?
0
Let c = 68 - 541/8. Suppose 0 = -8*v - 3*v - 11. Is c >= v?
True
