or f?
f
Let p be -1*1*(-24)/3. Let i = p + -12. Let s = -11 + 5. Do i and s have the same value?
False
Let x(a) = -a**2 - 2*a + 29. Let k be x(-7). Let s be 1 - (-5)/k - (-14)/(-36). Which is smaller: 1 or s?
s
Let f be (-12)/(-54) + (-133)/(-9). Let h be -4 + 38/2 + 1. Which is smaller: h or f?
f
Let p be 240/(-160) - (-230)/12. Is 18 at most p?
False
Let h = -91/72 + 14/9. Suppose 4*k = -y - 15 + 12, 3*k = -5*y + 2. Is h greater than or equal to y?
False
Suppose 0*s = 2*s + 3*s. Suppose -4*g - a - 32 + 12 = s, 5*a = 4*g + 44. Which is smaller: g or 8?
g
Suppose -2*y - 4 = -2. Let x be (-8)/(-1)*3/6. Let k be (x/12)/(2/(-9)). Which is greater: y or k?
y
Suppose -w + f = 2, 3*w = -f + 14 - 8. Which is greater: w or -1/268?
w
Let b = -701 + 702. Which is greater: b or 2/245?
b
Let o = 1355095/108 + -12547. Let k = 2/27 + o. Is k < -31?
False
Let g be (-24)/(-5)*(-230)/(-69). Is g smaller than 1?
False
Let z = 2 - 5.7. Let v = z - -3.8. Which is smaller: v or 1/4?
v
Let f be -8 + 3 + (0 + 0 - -3). Let h be (-303)/7 + (-4)/(-14). Which is greater: f or h?
f
Let s(k) = -k**2 - 4*k + 6. Let a be s(-5). Let i be a*(-1 + (-2)/(-2)). Is i >= 2/19?
False
Let x = -362 + 269. Is x smaller than -94?
False
Let d = 0.17 + -0.17. Let r = 8 + -26. Let b be r/(-20)*2/(-6). Is d bigger than b?
True
Let m(a) = a + 2. Let q be m(4). Let b = -22350 - -22350.1. Do q and b have different values?
True
Let x be 307/5 + 4*12/(-24). Are x and 60 nonequal?
True
Let j = 1.01 + -1. Let g = 538 - 539.01. Let s = g + j. Does -5 = s?
False
Let r be -6*3/(-2 - 1). Let d = -6 + r. Let f be d - 9/(198/(-4)). Does f = 1?
False
Let v = -0.09 + 0.1. Let w = -0.01 + v. Let h = 18.9 + -19. Which is smaller: w or h?
h
Let z be -6*(-2)/4*1. Suppose -33 - z = -2*p. Suppose 0*c = -2*c - 2*a + p, -a = 4*c - 30. Which is greater: 6 or c?
c
Let w(l) = -4*l + 13. Let a(m) = m - 1. Let n(d) = 6*a(d) + w(d). Let y be n(0). Is y at least 4?
True
Let v = 1/709 + 7081/6381. Suppose 0 = -5*r + 3*p - 150, 2*p - 4*p - 17 = r. Let y = r - -29. Which is smaller: v or y?
v
Suppose -4*n + t + 232 = 0, 14*n - 13*n - 3*t - 69 = 0. Do n and 55 have the same value?
False
Suppose 5*j = -70 - 20. Let r be 0 - j - (2/(-2) + 0). Which is smaller: 18 or r?
18
Let u = -3841 - -22963/6. Is u bigger than -14?
True
Suppose y - 5*y - 16 = 0, -6 = 2*r + y. Let f be 42/(-20) + (-10)/(-5). Which is smaller: r or f?
r
Suppose 20 - 98 = 3*y. Let h(f) = 5*f - 3. Let s be h(0). Let z be (-49)/2 - s/(12/(-2)). Are z and y nonequal?
True
Let q(y) = -807*y**3 - 3*y**2 + 6*y - 2. Let w be q(1). Is w bigger than -805?
False
Let q be (6/(-180))/((-4)/18). Let x be (-22)/5 + 1 + 12/(-20). Let u be ((-2)/(-8))/(x/16). Are u and q nonequal?
True
Let i(y) = -12*y**2 - 3*y + 2. Let x be i(-2). Is -41 at least x?
False
Let v = 3.16 + 0.34. Is v less than or equal to -1/3?
False
Let y = -58 - -30. Let z = -40 - y. Are -1 and z unequal?
True
Let k = 9 - 6. Let n be 52/(-16608)*363/k. Let c = 2/519 + n. Which is greater: 1 or c?
1
Let h(d) = -43*d**2 - 3*d + 42*d**2 - 2*d**3 + 2*d + 1. Let y be ((-6)/(-12))/(2/4). Let q be h(y). Is -5 at least as big as q?
False
Let f = -171/14 - -25/2. Which is smaller: 33 or f?
f
Let u = -1080 + 46443/43. Which is bigger: 0 or u?
u
Suppose 3*v + 4*q - 2 = -17, 6 = -2*q. Is v < -4/115?
True
Let k(g) = g**3 - 28*g**2 + 26*g + 4. Let f be k(27). Does f = -9?
False
Suppose 0 = 3*v - 12 - 12. Suppose v*w = 4*w + 12. Do 40/9 and w have different values?
True
Let z = -87 + 72. Let l be (-1 - z/12)*5. Suppose -2*x = -5*x + 6. Is x greater than or equal to l?
True
Let i(t) = t**2 + 1. Let j be i(-1). Suppose 0 = -7*v + 5*v. Suppose -s + v*s - 11 = 3*g, 0 = 4*s + 2*g + 4. Is j greater than or equal to s?
True
Suppose 5*r - 3 = 3*m + 7, m = 5*r - 10. Is -8/7 > m?
False
Let v be (17/(-68))/((-1)/248*2). Which is smaller: 25 or v?
25
Suppose 129*s + 252 = 132*s. Do s and 85 have different values?
True
Let g(b) = 4*b - 31. Let o be g(10). Suppose -140 = 5*w - 0*a + 4*a, 3*a - o = w. Does w = -24?
True
Suppose -l + 5*z + 234 = 0, 3*l - 680 = z + 78. Is l > 254?
False
Let w = -18 + 15. Let u = 7 + w. Suppose -2*m + 6 = u*c, -3*c + m + 9 = -2*m. Is 9/10 equal to c?
False
Let c be 5/14*176/10340. Which is greater: 1 or c?
1
Let n(m) = 8*m**2 - 7*m + 59. Let d be n(7). Is 401 equal to d?
False
Let x = 1/27 - 194/135. Let q = -0.21 - -0.21. Let n = 1 + q. Which is bigger: x or n?
n
Let p(s) = s**2 - 4*s + 11. Let o(y) = -3*y**2 + 9*y - 23. Let w(b) = -2*o(b) - 5*p(b). Let h be w(-4). Let n = -1/6 - -11/48. Which is bigger: n or h?
n
Let d = -391069796 + 65699363689/168. Let z = 2155 + d. Let g = 2693/840 - z. Which is smaller: g or 2?
2
Suppose -5*b = 25, 0 = -2*x + 3*x + 4*b + 17. Suppose -x*i = -4*i + 24. Let y be 12/42 - i/35. Is y smaller than -2/15?
True
Let u = -340 + 340. Let m be 4/21*6/28. Is m at most as big as u?
False
Let y(a) = -a**3 - a**2 + 4. Suppose -13 = 5*p - 3. Let x be y(p). Suppose 5*u = 9*u + x. Which is smaller: u or -3?
-3
Let r = -1 - -2. Let n be -11 + 5 + -1 + 1. Let f be 627/484 - (0 + n/(-8)). Which is smaller: f or r?
f
Let k = 157.1 + -156.3. Which is greater: k or 35?
35
Let p = -15/217 + 354/1085. Is 0 greater than or equal to p?
False
Let k(i) = i**2 - 12*i - 107. Let s be k(18). Is 15/26 at most s?
True
Let n be (0 + 2)*(4 - 3). Suppose n*s = d + 4, -5*d - 43 = 5*s + 7. Are d and -10 non-equal?
True
Let v be 8/(-330)*9/21. Which is bigger: -1 or v?
v
Let u = -111/110 + -57/55. Let w = u - -887/154. Is w at most 5?
True
Suppose 0 = 2*z + 4, 0 = f + f + 3*z. Let b be 2 - f - -1*2. Which is smaller: -1/19 or b?
-1/19
Let s = -1.44 - -2.44. Which is smaller: 1/179 or s?
1/179
Let g = 1143/2 + -572. Let k = -0.11 + 0.03. Let x = k - 3.92. Which is smaller: x or g?
x
Let r be 0 + -2*2/4. Let w = -139389 - -2782981/20. Let x = w - -240. Which is bigger: x or r?
x
Let i = 38 + -35. Suppose -5*s - 3*b + 22 = 0, 2*s + 0*b - 12 = -2*b. Is i greater than or equal to s?
True
Suppose 105*m + 4958 = 38*m. Which is smaller: m or -75?
-75
Let h = 25 - 3. Let d be (-3 - (-64)/h)*1557. Let n = -141 - d. Which is greater: 0 or n?
n
Let d be -3*33/(-18)*(5 + -1). Let h = -19 + d. Which is smaller: 6 or h?
h
Let m be (0 - 0)*7/42*6. Are m and -7/57 unequal?
True
Let q(w) = w**3 - 2*w**2 - 1. Let g be q(2). Suppose -4*b - c = 5, 2*b + 2*c - 3 + 1 = 0. Let u be (b/4)/((-2)/(-24)). Is g != u?
True
Let o = -3 + 2.8. Let n = -0.3 - o. Let c = 32.9 + -43.9. Do c and n have the same value?
False
Let f = -582 - -413. Is f <= -6?
True
Let g = 224 - 443/2. Do g and -1/12 have the same value?
False
Let f be (-3*(-3)/738)/(224/(-192)). Which is smaller: f or 1?
f
Suppose 0 = 3*g + 6*g + 495. Let m be (627/g - (1 + 1))*-5. Which is bigger: m or 66?
m
Let k be -18*8/60*5. Let o be (-93)/k - (-4)/16. Suppose 5*d - f + 19 = 3*f, -d + 5*f - o = 0. Is -3/2 <= d?
False
Let c be (-5 + 5/5)*(-7)/4. Suppose 148 = c*k - 160. Which is bigger: 45 or k?
45
Let a be (-4)/14 + 8/14. Suppose 4*b = 5*r + 6*b + 30, r + 3*b + 6 = 0. Let k be (3/r)/((-5)/10). Which is bigger: k or a?
k
Let a(v) = -v**3 - 17*v**2 + v + 19. Let d = -39 + 22. Let f be a(d). Is 2/3 bigger than f?
False
Suppose -13*w = -5*w - 16. Let p be w*(-1)/((-10)/55). Is p bigger than 12?
False
Let k be 108/(-16)*8/(-3). Suppose -k = -5*w - 3, 5*w - 7 = q. Suppose 0 = -5*f - q - 17. Is -4 equal to f?
False
Let r = 19 - -64. Let a = r + -54. Which is smaller: 28 or a?
28
Let z(h) = 4*h**2 + 85*h + 22. Let o be z(-21). Is o less than 0?
False
Let d(j) = 4*j**3 + 4*j**2 + 3*j + 1. Let b(y) = -5*y**3 - 5*y**2 - 4*y - 1. Let x(c) = 3*b(c) + 4*d(c). Let p be x(0). Let n = 10 - p. Is 9 greater than n?
False
Let b = 308/837 - 16/31. Let y = -32.014 - -0.014. Let u = 31 + y. Is u greater than b?
False
Let g = 300 + -305. Suppose 2*l = 7 - 1. Let p be (-1 - -7)*(-4 + l). Is p at most as big as g?
True
Suppose 17*d - 174 = -12*d. Which is smaller: d or 2?
2
Let r be (-6)/(-10) - (-7472)/(-20). Let x = -9324/25 - r. Which is smaller: -1 or x?
-1
Suppose -2*u + 0*u + 4*c = 4, -3*u - 14 = -2*c. Let v = u - 12. Let l = v + 14. Is -0.1 at least l?
True
Let c be 4/(-12) - (-64)/12. Suppose 0 = c*l - l + 4. Which is smaller: -1/2 or l?
l
Suppose -3*x - 2*t - 296 = 0, -5*t - 113 = -5*x -