w?
w
Let h be 2*(1*-2)/(48/(-36)). Let m be h*(-8)/(-420)*5. Is 3/2 greater than or equal to m?
True
Let x = 351 - 480. Which is bigger: x or -130?
x
Let a(d) = -5*d**2 + 3*d - 5. Let v(l) = l - 1. Let t(h) = -a(h) + 4*v(h). Let c be t(-1). Let q(y) = y - 6. Let o be q(c). Is 3/13 equal to o?
False
Suppose -f + 2*h = h, -h = 4*f - 5. Let v(s) = -3*s**2 + s - 2. Let r be v(f). Is -3 less than or equal to r?
False
Let i = -1415/138 + 27/46. Which is bigger: -9 or i?
-9
Suppose 2*p = 9 + 3. Let v(s) = s**2 - 6*s + 4. Let w be v(p). Let f(d) = -d**3 + 2*d**2 + 8*d - 6. Let g be f(w). Is -6 greater than g?
False
Let d be (-1 - 2/(-4)) + (-9)/18. Which is smaller: d or -3/412?
d
Suppose -5*m + 6 + 4 = 0. Suppose 2*i = 2*j - 4, -2*j = 4*i + i - 25. Suppose -x + 6 = 5*p, -i*p + 2*p + 4 = 3*x. Is x <= m?
True
Let z be (-44)/66 - (1 + (-544)/6). Let f = -96 + z. Is -41/5 less than f?
True
Suppose 0 = -5*d - 2*t + 23, 5 = 2*d - 5*t - 10. Suppose d*r = 2*a - 6*a - 12, 0 = -5*r - 2*a - 6. Which is bigger: r or -2/15?
r
Let q(u) = -u**2 + 3*u + 19. Let w be q(-3). Let m be -1 - -129*(-1)/(-127). Is w bigger than m?
True
Let x be 4 + 14 + -13 - 430/9. Is -42 <= x?
False
Let k(q) = -q**2 - 8*q - 5. Let i be k(-7). Let d be (-6)/(i + 4/(-8)). Let n be (-4 + 3)*d/30. Which is greater: n or -1?
n
Let x(u) = -4*u - 6. Let l be x(-5). Suppose -3*q + 4*j = 2*j - 25, 63 = 5*q + 2*j. Is l >= q?
True
Suppose -5*b = -5*r - 35, -5*r - 4*b + 10 = -0*r. Let x be -3 + r/4*6 - -2. Let a(z) = -z**2 - 4. Let h be a(0). Is x != h?
False
Let r be 8*2*(-2)/(-4). Suppose 0 = 5*v + 4*j - 43, -2*j + 2 = r. Suppose 4*f = 3*l + 26 + 29, 0 = f + 3*l + 5. Which is bigger: v or f?
v
Let p be (3484/(-335))/(((-1)/(-15))/(-1)). Let j = 162 - p. Is -4 at most as big as j?
True
Let f(g) = -4 + 2*g + 2*g + g - 3*g. Let y be f(2). Suppose -8*u = -3*u. Is y at most u?
True
Let l = 270 + -296. Is l at least -4?
False
Suppose -3*k + 3*h + 1 = -5, -4*k + 6 = -5*h. Is 78/19 bigger than k?
True
Let f = -83/18 + 29/6. Suppose 0 = 3*u - 8*u + 65. Suppose 0*s - 3*b - u = -2*s, 5*s - 5*b = 20. Which is smaller: s or f?
s
Let y = 104 - 97. Let d = -5 - -12. Are y and d non-equal?
False
Let o(c) be the first derivative of c**2/2 + 19*c - 14. Let m be o(-15). Is 2 less than m?
True
Let c = -7.6 + -4.5. Let a = 12 + c. Does a = 4?
False
Let l = -2049/5 + 7462/15. Let h = l - 91. Let o = -3 - 0. Is h > o?
False
Suppose -2*y + 10 = 3*s, -2*y - 9*s + 11*s + 20 = 0. Let j be 3*1 - (-1)/1. Suppose 5*l = j*d - 0*l - 24, d - 6 = -3*l. Is y bigger than d?
True
Let t be ((-18)/(-12))/((-6)/8). Let r(h) = h**3 - 7*h**2 - 2*h + 5. Let y be r(7). Let u = -9 - y. Is t equal to u?
False
Let s = -0.202 - 0.298. Which is smaller: s or 2/11?
s
Suppose -5*q + 3*q - 18 = 0. Suppose -2*o + 3*r = -170, -o - 2*r - 414 = -6*o. Let v = -92 + o. Which is smaller: v or q?
v
Let x = 1723 - 1263. Is 460 smaller than x?
False
Let f be (1 - (-2)/(-1)) + 208 + -6. Is 201 bigger than f?
False
Let z be 4/30*(-1*10 - 0). Let x be (-39)/12 - (-10)/8. Which is smaller: z or x?
x
Let p be (3 - 0 - 2)*2. Let x = 4.6 - 7. Let y = x - -2.3. Is y greater than p?
False
Let t be (-162042)/149886*-3 - 6/2. Let a = t + -2/2271. Which is bigger: a or 1?
1
Suppose 0*q - 7 = q - 5*v, -q + 3 = 5*v. Let d(z) = -4*z - 5. Let l be d(q). Suppose -l*a - 6 = -3*n, 5*a - n = 4 - 14. Which is smaller: -5 or a?
-5
Let k = 162 + -1456/9. Suppose 86 = 6*h - 22. Which is smaller: h or k?
k
Let f(p) = -152*p + 79. Let j be f(5). Is j at most -681?
True
Let p(f) = 66*f**2 + 662*f + 14. Let i be p(-10). Suppose 5*m = 2*y - 25, 3*m - 4*y + 16 = -13. Is i != m?
True
Let t(n) = -3*n**3 + 11*n**2 + 6*n - 1. Let s be t(4). Does s = 28/5?
False
Suppose -2 = -3*a + 1. Let y(n) = -6*n**2 - a - 18*n + n**3 + 18*n. Let x be y(6). Which is smaller: 3/10 or x?
x
Let r = 3 - 0. Suppose b - 2*w + 9 = -4*b, w - r = b. Which is smaller: -2/15 or b?
b
Let g be (-2)/8 - (-72090)/72. Which is bigger: g or 1000?
g
Let k be (-2 - -3) + 3/3. Suppose -5*j - 2*u - 9 - 1 = 0, -10 = -2*j + k*u. Is j smaller than 14/5?
True
Let j be ((-12)/(-144))/((-38)/16 + 2). Which is smaller: 50 or j?
j
Let m be (-1)/(-6) + 58/12. Let s(l) = l**2 + 9*l + 2. Let x be s(-7). Let o = 15 + x. Which is smaller: m or o?
o
Let f = -448/9 - -3575/72. Is 0.048 not equal to f?
True
Let q = -140 - -95. Let z = q + 45.1. Let w be 4/(1 + -2 + -2). Is w equal to z?
False
Let i be 7 - (9/1)/((-78)/(-52)). Which is smaller: i or -68?
-68
Let g = 247 + -29889/121. Suppose 35 = -6*c + 41. Is c equal to g?
False
Let z = -40 + 25. Let y = z + 12. Which is smaller: -2 or y?
y
Suppose 0 = 47*c - 48*c + 3*s + 1, 2*c - 2 = 2*s. Which is smaller: c or 11?
c
Let i = 363 + -402. Is i >= -35?
False
Let n = 19 - -12. Suppose -n = -3*w + g + 2, -5*g - 65 = -5*w. Which is smaller: 9 or w?
9
Let z be 1/(-2) + (-43)/86. Is -8/21 >= z?
True
Suppose -3*f + 9 = -2*f. Let u be 2/f + (-176)/(-18). Let z = 1181 - 1170. Which is smaller: u or z?
u
Suppose 4*h - 108 = 3*b, -3*h - 3*b = h - 108. Suppose -12 = m - 4*m, 0 = -5*o + 2*m + h. Let c be (-3)/1 + o - 1. Is -3/4 equal to c?
False
Let d = 0.094 - 0.194. Which is bigger: -6 or d?
d
Suppose 62 = -6*h + 44. Let d be ((-1)/3)/((-1)/(-3)). Let t be (-6)/9*(4 + d). Which is smaller: h or t?
h
Let c = -11 + 10.76. Let s = -160 - -160.2. Is c > s?
False
Suppose 4*g - 48 = g + 3*l, -3*l = -2*g + 28. Suppose -g = 5*d, 23 + 43 = -3*r + 3*d. Which is smaller: -24 or r?
r
Let c be 184/20 + (-3)/15*1. Suppose -30*r = -31*r + c. Is r at most 10?
True
Let w(r) = r**2 - 1. Let m(o) = o**3 + 8*o**2 + 8*o + 6. Let b be m(-7). Let f be w(b). Which is smaller: f or 2/11?
f
Let g be 608/(-6)*(-4)/32*-36. Which is bigger: -458 or g?
g
Let o be 24/15*(-19)/((-76)/(-880)). Is o < -350?
True
Let u = 34512/35 - 986. Let p(m) = -m - 4. Let a be p(-4). Is u greater than or equal to a?
True
Let t be (-190)/(-9) - 6/54. Suppose 4*h - 5*l = -20, -25 - t = 5*h - l. Is h less than -11?
False
Let k(t) = -2*t**2 + 2*t + 5. Let x be k(4). Let v = x - -25. Suppose 4 = 2*i + v. Is -0.7 less than i?
False
Let l be -4*(-4)/(-18)*(-2736)/1248. Is 1 <= l?
True
Let a = 40375/16 + -2525. Which is smaller: a or -3?
-3
Let o = 1101 + -936. Is o less than -0.4?
False
Let r be (4/(-16) - (-24)/(-32))/2. Suppose 3*o = 8*o - 5. Let n be (-10)/3*(o - -2). Is r != n?
True
Suppose -v - 10 = -5*q + q, 2*v - 6 = -5*q. Suppose -w = -q*w - 7. Which is greater: w or -2?
-2
Let h(o) = -12*o**2 - 22*o - 6. Let n be h(2). Which is smaller: -97 or n?
n
Let q be (-3)/12 - (-1 - 315/28). Do 6 and q have the same value?
False
Let t be -2 + -9*3/(-9). Which is smaller: t or 3/160?
3/160
Let o be -2 + (6/2)/1 - 2. Let n(a) = -15*a**3 - 2*a**2 - 2*a. Let k be n(o). Is 15 greater than k?
False
Let l(s) = s**2 + 9*s + 10. Let w be l(-9). Suppose -w = 4*i - 22. Suppose -4*b - 1 = i. Which is smaller: 1/6 or b?
b
Suppose 6*u + 647 = 569. Is 6 greater than u?
True
Let s be (1*(-20)/6)/(1/(-18)). Let t = s - 70. Is t != 3?
True
Let a be (0 + 27)*4/6. Let q = -21 + 38. Which is smaller: a or q?
q
Suppose 0 = -3*t + r - 655, -3*t - 213 = -2*t + r. Does t = -217?
True
Let b = -6481 - -39145/6. Let w = b + -311/6. Are -8 and w unequal?
True
Let r be 3/(-27)*(-126)/(-39). Let b = -1/39 - r. Let a = -6 + 5. Is b <= a?
False
Let m = -2/21 + -4/7. Which is greater: m or 438?
438
Let b be (-8)/10*4/(-8). Suppose 3*s = -v + 10, -2*v + 2*s + 4 = -8. Let a = v - 6. Which is smaller: b or a?
b
Let c = 2.5 - -15.5. Let v = c + -20. Which is smaller: -11 or v?
-11
Let h = -18179/27945 + -2/1215. Is 0 equal to h?
False
Let p be 10/2*1 - -2. Let m = -3 - p. Let q be m*3/(-6) + -2. Which is smaller: 2 or q?
2
Let s = 0.12 - 68.12. Let d = 67.7 + s. Which is smaller: d or -12?
-12
Suppose -4*s + k = 6*k - 67, -69 = -4*s - 3*k. Suppose -4*f = -2*w - s, 2*w = -f - w + 1. Suppose -t + f = -7. Which is smaller: 12 or t?
t
Suppose -16*s - 1086 = -22*s. Is 181 != s?
False
Let q = 32.132 + -32. Let g = 0.068 + q. Are g and -1 nonequal?
True
Let d = -596 - -1036. Let y be ((-30)/d)/((-6)/(-8) - 1). Let n(q) = -q**3 - 6*q**2 - q - 6. Let a be n(-6). Which is smaller: a or y?
a
Let c = 4.604 + -0.114. Which is bigger: -1 or c?
c
Suppose -90 = -4*m + 3*a, -8 = -m + 4*a + 8. Which is smalle