se q - 4*g = -20, 3*q - 7 + 45 = g. Which is greater: q or t?
t
Suppose 5 + 19 = m. Suppose 3*y - m + 138 = 0. Let n = y - -31. Is n greater than -11?
True
Let g = -13 + 13. Let b(s) = -3*s**2 + 80*s - 86. Let h be b(26). Is g bigger than h?
True
Let t = 74 + -43. Suppose -3 = 2*o - t. Let i(v) = v - 12. Let q be i(o). Is q less than 0.12?
False
Let w = 2201 + -2254. Which is bigger: -57 or w?
w
Let l = 70 + -74. Let w = -18.73 + 19. Let d = -0.93 - w. Which is smaller: d or l?
l
Suppose -87*z = -92*z - 30. Let b be (-165)/(-220) + z/4. Let t = -0.2 + 1.2. Which is smaller: t or b?
b
Let b(m) be the second derivative of -3*m**5/10 + m**3/2 + m**2 - 5*m. Let o be b(-1). Suppose -40 = o*r - 10. Does -8 = r?
False
Let j be ((-39)/(-10374) + -2 + 2)/((-27)/12). Is 0 greater than j?
True
Let j = -13738 - -17964. Is j equal to 4225?
False
Let y(u) be the third derivative of 0 + 2*u**2 - 1/3*u**3 - 1/24*u**4 + 0*u. Let k be y(-2). Which is smaller: -1/93 or k?
-1/93
Let q = 0 + 3. Let u(a) = 12*a - 7. Let p(z) = 14*z - 7. Let d(m) = -5*p(m) + 6*u(m). Let j be d(q). Are j and -2/87 non-equal?
True
Suppose -6701*p - 166 = -6784*p. Is 148/61 at most as big as p?
False
Suppose -4793 = -221*i + 2289 + 22532. Which is bigger: 2526/19 or i?
i
Let a = 3.6548 + -3415.6548. Is a less than 2?
True
Suppose 14*h + 0*h + 5110 = 0. Let y = -281 - h. Is y bigger than 83?
True
Let n = 3.266 + -413.266. Which is greater: n or 1?
1
Let l = -4 + -8. Let k be (3 - -6)/(5 + -2). Suppose -5*j - 58 = -m, -j = -k*j - m - 26. Is j > l?
False
Let s = -113 - -112.37. Let g = s - 0.37. Let f = 4/21 + -226/1407. Which is smaller: f or g?
g
Let p(w) = -6*w + 3. Let r be p(-2). Let l = r + -9. Let t be (-5)/(-75)*(-9)/l. Is 0 less than or equal to t?
False
Let f = -83 + 34. Let k = -66 - f. Let x = -10.7 + 11.2. Is x less than or equal to k?
False
Let y = -3465.1 + -783.9. Which is greater: y or -0.1?
-0.1
Let a be 3/(-3)*(-2)/4*14. Suppose -3*b + 0*b + 4*x + a = 0, x = -5*b + 4. Which is greater: 10/13 or b?
b
Let b be (0 + -36)/(-2) - 2. Let g = -83 + 104. Let i be (8 + (-161)/g)/(2/84). Do i and b have the same value?
False
Let y(x) = -x**2 + 73*x - 291. Let q be y(69). Which is smaller: q or -31?
-31
Suppose 5*h + 5*r = 530, 2*h + 542 = 7*h - r. Suppose 0 = -3*x - h + 141. Suppose 3*i = i + 3*w - 19, -5*w = 2*i + x. Which is smaller: -4 or i?
i
Let i(p) = 12*p**2 + 4*p + 4. Let m be i(-1). Let q be 1/(-5)*((-520)/m)/(-2). Which is greater: q or -4?
-4
Let m = -9766/255 - 3/85. Suppose 0 = 2*i + 5 - 17. Let o be i/(-45) + (-2840)/75. Which is smaller: o or m?
m
Let z be ((-5)/((-45)/6))/((-747)/81). Is 1 greater than or equal to z?
True
Suppose -2*y = -r - 117, 0 = -4*r - 3*y + y - 458. Let w = -37 - r. Let s = -3373 + 3452. Which is greater: w or s?
s
Suppose 3*u - 2*r - 1 = 12, -3*u + 9 = -3*r. Suppose -1 = u*d - 8*d. Let j be (7 + -3)*d - 4. Which is smaller: 3/16 or j?
j
Let p = -4002 - -4001.8. Which is smaller: p or 1/195?
p
Suppose 36*g - 171 - 133 - 56 = 0. Which is smaller: g or 300/31?
300/31
Suppose -27*d + 29465 = 56*d. Is 352 at most as big as d?
True
Let l be (-1482)/4 - (8 + -10). Which is bigger: l or -370?
l
Let b = 103 + -99. Suppose -b*y + 458 = 422. Which is smaller: y or 8?
8
Suppose -5*x = 25, 110 = 5*g + 41*x - 37*x. Which is bigger: -21 or g?
g
Suppose c + 40 = -79. Suppose 2*w + 452 = -4*s, 2*s - 139 + 491 = 8*w. Are s and c equal?
False
Let z = -43 - -41. Let f = -19.004 - -0.004. Let o = -29 - f. Which is smaller: o or z?
o
Suppose 3*x + 4*g - 47 = 0, 0 = -9*x + 11*x - 2*g - 8. Which is greater: x or 145/14?
145/14
Let h(i) = 2*i**2 - 5*i - 11. Let t be h(5). Suppose -4*l + 3*l + 2*q = -11, -3*q - t = -l. Suppose -207*d + 223*d - 80 = 0. Is d less than l?
False
Let p = 80 + -167. Let d = p + 2. Are -85 and d equal?
True
Let j be ((-29)/4)/(28/112) + -8. Is j < -149/4?
False
Suppose 2*k = -4*a - 24, -3*a = 23*k - 28*k + 18. Let t be 2 + (-4)/(-262) + -2. Which is bigger: t or k?
t
Let a(v) = v**3 - 6*v**2 - 624*v + 4305. Let d be a(7). Is d less than or equal to -643/45?
False
Let d(s) = -10*s**3 - 124*s**2 + 54*s + 17. Let y be d(-15). Do y and 5055 have different values?
True
Suppose 426*h - 423*h + q = -4, 5*q + 3 = 2*h. Is -18/19 at most h?
False
Suppose 4*p - 68 = -7*d + 9*d, 0 = 2*d + 5*p + 23. Let n be (0/d)/(-4 - 0). Suppose -31 = -n*o - o. Are 30 and o equal?
False
Suppose -4*l - 12*u = -13*u - 30, 5*l = 2*u + 39. Is -61 >= l?
False
Let j(x) = x**3 + 5*x**2 + 3*x + 9. Let y be j(-6). Let m = y + -18. Let q be (-74)/(-14) + 18/m. Which is greater: q or 6?
6
Let r(g) = 3*g**3 + 281*g**2 + 180*g - 675. Let z be r(-93). Which is smaller: 3 or z?
z
Suppose 10*d = 13*d - 30. Suppose -a + d = a. Suppose -4*y - 115 - 130 = a*w, -2*w = 5*y + 319. Is y < -66?
False
Suppose -5*b - 3*t = 33 - 4, -9 = 3*b - t. Suppose 0 = -4*a - w + 7, w + 2*w - 5 = -4*a. Let p be (-4 - a)/(8/7). Do p and b have the same value?
False
Let n = -128 - -197. Suppose 2*h + 65 = -n. Let y = 70 + h. Is y <= 23/8?
False
Let i = -5584.36 - -5584. Which is smaller: i or 11/2?
i
Let l be (0 - 3) + (-324)/(-107). Suppose n - 5*a - 36 = 0, 28 = 3*n + 3*a + 46. Which is smaller: n or l?
l
Suppose 2*w + 2*w - 4*m = 16, 4*w = m + 1. Let p be (2 + w)/(-4) + (-6517)/(-588). Which is smaller: 12 or p?
p
Let c(d) = d**3 + 14*d**2 + 27*d - 1. Let b be c(-11). Let i = b - 68. Let m be 20/(-14) - i/7. Which is greater: 2/143 or m?
2/143
Let m = 509 + -509.148. Let t = -0.048 - m. Which is smaller: t or -11.3?
-11.3
Suppose -2*n + 4*m = 2, -n + 6*m - 4 = m. Let h = -832 - -832. Which is greater: h or n?
n
Let r = 3453 - 3376. Which is bigger: 13 or r?
r
Suppose -12*x - 41 = -17. Let n be -5 + (x/(-18))/(38/1311). Which is greater: -1 or n?
-1
Suppose 15 = 4*a - 3*o, 17 = 2*a - 4*o - 3. Is a at least as big as 6/67?
False
Let d = -614.4 - -614. Let h = 275 + -335. Which is smaller: d or h?
h
Let w = 4159 + -4037. Let z = -71 + 194. Which is smaller: w or z?
w
Suppose 4 = 3*v - 5. Suppose 8*i + 5 = v*i. Let r be (((-4)/(-36))/i)/((-15)/18). Which is smaller: 0 or r?
0
Let f(l) = -3*l - 54. Let i be f(-18). Let z be (1 + i)/(539/154). Let s be 15/(-9) + (1 - -1). Is z smaller than s?
True
Let b = 53 + -52. Let q be ((4 - b)*-14)/((-12)/30). Is q not equal to 106?
True
Let u be (-2984)/18*3348/744. Which is bigger: u or -2242/3?
u
Suppose 14*m + 2212 = -2002. Are -603/2 and m equal?
False
Let y be (-36)/16*60/(-627). Let m = -917520/4807 - y. Let o = m + 191. Is 1 < o?
False
Let u be -4 + 11/((-132)/4788). Which is greater: u or -401?
-401
Let d = -16 + 27. Suppose 61*l - 2421 = -1994. Is d at least l?
True
Suppose 67*o - 31*o = 19*o + 9061. Which is smaller: 2129/4 or o?
2129/4
Let r be (-1 + 2)*-6 + -1*24/8 - -19. Let s(u) = 8*u**3 - 2*u**2 - 2*u + 2. Let v be s(2). Suppose -3*w + 32 = p, 5*w - p - v = -2*p. Which is smaller: r or w?
r
Suppose 2*p + 6 = 4*r, -5*p + 316 - 355 = -2*r. Let c be (54/24)/((-2)/40). Which is bigger: p or c?
p
Let t = -984598 - -3915283/4. Is t at most as big as -5777?
True
Suppose 2*q + 718 = -234. Let h = q + 436. Which is greater: h or -34?
-34
Let y be (12/10)/(8*8/160). Suppose -y = 6*h - 9. Is h at most as big as -3/53?
False
Let q = 911 - 1072.4. Let z = -25.4 - q. Let b = z + -137. Which is greater: b or -71?
b
Let t(j) be the third derivative of 13*j**4/24 - 13*j**3/3 + 2*j**2 + 1. Let f be t(3). Which is smaller: 0.06 or f?
0.06
Let s = -15.1 - -10.93. Let k = s - -4.07. Which is greater: k or 255?
255
Let f = 4.8 + 27.2. Let q = 9.98 + -58.28. Let p = q - -48.3. Is p <= f?
True
Suppose -5*g = -3*b + 11, 0 = -2*g - 0*g - b. Let m = 2 - 4. Is g > m?
True
Let i(s) = -s**2 + 7*s - 1. Let t be i(6). Suppose -50 + 20 = t*g. Suppose 83*w = 1301 - 1384. Is w > g?
True
Suppose -2926 = -26*g + 454. Which is smaller: 144 or g?
g
Suppose -90958 = -58*v + 44*v - 8428. Is v not equal to 5896?
True
Let y = -20524/3138819 + 8/3117. Does 0.1 = y?
False
Suppose -2*q = 3*q. Suppose -52 = y - q*y. Let u = y + 54. Which is greater: 5 or u?
5
Suppose -176 = h - 6*t - 1158, -3*t = 3*h - 2820. Which is bigger: h or 933?
h
Let j = 2891 + -2891. Suppose -755 = n + 4*n. Let l = -1055/7 - n. Which is smaller: j or l?
j
Suppose 11*y + 16 = -3 + 52. Is 53/23 at most y?
True
Let u be 30/