2/83 >= j?
True
Let j = 6148 + -6227.94. Which is bigger: j or 1?
1
Suppose -24 = -37*r + 35*r. Let k be (-8061)/(-189) + r/(-54). Let h = k - 43. Which is smaller: 0 or h?
h
Let i be -10 + (14868/4)/(-7). Is -541 < i?
False
Let f be (-6)/(-8)*4 - 3. Let d be f + (-324)/(-42) + (-2)/(-7). Let q be (2 + -6 - -5)*38/d. Is 6 at least as big as q?
True
Suppose 2*c = -2*h + 5*h + 22, -5*c - 5*h + 5 = 0. Suppose -c*p + 2 + 3 = 0. Let x be (0 - 1)/(-1*p) + 6. Are 8 and x equal?
False
Let a be 729/(-27)*2447598/(-2206). Let i = 29957 - a. Is i at most -1?
False
Suppose 0 = l - 5*l + 400. Suppose 4*k + k + l = 0. Is k <= 1?
True
Let m = 154 - 146. Suppose -m*f + 29 = -19. Let l(i) = -i**3 + 7*i**2 + 2*i - 8. Let c be l(7). Are f and c equal?
True
Suppose 0 = -p - 3*r - 173, 15220*p - 15217*p + 3*r + 543 = 0. Let t = -166 - 21. Is t > p?
False
Suppose 47*i - 49*i + 110 = -2*o, 0 = 2*i - o - 112. Which is smaller: i or -7/4?
-7/4
Let i be 2461/4173 - ((-50)/(-26) + 9 + -11). Is i != -70.13?
True
Let c be 2/((4480 + 1)*(14 - 12)). Which is bigger: 0 or c?
c
Let t be 4 + 0 + (-1 - -5) + -25. Let h(x) = 5*x + 65. Let a be h(t). Is 4 smaller than a?
False
Let o(q) = -q**2 + 9*q + 2. Let l(f) = -f + 1. Let j(u) = 5*l(u) + o(u). Let p be j(5). Suppose t + 15 = -p. Are t and -17 nonequal?
False
Let x = -14203 - -14203.1. Let t = 0.3937 + 37.4263. Let m = t - 0.82. Which is smaller: m or x?
x
Let q = 219633/14 - 15613. Is 76 <= q?
False
Suppose -3*q + 15 = 2*q. Suppose -q*n - 32 = 5*x, 3*n + 3*x = -37 - 5. Let t be (-4 - -6) + -5 + 0 + n. Is t != -21?
True
Suppose m - 1784 = -5*s, 16*s = 19*s - 15. Suppose 4*y + 371 = m. Which is smaller: 348 or y?
y
Let k be (-9339)/164*(-28)/42. Let m = k - 38. Are 0 and m equal?
False
Let k(c) = -c**2 - 4*c + 45. Let y be k(-7). Let j = 32396/5 + -6456. Is j greater than y?
False
Let c be 43 + -119 + 9 + -1. Let f be c/(-34)*(2 - (-17)/(-8)). Which is smaller: 1.63 or f?
f
Let l = -1 + 1.1. Let o = 8028 - 8024.021. Let f = o + 0.021. Is l greater than f?
False
Let j be (-15)/(-10)*10/3. Let c = -248 - -252. Suppose -j*h = 4*k - 10, 0 = c*k + h - 3*h - 24. Are 12 and k nonequal?
True
Let a(d) be the second derivative of 0 - 11*d**2 + 1/6*d**3 + 4*d. Let u be a(9). Which is bigger: u or -12?
-12
Suppose -c - 30 = -3*n, -4 + 14 = -5*n. Let v be (-66)/8*(-1 - 68/c). Let l = -41/3 - v. Is -5 at least l?
True
Let s = -8.47 + 8.69. Which is smaller: -0.005 or s?
-0.005
Suppose -3*u = -3*g + 585, 2*g - 175 = -171. Which is greater: -191 or u?
-191
Let p = -3 + 4. Suppose 367 = -190*k + 428 - 1201. Do k and p have different values?
True
Let s(r) = 13*r**3 + 7*r**2 - 49*r + 263. Let y be s(7). Is y less than or equal to 4723?
True
Suppose 30*u = 40*u - 120. Suppose 49 = -u*j + 601. Is j less than 45?
False
Let p be -2 + ((-12)/102 - 106/(-34)). Let b be (-4 - -2)/(p*(1 + 2)). Which is smaller: 15/7 or b?
b
Let y = 382287.6 - 382289. Let z be -6*-2*(-2)/56. Which is bigger: y or z?
z
Let j = 366 + -369. Let g(z) = 2*z**3 + 2*z**2 + 2*z - 12. Let y be g(j). Which is bigger: y or -1/5?
-1/5
Let x be (-185)/15 - (-2)/(-3). Let s(l) = 2*l + 31. Let c be s(x). Let k be (0 - 1) + 1 + c. Is 6 at least as big as k?
True
Suppose 3*z + 2*y = -2 + 12, 5*z = -4*y + 18. Suppose z*n = 4*n - 30. Suppose 5*d - 3*i + n = 0, -5*d + 2*i - 20 = -2*i. Which is smaller: d or 2/31?
d
Let w = -293 + 311. Let t be 4/w*-5*9/(-90). Is 6 smaller than t?
False
Let n = 19396 - 19012. Which is greater: n or 401?
401
Let j(f) = -f**3 - 2*f**2 - 2*f - 2. Let p be j(-1). Let w be (-4)/3*(-60)/1070. Let d = -510/3959 + w. Are d and p unequal?
True
Let a = 0.7913 - -0.2087. Is -3807 less than or equal to a?
True
Let m(i) = 402*i - 2416. Let p be m(6). Is p at most -256/69?
True
Suppose 76*b = 80*b + 88. Suppose 4*u = w - 206, 507 = 3*w + 2*u - 97. Let x be 4/(-5) - w/10. Which is smaller: b or x?
b
Let k = 28610 - 4320049/151. Which is bigger: k or -1?
k
Suppose -3*y - g = y - 37, g - 45 = -5*y. Suppose 2*p - 3*p + y = 2*t, -23 = -5*t - 4*p. Which is greater: t or 16?
16
Let g = 173 - 79. Let m = -862957 - -862955. Is m equal to g?
False
Suppose -54630 = -9*m - 53406. Are 163 and m non-equal?
True
Let v = -42 - -42. Let o be 1 + (-20)/(-4) + v. Let i be ((-89)/43 - -2)*o/(-9). Is 0 < i?
True
Let b = 2604 - 1618. Let d = -986.06 + b. Which is smaller: d or -2/3?
-2/3
Let h = -0.19 - -53.19. Let i = h + -51.92. Which is smaller: i or -1/5?
-1/5
Let o be 320/104 + (4/1)/4. Let d = 1030/39 - o. Is 21 greater than d?
False
Let w = -7403462700/22511 + 328882. Which is smaller: 1 or w?
w
Let m = -6/23 - -80/483. Let r(g) = -g**3 - 3*g**2 + 7*g. Let p be r(-5). Let d be 26/p - (-8)/(-6). Which is greater: m or d?
d
Let w = -104 + 104.43. Let g = w + 54.57. Let a = g - 54. Is a greater than 4/7?
True
Let j = -0.03016 + -20.51984. Is 0.1 not equal to j?
True
Let q be 0/(-1)*((-370)/30 - -12). Do q and 4/1961 have different values?
True
Let w be 1 - (24/(-12) - (-20751)/(-8 - -5)). Is w less than 6920?
False
Let y be 9/(-3)*1*-3. Let b be (-1)/((468/8)/y). Is b greater than or equal to -1?
True
Let h = -0.061 - -0.061. Let l = h - 0.29. Let w = -2.29 - l. Is -0.07 smaller than w?
False
Let q(c) = -37*c + 1287. Let s be q(35). Are -132 and s unequal?
True
Suppose -3*b + 3*c + 318 = 8*c, -410 = -4*b - 2*c. Suppose -3*q = -43 - b. Which is smaller: 47 or q?
47
Let d(u) = -32*u + 2. Let n be d(-2). Let x = -27820 - -27888. Is x greater than n?
True
Let k = -7 + 2. Suppose 8*x = 7*x + w + 4, 2*w + 18 = -3*x. Is k not equal to x?
True
Let m be (-8 + -3 - 2)*5. Let b = m - -43. Which is greater: -21 or b?
-21
Let z be (-1)/5*(-5 - -8). Which is smaller: z or 304?
z
Suppose -3*h + 6*h + 1 = 5*o, 0 = -3*h - 2*o + 13. Suppose -3*w + 93 = h*p, -4*p - 2 = -5*w - 99. Let z be -4*((-12)/36)/((-4)/(-87)). Is z < p?
False
Suppose 81 - 3721 = -2*j. Suppose 30*s - j - 100 = 0. Which is smaller: s or 0?
0
Let a(s) = -33*s**3 + 16*s**2 + 244*s - 1189. Let d be a(5). Which is smaller: d or -25860/7?
-25860/7
Let f(i) = -369*i**3 + i**2 + i - 1. Let k be f(1). Let g be (k/64)/((-2)/8) + -3. Let q = 0 + 1. Which is smaller: g or q?
q
Let c = -15 - -27. Let t be -2 - -3 - 34/c. Suppose -l + 33 = 34. Is t smaller than l?
True
Suppose -204*y + 209*y - 15 = 0. Suppose -4*s - 228 = l, 0 = -4*s - 0*l - y*l - 228. Let v be s/(-4) + (-6)/(-1 + 7). Which is bigger: 13 or v?
v
Let d be (10 - 0)*(-1 - 21). Let r be ((3/(-2))/1)/(66/d). Let w be -1 + -3 + 20/r. Is w < -5/16?
False
Let m(p) = p**3 - 11*p**2 + 20*p - 281. Let f be m(13). Which is smaller: 316 or f?
316
Let o = -354 - -469. Let h be 119 - (-5 + 3 + 8 - 3). Which is greater: h or o?
h
Let b = -128/665 - 8/35. Suppose 2*t + n - 3 = 4*n, 2*n = 2*t - 2. Do t and b have the same value?
False
Suppose -3*c + l + 542 = -145, 4*l + 1159 = 5*c. Let q = 18 + 210. Which is greater: q or c?
q
Suppose 4*o + 5*i = 37, -2*o + 6 = i - 5. Let k be 5 - 2 - (6 - o). Suppose 8*d - 13*d = k. Is d at least 21?
False
Let p = 20 - 26. Let o be ((-90)/(-1275))/(0 - p/20). Let s(h) = -h**3 + 2*h - 1. Let q be s(0). Which is bigger: o or q?
o
Let j = 502 - 296. Let g = 201 - j. Is g greater than or equal to 11?
False
Let m = 2095 + -2626. Is m less than -546?
False
Let v be (-624)/1664*1*(-4)/(-33). Is v <= -103?
False
Let r be 5/((3/(-9))/(17/3)). Let a be (3 + -3)*(4 - r/(-20)). Which is smaller: 1/26 or a?
a
Let m(p) = -7*p**3 + p. Let i be m(-2). Let b be (24/i*-3)/(1468/(-6)). Does b = -1?
False
Suppose 55 = 21*t - 26*t. Let v(l) = l**3 - 4*l**2 + 8*l - 9. Let h be v(3). Suppose 0 = h*o + 4 + 56. Which is bigger: t or o?
o
Let l(t) = -2*t**2 + 4280*t + 42996. Let z be l(-10). Suppose 0 = -2*x + 5*y + 11 - 54, -73 = 3*x + y. Which is smaller: z or x?
x
Let w(n) = 12*n + 2. Let m be w(-2). Suppose -3*b = -5*y + 25 + 41, -5*y + 60 = -5*b. Let v = m + y. Is v != -9?
True
Let k be (-3)/(-6) - 166/(-4). Suppose -30 = -2*s - 2*c, -5*s - 3*c = -k - 43. Suppose s = 3*r - 8*r. Is -2 at least r?
True
Let f = 418 - 410. Let h(x) = -x**3 - x**2 + 3*x - 1. Let w be h(-3). Let s be (-8)/21*6/w. Which is smaller: s or f?
s
Suppose 5*x - 16 = 4. Let r(k) = k**2 - 16*k + 33. Let f be r(14). Suppose -2*z - f*b + x = -3*b, -b = 3*z - 14. Is z >= 5?
True
Suppose a - 1 = -6, -3*c - 4*a + 229 