 -13*r**3 + r**2 + 16*r + 2. Let t be d(5). Is -1518 greater than or equal to t?
True
Let m be ((-39)/(-4))/(2/96). Let z be (-3)/(-2) + 3582/m. Let a = z - 129/13. Which is greater: a or -1?
a
Suppose 4*o - 208 = 21*k - 25*k, 0 = 3*o - 2*k - 181. Let d be (-475)/(-9) - (-2)/9. Which is smaller: d or o?
d
Suppose 0 = 3*m - 2*w + 65, 3*w + 58 = -3*m - 2*w. Suppose -263*z - 13720 = 423*z. Which is bigger: m or z?
z
Let i = 0.058 - -1.492. Let f = -8.55 + i. Which is greater: f or -2?
-2
Let s be 4700/(-149240) + (-1)/(-26). Which is bigger: s or 1/5?
1/5
Let k = 1839/44162 + -5/142. Which is smaller: 1 or k?
k
Let o(s) = -19*s - 43. Let y(j) = 29*j + 64. Let l(a) = -7*o(a) - 5*y(a). Let p be l(-5). Suppose -6*u = -103 - p. Which is greater: 25 or u?
25
Let m = 4.962 + 219.738. Which is smaller: m or -2/5?
-2/5
Let q(w) = -3*w**3 - 29*w**2 + 12*w + 20. Let a = -318 - -308. Let g be q(a). Are g and -12/31 unequal?
True
Let b = -576.62 + 576.6. Which is greater: b or 0.187?
0.187
Let q be (-25)/125*(4/(-2) + 3). Let b(n) = n**2 - 6*n - 3. Let f be b(8). Suppose -3*v - f = -3*y - 4, 0 = 4*y - v. Which is greater: q or y?
q
Let n = 7826 - 7688. Which is smaller: n or 1.5?
1.5
Let q(j) = 2*j**2 - 6*j + 39. Let p be q(5). Suppose 126 + 234 = 6*s. Let c = p - s. Which is smaller: c or -2/5?
c
Let w be -2 + ((-362)/(-78) - 4). Let d = w - -35/13. Let k(l) = l**3 + 23*l**2 + 21*l - 20. Let y be k(-22). Is y smaller than d?
False
Let g = 747 - 2234/3. Let t = 2 + -1.72. Let l = 0.08 - t. Are l and g equal?
False
Let b = -9772 - -5025. Which is bigger: -4745 or b?
-4745
Let y = 782.536 - 782. Let t = y - 0.536. Is t >= -147?
True
Let j = -3421.533 - -12.533. Do 2/7 and j have the same value?
False
Let s = 447.737 + -447. Let m = s + -0.637. Which is smaller: -268 or m?
-268
Suppose -3531 = -2*x + d, 96*d = -3*x + 100*d + 5294. Is x at least as big as 1762?
True
Suppose t - 30 = 4*t. Suppose -15 = l + 9*o - 8, -3*l + o - 49 = 0. Which is smaller: t or l?
l
Suppose 137*m - 9*m = 10496. Is 71 equal to m?
False
Let s(x) = -9*x - 61. Let k be ((-9)/(-2))/((-9)/18). Let j be s(k). Are j and 19 equal?
False
Let m(f) = 0*f + 2*f - 5 + 3*f + 6*f - f**2. Let d be m(10). Suppose -d*h + 2*h = -90. Is 32 greater than h?
True
Let a = 218 - -2787. Is 3006 equal to a?
False
Let c = -4296 + 4307. Which is smaller: -79 or c?
-79
Let a be (-15)/(-9) + (-5 - -3). Suppose 306 + 1166 = 23*o. Which is smaller: o or a?
a
Let z = 5468873/10140 - 11/3380. Is -0.1 at least as big as z?
False
Let f = 302 - -186. Which is greater: -4/7 or f?
f
Suppose 8*w + 30*w = -44*w + 410. Are -37 and w equal?
False
Let z = 12.218 + 0.082. Let w = z + -1.3. Suppose 0*f = 3*f + 9. Which is smaller: w or f?
f
Let d = 4132 - 4134.671. Is d < -1/3?
True
Let s(y) = 5*y + y + 0*y + 36 + 0*y. Let q be (-1)/(12/4*4/144). Let g be s(q). Is g greater than 1/3?
False
Let k = -186041/29898 + 1/3322. Let q = k + 221/36. Let a = q + 19/12. Is a equal to -0.01?
False
Let r be ((-22 - -21)*1)/((3/(-4481))/(-3)). Which is greater: -4483 or r?
r
Let b(q) = 15*q**3 - 2*q**2 + 4*q - 2. Let g be b(2). Suppose 4*m = 18 - g. Let p be ((-26)/39)/(2/78). Which is smaller: m or p?
p
Let m = -7020 + 7020. Is m <= -15/239?
False
Let p be (35 + 23)*(-1)/(-2)*37. Which is bigger: 5371/5 or p?
5371/5
Let i be 31/(15 - 25 - 153/(-15)). Which is smaller: i or 178?
i
Let o(f) = -f**2 + 8*f + 29. Let r be o(-3). Let n(t) = -t**3 - 3*t**2 + 3*t. Let d be n(r). Is 17/4 > d?
True
Let t = -260 - -263. Suppose 2*w - t*f + 8*f = 71, -91 = -2*w - f. Is 46 less than w?
True
Let g be 1 + -1 - 34/10. Let j = 17.71538 + -18.71538. Which is smaller: g or j?
g
Let c be (15/(-54))/(2/4). Let m = 35225 - 35226. Which is bigger: m or c?
c
Let p = -0.06383 - -189.06383. Which is greater: 0.8 or p?
p
Let k = 8/5619 - 19682/668661. Which is smaller: k or 0?
k
Let z(b) = 27*b**2 - b - 55. Let c be z(6). Let h = 912 - c. Which is smaller: 1/840 or h?
1/840
Let d be (-341030)/(-16100) + 2/10. Let b = -546/23 + d. Which is bigger: -3 or b?
b
Let p = 34218 + -34218.1. Which is smaller: -0.1784 or p?
-0.1784
Let l = -1005.3669 + -4.4731. Let m = l - -1010. Which is bigger: 7 or m?
7
Let p = 524.6 - 524.88. Is 1/29 >= p?
True
Let v = -5 + -113. Let g = v - -356/3. Are g and 41 equal?
False
Suppose -81*f + 637 + 1109 = -275*f. Which is smaller: f or -138?
-138
Suppose -33*d + 21327 + 29031 = 0. Is d >= 1524?
True
Let h be (-2)/(-14)*(-4984)/(-144) - (-18)/81. Are 5 and h unequal?
True
Let t = 39 - -1. Suppose 0 = -2*v + 25 - 19. Let b = v + 37. Is t smaller than b?
False
Let m(l) = -2*l**3 - 12*l**2 + l + 9. Let t be m(-6). Suppose t*v = -10 + 4. Which is smaller: -31 or v?
-31
Let w(y) = -6*y**3 + y**2 - 4*y - 9. Let a be w(0). Which is smaller: a or -0.007?
a
Let t(j) = -j**3 + 70*j**2 - 153*j + 1180. Let h be t(68). Which is greater: h or 7?
h
Suppose -394 = -3*i + 314. Let q = i + -233. Which is greater: 3/2 or q?
q
Let c(a) = -21*a - 35. Let j(f) = 11*f + 18. Let h(o) = -6*c(o) - 11*j(o). Let l be h(13). Let y be (-8)/l - ((-10)/(-35))/(-1). Is y <= 6?
True
Let p be 2/(-6)*12/(-4). Is -155 less than or equal to p?
True
Suppose 3*v - o = o - 252, 0 = o. Let z be 18/(-2) - (-46 - -39). Let n be (v/(-112))/(1 - z/4). Are -0.2 and n nonequal?
True
Let t(h) = 11*h - 870. Let a be t(79). Is a at most as big as 15/469?
True
Let v(p) = -14*p**2 + 73*p - 566. Let j be v(7). Are -3704/5 and j equal?
False
Let f = 1303 - 1250.9. Let n = f + -1.1. Let v = n + -50.3. Which is bigger: 2 or v?
2
Let b = 0.276 - 19.376. Let s = -14.2 - b. Let a = 5 - s. Is -29 > a?
False
Let l(v) = -4*v - 66. Let q be l(-6). Let i = q + 42. Which is greater: -1/277 or i?
i
Let u be 1667292/(-726) + (12/(-11))/(-2). Which is greater: -2295 or u?
-2295
Let q be (-6 - -4)*(-35)/2. Let o = q - 27. Suppose -2*x - 17 = 3*j - 8*j, 4*j + o = -2*x. Which is greater: x or -5?
-5
Let j = -174675/28444 + 319/52. Is -1 != j?
True
Let c = -162 - -162. Let x = 137 + -357. Which is smaller: c or x?
x
Let o be (20/(-3820))/(15/(-6) - -3). Is 0.13 at most o?
False
Let b(q) = q**2 - 2*q - 12. Let u be b(-3). Let m be 80/(-44) - -5 - u. Which is greater: 2.6 or m?
2.6
Let i = -1217737/398820660 + -2/174615. Which is bigger: i or 0?
0
Let b(a) = 10*a - 7*a + 33 - a**2 + 4*a. Let f be b(14). Let j = f + 72. Is 7 at most j?
True
Suppose -5*j - 4*n = 256, 0 = -5*j - 2*n - 304 + 46. Suppose 5*a + 3*c - 9 = 6, -4*a - 4*c = -20. Suppose -18*p + 8 + 10 = a. Which is smaller: p or j?
j
Let u be (-2584)/3230*(3 - 94/28). Let y = -2/1401 - -15437/18213. Which is smaller: u or y?
u
Suppose -5*w - 7 = -0*f + f, f + 3*w + 5 = 0. Let g be 17/((-1632)/108)*(-8)/(-6). Which is smaller: g or f?
f
Let n = 0.004 - -0.016. Let t = n + 1.98. Suppose -7*k = -3*k - j + 169, 4*k + 173 = 5*j. Is t greater than k?
True
Let u = -4466 - -4467. Which is bigger: u or -9/41?
u
Let a(h) = 4*h + 9. Let t be a(-9). Let z = -61 + 87. Suppose -95*o = -94*o + z. Which is smaller: t or o?
t
Suppose -12*o + 2700 = 138*o. Let n(p) = -p**3 + 10*p**2 + 13*p. Let j be n(11). Which is bigger: j or o?
j
Let k be 48*(-1 - 48) - (-5 - -9). Let m be (-3)/2 - 3762/k. Which is smaller: 0 or m?
0
Suppose 4*p = 3*y - 10, -p + 3 - 2 = y. Suppose -y*o + 4*j = 56, 4*j + 5 = -o + 1. Let b = -261 - -241. Is b less than o?
False
Suppose -13*h + 2*z = -17*h + 3096, 0 = -2*z. Suppose -33*g - h + 180 = 0. Let y = 2 + -21. Does g = y?
False
Let k = -33 + 33.2. Let u = k + 0.12. Let q = -0.21 + u. Is 0 > q?
False
Let d be (-2 + (3 - 1))*1. Let m = -780 - -801. Suppose l = h - 12 + 6, 0 = 3*h - 4*l - m. Which is bigger: h or d?
h
Let l = -525 + 895. Let w = -259 + l. Let k = 147 - w. Is 34 < k?
True
Let x = -3206.6 + 3208. Is 73 less than x?
False
Let y be (-6)/((-72)/(-687))*5/10. Do -28 and y have the same value?
False
Let d = -5 + 3. Let j = d + 2. Let x = -51929/13 - -3995. Which is greater: x or j?
x
Let k = -0.2 + 0.4. Let r be 8 + (-12)/3 + 1. Suppose -4*l + 34 = -3*a, -r*l - 2 = -4*l. Is k at most a?
False
Let h(i) = -i**2 + 9*i - 17. Let p be h(5). Suppose -2*n + 4*l = -76, 3*n = -p*l + 7*l + 112. Suppose -n = -j - 2*j. Is -0.3 smaller than j?
True
Let g = -297 + 461. Suppose 945 = -169*x + g*x. Is 1/4 < x?
False
Let j = -505 + 13631/27. Let b(x) = 4*x**3 