g or u?
g
Let p = -123.3 + 90. Let o = -32 - p. Let c = 1.4 - o. Are -2 and c non-equal?
True
Let v(i) = -i - 7. Let w be v(-11). Let k = 36 + -127. Let x be w/2 + k/35. Which is smaller: x or -2/7?
x
Let j = 18 + -10. Suppose x + j - 11 = 0. Let p(u) = -u**3 - 4*u**2 - 5*u - 2. Let c be p(-3). Is c less than or equal to x?
False
Let h = -73613791/168 + 438172. Let x = h + 230/21. Let v = x + -47/8. Is 1 less than v?
False
Let q = 35 + -33. Let l be -20*14/12*1/(-7). Which is smaller: q or l?
q
Suppose 2*r - 1 = r, 4*r + 50 = 3*h. Let w be (-10)/h + (-6)/(-27). Is w greater than or equal to 0.5?
False
Let o = -47.8 - -1.8. Let n = o - -46. Is 14 at most as big as n?
False
Let m(h) = h**2 + 11*h + 4. Let t be m(-11). Suppose 3*z + 12 - 24 = 0. Suppose -5*a = t*r - 75, -3*r - z*a + 96 = 2*r. Is 20 greater than r?
False
Let c(y) = y**2 - 4*y - 21. Let x be c(11). Is 57 > x?
True
Let t = -633/5 + 128. Suppose 0 = 5*b - 5*s + 15, s = 2*b - 3*b + 7. Which is greater: b or t?
b
Suppose 0 = -68*b - 7290 - 11342. Are b and -275 equal?
False
Let x = -3350621033/385 - -8702918. Let k = x + -31/5. Which is bigger: k or 1?
1
Suppose 20 = f + w + 4*w, w = 3*f - 12. Suppose -f*p = -11 + 21. Let l be (p/(-24))/(5/20). Which is smaller: l or 4/3?
l
Let p be 6/(-3) - 1556/(-784). Which is bigger: -1 or p?
p
Let r = -0.164 - -0.19. Let s = -0.426 + r. Are s and -6 equal?
False
Let u(v) = -v**2 - 9*v + 12. Suppose 3*c = -y + 4, 2*c = 7*y - 3*y + 12. Suppose c*d + 9 = d. Let q be u(d). Is q less than 12?
False
Let m be 0/(-4) - 34/8. Let g = -27/4 - m. Suppose 0*v - 5*p + 13 = -2*v, -18 = 5*v + 2*p. Is v >= g?
False
Let s = 2140 + -2167. Is -28 >= s?
False
Let l(g) = 2*g**2 + 4*g - 2. Let k(c) = 5*c**2 + 9*c - 4. Let o(q) = -3*k(q) + 7*l(q). Let f be o(1). Which is smaller: -3/4 or f?
f
Let p(f) = f**3 + f**2 - 8*f - 16. Let s(o) = -o**3 + 9*o + 15. Let h(b) = 6*p(b) + 7*s(b). Let k be h(8). Which is greater: -2/7 or k?
k
Let p(i) = -i**3 - 11*i**2 - 30*i - 12. Let j be p(-7). Does j = -78?
False
Suppose -4*x + 5*k = -24, 53*k - 50*k = 2*x - 14. Which is smaller: x or -4/191?
-4/191
Suppose p + 288 = 57. Let v be (p/(-44))/((-2)/8). Do -23 and v have different values?
True
Let m(a) = a + 1. Let k be m(2). Suppose 3*f = 0, -k*h + 6 = -h + 3*f. Let q = h - -3. Which is smaller: q or 4?
4
Suppose -250 = 5*i - 2*t, -2*i = -3*t - 68 + 168. Let m be 0/(-2) - 40/i. Let z = 0 + 0. Which is smaller: m or z?
z
Let o(k) = k**2 - 6*k + 6. Let f be o(5). Suppose -4*n - b = -231 - f, -58 = -n - b. Let u be n/(-26) + (2 - 0). Does 0 = u?
False
Let r(o) = 2*o**3 - 2*o**2 - 2*o + 2. Let y be r(-2). Let l = -33 - y. Let x = -44/3 - l. Which is greater: -1/48 or x?
x
Let i(d) = -d**3 + 8*d**2 + 21*d - 7. Let x be i(10). Suppose 4*p = x*y - 4 + 36, 4*p - 4*y - 32 = 0. Is p greater than 7?
True
Let r be ((-9)/918)/(6/218). Let z = -3/34 + r. Let d be 40/(-25) + 3/5. Is z less than d?
False
Let h(u) = -u**2 + 43*u - 191. Let s be h(38). Which is bigger: s or -1/333?
-1/333
Let m = -663/5 + 133. Let a = -13 + 14. Which is smaller: m or a?
m
Suppose -596 - 44 = 8*d. Let j = -82 - d. Let w = -0.3 - -0.2. Which is smaller: w or j?
j
Let o = -713 + 2141/3. Let p = -22.17 - -22. Which is greater: p or o?
o
Let g = 172 - 349. Is -177 at least g?
True
Let h = 255627/133 - 1922. Is h not equal to -1?
True
Let k be (56/(-35))/(2/(-5)). Suppose -9 = x - 5*u, -3*x - 2*u = -k*u + 1. Suppose 5*s = -4 - x. Which is greater: s or 2/7?
2/7
Let k = -1460/3 + 15646/33. Let x = k - -136/11. Which is smaller: -1 or x?
-1
Let l = 64 - 35. Suppose -40 = 4*v - o, 5*o = v - 0*o + l. Let w = v - -6. Which is smaller: w or 0?
w
Let b = -65 + 65. Suppose -k + 3 - 5 = b. Which is bigger: k or -1?
-1
Suppose 11 = t - 2*c + 1, -3*t + 20 = -4*c. Suppose -4*z - 10 + 14 = t. Which is smaller: z or 3/16?
3/16
Let n be 21/6 - (5 - 1818/(-48)). Which is bigger: n or -39?
-39
Let w be (6/(-8))/((-9)/(-1698)). Let u = w - -2001/14. Which is bigger: -2/7 or u?
u
Let t be (1 + 24/(-30))/((-2)/(-4)). Which is greater: 166 or t?
166
Let f = -963 + 964. Which is bigger: 2/1025 or f?
f
Suppose 59 = 3*z + 5*y - 42, z - 4*y = 28. Let x = 32 - z. Which is smaller: -7/10 or x?
-7/10
Let c = 0 + 2. Suppose -11 = -2*q - 5. Suppose -c + q = -p. Which is greater: 2 or p?
2
Let b(v) = 15*v**3 - 2*v**2 + v + 4. Let w be b(4). Let p be (-3)/(4/w*-2). Let d be (9/p)/((-2)/(-12)). Which is bigger: d or 0?
d
Suppose -13*z + 18*z = 5. Is -70 less than or equal to z?
True
Suppose -178*u = -168*u - 550. Let w = 86 + -31. Does w = u?
True
Let a(h) = 2*h**3 + 3*h**2 + 2*h + 1. Let w be a(-2). Is -3 greater than or equal to w?
True
Suppose 464 = -4*h + w - 241, -4*h - 700 = 4*w. Let l = 12406 + -37741/3. Let a = h - l. Is -1 equal to a?
False
Let l be (2/(-4))/(11/(-44)). Suppose -l*y = -5*x - 2, 0 = 4*x - x - 5*y + 5. Which is bigger: x or -10/7?
x
Let g(r) = r**3 - 9*r**2 - 11*r + 10. Let z be g(8). Let q = z + 95. Is -46 bigger than q?
True
Let g = 73 + 59. Let t be 2 - ((-2)/(-11) + 1890/g). Which is greater: -14 or t?
t
Let w(j) = 3*j - 6. Let z be w(6). Let l = z + -11. Which is bigger: l or -15?
l
Suppose 10 = 5*h - 2*d - 1, 2*h = -5*d - 13. Let k = -0.01 + -0.027. Let x = k + 1.037. Do x and h have the same value?
True
Let c = 0 + 1. Let m be 10/25 + 3322/(-1330) + 3. Let z = 28/19 - m. Which is smaller: z or c?
z
Let p = -408 + 471. Which is greater: -1/3 or p?
p
Let l(n) = n - 10. Let b be l(13). Let s be 1/b*0/(-17). Which is greater: 1/16 or s?
1/16
Let q(j) = j + 61. Let z(f) = 63. Let s(o) = -3*q(o) + 2*z(o). Let u be s(-16). Which is greater: -14 or u?
u
Let y(v) = v**3 + 2*v**2 - 2*v + 3. Let o be y(-3). Let w be (-1006)/852 - (-55)/33 - (-4)/(-8). Is w greater than or equal to o?
False
Suppose -15*c + 29*c - 14 = 0. Which is bigger: c or -3/43?
c
Suppose 2*w = -4*k - 6, -4 = 3*k + 5*w + 4. Let y be (-3)/25*k*1/9. Which is greater: y or 1?
1
Suppose 4*w + v - 46 = 0, 4*w - 39 = v + 11. Let p = -7 + w. Suppose -b - 6 - p = 0. Is b > -11?
False
Let f be (-88)/(-2*(-7)/28). Is -175 at least as big as f?
True
Let s = -145 + 425. Let j = s + -1394/5. Which is smaller: j or 1?
1
Let b be 233/(-23) - 6/4*-2. Is b < -6?
True
Let a = 2.582 - 20.382. Let r = 59 - 42. Let u = a + r. Is u > 0.2?
False
Let w = -1571 - -1570.9424. Is w at most -2/7?
False
Let i(a) = -8*a - 5*a**2 - 2*a**2 + 8*a**2 - 1 - 6. Let d be i(9). Which is smaller: 3/5 or d?
3/5
Let b be 238/63 + (-4)/(-18). Let r be (-2 - -2)*(-2)/b. Let k be ((-14)/52)/((-13)/104) - 2. Is r at least k?
False
Let x be 46/(-12) + 6/(-36). Let y(m) = 3*m + 7. Let c(u) = 2*u + 5. Let h(w) = 8*c(w) - 5*y(w). Let a be h(x). Which is smaller: -1 or a?
-1
Let r be 5 + ((-105)/20 - -3). Suppose 5*d - 7*t - 35 = -4*t, 2*t = -2*d - 2. Which is bigger: r or d?
d
Suppose 3*c + 2*m - 17 = 3*m, -4*c = -m - 21. Suppose 0 = -3*s + u, c*s - 3*u + 5 = 10. Which is smaller: s or -4?
-4
Let x be (-9)/3 + 8/(-4). Let a be 0*-4*x/60. Are a and 9/13 equal?
False
Let z = 67 - 24. Let o = 27 - z. Is -13 greater than o?
True
Suppose -6*v - 2*h = -2*v + 202, -5*h = -5*v - 260. Let u = 159 + v. Let b be (-114)/u - (-3)/2. Is b not equal to -1?
True
Suppose -w - 108 = -7*w. Let g = w - 17. Which is smaller: g or -1/7?
-1/7
Let r(s) = -s**2 + 6*s - 5. Let m be r(3). Suppose -m*p - 14 = -6. Which is greater: p or 0?
0
Let u = -6 + 4. Let d = 31 - 31. Suppose d = 2*h - 1 + 5, 0 = -2*s - 3*h - 6. Is u <= s?
True
Let n be 3*-1 - 165/(-5). Suppose 6*g = 3*g + n. Suppose -6 - 4 = -f + 4*u, -4*u = 0. Does f = g?
True
Let d(x) = 32*x**2 - 2*x - 1. Let l be d(-2). Let u = l - 83. Is 49 smaller than u?
False
Let b = -2523500008/1285725 - -10056/13825. Let v = 1962 + b. Is v smaller than -1?
False
Let n = 587 - 587. Is -14/61 at least as big as n?
False
Suppose -3*m - z + 5*z = -46, z - 27 = -2*m. Which is bigger: m or 71/5?
71/5
Let y(z) = -z**3 - 10*z**2 - 9*z. Let a be y(-9). Let b = -11/25 + 699/1475. Which is bigger: b or a?
b
Let h(c) be the second derivative of 3*c + 0 + 0*c**4 + 0*c**3 - 1/20*c**5 + 1/2*c**2. Let o be h(1). Is 0 smaller than o?
False
Let w be 0 + 1 + -1*(-15 + 7). Let x be 218/w - (-2)/(-9). Is 22 less than x?
True
Let d = 409/132 - 35/11. Let p = -17/84 + d. Which is greater: 2.1 or p?
2.1
Let z(i) 