(-45)/12 - (-66 - -60). Which is smaller: q or -125?
-125
Let h be 12 + (-5815)/1375 + -8. Which is smaller: h or 0?
h
Let l(x) = -x**2 + 27*x - 144. Let p be l(30). Let o = -351 - p. Which is smaller: -116 or o?
o
Let y = -11.65 - -12. Let f = 315 + -349.35. Let z = y + f. Are 0.1 and z nonequal?
True
Suppose 0 = 140*y - 105 - 35. Which is bigger: y or -8/593?
y
Let q be 432/144 + (213 - (-5 - -3)). Which is greater: 214 or q?
q
Let q = 141 - 132.6. Let c = -3.5 + -4. Let s = q + c. Which is greater: s or 0?
s
Let q(p) = p + 4. Let h be q(2). Suppose -h*m - 4 = -4. Suppose m = -3*u + 4*g + 73, -5*g + 0*g - 130 = -5*u. Which is greater: u or 32?
32
Suppose 138*q + 139*q - 259*q = 18. Is q at most 1/3005?
False
Suppose -2*r = 4*k - 198, -3*k = -3*r + r + 212. Let c = r - 104. Let q be 7/((-112)/(-24))*c/(-36). Are q and -2/3 equal?
False
Let f be 2/8 + 1/(-4). Let y = 350/11 - 997/22. Let l = -79/6 - y. Is l >= f?
True
Suppose 130 = 5*m + 5*r, -867*m = -864*m - 4*r - 141. Are m and -1.35 equal?
False
Let v be (-11)/(-6) - 2 - 85288/(-1680). Which is smaller: v or 52?
v
Let p = 1078 + -638. Let k = p - 440. Is 1/9 less than or equal to k?
False
Let m = -2686/3 - -1850/3. Let s = m + 286. Let z(o) = -126*o**2 - 4926*o - 461. Let i be z(-39). Which is bigger: s or i?
s
Let n(i) be the second derivative of -11*i**2 + 1/2*i**3 - 25*i + 0. Let p be n(8). Which is bigger: p or 16/5?
16/5
Suppose 5*c - 1285 = -x, 3*c + 3*x - 694 = 89. Let s = c + -264. Let w be (-1)/(-1 - 9/(-8)). Is w less than s?
False
Let v(z) = -z**2 - z + 6. Suppose -5*f - 38 = -5*l + 4*l, -5*l + 1 = 2*f. Let o be v(f). Do 1 and o have the same value?
False
Suppose 0*o - 4 = -2*m - 5*o, -3*o = -3*m + 6. Suppose -m*p = 5*y + 8 + 2, -3*y = 6. Suppose -19 = -p*a - a. Is a greater than 20?
False
Suppose -z - 3*z = 0. Let d = 570 + -2844/5. Which is greater: d or z?
d
Let m(f) = 2*f**3 + 10*f**2 + 17*f + 99. Let j be m(-5). Is j at most 207/14?
True
Let x = -65 - -107. Suppose 3*v - 9*v = -x. Suppose v*o + 19 = -156. Which is smaller: -26 or o?
-26
Let x be 2/3*(-180)/(-8). Is 5 at most as big as x?
True
Suppose -8 = -4*k + 4*r, -r = -3*k + 4*k. Let n(h) = 5*h**2 - 28*h + 9. Let x be n(6). Suppose u + 4*u + 43 = -3*j, j + x = -5*u. Which is greater: k or j?
k
Let c = 208.19 - 209.19. Which is greater: 10.09 or c?
10.09
Suppose 3*j + 18 = -21. Let x be -9 - j - 42/1. Let q be ((-56)/(-210))/(x/3). Is -1 > q?
False
Suppose 0*t - k + 165 = -5*t, 5*t = 2*k - 165. Let x = t + -33. Let s = x + 65. Is s <= -2/77?
True
Let x = 0.3 - 1.3. Suppose 503*w - 2716 = -15395 - 37621. Is x != w?
True
Suppose 7*u + 284 - 291 = 0. Is u at most as big as 1/2744?
False
Let v = 101560 - 813713/8. Are -155 and v equal?
False
Suppose 5*a + 2*v - 22200 = 0, 3*a - 7149 = -4*v + 6185. Suppose 15*y - a - 1622 = 0. Are y and 404 equal?
True
Suppose 16326 = 25*y + 53551. Which is bigger: y or -1488?
-1488
Let v be (((-8046)/231 - 8) + 4/14)/2. Which is smaller: -22 or v?
-22
Suppose 0*y + 2*c - 980 = y, 5*c = -5*y - 4825. Let v = 71779/74 + y. Which is bigger: 1 or v?
1
Let m(x) = x**3 - 5*x**2 - 5*x + 1. Let k be m(6). Suppose s + k*s = -8. Let l be (-3)/(-9) - (s + (-165)/18). Which is smaller: l or 10?
10
Let p be (4 - (-685)/(-172))/((-3)/(-2)). Let i = 474.9 - 475. Is i bigger than p?
False
Let d = -0.336 + 0.546. Let l = d - 0.21. Which is bigger: -7.3 or l?
l
Let k = 5990 + -5991. Which is bigger: k or 14567?
14567
Suppose -n = 10*n - 22. Let s be (8/12)/(20/27). Is s equal to n?
False
Let x = 0.962 - 0.58. Let d = x - 0.192. Which is bigger: d or 4?
4
Suppose -5*c + 55 = w, 2*w + 3*c + 93 = 5*w. Let j be (1 - 52/(-5)) + 21/w. Let h be (10/24)/(j/36). Is h equal to 1?
False
Let r be 3 - -5 - (4 + -1). Suppose r*j - 11 = 74. Let u = j + -9. Are u and 13 equal?
False
Let k(c) = -2*c**3 - 10*c**2 + 37*c + 100. Let b be k(-6). Is -48 <= b?
False
Let r = 25 + -30. Let o be 2/5 + (-58)/r. Let u be (-9)/6*(-136)/o. Is 19 less than or equal to u?
False
Let i be (1982695/255)/(-13) + 3/9. Let x = i + 598. Let k(u) = -u - 4. Let v be k(-5). Is x at most as big as v?
True
Suppose 22 = -34*s + 36*s + 4*f, 5*s + 7*f = 37. Is -40/59 smaller than s?
False
Suppose 8*x + 1035 = -15*x. Let q be (1 + -2)*(5 + x/9). Is q greater than or equal to 7?
False
Let t be ((-4929)/5353)/31*((-6)/8)/3. Let d be -5 + 4 + 0 - -2. Which is greater: t or d?
d
Let r(a) be the third derivative of -a**6/120 - 2*a**5/15 + 7*a**4/24 + 2*a**3 - 30*a**2 + 2. Let u = -32 + 23. Let w be r(u). Is 29 > w?
False
Let s(m) = -2*m**2 - 10*m + 12. Let a be s(-6). Suppose 1152 = -a*i + 3*i. Suppose 8*k + i = -0*k. Which is greater: k or -1?
-1
Let n be ((-31)/21 + (-20)/(-15))/((-20)/(-40)). Let t = -392 - -271. Which is smaller: n or t?
t
Let m = -45 - -87. Let g(c) = 4*c + 25. Let y be g(4). Is y smaller than m?
True
Let g = 1671.643 - 1674. Let k = g + 6.957. Let x be (2/(-6))/(2/4). Which is greater: x or k?
k
Suppose 29*j - 270 = 11*j. Suppose -2*a = a + j. Let i be -183*(80/15 + a). Is -61 less than i?
False
Let c = -7587 + 7587.1. Suppose 0 = 4*z - 5*b - 1029, 0*z - z + 2*b + 258 = 0. Is z less than or equal to c?
False
Let z = 715493 + -12157875/17. Let o = z + -324. Is o > -0.2?
True
Let y(m) = -2*m**3 + m**2 + 3*m - 1. Let o be y(2). Let c be 13 + 6/(-9)*(-10 - o). Is c > 102/7?
True
Let b = 30576 - 30575. Which is bigger: -2/8041 or b?
b
Let j(z) = -187*z - 49. Let i be j(-4). Let x be (-3)/((-4 - 0) + i/132). Which is bigger: x or -3?
x
Let t = -1.8 + 278.8. Let w = t - 278.93. Let r = -2 - w. Are r and -0.1 non-equal?
True
Let a be (-2)/63*1698 + (-42)/441. Let h = 8 - 3. Suppose 4*c + h*q = -221, c - 1 = 2*q - 53. Is c at most a?
True
Let b be ((-3)/(-55611))/(136/134496). Let k = 2/2839 + b. Which is greater: k or 5?
5
Let s(m) = m**2 + 1. Let a(x) = -2*x**2 + 13*x - 5. Let w(q) = a(q) + s(q). Let y be w(5). Let c be 4/12 - (-1 + 57/y). Are -1/14 and c equal?
False
Let r = -557 - -2783/5. Let q = -0.21 + 0.41. Do r and q have the same value?
False
Let y = -23741 + 23532. Is y at least as big as -628/3?
True
Let t(k) = 28*k**3 + 2*k**2 - k + 2. Let i be t(-3). Which is smaller: -734 or i?
-734
Suppose -61*p = -55*p + 18 + 30. Let u = 2063/40 + -483/8. Which is bigger: u or p?
p
Suppose -5*q + 131 = -2*r + 376, -5*r + 245 = -5*q. Suppose 39*k = 2232 - 4182. Is q less than or equal to k?
False
Suppose 5 = 4*w + w. Let v be 374 + w + 5/(-5). Is 374 greater than or equal to v?
True
Let c be ((-1524)/(-270))/2 + 14/(-63). Are c and 3 equal?
False
Let x be (49/(-21))/(((-6)/216)/((-4295)/20)). Is -18040 >= x?
False
Suppose -2*t - 5 = -3, o = 2*t + 11. Let y(s) = 122*s + 1586. Let m be y(-13). Is o not equal to m?
True
Suppose -3*h + 17*t + 10 = 19*t, -h + 2*t = -14. Let x be ((-150)/9)/(-10)*h/35. Is x >= 15?
False
Suppose 0 = -2*m - z - 3444, -4*m - z - 8613 = m. Is m not equal to -1722?
True
Let o = -13 + 22. Let v = o + -17. Let m be (3360/448)/(2 + 60/(-21)). Do m and v have the same value?
False
Let x be ((-21)/(-70))/(((-15)/1810)/3). Is -109 less than or equal to x?
True
Let o(u) = -15*u + 2 - 1 + 16*u + 0. Let c(s) = -5*s - 25. Let l(q) = -c(q) - 4*o(q). Let f be l(-8). Which is greater: 11 or f?
f
Suppose -3*g - 2 = -2*g. Let k be 6351/9*12/112. Let c = k - 307/4. Is g greater than or equal to c?
False
Let y = 50 + -20. Let x be (-4 - y/(-6))/(2/12). Which is bigger: x or -2.4?
x
Let v = 507 + -303. Let h = v + -206. Let w = 6 + -8. Is h greater than w?
False
Suppose -26 = -4*x - 18. Let g(p) = -2*p**2 - 6*p**2 + 8*p**2 + p - p**2 + x. Let s be g(-1). Which is smaller: 2/45 or s?
s
Let g = 5187 + -3298. Which is smaller: g or 1887?
1887
Let i(d) = 44*d**2 + 3*d - 9. Suppose -11*o = 12 - 34. Let c be i(o). Which is smaller: 2/3 or c?
2/3
Let r be (-128)/5 + 1 + 2/(-5). Let v = r - -27. Suppose 5*g + v*m + 101 = -0, 10 = 5*m. Which is smaller: -1 or g?
g
Suppose 0 = -6641*q + 6648*q - 35. Which is greater: 459/101 or q?
q
Let b = -4311 + 3780. Which is greater: -532 or b?
b
Suppose y - 22 = 5*g, -4 = 3*g + 2. Suppose 2*r + y = -0. Let p = -1.7 + 1.3. Is r less than or equal to p?
True
Let b(j) = 98*j**2 + 88*j - 10. Let t be b(-1). Is 12/3215 less than t?
False
Let d(v) = 6*v + 6 - 21 - v**2 + 3*v. Let n(u) = 10*u - 3. Let i be n(1). Let 