 Is j greater than or equal to -68?
True
Let u be (4 + (-15)/(-4))*3*-4. Let y = 21 - u. Do y and 113 have different values?
True
Let x be ((-12)/(-3) + -4)*(-2 + 10/4). Let m = -765 - -111691/146. Which is bigger: m or x?
m
Let x be (0 - -7 - 6)*(-20)/(-15). Suppose 0 = 5*g + v + 23, 2*v = -2*g - 5 - 9. Let y be 7/(-14) + (-10)/g. Is x less than y?
True
Suppose 3*a + 2*a = 20. Suppose 3*d - 30 = -m + 97, -3*m = a*d - 176. Suppose -11 + d = 5*v. Is v > -2?
True
Let m = -330 + 326. Let x be (1 + 0 - 1)/(5 + m). Which is greater: x or -9/38?
x
Let y(l) = -l**2 + 4*l + 1. Let k be y(3). Suppose k*f = -3*x + 151, 0 = -4*x + 4*f - 5*f + 184. Let j be (-3 + 60/(-24))*-8. Which is smaller: x or j?
j
Suppose 74*q = 41*q + 19074. Is q bigger than 2884/5?
True
Let m(x) be the third derivative of -x**5/60 - 17*x**4/12 - 17*x**3/3 + 2*x**2 - 18. Let s be m(-33). Is s at most -2/209?
True
Let q = 0.11522 - 0.01522. Is q <= 3688?
True
Suppose 0 = 2*z + r + 368, z - r = -z - 368. Let i = z + 177. Are -7 and i unequal?
False
Let u = 6.8439 + -1.8439. Is -1385 equal to u?
False
Let h(n) = n**2 - n - 15. Let o be h(5). Suppose -50 + 15 = -o*i. Which is greater: 12 or i?
12
Suppose 66*l + 695230 = -51560. Which is smaller: l or -11314?
l
Suppose 0 = -4*c + 11*c + 707000. Let w be 5*16/c*(-2 + 7). Which is smaller: w or -1?
-1
Let w be 16/24*(-87)/(-2). Let z = w + 2. Let v be (190 - 124)*((-6)/4 + 2). Is z less than or equal to v?
True
Let k be -11 - (7/(28/24) - 12). Let y be 17520/(-378) - k/(180/(-8)). Which is bigger: -48 or y?
y
Let g(p) = -40024*p + 320212. Let c be g(8). Suppose 3*u + 2*d = 14, 4*u + 8 - 36 = -5*d. Suppose u*y - 38 = -0*y. Do c and y have the same value?
False
Let m be (-5)/(-1) + (-188)/40. Let i = -0.103 + 0.923. Let s = -0.18 - i. Which is smaller: m or s?
s
Suppose 57*d - 100*d - 174880 = -11*d. Do d and -5466 have the same value?
False
Let p = 65 - 65.11. Let z = -7802.83 + 7803. Is z at least as big as p?
True
Let p = 3988 + -51364/13. Is 38 > p?
True
Let f(i) = -i**2 + 18*i - 81. Let b(v) = v**2 - 36*v + 159. Let z(k) = -2*b(k) - 5*f(k). Let q be z(4). Let x be -160*((-6)/(-10) + -1). Is x > q?
True
Let t = -105 - 6. Let d = 239836 - 239947. Is d equal to t?
True
Suppose -12*f + 1987 = 30*f - 47699. Which is smaller: 1181 or f?
1181
Let x be 3 - (-5 + 7) - (4 + -5). Is 259 at most x?
False
Let r = -98 + 79. Let c be 8/(-24) - r/12. Is c greater than or equal to 0?
True
Suppose -5*v + 4*q = -0*v - 850, 0 = q. Let p = 187 - v. Is 0 > p?
False
Let v be 2/(-10) - (-135)/(-75). Let u be (-3 + 3 + 2)/v. Which is smaller: 2/175 or u?
u
Suppose -78 = -4*s + 3*t - 52, 3*s - 3*t = 24. Do 79/57 and s have different values?
True
Let x be 21/2*(-1622)/17031. Suppose 5*s - 6*s = 96. Let n be s/47 - (1 + -3). Which is bigger: n or x?
n
Let a = 14022 + -14026. Are 349 and a equal?
False
Let r = -50 - -62. Suppose 0 = -8*d + r*d. Suppose 0 = -4*h - 4*c + 16, -3*h + 3*c = -d*h - 36. Is 7 at most h?
True
Let p = -0.14 - -3.68. Let n = -0.04 + p. Let x = -4.1 + n. Is x less than or equal to -1/5?
True
Let p(q) = -q**2 + 2. Let d be p(0). Let n be (-2)/11 - 1738/(-242). Suppose n*v - d = 5. Does 4/3 = v?
False
Let z(w) = 8*w + 26. Let k be z(28). Suppose -13*q + k = 12*q. Is 78/7 less than q?
False
Suppose 64*a = 19*a + 270. Let h be (-12)/(-15)*25/1. Suppose 12 = 5*q + 4*r - 8, -4*r + h = q. Is a smaller than q?
False
Suppose 0*h + 45 = 3*h. Let w = 719 + -727. Let n be (2 - (-18)/w)/(h/30). Is -4 bigger than n?
False
Let w be (3 + (-248)/112)*14/(-2086). Which is smaller: w or -1?
-1
Let z = -28547 - -28585. Which is bigger: z or 32?
z
Let b = 0.1118 + -99.7118. Let d = -102 - b. Does d = -1/6?
False
Let p = 711.6 - 711.602. Which is smaller: 1/36 or p?
p
Let a = 68.49 + 0.51. Let n = 109 - a. Let t = n - 40.4. Which is greater: -0.05 or t?
-0.05
Let y(i) = -i**3 - 19*i**2 - 21*i - 52. Let r be y(-18). Which is greater: 376 or r?
376
Suppose 0 = -2*v - 2, -40*p + 2*v = -43*p - 35. Let b be (589/(-38))/((-3)/(-2)). Which is bigger: b or p?
b
Let o = 6.8 + -7. Let u = -261/35 - -33/5. Is o at most u?
False
Let v be (0/(-57))/(9/(-9)). Do 1/2515 and v have different values?
True
Let u = 5 - 1. Suppose 6*m - u*m = 16. Are m and 6 unequal?
True
Let m = -5820.298 - -4.298. Which is smaller: m or -1/4?
m
Let s = -319 - -319.315. Let w = 0.315 - s. Let t(b) = 12*b - 2. Let y be t(-2). Which is greater: y or w?
w
Let n(t) = 13*t - 26. Let d be n(-6). Let j be (-1)/(20/d)*-75. Let v = j + 1957/5. Do 2/7 and v have different values?
True
Let y be (68 + 1870)/(9/2)*(-57)/(-2). Is y != 12275?
True
Let x = -6.2013 + 6.2. Let l = 0.0013 + x. Is l > 9/32?
False
Let h be 18/(-38)*3/(-126)*-7. Suppose g = 11*g + 10. Which is greater: g or h?
h
Let w(h) = -86*h + 1550. Let z be w(18). Let n be 3/1*(1 - 0). Suppose -f + 5*b = 27, n*f - 18 = z*f - 4*b. Which is smaller: f or -7/11?
f
Let u(w) = w**3 - w**2 - 75*w + 14. Let s be u(10). Let b be s*((-68)/(-48) - 1/6). Is b at most as big as 205?
True
Let l(c) be the third derivative of c**5/15 - 5*c**4/24 - 2*c**3/3 - 6*c**2 - 5. Let y be l(2). Suppose -2*j - 4*w = -10, 2*w - 10 = j - w. Is y at most j?
False
Let j be 20/5 - 8/4. Let y be (-40)/(-16) - 3/j. Which is greater: 27/13 or y?
27/13
Let w be (1333/62)/(3/(12/812)). Do 1 and w have the same value?
False
Let u = 52 + -55. Let d be (-10)/(-15) - (-14)/u. Let t be (1/(-13))/(d/24). Which is smaller: 1 or t?
t
Let p = 73899/10 - 7384. Which is smaller: p or -4?
-4
Let j(g) = -g + 4. Let k be j(3). Let l be -880*4/(-230) - 14. Which is smaller: k or l?
k
Let v(j) = 4*j - 26. Let w = -61 - -68. Let u be v(w). Let x be (3 - 1)/(u + -56). Does x = 0?
False
Let y = -353.9 + 337. Let g = y + -1.1. Is -3 smaller than g?
False
Let q = 1904 + -1903. Which is smaller: q or 4435?
q
Let t be 2/(-11) - 230/(-55). Let z(v) be the first derivative of -v**3 - 9*v**2 + 4*v + 24. Let o be z(-6). Is t at least o?
True
Let y = -48.798 + 87.817. Let f = y - 0.019. Let d = -11 - -10. Are d and f equal?
False
Let i(f) = -f**2 + 2. Let z be i(-3). Let w(d) = -d**2 - 8*d - 3. Let o be w(z). Suppose -5*x + o = s - 12, -4*s - 4*x + 16 = 0. Which is greater: 6/23 or s?
s
Let s be (-5)/40*-10*4. Let q = 31 - 16. Suppose 20 = -s*y - q. Does -7 = y?
True
Let q(s) = -4*s**2 + 8*s - 3. Let g be q(-6). Suppose 0 = l + 294 - 324. Let y be (l/g)/(4/10). Which is bigger: 1 or y?
1
Let u = 941/4 - 2875/12. Let n = 11 - 14. Which is smaller: u or n?
u
Let o = -5006 - -6374. Does 1370 = o?
False
Suppose 4 = 3*i - 8. Suppose 9*r + 12 = 6*r, 4*r + 13 = -m. Suppose 5*k = -3*d + m, -4*d = -2*d - i*k - 2. Which is bigger: d or 2/59?
d
Let h be 3*(-1)/(1/(-15)) - 3. Suppose -h = 5*r - 7*r. Suppose -3*c - r = 27. Are -17 and c equal?
False
Suppose 3*j = 3*m - 7*m - 816, -3*m = 3*j + 813. Let t = j + 297. Is 25 greater than or equal to t?
False
Let g = 855 + 861. Which is greater: 1715 or g?
g
Let w be ((-8)/9)/((-63)/567) + -16. Let x be ((-2)/(-4))/((-2)/(-4)). Is w less than or equal to x?
True
Let k = 10625 - 11143. Is 8 at least k?
True
Let q(o) = -25*o - 343. Let c be q(-23). Which is greater: 231 or c?
c
Suppose 54*u - 52*u + 735 = -3*s, 2*u + 725 = -5*s. Is -379 != u?
True
Let z = 1 - 21. Let k = 20607 + -20628. Is z >= k?
True
Let t = 571/6 + -16679/174. Suppose -y = -3*y. Which is greater: t or y?
y
Let t be (-3)/9*(41 + -40). Is t bigger than -236?
True
Suppose -3*b - 4*o + 92 = 0, 5*b - 28 = -3*o + 140. Let k = b - -14. Which is greater: k or 53?
53
Suppose -32*v - 55884 = -55820. Are v and -53/49 unequal?
True
Let u be (310/105 - 3)*1311/37. Let c = -36/37 - u. Which is bigger: c or -1?
c
Let s = -13 + 6. Let t(a) = 4*a**2 + 2*a - 1. Let f be t(1). Suppose -f*u + 1 = -5*p - 4, 2 = 5*u - 4*p. Which is bigger: u or s?
u
Let f be 3 + (-2 + 0)/2. Suppose f*x - 12 = 14. Let k = 12 + 0. Is k bigger than x?
False
Let p(y) = -87*y + 603. Let m be p(6). Which is smaller: 71 or m?
71
Let a = 62623 + -1457926061/23281. Which is greater: a or 0?
a
Suppose 3*u - 1028 + 188 = d, 0 = -4*u - 2*d + 1110. Do 279 and u have the same value?
True
Let k(z) = 5*z**2 + 156*z - 485. Let n be k(3). Is -85 greater than n?
False
Let i = 157 - -410. Suppose i - 210 = 3*o. Which is smaller: 2/5 or o?
2/5
Suppose -8*h - 90 = -2