-2 + 7)*(-36)/p. Are x and -24/5 equal?
False
Let u = -211356 + 3589803/17. Let s = 191 + u. Is s bigger than 1?
False
Suppose 0*n + 36*n = 64224. Is n at most 1783?
False
Let m = -3077239877/255 + 12067406. Let k = 1007/5 + m. Which is smaller: k or 0?
0
Let o = 122 - 125. Suppose -2*w - 39 = 5*t + 89, 0 = -4*w + 3*t - 256. Do o and w have the same value?
False
Let c(s) = -45*s**2 + 8*s + 8. Let y be c(-1). Let r be (y/(-30) + 1/(-2))*10. Which is greater: 11 or r?
11
Let q = -23437 + 304597/13. Let o = -5 - 0. Which is bigger: o or q?
o
Let y = -68.79 - -2.59. Let j = 3.2 + y. Let s = j - -67. Do s and -6/11 have the same value?
False
Let s be 3/3 - (3 - (-8 - -15)). Let u be -7 + s - (1 - 30/7). Which is greater: 0 or u?
u
Let f = 261022/166335 + 153/4265. Let n = f + -20/13. Let v = 3 - 2. Which is bigger: n or v?
v
Let h = 328 + -317. Let b be (4/10)/(12/(-10) - -1). Which is bigger: h or b?
h
Let t = 3.2 - -1.3. Let o = t + -4.63. Let p = -0.07 + o. Which is greater: p or -0.1?
-0.1
Suppose n + 3*d + 2*d - 45 = 0, -33 = -n + d. Suppose -n = 4*s - 71. Suppose f = -f + 8. Is s smaller than f?
False
Let s = -172 + 188. Suppose -2*m - 8 = -s. Is 3 at most m?
True
Let d be (-40295)/10 - 5/4*(-20)/50. Are -4028 and d equal?
False
Let d(v) = 85*v + 10. Let q be d(-4). Let n be q/(-65) + (-3 - 3). Which is greater: 0 or n?
0
Let y = 2922 + -2920. Is -12 at most as big as y?
True
Let q = -43 + 40. Suppose -5*n + 1 = 2*h - 4, h - 5*n - 10 = 0. Suppose h*w - w + 20 = 0. Which is smaller: q or w?
w
Let k = 8899 + -10125. Does k = -1228?
False
Let k be (-3)/(-5) + 72/(-20). Let c be (-3)/(k/(-2) - 2). Let l be (2 - c - -2) + 0. Does -2 = l?
True
Let b(p) be the third derivative of -p**6/120 + p**5/20 - p**4/24 + 10*p**3/3 + 64*p**2. Let k be b(4). Which is bigger: k or -2/17?
k
Let z(i) = -14*i + 70. Let v be z(5). Is v bigger than -10/4351?
True
Let m = -1370 - -1370. Let n(w) = w**2 + 14*w + 11. Let i be n(-10). Let t = 18 + i. Which is smaller: t or m?
t
Let k = -597 - -596.9. Which is greater: 274 or k?
274
Let k(z) = -3*z + 31. Let d be k(3). Suppose d*b = 1190 - 178. Are 46 and b unequal?
False
Suppose 2*v = 3*l - 16, 0 = -10*v + 5*v - 5*l + 10. Let f be (v + 18)*6/3. Suppose -g - 18 = -2*g - 3*s, 3*g - f = 2*s. Which is bigger: g or 14?
14
Let m = -313 + 351.5. Let i = -30.5 + m. Let k be (-7)/(-28) - 11/(-4). Is k greater than i?
False
Let x = 5757/5 - 1145. Suppose 27 = 6*h - 3*h - 3*k, -2*k = 3*h - 17. Is x less than or equal to h?
True
Let v = 0.64 + -0.862. Let n = 0.345 + v. Which is smaller: -0.1 or n?
-0.1
Let u = -4.61 + 2.81. Suppose n = 6*n - 10. Let f be 0 - (-3)/15*n. Is f at least as big as u?
True
Let r(x) = -16*x + 199. Let n be r(12). Let l be 30/(-25)*(-10)/3. Suppose a - 5 = -l. Which is bigger: n or a?
n
Suppose 3*h = -v + 5900, -3*h - 15*v = -17*v - 5885. Which is smaller: h or 0.1?
0.1
Let c(w) be the second derivative of 0 - 3/4*w**4 - 30*w + 8/3*w**3 + w**2 + 1/10*w**5. Let o be c(4). Is o not equal to 49?
True
Let f(m) = 241*m + 13858. Let k be f(-65). Which is bigger: -1800 or k?
-1800
Let n = -85 - 72. Let f = n + 2513/16. Suppose -8*k + 20*k = -24. Which is smaller: f or k?
k
Let f be ((-99)/(-12))/((-3)/(-4)). Suppose -22*y - 781 = -f*y. Which is bigger: -75 or y?
y
Let y(c) = -22*c**2 + 34*c - 1. Let n be y(2). Is 2 less than or equal to n?
False
Let d = -1/32045 - 350027/96135. Is d equal to -5?
False
Suppose 0 = r + 2*h - 5*h - 34, 2*r = -2*h + 60. Suppose -12*a - r = -19. Which is greater: -3/182 or a?
-3/182
Suppose 0 = 17*g - 14*g. Let b(p) = -5*p - 2. Let k be b(g). Let z(o) = 2*o + 1. Let q be z(k). Is q greater than -10?
True
Let f = -63696 - -199991/3. Let g = -3021 + f. Is g > -54?
True
Suppose 0 = -12*d + 44 + 148. Let s be d/8 + (1 - 7). Let z be -6 - 10*s/8. Are 1/4 and z nonequal?
True
Let f = -11/48 - -3395/48. Let v = 69 - f. Let y = 62 - 63. Is y at least as big as v?
True
Let q(j) = 2444*j - 168637. Let h be q(69). Let w = -0.3 + 0.1. Let m = 0.2 + w. Is m less than or equal to h?
False
Let u be ((295536/98480 - 11) + 8)/(2/(-5)). Which is bigger: -1 or u?
u
Let k = 4138 + -3705. Which is bigger: k or 434?
434
Suppose 2*n - 10 + 0 = 2*g, -2*n = g - 13. Let q = n + -3. Suppose 0 = 5*s - o - 2*o + 97, -3*s - q*o = 39. Is -18 less than s?
True
Let k = 98 - 104. Let c be (k + 2)*(-20)/(-120). Is -8.4 greater than or equal to c?
False
Suppose 4*h + 12 = 3*r, 1 = 5*r - h - 2. Let q be (-26)/65 - (12552/(-15615))/2. Let s = 3137/7287 - q. Which is smaller: r or s?
r
Let a be ((-4)/6)/(69/(-9)). Suppose 162*i - 1260 = 168*i. Let f = i - -211. Which is smaller: a or f?
a
Let a(u) = 2*u**2 + 58*u + 307. Let n be a(-7). Which is smaller: -17/142 or n?
n
Let f(d) = 3*d**2 + 74*d - 367. Let n be f(54). Is 12377 >= n?
True
Let r(a) = -7*a - 72. Let t be r(-12). Suppose 31 = -b + 2*y + y, -3*y = -t. Which is smaller: -22 or b?
-22
Suppose 4*u + s + 740 = 0, 108*u = 109*u - 3*s + 172. Which is greater: -195 or u?
u
Suppose 3*g + 43 - 46 = 0. Let x be (g/15*-5)/(0 - 1). Let r = 32.35 + 0.65. Which is greater: r or x?
r
Suppose 0 = -646*t + 643*t - 54. Let z(l) = -l**2 - 2*l. Let a be z(-3). Let c be t/2 + 3 - a. Is c < -1?
True
Suppose -4*n = 3*b - 4464, -3*n - 1095 + 4418 = -4*b. Is n < 2/3?
False
Let a = 2900 + -2890. Let u(y) = 4*y - 42. Let i(b) = -4*b + 42. Let r(j) = 3*i(j) + 4*u(j). Let c be r(a). Is -9/5 less than c?
False
Let j(x) = -x**2 + 4*x + 7. Let n be j(5). Suppose 12 = -n*t - 10. Does -16 = t?
False
Let c(g) = 42*g**2 + 3408*g + 482. Let a be c(-81). Let l = 2085 + -25061/12. Is l less than or equal to a?
False
Let l = 3928/3 + -29333/15. Which is smaller: l or -647?
-647
Let v be 30/24*23/(-115)*4/(-234). Which is greater: v or 0?
v
Suppose -61 - 9 = -7*m. Suppose -7*n - 4*p + 14 = -9*n, -3*p = -n - m. Which is bigger: n or 2/39?
2/39
Let y = -30920 + 246883/8. Is y < -59?
True
Let n = -16 - -16. Suppose n = 3*i - 1 - 782. Let b = i - 2868/11. Which is smaller: b or -3/4?
-3/4
Let r = 717 - 717.363. Let i = 0.027 - r. Let u = i + -2.39. Is u bigger than 0.23?
False
Let q = 17 + 247. Let c = q + -129. Let w = -134 + c. Which is smaller: w or 59?
w
Let r be 1*-13 + -117 + 127. Is r at least as big as 50/7?
False
Suppose 0 = -t - 5*x - 216, 146*x - 143*x + 397 = -2*t. Is -205 less than t?
True
Let x be (1/(-2) - 0)/(2/40). Let c = x - -17. Let u be 2/c - (-244)/126. Do 2 and u have different values?
True
Let b = 9.1 + -10.1. Let u = -41.4 + 4.4. Let t = u - -36.896. Is t less than or equal to b?
False
Let d = -0.12848 - -0.23201. Which is smaller: d or 0?
0
Suppose -5*d = k - 10, 3*d = -0*d. Let t be (-4)/22 - (k/(-11))/5. Is 2/91 >= t?
True
Let q = 55153/5895845 + -4/10585. Which is smaller: 1 or q?
q
Let m = 13.772 + -13.828. Which is bigger: m or 55?
55
Suppose -l - 3*u - 321 = 0, 15*l + 1675 = 10*l - u. Let i be (-656)/l - (-20)/(-12). Which is smaller: 31/7 or i?
i
Let a be (-61)/(366/(-108))*(-369)/2. Is a bigger than -3320?
False
Let s be (3/(-15))/(38/(-114)). Which is greater: s or 0.0375?
s
Let x = 23 - 14. Let p = 46 + -14. Suppose 10*r = 14*r - p. Is x greater than or equal to r?
True
Let j = 2606/159 - 3978/53. Suppose 300 = -3*l - 2*l. Is j greater than l?
True
Suppose -2*l - 10 = 0, -3*z = 5*l - 28 - 43. Let s = z - 15. Which is smaller: s or -5?
-5
Let q = 24/709 + -369605/6381. Are q and -2/3 unequal?
True
Let x = -6146 + 129116/21. Is x >= 3?
False
Let c(s) = 14*s + 1. Let i be c(2). Let n be ((-40)/4 + 8)*113/(-2). Suppose -2*d - 2*j = -60, n = -2*d + 6*d - 3*j. Is i >= d?
True
Let q(f) = -5*f**2 + 22*f - 160. Let j be q(-15). Is 0 at most as big as j?
False
Let r(y) = y**3 - 5*y**2. Let o be r(5). Suppose 4*n = -4*q - 12, -5*q + o - 13 = 4*n. Is -3 at least as big as q?
False
Let m be 8 + 504/(-35) - -1. Let v(d) = -6 + 14 - d**3 + 11*d**2 - 4*d**2 - 8*d. Let k be v(6). Which is bigger: m or k?
k
Let j be 4/14 + 376/(-1218). Suppose -3*b = 5*a + 14 - 34, -20 = 3*b - 5*a. Suppose b = 5*g + 20*g. Is g greater than j?
True
Let p be ((-195)/63)/(-5) + 40/60. Is 105 equal to p?
False
Suppose 170*x - 1045 = 165*x. Suppose 0 = 6*k + x - 593. Is 66 at least as big as k?
True
Let y(v) = v**3 - 3*v**2 + 3*v - 10. Let x be y(3). Let s be x - (-6 + (-4)/4 + 0). Let b be s/(-4)*44/66. W