 + -490/697. Let w(y) = y**3 - 2*y**2 + y. Let h be w(1). Which is smaller: b or h?
b
Let c = 43 - 11. Which is smaller: 31 or c?
31
Let s = 0.5 - 3.5. Which is greater: 2 or s?
2
Let x(y) = 2*y + 7*y - 3*y + 1 - 5*y. Let c be x(-4). Is c < -13/4?
False
Let b = -1116/11 + 102. Suppose 10*j - 5*j + 5*y + 20 = 0, y = 4*j - 9. Is b at least j?
False
Let r = -2907067/11 + 264489. Let f = r - 210. Is f not equal to -1?
True
Let n = 6553/680 + -77/8. Which is smaller: 0 or n?
0
Let x = 47/7 - 209/28. Which is greater: x or 1/14?
1/14
Let x be -10*(14/(-4) - -3). Let s = 8 - x. Suppose c + 3 = 5. Which is smaller: s or c?
c
Suppose -4*o + 4 = -0*o. Let x = 2 - o. Let h be ((-3)/(-14))/(6/16). Is x >= h?
True
Let o = 11.07 + -11.27. Let z = 0.1 - 0.1. Let n = -1 + z. Which is smaller: n or o?
n
Let n be 6/(-48) + (-12)/416. Is -3 at most n?
True
Suppose 8 = 4*m - 2*q, -m + 3*q + 3 = -9. Suppose m = 5*r + 5*g + 5, 3*r - 2*r = -4*g - 1. Which is greater: r or 3/19?
3/19
Suppose -3*a + 33 = -3*q, 2*a + 0*a + 3*q - 2 = 0. Let d = -2 - -10. Which is bigger: d or a?
d
Let d(r) = r - 5. Let g be d(9). Suppose 0 = -j - g*j. Is -3 equal to j?
False
Let s be (14/(-4))/((-12)/(-24)). Which is bigger: -6 or s?
-6
Let v = 1.5 + 0.1. Let k = v + -2.2. Which is smaller: -0.1 or k?
k
Let g = 20661/14 - 1477. Let i = 12/7 + g. Which is smaller: i or 2?
i
Let o = -21 - -21.5. Which is smaller: o or 0?
0
Let h be (-103)/(-7) + (-42)/(-147). Is h greater than 12?
True
Let m(k) = -4*k - 5*k**2 + 14*k**2 - 5*k**2 - 10 - 3*k**2. Let a be m(7). Which is smaller: 10 or a?
10
Let k = -12 + 61/5. Let x = k + 3/35. Does x = 1?
False
Let h = 0.13 + -0.08. Let c = 0.05 + h. Which is smaller: c or -0.2?
-0.2
Suppose 5 + 15 = 4*k. Which is smaller: k or 7?
k
Let q = 0 + 0.2. Let i = q - 0.2. Let y be 0/(-2) + -4 + (-21)/(-5). Is y at least as big as i?
True
Let c = -480 + 2411/5. Is c equal to 2?
False
Let r be (-235)/(-25) + (-4)/10 - -3. Which is bigger: r or 13?
13
Let d(c) = c + 2. Let t be d(-5). Let v be 21/(-9)*(t - -6). Let o = 0.3 + 0.7. Which is greater: o or v?
o
Let z = -11 - -19. Suppose 2*w = -2 + z. Which is smaller: w or 5?
w
Let t = -6 + 5.6. Let w = 0.04 - 0.44. Let h = w - t. Which is smaller: 0.2 or h?
h
Let t = 14.64 - -0.36. Let a = 12 - t. Are -1 and a unequal?
True
Let h = -0.13 + 5.13. Let r = 5.1 - h. Which is smaller: -0.4 or r?
-0.4
Let a = 0 + 3. Suppose 5*h = 3*f - 8 - 14, 0 = a*f + 3. Let l(m) = -m**3 - 4*m**2 + 6*m + 4. Let k be l(h). Is k less than or equal to -2?
False
Let z(k) be the third derivative of -k**4/24 - 5*k**3/6 - 8*k**2. Let d be z(6). Which is smaller: -10 or d?
d
Suppose -12 = -z + 43. Which is greater: z or 56?
56
Let v be (0 - 0 - 2) + 58/8. Which is greater: v or 4?
v
Suppose y + 2 + 3 = -5*h, 5*y + h = 23. Suppose -2*j + 2 + 2 = 0. Let c be 1*(-2 + j - -6). Is c smaller than y?
False
Let a = -2.3 - 1.8. Let r = a + 4. Let p = r + 3.1. Is -1 greater than p?
False
Let u be (-2)/(-11) + ((-280)/(-44))/(-2). Do u and -11/5 have the same value?
False
Suppose -140 = -3*z - 2*z. Suppose 2*n + 4*u + z = 0, -n + u = n + 8. Let b be (1/2)/(9/n). Is 0 not equal to b?
True
Let u be (-160)/(-48)*36/10. Which is smaller: u or 6?
6
Let w(l) = 2*l + 10. Let b be w(-7). Let c(i) = -i**2 - 5*i - 5. Let j be c(b). Is j less than -2?
False
Let w = -494/5 - -98. Which is greater: 2 or w?
2
Let v be 0 - (-4 + 30/7). Which is bigger: 2/17 or v?
2/17
Let l = -35 - -36.04. Let y = l + 0.16. Let a = y - 1. Which is greater: a or 0?
a
Suppose -5*l = 2*u + 15, -4*u - 4*l = -2*u + 10. Let y = 6 + 0. Which is bigger: y or u?
y
Let i = -77 + 77.01. Let x = 1.2 + -1.09. Let u = x - i. Is -0.1 greater than u?
False
Suppose -2*o + 2*x = -29 + 185, 4*x + 312 = -4*o. Let f be -1 + ((-5520)/(-35))/2. Let r = f + o. Is -1 at least r?
False
Let i = -3757/10 + 376. Which is bigger: -1 or i?
i
Suppose -4*u - 4*w = -32, -u + w + 5 = -3. Suppose -2*s = -u - 0. Suppose -i + 4*o - 12 = 0, 2*o + 2*o = 4*i. Do s and i have the same value?
True
Let s = 13 + -11.9. Let p = s + -0.8. Let n = p - 0.4. Is -0.1 bigger than n?
False
Suppose -9*p - 10 = -4*p. Suppose 4 = 5*k - 1. Which is smaller: p or k?
p
Let s be -2 - (-7 - 0)/(-1). Let q be s/(-6) - (-5)/10. Which is smaller: q or 3?
q
Let k(q) = q**3 + 13*q**2 - 13*q + 14. Let i be k(-14). Suppose -10*r + 13*r - 24 = i. Do 8 and r have different values?
False
Let w = 17 + -16. Which is bigger: w or -2?
w
Let f = -0.06 - -0.1. Let t = -0.16 - f. Suppose -3*i + 4 = -2*r, -8 = -4*r - 4*i + 2*i. Which is greater: t or r?
r
Let a be 1/(-4) - 39/(-12). Let n be -2 + 1 - a - -1. Let h be (2 + (-20)/8)*8. Is n less than or equal to h?
False
Let w = -2 + 22. Suppose -w = 4*x - 0*x. Is -5 equal to x?
True
Let p be (3/90)/((-10)/25). Is p bigger than 1?
False
Let k = 1132/7 - 19188/119. Which is greater: 0 or k?
k
Let t = -851/7 + 122. Let h = 1 - -2. Let d be h/(-9) + 4/(-6). Is t less than or equal to d?
False
Let b be (1*-1)/((-126)/(-14)). Is 1 <= b?
False
Let x(o) = -3*o - 12. Let w be (-2)/(-1)*2*-2. Let d be x(w). Let i be (-4)/(-14) + d/7. Which is smaller: i or 1?
1
Let n be (-2 - -1) + (-2 - -3). Let c be 4/(-12) + (-290)/(-6). Let k = -287/6 + c. Which is smaller: n or k?
n
Let w be ((-7)/5 + 1)*-1. Let m = 0.1 - -1.9. Let g = m + 0. Which is greater: g or w?
g
Let a(o) = -o**2 + 5*o. Let d be a(4). Suppose 4*u = 2*u + d. Let l = -0.2 + 0.3. Which is smaller: u or l?
l
Let x be -11*3/15 - -1. Let y = -4/5 - x. Which is bigger: y or -1?
y
Let y = 72/203 + -2/29. Which is greater: -3 or y?
y
Let c(p) be the second derivative of -p**3/6 - 2*p. Let v be c(-3). Suppose 0 = w + 5*m + 4 - 2, -5*w = -m - 16. Does v = w?
True
Let c = -3 + 1. Suppose -2*w = 5*z + 6 + 19, 5 = -z - 5*w. Let y be (1 - 6)*(-2)/z. Are c and y non-equal?
False
Let w = -10 + 19. Which is smaller: w or 66/7?
w
Suppose 0*n = 5*n. Is n > -3?
True
Let l be 6/(-8) + 182/8. Let k = -16 + l. Which is bigger: k or 16/3?
k
Suppose -1 = z - 3. Which is smaller: z or 5/9?
5/9
Suppose l = 2*l + 3. Is l greater than -3/2?
False
Let n(q) = q**3 - 2*q**2 + 3*q - 2. Let t be n(2). Suppose 2*m - t = -0. Suppose 3 = -m*f + 7. Is 2/3 <= f?
True
Let a be 0/(-2) + -1 + 23/(-9). Which is smaller: -5 or a?
-5
Suppose -4 = p - 8. Suppose -q + 33 = -p*q. Which is smaller: q or -12?
-12
Let k be (2 - 0)*25/(-5). Let d = -21 - -12. Which is smaller: k or d?
k
Suppose 5*s - 3*o = -46, 19 = -3*s - 3*o - 23. Let q(b) = -b**2 + 4*b - 5. Let h be q(5). Which is greater: s or h?
h
Let a(u) = u**2 - 5*u + 3. Let g be a(5). Let r = g - 7. Which is smaller: r or -1?
r
Let h = 11 - 12. Is h > 1?
False
Let n = 9 - 3. Suppose v + 5 = n*v. Is v smaller than 1?
False
Let p = -1206/221 - -81/17. Is 0.1 != p?
True
Let j = -5 + 3. Let h be 19/(-7) - j/(-7). Which is greater: -5 or h?
h
Let o = -0.37 - -7.27. Let h = 0.08 - -6.92. Let i = o - h. Is -5 at least i?
False
Let o be (12/14)/(9/42). Which is bigger: o or -1?
o
Let d(q) = -q**2 - 7*q - 7. Let x be ((-4)/6)/((-2)/(-15)). Let m be d(x). Does m = 2?
False
Let w = -2.6 - -3. Let i = -0.5 + w. Let z = 0.27 - 0.27. Which is smaller: z or i?
i
Let d = 1 - 3. Let l(y) = -2*y - 2. Let c(w) = -w - 3. Let j(i) = d*l(i) + 3*c(i). Let a be j(5). Which is bigger: 0.3 or a?
0.3
Suppose 4*i + 2 = 4*y - 2, 0 = -5*i + y - 1. Suppose i*m - 15 = -3*m. Suppose -m*q - 10 = -2*b, -4*q + 5*b - 5 = 4*b. Are q and -4/3 nonequal?
True
Let u = 29 + -231/8. Does u = -1?
False
Let a = -6 + 8. Suppose g + 7 = 3*m, 0*m = 2*g + 2*m + 6. Is g at most a?
True
Let n = 1.9 - 2. Let q = 65 + -65. Which is smaller: n or q?
n
Let w = 9/11 + -43/66. Which is smaller: w or -5?
-5
Let s = -7 + 11. Suppose 0 = -s*b - b. Let l = 78 - 700/9. Which is greater: l or b?
l
Let w(t) = t + 12. Let o be w(-8). Which is smaller: o or 17/6?
17/6
Let y be (8/(-5))/((-4)/(-40)). Let x be 4/(-12) - (-88)/(-6). Which is greater: x or y?
x
Let f = -6 + 3. Suppose 4 = -2*h - o, -3*o = -6*h + 2*h - 18. Is f at most h?
True
Let u = 13 + 15. Which is bigger: 2/5 or u?
u
Suppose -5*i - 18 + 5 = -x, 3 = -i. Let c = -307/420 + -2/105. Is c not equal to x?
True
Let v = 6 - 2. Suppose -v = 4*d - 12. Suppose 0 = d*x - 0*x - 4. Is 3 >= x?
True
Suppose -2*r = -3*r + 16. Is r at most 14?
False
Let y(u) = -u + 12. 