54 - -1/923. Is 1 at most x?
False
Let n be ((-1)/(-1))/((-3003)/(-749) - 4). Let k = n + -108. Are -4/63 and k non-equal?
True
Let y(r) = r**3 + 6*r**2 + 3*r - 2. Let u be y(-3). Let f(i) be the third derivative of i**6/120 + i**5/60 + i**4/12 + 6*i**2. Let k be f(2). Is u at most k?
True
Suppose 4*y - 5*y = 0. Let z = 105 + -60. Let u = -134/3 + z. Which is smaller: u or y?
y
Let w = 3265/6538 + 2/3269. Is w less than 341?
True
Let u = 57581/11 + -5239. Let t = 881/33 + u. Which is smaller: t or 22?
22
Suppose b + 3*b = 4, 2*k - 4 = -4*b. Let r be (-2)/12 - (-3124)/(-6624)*3. Let v = 13/8 + r. Is k < v?
True
Let f = -16 - -43. Let r be f/(-36)*2/1. Is r greater than -2?
True
Let x be (-27)/(-12)*(-4)/6. Let w = -203 + 201. Is x greater than w?
True
Let o = 193197/100 - 1932. Which is smaller: o or 1?
o
Let r be 1/(-1) + 3 + 1. Let x be 2/3 + 64/12. Suppose x*u = r*u + 3. Is u >= -2/13?
True
Let r = -64.021 + 0.121. Let q = 65 + r. Let a = -15/8 + 11/8. Which is bigger: q or a?
q
Let p be ((-2509)/(-65))/(-1 + 2). Is 38 <= p?
True
Let i(x) = 3*x**2 - x. Let v(q) = q**3 - q**2 - 3*q + 3. Let h be v(2). Let t be i(h). Let r be (-6)/4 + (-1)/t. Is r not equal to 0?
True
Suppose x + 3*p + 183 = 0, -5*x - 953 = -11*p + 7*p. Which is greater: x or -191?
x
Suppose -z + 8*z - 4*z = 0. Which is greater: z or 5/18?
5/18
Let g = 3 - 2.7. Let a = 5 - 4.7. Let f = a - g. Which is smaller: f or 2/5?
f
Suppose 696 = -4*d - 144. Let w be 216/d + (-6)/15. Is -1 at most w?
False
Let q(p) = p**3 + 17*p**2 + 17*p + 20. Let l be q(-16). Suppose -l*k = -u - 20, -2*k + 5*k = 15. Suppose u = -2*g + 2, b + 2 + 0 = g. Is -2 at least b?
False
Let n = -5 + 8. Suppose 5*m - t - 31 = t, -n*m - 2*t = -25. Which is bigger: m or 8?
8
Let i be 1/(-4) - (-210)/8. Let p be -16 - (-26 - 1081/69). Does p = i?
False
Suppose 4*n + n = 15. Let d be (-62)/(-3) + (-12)/18. Let q be 8/d + (-8)/(-5). Is q less than n?
True
Let y = -12 - -13. Let z be 2 + 0 - 300/125. Which is greater: z or y?
y
Let f(l) be the second derivative of -1/20*l**5 + 3*l**2 + 0 + 1/2*l**4 - 5/6*l**3 - 3*l. Let a be f(5). Which is greater: 5 or a?
a
Suppose -89*n = -106*n + 17. Let m be 2/26*(-1)/(-4). Is m less than or equal to n?
True
Let c(q) = q**3 - 10*q**2 + 4*q + 12. Let h be c(9). Let r be (1*5)/((-174)/h - 5). Is 19 at least as big as r?
True
Let k be (-4)/22 + 4256/(-308). Is k less than -0.08?
True
Let w = 23 - 20. Let f be 0 - (344/1 - 2). Let i be 3/(-5) - f/120. Do i and w have the same value?
False
Let x(t) = t**2 - 10*t + 13. Let i be x(9). Let d = 19 - 11. Let v = d - 9. Is v < i?
True
Let m(b) = 12*b - 1. Let f be m(-6). Let w = f - -17. Let x = -503/9 - w. Which is smaller: 0 or x?
0
Let f = -6217/3 - -2102. Is f at most 30?
True
Let b(l) = 2*l + 12. Let x be b(-12). Let y be (-1)/x + -3 + 57/18. Is 0.1 > y?
False
Let m(j) = 9*j**2 - 2*j + 2. Let k(o) = -12 - 31*o + 15*o + 1 + 14*o. Let a be k(-6). Let g be m(a). Do g and 19/2 have different values?
True
Suppose 3*g - 10*a = -13*a - 228, g - 5*a + 100 = 0. Is g > 4?
False
Let d be (9 - (-207)/(-21)) + (-18)/28. Is d at most 1/130?
True
Suppose 21*c - 6*c = 5*c. Is c >= 497?
False
Let a = 460 - 458. Is 19/2 >= a?
True
Let b = -2.88 - -12.88. Is -0.07 at least as big as b?
False
Let i be 0/4 + -3 + -1 + 4. Suppose n - 1 = 0, 3*y - n - 3*n = -1. Is y equal to i?
False
Let c = -610 + 611. Which is smaller: c or -3/424?
-3/424
Let w(s) = s**3 - 16*s**2 + 13*s - 30. Suppose 3*y = 3*z + 19 + 14, 3*y = 5*z + 25. Let f be w(y). Which is smaller: -59 or f?
f
Let g = -290 - -291. Which is smaller: g or 11/13?
11/13
Let q = 1605 + -20886/13. Let s = -3/26 - q. Are s and 1 non-equal?
True
Let t = 20330 - 8977. Let j = t + -317799/28. Let w = -11/4 + j. Which is smaller: w or 0?
0
Suppose -159*g = -39*g. Which is smaller: g or -10/371?
-10/371
Suppose 435 + 267 = 3*c. Which is bigger: c or 232?
c
Let o = -39.8 - -41. Let d = o - 1.2. Which is greater: d or 6?
6
Let k = -497 + 496.5. Which is bigger: k or -25?
k
Let r(x) = 2*x - 177. Let h be r(16). Which is greater: h or -147?
h
Let z be 27*6/72*16/6. Is 34/5 less than or equal to z?
False
Let u = -98/3 + 34. Let q be 2 - ((-2 - -4) + -2). Is q < u?
False
Let j(g) = -16*g + 79. Let k be j(5). Let z = 1/1276 - -2511/52316. Let h = -33/164 - z. Which is smaller: k or h?
k
Suppose -5*h = 5*z - 2255, -9*z + 1378 = -6*z - 2*h. Are 456 and z equal?
True
Let b be ((-1)/14*-15)/(500/(-80) + 7). Let f = 0.2 + 0. Which is greater: f or b?
b
Let m = 18201533/764 + -23824. Let n = m - 2945/28268. Which is smaller: 0 or n?
n
Let s = 1538 - 1536. Which is bigger: s or -191?
s
Let j be (-11)/(-3) + 2/6. Let l(y) = 10*y**2 - y + 3. Let v be l(0). Suppose 0 = -h + j*h - v. Which is smaller: h or 3?
h
Let d(l) = l**3 - 19*l**2 + 42*l - 14. Let g be d(18). Is 418 equal to g?
True
Suppose -22 = -36*q - 58. Is 4/59 smaller than q?
False
Let n(w) be the first derivative of w**2/2 + 13*w + 14. Let m be n(-9). Is 3 equal to m?
False
Let q = -24523/31 + 791. Which is smaller: q or 4?
q
Let z(p) = p**3 - 18*p**2 + 18*p - 16. Let h be z(17). Let s be 87/(-18) - h/6. Is -5 greater than s?
False
Let z = 418 - 419. Which is bigger: z or -2/1471?
-2/1471
Let f = 51 - 60. Let v(d) = -d**3 - 8*d**2 + 11*d + 19. Let i be v(f). Let p be (-1)/(-2 + 1) + -2. Which is smaller: p or i?
p
Suppose 4*k - 7 = -19. Let q be ((-1 + 0)*(-1)/1)/1. Let t be (-2 + q - -4)*20/(-30). Is t smaller than k?
False
Suppose 20 = t - 45. Let f be (-1371*2/(-42))/(3 + -2). Let r = f - t. Is r <= 10/7?
True
Let f(d) = 2*d - 13. Suppose 8*h - 30 = 3*h. Let t be f(h). Let j = t + 3. Which is smaller: 1/2 or j?
1/2
Suppose 55*p - 60*p = -60. Is p greater than 12?
False
Let d(x) = x**3 + 5*x**2 - 4*x + 6. Let v be d(-6). Let z be 2*v/8*(-12)/(-30). Let s be 12/(-4) + (0 - -1). Is s <= z?
True
Let v = -2.9 + 1.9. Let h = v + -10. Let c = h + 11. Which is greater: c or -1?
c
Let x = 428.3 - 899.2. Let l = x + 491. Let k = l - 4.1. Which is smaller: 0.1 or k?
0.1
Let q be (3665/(-305) + 12)*(-4)/(-66). Is 1 != q?
True
Let c(u) = -u**3 + 20*u**2 - 17*u - 39. Let l be c(19). Let a be ((-39)/(-52))/(l/12). Do a and -9 have different values?
False
Let l = -0.4 - 0.6. Let h(m) = m**3 - 7*m**2 + 2. Let i be h(7). Let r be (i/4)/(42/140). Which is smaller: l or r?
l
Suppose 0 = 2*f - 4*n, 2*n - 6*n = -f - 4. Suppose -3*g = f*x - 16, -5*x = 2*g - 1 - 12. Let d = -251 + 250. Are x and d unequal?
True
Let o = -3321 - -690771/208. Does o = -1?
False
Let i be ((2/21)/1)/((-20)/(-21270)). Let s = i + -99. Which is smaller: s or 1?
1
Let b(s) = s**3 - 7*s**2 - 7*s - 5. Let l be b(8). Let d(j) = -2*j**2 - j + 30. Let y be d(5). Let w be (-1 - 3)/(20/y). Which is bigger: w or l?
w
Suppose 3 = -5*m - 5*s - 2, 7 = 5*m + 2*s. Suppose -m*f = 2*f - 15. Suppose -30 + 5 = -k - 5*n, -4*k + 15 = f*n. Is -2 at most as big as k?
True
Let i(t) = -5*t - 3. Let d be (-360)/(-24)*2/6. Let q be i(d). Is q smaller than -28?
False
Let m = -1.29 + -0.71. Let j = -29/4 - -7. Is j at least m?
True
Let z(q) = -q**2 - 5*q - 6. Suppose 4*b = -3*v - 1, v + 4*v + 21 = 3*b. Let f be z(v). Does f = -12/17?
False
Let o(a) = 2*a - 6. Let q be o(-9). Let b be (1 + (-52)/51)/(4/q). Which is greater: -1 or b?
b
Suppose -4*r - 5*w - 1977 = 0, 4*w - 885 - 559 = 3*r. Which is greater: -490 or r?
r
Let c be (18/(-4))/((-51)/(-4)). Suppose -4*y - 7 = 5*t - 4, 5*y + 10 = 0. Which is smaller: t or c?
c
Suppose 186 = 5*f + 4*j - 327, -3*f - 5*j = -300. Which is bigger: 104 or f?
f
Let o = 668377/8 + -83361. Let m = o - 361/2. Which is smaller: 6 or m?
m
Let z(v) = -v**2 + 12*v + 10. Let b be z(8). Let f = b + -7. Let r = -33 + f. Is r smaller than 10/9?
False
Suppose -3*x + 1 = 4. Let t be (2/4)/((-13)/(-26)) + 3. Suppose 3*v + 20 = -5*i, t = -2*v - 3*i + 2*i. Is x less than v?
True
Suppose -5*m - 4*j + 70 = 0, -m - 7 = 2*j + 3*j. Suppose -m + 18 = 5*c. Is 4/3 >= c?
True
Let h(n) = 2*n. Let y(m) = 3*m. Let g(o) = -4*h(o) + 3*y(o). Let k be g(0). Suppose k*w + 30 = -2*w. Which is bigger: w or -16?
w
Let f be 2 - (-4)/(4/(-1)). Is 1/74 < f?
True
Let u be 11/7 - 15/(-35). Suppose -u*m = -4*g + m + 39, m = 2*g - 17. Suppose -2*p = -g*p + 68. Is 0.1 at most p?
True
Suppose 2*i + 2*i + 32 = 0. Let m be i/10 - 126/(-70). Let q(n)