 -28*v + 674. Let o be c(27). Is k greater than o?
True
Let x(u) = -4*u + 39. Let z be x(10). Let n = -0.12 - 0.12. Which is bigger: z or n?
n
Let a be ((-2178)/165)/((-4)/(-10)). Is -36 not equal to a?
True
Let o be -60*15/40*4. Let n = 91 + o. Is n greater than or equal to -6?
True
Let n(z) = -3*z**2 + 8*z - 6. Let o be n(4). Let q = -22 - o. Which is smaller: q or 2/21?
q
Let t = 0.4 - 4.4. Let y = -10 + t. Let q = y - -13.7. Is 0 at most q?
False
Let d = 23.3 + -23.2. Let h = -0.03 + -0.07. Let t = h + -3.9. Which is smaller: d or t?
t
Let s be (1 - -4)*(-8)/1100. Suppose 0 = -451*a + 448*a. Is a greater than or equal to s?
True
Suppose 0*m + 3*m + 9 = 0. Let b(x) = -x**2 + x - 4. Let a be b(0). Which is smaller: m or a?
a
Suppose -2*n = -6*p + 5*p + 10, 0 = 5*n. Suppose -2*u + 7*s + 6 = 2*s, -4*u - 4*s = -40. Which is smaller: p or u?
u
Let l = 477 + -484.91. Let n = l - -8. Let p = n - -0.11. Which is bigger: 4/3 or p?
4/3
Suppose 0*w + w = 3*r - 23, 4*r = 3*w + 29. Let p(c) = -c**3 + 5*c**2 - 4*c - 4. Let o be p(5). Let k = -17 - o. Is k at most r?
True
Suppose -3*h + 5*h - 2 = 2*b, 4*h - 3*b - 9 = 0. Let s be -4*(-6)/(-32) - h/(-8). Let o be 2 + -1 + (-30)/22. Which is smaller: s or o?
o
Suppose 0 = -5*h - 0*h - 2*f - 6, h - 3*f - 9 = 0. Suppose 5*c + 4*s - 13 = 0, h = s - 4*s - 9. Which is smaller: -1 or c?
-1
Suppose -10 = 4*f - 22. Suppose a + 9 = -f*g, 5*g + 0*a - a = -15. Which is smaller: -1 or g?
g
Let d = 52/17 - 13451/4403. Is d at least 1?
False
Suppose -3*f + 4*h + 361 = 0, 27*f + 5*h - 590 = 22*f. Which is smaller: 118 or f?
118
Let z = 3 + -10. Let l(h) = 16*h**3 + 2*h**2 + h. Let u be l(-1). Let c(a) = a + 13. Let s be c(u). Which is greater: s or z?
s
Let z = 21 + -12. Suppose -2*d + z = -3*a, -5*d - 3*a + 0*a = 9. Suppose d*h = h - 9. Which is smaller: h or 8?
8
Let x(j) = j**2 - 1. Let v be x(3). Let f be (1/(4/v))/(-2) - 0. Does -1/24 = f?
False
Let q = 108 - 116. Let k(y) = y + 10. Let a be k(q). Is a not equal to -3/2?
True
Let f(t) = t. Let w(i) = 9*i - 3. Let q(y) = 4*f(y) - w(y). Let p be q(-3). Is 21 greater than or equal to p?
True
Let w be ((-4)/(-14))/((-6)/(-14)). Let s = 13 + -14.2. Let j = 1.3 + s. Are w and j non-equal?
True
Let u = -60 - -61. Let l be u + (-264)/(-18) + 4/2. Is l smaller than 19?
True
Suppose -r - 31 = -4*j + 73, -119 = -5*j + 4*r. Which is greater: 53/2 or j?
j
Let i = 79 + -73. Suppose -i*r = -r - 2*r. Let x = 37/7 + -206/35. Which is bigger: x or r?
r
Let r(d) = -d**2. Let l(y) = -16*y**3 + y**2 - y. Let a(c) = -l(c) + r(c). Let n be a(1). Let v be n + 3/2*-2. Is 11 less than or equal to v?
True
Let m(n) = n**3 + 6*n**2 - 6*n + 6. Let k be m(-7). Let u be 2 - (-6)/9 - k. Which is greater: 3 or u?
u
Let s be (-4)/6 - 19/(-2622)*89. Let d be (0 - -2)/2 + -3. Let h be (d - 0) + (2 - 0). Is h at least as big as s?
True
Let p be 3/(-12) - (342/(-24) - -15). Let d be 2 - 0 - 87/6. Which is bigger: p or d?
p
Let v be (-116)/(-14) - (-2)/(-7). Let s(p) = -p**3 - 8*p**2 - 46*p - 266. Let d be s(-7). Which is greater: v or d?
v
Suppose -6*o + 5*o = -14. Let h be (-8)/o - (-4)/4. Which is bigger: 0 or h?
h
Let s be (-1)/6*(-57)/(-1843). Which is greater: 1 or s?
1
Let z = 24.4 - 29.7. Which is smaller: 1/6 or z?
z
Let p be ((-3)/12)/((-36)/144). Is p equal to -1/467?
False
Let s be 6 + -2 + (-200)/22. Let m = 1602/319 + s. Is -2 < m?
True
Let k be 10/(-6) + 472/276. Let w = -11.3 - 0.7. Let x = w - -14. Is k at least as big as x?
False
Suppose -3*n - 2*n - 4*q = 7, n + 5*q = -14. Let c = -20 - -20. Is n <= c?
False
Let m(j) be the second derivative of j**4/6 + j**3/6 - 10*j. Let q be m(-2). Suppose c + 20 = q*c. Is c less than or equal to 2?
False
Let c = 5.547 - 5.437. Let x = 6 + -2. Suppose b + x*j = -21, 3*b + b + 5*j + 29 = 0. Which is greater: c or b?
c
Suppose 0 + 4 = -4*s. Let c = -35 + 29. Let z be ((-3)/(-16))/(c/4). Is z smaller than s?
False
Let l = -351 + 349. Do l and 0.025 have the same value?
False
Let x = -18 - -14. Let c be -11*x/10 + -1. Which is greater: c or 2?
c
Let l = 4371 - 17607/4. Let b = -31 - l. Which is greater: b or 2/3?
2/3
Suppose 0*k + 6 = k. Suppose 0 = -k*v + 2*v - 96. Let f be (-12)/(-8)*v/(-9). Which is smaller: 5/2 or f?
5/2
Let l be 2/((-8)/(-12)*1). Suppose 5*t - 4*t = l. Let g(d) = d**2 - 6*d - 5. Let c be g(7). Which is bigger: c or t?
t
Let u be -3 - (21/84)/(30/(-296)). Which is greater: u or 0.1?
0.1
Let h = 21 - -27. Let d = 39 - h. Which is smaller: d or -37/4?
-37/4
Suppose 0 = 5*r - 10*r + q + 8, 15 = -5*q. Does r = -149?
False
Let d = -255 - 1453. Let g be (-4)/(-18) + (d/(-36))/7. Which is greater: g or 45/7?
g
Let w = 29 - 29.13. Let x = -1.17 - -1.3. Let c = w + x. Is c not equal to 0?
False
Let a = -1515/176 - -94/11. Is a smaller than -0.7?
False
Suppose -2*y = -3*w - y - 3, 5*w + 5 = -5*y. Let s = 84.03 + -84. Let h = s + 0.07. Which is bigger: h or w?
h
Suppose -4*l = -0*l + 3*g - 62, -3*l + 38 = -2*g. Let x be ((-39)/6 - 0)*2. Let y = x + l. Which is smaller: 2/19 or y?
2/19
Let f = -526 + 1336. Suppose 5*b + f = -5*b. Is -81 at most as big as b?
True
Let o = 86.7 + -79.7. Is -0.2 not equal to o?
True
Let l = -34730 + 2326846/67. Is 0 bigger than l?
True
Let s = 0.103 - 0.203. Which is bigger: s or 13?
13
Let v(z) = -11*z - 5. Let p be v(1). Which is smaller: -17 or p?
-17
Let u = -0.056 + 0.055. Let a = -0.001 - u. Is 3/7 != a?
True
Suppose 1 = 4*y - 0*y - 3*o, 0 = -3*y + 5*o + 9. Let i be ((-6)/y - 32/12)*3. Which is greater: 1/21 or i?
i
Let a(o) = o**3 + 3*o**2 + 3*o + 2. Let p be a(-2). Let b be ((-2)/(-640))/(4 - (-126)/(-35)). Let f = -145/2176 + b. Which is bigger: p or f?
p
Let g = -162 - -113. Let m = -295/6 - g. Let z(y) = y + 6. Let t be z(-5). Is m bigger than t?
False
Suppose -5*l = 25, 0 = a - 0*a - 5*l - 30. Let o be (3 - a - -2) + -6. Let b be ((-7)/14)/(1/o). Is 5/2 less than or equal to b?
True
Let q(a) = a**3 - 6*a**2 + 7*a - 12. Let h be q(6). Suppose -26*y - 6 = -20*y. Is y != h?
True
Let l = -49/2 + 26. Suppose 256 - 31 = 9*t. Suppose -5*u = 4*v + v - t, -2*v + 7 = -u. Which is smaller: u or l?
u
Let z be (-5232)/440 + 16 - (0 - -4). Is z at least -1?
True
Let b(l) = -4*l + 12. Let d be b(3). Let z be (-2)/10 - ((-238)/(-10) + d). Is z smaller than -26?
False
Let p = 36 - 35.7. Is -7 smaller than p?
True
Suppose 1335 = -292*r + 297*r. Let c = r - 2139/8. Which is smaller: c or 9?
c
Let q be (30/16)/(-1*9/(-492)). Which is smaller: 104 or q?
q
Let d be 8/(-14) + 70/(-49). Let s = d - -45/23. Which is bigger: s or -1?
s
Let m = 123 - 118. Suppose -2*n - 62 = -5*c, 3*c = -m*n + 4*n + 35. Let t = -9 - -19. Is c less than or equal to t?
False
Let v(g) = -3*g + 19. Let q = -15 + 24. Let d be v(q). Let b(p) = -p**2 - 9*p - 6. Let u be b(d). Are 13/5 and u non-equal?
True
Let p = 0.33 + -0.2. Let z = 30 + -30.055. Let h = 0.055 + z. Which is smaller: p or h?
h
Let s = -4.3 + 9.7. Let l = -5.08 + 0.08. Let m = s + l. Is m at least 0.1?
True
Let u be 4/(-6)*(-12 - -423). Is u smaller than -276?
False
Suppose -11*a + 180 = -6*a. Which is bigger: 37 or a?
37
Let z = 2 + 5. Suppose 4*w - z = 3*w. Let v be ((-1)/2)/(w/(-14)). Are v and 3/5 equal?
False
Suppose -14 = -3*t - 2. Suppose 3*f = i + 13, 5*i = t*f + 7 - 28. Let o = i + 3/4. Which is bigger: o or -2/27?
-2/27
Suppose 2*l + 4*i + 26 = 0, -3*i + 2 = -2*l + 4. Let b be 5/8*(-37)/l*-2. Are b and -9 unequal?
True
Let r = -8 - -30. Suppose 4*i - 81 = 7. Are r and i unequal?
False
Let c = -2650 - -2648. Let h = -12.96 - 0.04. Is h != c?
True
Let z be 3 + (11934/(-3367) - 8/(-14)). Is z <= 0?
False
Let b = 21.34 - 22. Let i = b + 0.45. Which is smaller: i or 0.1?
i
Suppose 0 = -5*i - 3*p - 12, -3*i - 16 = i + 4*p. Suppose i = 7*m + 7 + 7. Is m greater than -2?
False
Let w be ((-3)/(-75))/(10/(-50)). Is -0.02 greater than or equal to w?
True
Let q = 5.1 + 3.7. Let v = 23 + -32. Let i = q + v. Which is smaller: i or -2/7?
-2/7
Let h = -14 - -19. Suppose -4*b = -7*b - h*p + 24, 0 = b + 3*p - 8. Suppose -6*s + 5*s = -b. Is s greater than 8?
False
Suppose 82*j + 400 = 154. Which is smaller: j or -30/19?
j
Let f = 559 + -550. Suppose 5*r = 4*d + 290, -4*r + 3*d + 232 = 8*d. Suppose -5*x = -2*a - r, -5*x + 26 = -a - 28. Which is bigger: f or x?
x
Let l = -12 - -13. Let z be 1/50*