: q or -66?
-66
Let f = 230 + -6214/27. Let l = 57 - 48. Let a = -10 + l. Which is greater: a or f?
f
Let a = 57.01 - 57. Let i = -0.3 - a. Are 2 and i unequal?
True
Let n(z) = z**2 - 260*z + 122*z + 124*z - 4*z**2 + 1. Let u be n(-5). Suppose w - 7 = -5*a, 4*w + 3*a + 2 = -4. Is u at most w?
True
Let j = 3572 + -3569. Which is bigger: -729 or j?
j
Suppose -o - 32 = -3*r, -2*r = 5*o - 4*o - 28. Suppose 2 - 22 = -5*j. Suppose -3*p = -4*p - 4*g - r, -p + j*g = -20. Which is smaller: 13/3 or p?
p
Let y(b) = -b**2 + 2. Let q(m) = 2*m**2 + 7*m. Let j(x) = q(x) + 3*y(x). Suppose 2*l = -4*r + 20, -38 = -4*l - l + 2*r. Let p be j(l). Are p and -2 equal?
True
Let p(g) = -14*g + 205. Suppose 5*o = 28*o - 253. Let n be p(o). Is 51 at least as big as n?
True
Suppose 8*n - 19 = -3. Let x be (-1 + 2 - n)*2/(-2). Let v(l) = 2*l - 3. Let t be v(2). Is t greater than x?
False
Let b = 325 + -487. Let c = b - -160.4. Which is bigger: -2 or c?
c
Let f = -92 + 89. Let j be (8/(-10))/(65/(-25) - f). Is -18/11 bigger than j?
True
Let q(w) = -19*w - 14. Let t be q(8). Let s = 149 - t. Which is smaller: 316 or s?
s
Suppose 0*y - 9*y = -126. Let p be 4/(3 + -19) + y/(-8). Is p equal to -11/12?
False
Let u(w) = w + 139. Let i be u(0). Let t be (-4472)/96*-3 + (45/20)/(-3). Are t and i non-equal?
False
Let o = 0.632 - 0.732. Let v = 658 - 669.98. Let z = -12 - v. Are z and o non-equal?
True
Let u(g) = 77*g**2 + 1386*g. Let h be u(-18). Which is bigger: 117/194 or h?
117/194
Let s be 4180/(-5952) - 1 - -2. Let u = s + 13/93. Let v = 1.471 + -1.371. Which is smaller: v or u?
v
Let c(z) = -5*z + 15. Let a be c(4). Let t(r) = -r**3 - 3*r**2 + r - 27. Let w be t(a). Which is smaller: w or 192/11?
192/11
Let j = -0.34 + -0.04. Let f = j + 0.08. Let s = 5469 - 5465. Which is smaller: f or s?
f
Let v = 2 + -10. Let o be (-2)/7 + (-16404)/(-84). Let t = o - 208. Which is greater: t or v?
v
Let h(o) = -o**3 - 5*o**2 - 2*o - 10. Let m be h(-5). Let u = 35638/135 + -264. Which is bigger: u or m?
m
Let a = 350 + -651. Let g = 302 + a. Which is smaller: g or 1/18?
1/18
Let o = 3217 + -3219. Is -126/11 < o?
True
Let w be 296/7 - 4/14. Suppose s = 4*f + 6*s - 2, -2*f = -5*s - 16. Suppose 0 = -f*z + 38*x - 43*x + 134, 5*x = -2*z + 91. Which is greater: z or w?
z
Let v be (0 + 23)/((-22)/44). Which is smaller: 14 or v?
v
Suppose 3*m - 2 = 1. Let d be (-7)/(-70) + (11890/3100 - 4). Which is smaller: m or d?
d
Let l be (2 + (-1 - -32))*(-9)/(-27). Let z be 2/(-4)*l/(33/72). Which is smaller: -25/2 or z?
-25/2
Let d(t) be the second derivative of 2*t**2 - 4*t - 1/12*t**4 + 1/3*t**3 + 0. Let s be d(-1). Which is greater: 1/19 or s?
s
Suppose 3*r + 4*g - 4 = 0, 12*r - 17*r + 2 = 2*g. Let x = 161/5 - 33. Do r and x have the same value?
False
Let s = -1201 + 1209.99. Let q = 4 + -4.01. Let t = s - q. Are t and 1/3 equal?
False
Let f be ((-54)/45)/(2/(-5)). Suppose -12 = 19*q - 20*q. Suppose -f*l + q = 27. Which is bigger: l or -6?
l
Let z be (-6)/(-15) + (-24)/(-15). Let m(y) = 4*y - 4. Let h be m(z). Suppose 0*x - 3*x + 49 = -h*l, 5*x + 9 = l. Which is greater: l or -17?
l
Suppose -51*n = -23*n + 74172. Is n at most as big as 5?
True
Suppose -3*m - 1217 = -y, 0*m + 3*y = -m - 419. Let j = 5294/13 + m. Is 1 > j?
True
Let i be (-12)/(-10)*26375/425. Which is smaller: 74 or i?
74
Suppose -38*i - 22*i + 50467 = 15787. Are i and 585 equal?
False
Suppose 5*c = -4*f + 227, 2*f - 3*f + 4*c + 41 = 0. Let n = f + -52. Is n not equal to 14/11?
True
Let a be (2449 + 38)*(-2)/6. Which is bigger: a or -3?
-3
Let c = 20 + -18. Suppose -5*r - 384 = -4*o, c*r = 5*o - 697 + 217. Let g = -1642/17 + o. Which is smaller: -2 or g?
-2
Let c = 1884 + -1865. Let g(w) = 2*w**2 - 11*w + 9. Let t be g(6). Which is greater: c or t?
c
Let n be (76/3 + (-6)/(-12))*693117/(-3870). Which is smaller: n or -4627?
-4627
Let a = 15896/175 + -635/7. Which is greater: -3/8 or a?
a
Let w = -54 + 219. Suppose 4*u + 9*f - 7*f = 664, 658 = 4*u - f. Is w smaller than u?
False
Suppose -z - 20 = -3*z. Let u be 1170/200 + 4/z. Is u less than or equal to 7?
True
Let x = 266.2 + -255. Let n = x - 13.2. Which is greater: 39 or n?
39
Let c = -402.1 - -1886.1. Are 3 and c non-equal?
True
Let p be 6/10*(-2100)/2730. Suppose 0 = -3*z - 4*w + 1 - 16, w + 5 = -2*z. Which is smaller: p or z?
z
Let g(w) = -w**2 + 3*w + 7. Let p be g(7). Suppose -5*l = -2*u - 3*u + 5, 0 = l - 2*u + 6. Let t be (-17 - p)/(l/1). Is 1/25 smaller than t?
True
Let l be 2/(4 + 92/(-22)). Let i be l/(-12) - (-15)/(-60). Is 0.01 at least i?
False
Let d = -3361 + 3362. Which is greater: 2/4419 or d?
d
Let t = -765 + 349. Let p be t*2/(14/7). Is -415 != p?
True
Let j = -16029 + 17018. Is -0.6 greater than j?
False
Let z be ((0/(-1))/(-1))/(-1). Let x(c) = -5*c - 106. Let q be x(-4). Let g be q/387 + 1 + (-14)/18. Are z and g equal?
True
Let l(p) = 3*p**3 - p**2 - 13*p + 9. Let h be l(7). Which is smaller: h or 899?
h
Let j be 1 + 2 + 0/(-4). Suppose 0 = -d + j*d - 12. Suppose -3*f + d = -2*k, 5*k + 2 = f + 2*k. Which is bigger: f or 5/8?
f
Let f = 19185 + -19185.13. Which is bigger: 9.69 or f?
9.69
Let r = 4603/10 + -236622/515. Let q = r - 2/309. Are q and 1 equal?
False
Let i = 27 + -19. Let d = 146068/9 + -16222. Which is greater: d or i?
i
Let a be ((-4)/(-348))/((-66)/150237). Let z = a - -288/11. Let m = -83/232 - z. Is -1 at most m?
True
Suppose -4*x + 1 = -3*x. Let i be 1/6 + (-4719)/22698. Which is bigger: x or i?
x
Let w = 69 - 56. Let r(s) = s**2 - 9*s - 41. Let v be r(w). Suppose 9 - v = y. Is 0.3 at least y?
True
Let r = 850349/1098 + -6970/9. Let q(v) = v**2 + 8*v + 10. Let b be q(-7). Suppose 0 = -z - b + 2. Which is smaller: z or r?
z
Let f = -300 + -1. Suppose -5*d - 893 = -0*a + 3*a, -1212 = 4*a - 4*d. Are a and f non-equal?
False
Let n = -33457 + 33927. Which is smaller: n or -25?
-25
Let z = 126141/4 + -31535. Let t = 13.6 - -2.4. Which is greater: z or t?
t
Let f be (-1)/((-405)/(-380))*(-9)/3. Are 3 and f nonequal?
True
Let x = 638 + 1125. Is x smaller than 1764?
True
Suppose -4*a = 4*x + 68, -4*x = a - 4*a - 16. Suppose 3*b + 28 = f, f - 2*b = 2*f - 48. Suppose 3*h + f = -2. Is h greater than or equal to a?
False
Let v = -47 + 77. Let k(x) = x**2 + 8*x - 65. Let q be k(-15). Are v and q equal?
False
Let c(j) = j - 8. Let g be c(7). Let v be ((-512)/(-1568))/(204/42 - 4). Is v at least g?
True
Let w = -63.973 + 37.946. Let o = -40 + 40.027. Let z = o + w. Is -1 <= z?
False
Let m(n) = 2*n**3 - n**2 + 2*n - 7. Let h be m(-4). Let i = h - -149. Which is smaller: 6/5 or i?
i
Let r be (6 + 0)*(-19)/(-57). Let x be (3 - r) + 75/(-105). Let k = 0.3 + 4.7. Which is smaller: k or x?
x
Let t(b) = b**2 + 21*b - 3. Let k be t(-15). Let p be ((-10)/k)/(16/3 + -5). Which is smaller: 0 or p?
0
Let b be (4/22 - 1183/154)*-10. Let m be (-21)/((b/(-10))/5). Suppose 4*h + 0*h - a - 18 = 0, 2*h + 2*a = m. Is -0.6 less than or equal to h?
True
Let k = -1389 - -1469. Is k less than or equal to 79?
False
Suppose 0 = -5*c - 3*b - 19928, b + 39846 = -10*c + 5*b. Is -3985 <= c?
True
Let w(i) = i**3 + 3*i**2 - 29*i - 9. Let u be w(-7). Let s be 42/105 + u/(-5). Which is smaller: s or -47?
-47
Let r = -1436 + 1504.16. Let k = 0.02411 - 68.02411. Let p = r + k. Which is smaller: 1/4 or p?
p
Let w = 91923/10 - 9238. Which is bigger: w or -46?
w
Let r be (1 + -2)/(1/37). Let w(b) = -b**3 - 6*b**2 - 37*b - 85. Let x be w(-4). Let f = r + x. Which is greater: 0 or f?
0
Let t = -11 - -11. Let a(z) = -5*z + 44. Let q be a(10). Let b be ((-1)/(-58)*-1)/((-3)/q). Is b at most t?
True
Let q = -588119/312 + 1885. Let w = 209/312 - q. Is w greater than or equal to 4?
False
Let o = -3.13 + -24.87. Let f = -0.0374 - 48.7626. Let n = 49 + f. Is o less than n?
True
Let v = -2243 + 2243.2. Is v >= 15/14?
False
Suppose 0 = 3*h + 3*n + 12, -6 - 18 = h + 5*n. Let y be (60 - h) + (-2)/10*-5. Suppose 7*o - 10*o = -y. Is 22 bigger than o?
True
Suppose -j + 2*j = 4*l, -j = -5*l. Let m be ((-65)/(-130))/((-2 - 39/10) + 2). Which is smaller: j or m?
m
Suppose -3*d + 1316 = 1313. Let k be (-1*(-3)/(-162))/(30/8). Which is smaller: d or k?
k
Let l = 473.509 - 0.509. Let y = 472.9 - l. Let b = -25/21 + 503/105. Which is smaller: y or b?
y
Let c be 3/(-2)*(1701740/(-58680) - -29). Are c and 0.1 unequal?
True
