+ -456. Is 2/273 at most k?
False
Let r be -62*((-3)/10 - 109/545). Let b be 9*1*10/3. Which is smaller: b or r?
b
Let a = 21 - 44. Let d = a - -11. Let c = d + 6. Which is greater: c or -1?
-1
Let q be (1 - 0) + 16/(-12). Let i = -8.6 + 86.6. Let r = 95 - i. Which is greater: q or r?
r
Let t(x) be the third derivative of x**6/120 + x**5/60 - x**4/8 - x**3/6 - 6*x**2. Let a be t(-2). Is -2/19 at least a?
False
Let h be -4 - -2 - (-24)/9. Let b = -104 + 104.01. Is b smaller than h?
True
Let p = 2849/6 + -477. Let r = -44 + 50. Suppose y - r*y - 5 = 0. Which is smaller: p or y?
p
Let h = 16763/6 - 2793. Is -18 equal to h?
False
Let p be 586/1740 + (-46)/115. Let i = p - -2/261. Which is greater: -1 or i?
i
Suppose -2*u - 5*c + 210 = -295, 0 = 2*u + 3*c - 503. Which is smaller: u or 251?
u
Let r = 0 + -2. Let d = 2.1 + r. Let x = 4.1 - 2.1. Is x <= d?
False
Suppose -2*h + 10 = q - 0*q, 0 = 3*h. Let a(i) = -i**3 - 6*i**2 - 5*i + 3. Let m be a(-5). Suppose -4 = -m*s - q. Which is bigger: -10 or s?
s
Let a = -348 + 3846/11. Is a >= -0.4?
True
Let w = 1312/5 - 260. Which is bigger: w or 2?
w
Let y = -10.8 + 11. Let h = y + -3.2. Let g = h - -2.9. Which is smaller: -6 or g?
-6
Let a = 7 - 2. Suppose d = 3*h - 11, 10*h - 29 = -d + a*h. Suppose -d*r - 76 = -28. Is r at least -12?
True
Let w be ((-30)/63)/(8/(-56)*3). Which is smaller: 1/6 or w?
1/6
Suppose -20*b + 0*b + 1180 = 0. Which is bigger: 289/5 or b?
b
Let u = 484 - 483. Is 2.21 smaller than u?
False
Suppose 3*r + 366 = 3*f, -4*f - 3*r + 333 + 141 = 0. Let g = -1082/9 + f. Let b = -7/5 - -16/15. Which is bigger: b or g?
g
Let h be ((-4)/(-3))/(15/(-9)). Let s = -213 - -212. Which is smaller: h or s?
s
Let r = -1250927/14420 - 2/3605. Let z = 87 + r. Is z equal to -0.1?
False
Let l = -0.9 - -1. Let p = 1.38 + -0.61. Let f = p + -11.77. Is f less than l?
True
Let j(h) = -11*h + 154. Let m be j(17). Is -34 < m?
True
Let l = -1.43 + 80.43. Let j = l + -135. Let u = 34 + j. Which is smaller: u or 0.1?
u
Suppose -t = 2*q - 85, -4*t - 3*q = -0*t - 360. Suppose -452*i = -439*i - 1222. Which is greater: i or t?
i
Let f = -8.9 + 9.1. Is -61 at most as big as f?
True
Let z(w) = -w - 6. Let i be z(-6). Suppose i = 4*r - 2*g + 9 + 3, -2*r - g = -2. Let o be (-2)/(210/91) + 1 - (-7)/(-165). Which is smaller: o or r?
r
Let i = 275 - 301. Suppose -5*j + 29 = -11. Let z be 12/16 - i/j. Which is smaller: 7/2 or z?
7/2
Let r = 74 - 362/5. Suppose -3*d = 2*u + 8, 5*d + 3 = -4*u - 11. Let i = u - -4. Are r and i nonequal?
True
Suppose -4*k - 5*p = 1935, 5*k + 0*p + 2426 = p. Is -485 not equal to k?
False
Let n = 45 - 44. Suppose 2*j + 3 = -5*l, 5*l + 7 = j + n. Let s be 58/156 - (-2)/(-6). Which is bigger: l or s?
s
Let w be (-1)/(((-54)/(-216))/(526/8)). Which is smaller: -262 or w?
w
Let t = 45089/138 - 980/3. Let l = t + -105/23. Which is smaller: l or -6?
-6
Let n be 2 + (12/(-16) - 675/(-132)). Let f = n + -431/66. Suppose -4*q - 6 = -2. Is q != f?
True
Let r be (20/8 + -4)*60 + -3. Which is bigger: -92 or r?
-92
Let s be 2247/84 + (-1)/(-4). Are s and 129/5 equal?
False
Let d(c) = -2*c - 27. Let m be d(-19). Does m = -17?
False
Suppose 11 = -2*t + 371. Let b be (t/24)/(3/(-4)). Let o = b + 12. Which is greater: 1 or o?
o
Let u(n) be the second derivative of -n**3/2 - 13*n**2/2 + n. Let x be u(-4). Are -1/27 and x equal?
False
Let n(p) = -2*p**2 + 41*p + 7. Let l be n(12). Suppose 2*m = -2*c - 3*c + l, -c = -2*m + 217. Which is greater: 109 or m?
109
Suppose 7 = 3*v - 83. Suppose -26 + 20 = -2*m. Let g be m/10 + (-6)/v. Is g at most as big as 0?
False
Let d be 3 - 1*34/10. Which is smaller: 1/10 or d?
d
Let q = -10 + 3. Let j(r) = -r**2 - 5*r + 6. Let v be j(q). Let a = -0.043 - 0.057. Which is bigger: v or a?
a
Suppose 3*i + 2*p - 49 = 0, -39 = -4*i - 3*p + 25. Suppose -3*v + i - 16 = 0. Let z = 9/4 - 7/3. Which is greater: z or v?
v
Suppose 0 = -11*l + 10*l + 1. Let b be l/8 - 282/(-48). Suppose 2*r + 8 = 0, -3*k + b*k - r = -14. Is -9/2 smaller than k?
False
Let d be 625/(-50)*(-2 - 8). Which is greater: d or 123?
d
Suppose -b - a + 14 = 0, 5*b + 0*a - 40 = a. Suppose 0 = 2*x + f + 2 - 16, 4*f = -2*x + 26. Suppose 2*i + 6 = q + 19, 0 = -4*i - x*q + 61. Is b < i?
False
Suppose -2*q = -3*b - 38, 9*q - 4*q + 57 = -2*b. Let v(r) = r**3 + 15*r**2 - 17*r - 24. Let l be v(b). Let k(d) = -3*d**2 + d + 2. Let f be k(2). Does f = l?
True
Let a(o) be the second derivative of o**3 - 34*o**2 + 2*o + 31. Let f be a(12). Let q be -3*8/(-6)*1. Is f greater than or equal to q?
True
Let o(r) = -12*r + 85. Let v be o(7). Are v and 23/14 non-equal?
True
Let j = 0.058 - 37.058. Let f = j + 36.66. Let w = f + -0.06. Are w and 1 equal?
False
Let d = 25 + -20. Suppose d*h - 2*h = 2064. Let c = h + -57106/83. Which is greater: 0 or c?
0
Let a be 0/(1 + -2 - -2). Let q = 1644/187 - 98/11. Is a bigger than q?
True
Let o = 2.4 + -2. Let u = -469 + 415.7. Let r = 53 + u. Which is smaller: r or o?
r
Let h(l) = l**2 - l - 4. Suppose v + 2*b - 5*b = -3, -4*v = 2*b + 68. Let q be ((-18)/v)/(16/40). Let y be h(q). Is 3/4 less than y?
True
Let n = 247 - 237. Let f(c) = 3*c**3 - 4*c - 4*c**3 + 3*c - 5 + 10*c**2. Let z be f(n). Are -16 and z nonequal?
True
Let l = -2 - -3.6. Let w = -1.8 + l. Is 4 not equal to w?
True
Suppose -114*o = -36*o + 6786. Which is greater: o or 1?
1
Let r = 51 - 72. Is r <= 3?
True
Let s = 407 + -406. Is -348 smaller than s?
True
Let u = -3 - -1. Suppose 8*a + 8 = 10*a. Let v = -6 + a. Is v bigger than u?
False
Let a = 75 + -60. Suppose -3*r - 10 = 2*t, -2*t + 4*r - 9 = a. Which is greater: t or -22/3?
-22/3
Let d = -269 + 270.77. Let y = 0.77 - d. Which is bigger: y or -0.13?
-0.13
Let h = -22 - -23. Let d(g) = -g + 2. Let c be d(-3). Suppose -6*m = -c*m + 3. Is m at most as big as h?
True
Let d be (25155/(-1485))/(3 + (-92)/30). Suppose -490 = 2*c + 4*i, 0*i + 25 = 5*i. Let q = d + c. Which is bigger: 0 or q?
0
Let z(n) = -332*n + 4. Let b(y) = y - 1. Let o(r) = -5*b(r) - z(r). Let a be o(-1). Let u = a - -4888/15. Is 0 less than u?
False
Let n = 2 + -2.1. Let p = 34 + -34.2. Let t = n + p. Is 0.2 at most t?
False
Let a = -28.446 - 0.354. Let s = a - -29. Which is bigger: 2/7 or s?
2/7
Let n(g) = -4*g - 3. Let b be n(-9). Let s = 54 - b. Let j be (-93)/(-21) - 9/s. Is j less than 5?
True
Let k be (-4)/(-12)*(-15)/(-50). Let h = -24 - -4. Let j be 5/h - 2/(-8). Which is smaller: j or k?
j
Suppose 3*j = 17 - 140. Let y = -42 - j. Is -1/23 less than y?
False
Suppose 15 = -0*s - 5*s. Let v be 4/66*(2 - 5). Let o = v + -3/44. Is s != o?
True
Let i = 86705 - 306848997/3539. Let s = i - 14106/88475. Let x = 13884 - 13883. Which is greater: s or x?
x
Let y be (-3)/6*(-240 + -4). Suppose -2*u + y = 2*g, 118 = 2*g - 0*g + u. Suppose g = -0*r - 3*r. Does -20 = r?
False
Let i be (-62)/(-28) + -19 + 17. Let a = i + -17/112. Is 0 smaller than a?
True
Let p = -7541/8 - -159143/168. Let c = 53/12 - p. Is -1 smaller than c?
True
Suppose -3*k + 73 = -17. Let v be k/105 - 1/(-7). Which is greater: 0.6 or v?
0.6
Let b be (-9)/75 - 4/50. Is b greater than 44?
False
Suppose 261*k + 474 = -544 - 548. Suppose -45 = 3*c - 3*s, -4*c = 5*s + 20 + 13. Which is bigger: k or c?
k
Let j = 32 - -15. Let c = j + -39. Let v = -11 - -18. Is c at most as big as v?
False
Let h = -37 - -51. Let z = 13 - h. Is -0.06 > z?
True
Let l(d) = 31*d - 26. Let o be l(2). Let a be o/(-144) + (-5)/12. Which is bigger: a or -2/17?
-2/17
Suppose -2*c + 38 = -0*c. Let g = -38 + 58. Which is smaller: c or g?
c
Let q = 1.91 + -3.82. Let f = 0.09 - q. Does 9 = f?
False
Let r(x) = 15*x + 8. Let w(n) = -16*n - 7. Let m(b) = -4*r(b) - 5*w(b). Let l be m(-1). Is l < -19?
False
Let b = 14266318/103881 + 2/34627. Let u = -135 + b. Which is smaller: u or 3?
u
Let n be -1*(-38)/(-26) + 1. Let l be 9 + -5 + 22/2. Let c = l + -16. Do c and n have the same value?
False
Let v = -113 - -93.4. Let w = v + 0.6. Let b = 17 + w. Which is bigger: -5 or b?
b
Let k(w) = 2*w - 64. Let s be k(-30). Is s <= -124?
True
Let g(f) = 19*f + 46. Let h be g(3). Which is smaller: 102 or h?
102
Suppose t - 2*t + 4*x - 1 = 0, 5*t + 55 = -5*x. Is t < -9?
False
Suppose -15*t - 5*d + 34 = -14*t, t + d = 38. Is 39 > t?
False
Let t(l) = 62*l + 507. Let z be t(-12). Which is smaller: z or -1178/5?
z
Supp