 o or 1?
1
Let j(v) = 5*v + 8. Let g(r) = 9*r + 17. Suppose 5*c + 4 = 4*x + 3*c, 5*x + 2*c - 23 = 0. Let f(b) = x*g(b) - 5*j(b). Let h be f(-8). Is h > -5?
False
Let p be 21 - -1*(-1 - -2). Which is smaller: p or -4?
-4
Suppose -4*a + 0*a = -48. Let v = 3 + 4. Which is smaller: a or v?
v
Let w(q) = 7*q**2 + 5*q + 5. Let p(z) = -z**2 - z - 1. Let u(l) = -10*p(l) - 2*w(l). Let b be u(1). Let g be b/(-3)*21/(-49). Which is smaller: g or 0?
g
Let b(s) be the third derivative of -s**5/60 + s**4/8 - s**3/2 - 2*s**2. Let t be (-1 - -5) + (-4 - -5). Let h be b(t). Is -14 less than h?
True
Let a be 3 + (17352/(-644))/9. Which is smaller: 1 or a?
a
Let x = -11 - -25. Let t = -16.5 + x. Let r = t - -0.5. Which is smaller: r or -4?
-4
Let o = 47 - 69. Let h be ((-2)/(-6))/((-2)/o). Suppose 4*w - 28 = -2*f, -20 = -3*w - 4*f + 11. Is h > w?
False
Let b be (-8)/((14/(-245))/(-2)). Which is smaller: -281 or b?
-281
Suppose 5*s + 0*u - 25 = -3*u, -2*s - 11 = -3*u. Suppose 0 = z - s*d + 5*d + 12, -3*z = -3*d. Is -11/7 < z?
False
Let a be 3*(-174)/(-27)*54. Let x be 1900/a - (3 + 0). Let v = x + 2/29. Is -2 equal to v?
False
Let k = 255/7 - 2047/56. Which is bigger: k or 7?
7
Suppose 0 = 4*g - 4*z - 1436, -1203 - 592 = -5*g + 3*z. Which is bigger: g or 360?
360
Suppose 8*t - 8 = 4*t. Let b be (42/9 + -4)*3. Suppose 0 = 5*k - 3*f - 7, 0 = 3*k + b*k + 4*f - 14. Is k != t?
False
Let o = 15 + -14.9. Let p = -22.77 + 2.77. Which is bigger: p or o?
o
Let m = 213 + -455. Is -242 greater than m?
False
Suppose 4 = -r, r - 8 = 4*a - 0*r. Let o be (-41)/a + 8/24. Let v = -18 + o. Which is smaller: v or -7?
-7
Let a = 157 + -157. Is a less than 0.19?
True
Let l = -34.94 + -0.06. Let u = l + 33. Which is smaller: u or 0?
u
Let y be 5/(-36) + (-2 - (-9)/4). Let z = 0.53 + 1.47. Are y and z non-equal?
True
Let n(q) = -1 - 3*q - 4*q - 2*q - 7. Let g be n(2). Are -26 and g unequal?
False
Let m(f) = -f + 3. Let b be m(5). Let h = 47 - 24. Let x = h + -25. Is x <= b?
True
Let a be 103875/(-250)*(4/14)/1. Is -119 != a?
True
Let s be 8/(-4)*1 - -22. Let y be 4/s - (-119)/5. Which is bigger: y or 25?
25
Suppose -3*b = -27*b - 5256. Which is smaller: -218 or b?
b
Suppose -12 = 5*o - 7. Let b be 581/360 - 2 - 2/(-5). Which is greater: b or o?
b
Let n be (-8)/16 + (-30)/(-28). Suppose 20 = 3*m + 17. Are m and n non-equal?
True
Let z = 0.56 - 0.49. Let v = z - 0.37. Do 3/7 and v have different values?
True
Let m(l) = l**2 - 24. Let i(c) = 4 + 3 - 5 - 1 - c + c**3. Let h(u) = -i(u) - m(u). Let a be h(0). Which is smaller: a or 0?
0
Let c(p) = p**3 + 31*p**2 + 32*p + 22. Let w be c(-30). Is w greater than or equal to -39?
True
Let f be (0 - -2 - -56)/(6/249). Let r = 26447/11 - f. Are -2 and r non-equal?
True
Suppose 7*d - 175 = 84. Is 28 at most d?
True
Let d be 0 + (-2)/(-9)*-3. Let a be 2/(-5) + 112/(-20) + 6. Suppose -3*s = 4*x + 12 - a, 0 = -4*s - 3*x - 9. Is s less than or equal to d?
False
Let f = 163/21 - 52/7. Is 229 smaller than f?
False
Let v be 0 - (-3 + (-3)/(-1)). Let u be -2 - (1 + (-20)/12). Is u at most as big as v?
True
Suppose -7*c = -9*c - 12. Let j = -14 + 20. Let a be 12*(j/4 - 2). Does c = a?
True
Let q(d) = d**2 - 5*d - 16. Let v be (-2)/3*(-45)/(-10). Let u be q(v). Is u > 4?
True
Let f(w) = -w**2 - 11*w - 20. Let o be f(-8). Suppose -4*s - 272 = 4*c, -5*s - o*c - 230 = 107. Which is bigger: -66 or s?
s
Suppose -2*z - 69 = 107. Let l = 129708/7 + -18530. Is l at least as big as z?
True
Let w be ((-6)/15)/1*15. Is w smaller than -7?
False
Let z = -2.6 + 12.6. Let x = -0.2 + 0.4. Which is smaller: z or x?
x
Let g be (-2)/(-4) - 12/(-8). Suppose -g*r - r = -6. Let i be r + 51/(-9) - -3. Which is smaller: i or -2?
-2
Let c = 95.41 - 10.21. Let j = c + -85. Is j greater than or equal to 1?
False
Let o be -3 + -86*(-2)/44. Let z(c) = 3*c + 3. Let u be z(-1). Are u and o non-equal?
True
Let b = -4196 - -4208. Let h be ((-3)/4)/(1/(-16)). Is h < b?
False
Let h = 183 + -180. Is -0.3 at least h?
False
Suppose 0 = 3*d + 24 + 60. Let u be 12/(-16) - 5/d. Is -1 bigger than u?
False
Let u = 0.411 - 0.42. Let i = u - -4.009. Do i and -0.03 have different values?
True
Let p(t) = 6*t**3 + 14*t**2 - 2*t - 18. Let h(d) = d**3 - d**2. Let c(v) = 5*h(v) - p(v). Let s be c(-19). Is -37/2 at least as big as s?
True
Let i = 100.25 + -100. Which is smaller: i or -4?
-4
Let o = -5.2 + 4.08. Let s = 26.12 - 26. Let r = o + s. Is -2 smaller than r?
True
Let p = -29 - 407. Is 0.2 bigger than p?
True
Let y = 26 - 39. Let i = 7 + y. Let o be 1 - (i*1)/(-2). Which is greater: o or -8/3?
o
Suppose -5*l - 29 = -24. Let i = -11 - -8. Let p be 6/(-28)*(3 - i). Is p <= l?
True
Let n = 2833/16 + -177. Let b be -4 + 2 - 2/(-1). Is b at least n?
False
Suppose 2*k = -3*k + 60. Let r(c) = 2*c + 1. Let o be r(k). Which is smaller: 2 or o?
2
Let d(n) = 9*n + 9 + 2*n**2 + 2*n**2 - 5*n**2 + 1. Let x be d(10). Let f = -6 + x. Which is smaller: -1 or f?
f
Suppose -2*o = -4*o - 14. Let j be o/35 + 7/(-65). Let r be ((-1)/(-2))/((-2)/4) + 0. Which is smaller: j or r?
r
Let d = -781 - -692. Which is smaller: -1/4 or d?
d
Let v = -228 - -43. Are -183 and v equal?
False
Let g = -0.2 - 0.1. Suppose -a = -7*n + 8*n + 6, -a - 21 = 4*n. Which is greater: n or g?
g
Let j = -41 - -45. Let m be (-22)/j*(4 + -5) + -3. Is m <= 4?
True
Let g = 0.3 + -0.1. Suppose 4*f + 5*f = -2*f. Is g > f?
True
Let l be ((0/2)/2)/(40/(-8)). Which is smaller: 2/2239 or l?
l
Let t be 42/(-240) + (-2)/(-10). Let c be (2/(-8))/((-30)/(-83)). Let d = t + c. Which is bigger: d or 8?
8
Let i(k) = k**3 + 9*k**2 - 10*k - 5. Let y be i(-10). Suppose -16 - 60 = 4*p - 4*x, -3*p = 5*x + 17. Let t = p - -10. Are t and y nonequal?
True
Let k(b) = b**3 - 2*b**2 + 4*b - 3. Suppose -t + 4 = t. Let n be k(t). Suppose 3*w + 2 = 4*z - 2*z, 2*w + 5*z - n = 0. Which is bigger: w or -5/4?
w
Let k be (-4)/(-2) + 8 + (-6 - 0). Is 0 greater than k?
False
Let b(t) = 2*t**2 + 28*t + 18. Let i be b(-11). Does -51 = i?
False
Let l be (9 + (-4 - -1))*3. Suppose 5*z - l = -2*v + v, -2*z = v - 6. Is v >= -9?
True
Suppose -1497 = -202*u + 205*u. Does u = -498?
False
Suppose 4*h - 2*l = 8, 5*l - 15 = -2*h + 1. Let z = -4 - h. Which is smaller: -8 or z?
-8
Let c be (45/(-42))/(2/7). Let f be ((-248)/(-310))/((-1)/5). Which is smaller: c or f?
f
Let a be (72/(-3870))/((-8)/(-5) - 2). Which is smaller: a or 5?
a
Let c(j) = j**3 - j**2 + 4*j. Let z be c(0). Which is smaller: z or -10/7?
-10/7
Suppose -17 - 23 = -n. Let v = n - 39. Which is bigger: -2 or v?
v
Let o = 3.14 + 59.86. Which is bigger: o or 0.1?
o
Let y be (-4)/14 - 25935/(-88543). Which is smaller: -1/4 or y?
-1/4
Let z(d) = 2*d - 16 + 0*d + 25. Let g be z(5). Do 19 and g have different values?
False
Let t be ((-2)/(-24))/((-11)/2200*-3). Which is smaller: 6 or t?
t
Let u(b) be the first derivative of b**3/3 - 11*b**2/2 - 4*b - 6. Let m be u(12). Let n be (2 + (-20)/m)*10. Is n < -1/3?
True
Let n(s) = s**2 + 11*s + 11. Let v be n(-6). Let a be (2/(-8)*v)/(7/(-28)). Are -20 and a equal?
False
Let k = 791/2152 + 2/269. Let n(q) = q**3 + 23*q**2 + 22*q + 24. Let h be n(-22). Suppose 0 - 24 = h*t. Is t less than k?
True
Suppose 6*w - 11*w - 25 = 0. Let m = w - 3. Let g be m/(-12)*(-1)/(-2). Which is greater: 2 or g?
2
Let p = 892/5629 - 2/433. Let x = 6.1 + -1.1. Let h = x + -5.1. Which is smaller: p or h?
h
Suppose 5*m - 47 + 17 = 0. Suppose 3*f + 3 = m. Suppose -2*c + l - 2 = 0, 2*c + 5*l + 6 = 4. Is c not equal to f?
True
Let w(j) = -2*j**2 - 14*j - 15. Let m be w(-6). Is -5 less than or equal to m?
True
Let i = 289 + -335. Which is greater: -50 or i?
i
Suppose -2*k - 2*k = 40. Let u = -44 - k. Let y(z) = 3*z**2 + 102*z + 401. Let r be y(-29). Is r at most u?
True
Let t be 1 - (48/3)/(-4). Suppose -3*j = -t*r - 24 - 31, 15 = j - r. Suppose 5*v + 35 = -2*f, 2*v = 2*f + 2*f + j. Is v > -5?
False
Let k(c) = c**2 - c - 2. Let h be k(-2). Let j(f) be the third derivative of -f**6/120 + f**5/12 - f**4/6 + f**3/6 - 4*f**2. Let g be j(h). Is g != -2?
True
Suppose 48*l = 97*l. Which is greater: 1/754 or l?
1/754
Let s(c) = 4*c**2 + 19*c + 8. Let j be s(-9). Let w = -647/4 + j. Which is greater: -2 or w?
w
Let c = 3.9603 - -0.0397. Is -9 greater than c?
False
Let r = 14 - 28. Let a be 178/r - 6/21. Let n be ((-7)/(-3))/((-3)/