er: y or 6525?
6525
Let l(m) = -2*m**3 + 14*m**2 - 11*m + 1. Let g be l(1). Which is smaller: g or -755?
-755
Suppose -116*s + 200*s = -4704. Which is smaller: s or -59?
-59
Suppose 9*z - 272 = -25*z. Are 127/14 and z unequal?
True
Suppose g - 9*r + 7*r + 10 = 0, -g + 18 = 5*r. Let h be (-7412)/1768 - g/4. Which is smaller: -5 or h?
-5
Let t = 3425 + -3651. Let f be -2 - -1 - (236 - 11). Are t and f non-equal?
False
Let j be ((-2)/30*5)/(88/72). Is j at most 1.4?
True
Let o = -28.939 + -0.061. Let i = 28 - o. Let x = -64 + i. Which is bigger: x or 3/5?
3/5
Let g be (4/(-62) + 0/17)/(-16). Let m = -373/248 + g. Which is smaller: -2 or m?
-2
Let s(u) = -u**2 - 4*u + 11. Let t be s(-9). Let z be (5/5 - (6 - 1))/t. Which is smaller: 0 or z?
0
Let h be (-20*(-1)/5900)/((-22)/(-15)). Which is greater: -1 or h?
h
Suppose -3 = -5*r - 18. Let n be 432/30*(-1)/r. Let t be (-16 - 0)*11/(-44). Are t and n unequal?
True
Suppose -4*f + 14 = 2*p, -4*f + p + 19 + 10 = 0. Is f less than 0.3?
False
Suppose 0 = 5*b + 138 + 287. Let f = 13 - 99. Let z = f - b. Which is greater: z or 1?
1
Suppose 3*u = 4*x + 23 - 36, -x = 5*u + 37. Is 0.4 <= u?
False
Suppose -3*a + 24 = -115*g + 112*g, -12 = -5*a + g. Which is smaller: -2/10697 or a?
-2/10697
Let y(i) = -i**2 + 4*i + 32. Let n be y(-12). Let k = n + 224. Let w = -69 + k. Are -7 and w equal?
False
Let t(i) = 2*i**2 + 9*i - 14. Let x be t(-6). Let f be 20/x*8/(-590). Which is bigger: f or 1?
1
Let r = 39/259 + -855/518. Which is greater: r or -928?
r
Let j = -59829/584 - -1155/73. Is j at least as big as -87?
True
Let l = -76224 - -76081. Let j be 2792/(-20) - (-2)/(-5). Is j less than l?
False
Suppose 18712 - 4672 = 22*j + 68*j. Let u(p) = 5*p**2 - 3*p - 5. Let c be u(6). Is j < c?
True
Suppose 43 = -16*v - 5. Let x be (7 - 13)*(-1)/v. Which is bigger: 1 or x?
1
Suppose 0 = 20*n - 27*n + 35. Suppose 0 = -n*q + 13 - 18. Which is bigger: q or 2.9?
2.9
Suppose -2*x - 29 = 3*u, 46 = -3*u - u + x. Suppose 4*t + 10 = -6. Let p(l) = -2*l**2 - 19*l - 55. Let h be p(t). Is h less than u?
False
Let n = 3064 - 2898. Which is smaller: n or 7?
7
Suppose -5*n - 230 = -14*h + 17*h, 0 = -2*n - 3*h - 101. Let k = n - 375. Are k and -418 nonequal?
False
Let j = 14.489 + -16.5579. Let u = j - -0.0689. Which is bigger: 137 or u?
137
Let x(t) = 6*t - 3428. Let z be x(78). Are -2962 and z non-equal?
True
Let q be (-9)/(-6)*1360/(-30). Let p = q - -54. Let u(n) = n**2 + 10*n + 7. Let f be u(-7). Is p bigger than f?
False
Let a = -0.1205 + -0.0547. Let q = a + -0.0558. Let s = q - -0.031. Which is bigger: s or 30?
30
Let k(x) = -10*x - 419. Let n be k(-5). Is n greater than or equal to -360?
False
Let k = 1137.7 - 1137.5. Which is smaller: k or 6528?
k
Let d = -361 + 126. Let q = -235 - d. Let u be (-3)/(-6) - 25/42. Which is smaller: u or q?
u
Let l = -54295 - -1574957/29. Is l < 15?
True
Suppose -4*z - 18 = m, -3*m - 4*z - 49 = 13. Which is bigger: -12 or m?
-12
Let j = -2127 + 2128.489. Let o = -1.5 + j. Let k = o + 1.011. Is -24 greater than or equal to k?
False
Suppose 2*j = 4*o + j + 588, -o = 3*j + 134. Suppose -10*s - 300 = -8*s + 2*n, 0 = -3*n - 15. Do o and s have the same value?
False
Let s(i) = 25*i + 12*i + 26*i - 90*i + 20. Let d be s(2). Which is smaller: d or -37?
-37
Let f(s) = 123*s - 296. Let g be f(12). Let z be (0 - 15/6) + g/(-56). Is 0 smaller than z?
False
Let h be -2 + -2 + (-15)/(-5). Let z be (-174)/(-50) - (14 - (1 - -10)). Which is greater: h or z?
z
Let n = -2496 - -2493. Is n greater than or equal to -0.0182?
False
Let x be -1 + 12/504*-6*-7. Is -1/34372 < x?
True
Let r = 1857 + -719. Suppose -4*x - 2*b = r, 0 = -5*b + 24 - 9. Which is greater: 1 or x?
1
Let l = 112.5 - -21.5. Let a = -148 + l. Let k be 1/21 - (-2)/7. Which is smaller: k or a?
a
Let n = -668948/7909 - -156/719. Are -85 and n equal?
False
Suppose -3017*v + 3006*v + 11 = 0. Let n be (-1)/(1 + 3*31). Is n bigger than v?
False
Let q be 9 + (2 - 9) + (2 - 3). Does 3/68 = q?
False
Let b = -0.037277 - 16.015923. Let f = -0.0532 - b. Let v = -7 - -5. Which is smaller: v or f?
v
Let d be -2 + (-23)/161*-21. Let z be (-5)/(1375/(-554)) + -2. Is z less than or equal to d?
True
Let o be (-60)/55205*302/3. Let l = 6/61 + o. Let c(m) = m**2 + 43*m + 457. Let q be c(-24). Is q greater than or equal to l?
True
Let i(a) = 174*a**2 + 221*a - 1294. Let q be i(6). Which is smaller: q or 6295?
6295
Let m be (-9 - -25)/(0 + -2). Which is greater: m or 5.14?
5.14
Let r = 15 - 5. Suppose 4*k + 2*t + 8 + 0 = 0, 4*t = -5*k - r. Let f be (-44)/(-11) - ((-42)/(-10) - -1). Is f at most k?
False
Let w(s) = -s**3 - s**2 + 5*s + 4. Suppose 25 = -5*v, 5*v + 20 = -2*t - 11. Let u be w(t). Suppose -2 - u = 3*d. Is 0 at most d?
False
Let u(w) = 3*w + 5. Let q be u(-2). Let y(d) = -20*d - 2. Let v be y(q). Suppose 2*f + 43 = -5*r - 3, f = -2*r - v. Is r < -10?
False
Let o = -1825342/15 - -121778. Is 88 <= o?
True
Suppose -8*i - 73 = 55. Let o(c) = -2*c - 61. Let s be o(i). Is s > -26?
False
Suppose -3*d + 14*v - 9*v - 17 = 0, 3*v - 17 = -5*d. Let p be 6/(-9) + 20/(-6). Which is bigger: p or d?
d
Let y = 6 - 37. Let k be -14 - 136*17/136. Is k smaller than y?
False
Let z = 111 - 237. Let c = z - -126.16. Which is smaller: c or -0.2?
-0.2
Let n be (-85)/10*(-2)/(-3). Let d(l) be the third derivative of -l**4/12 + 5*l**3 - 41*l**2. Let j be d(18). Is j not equal to n?
True
Let h(b) = -91 + 81 + 5*b - 4*b + 3*b. Let t be h(0). Which is greater: -11 or t?
t
Let k = 57.8162 + 0.0638. Let m = k + 0.02. Let s = m - 58. Which is smaller: s or 19/2?
s
Suppose 2*x = -5*w + 4*x - 269, -2*w + 4*x = 98. Let i = w + 127. Is 72 <= i?
True
Let o = -4.4 - 11.6. Let k = 16.9 - 1.9. Let m = k + o. Which is greater: m or -14?
m
Let q be (-12*7/(-168))/((-1)/(-1678)). Which is smaller: q or 9234/11?
q
Let k be (473 - 404)*4/(-18)*-3. Is -8/5 at least as big as k?
False
Suppose 19 - 17 = -o, 0 = 2*r + 4*o + 8. Which is greater: 7/131 or r?
7/131
Let n = -300/277 - -7660087/5817. Let c = n - 1319. Let z = c - -25/7. Which is greater: 1/9 or z?
z
Suppose -2 = -o - 3*b, -8*o + b + 1 = -10*o. Do o and -6/2123 have different values?
True
Let b = -11761 - -12475. Which is greater: 715 or b?
715
Let i be 0 - (0 - 0 - (12 - 1)). Suppose 6*p - 126 = -3*p. Which is greater: p or i?
p
Let d = 105/118 - 97/118. Let a = 0 + 0. Is a < d?
True
Let f be 1/6 + 35870/60. Let b = 597 - f. Is b <= 4/173?
True
Let h be 18/(-243)*-9 + 30/(-18). Are h and -1/2464 unequal?
True
Let j be (-11 + 8 + 0)*(-2)/((-8)/36060). Which is smaller: j or -27044?
j
Suppose -24 = 102*i - 105*i. Suppose -12*s - i = -16*s. Is -1 < s?
True
Let c be 2 + ((-1862)/13)/7. Let w = 131/161993 - -182745035/9881573. Let r = w + c. Which is bigger: r or 0?
r
Suppose -67*p - 5320 = -77*p. Let c(j) = 7*j**2 - 49*j - 13. Let v be c(13). Is p equal to v?
False
Let p = 5224.3 - 5238. Which is smaller: p or 11?
p
Let p = 2276 + -2277. Is p at least -6/6775?
False
Let z = -7887 + 7786. Which is greater: z or -3?
-3
Let z be 26270/(-1 + (-60)/(-52)). Let k be z/598 - (-2)/4. Let j = -286 + k. Which is smaller: -1 or j?
-1
Suppose 0 = -3*k + 7 - 1, -i - 38 = -3*k. Let m be ((-4)/i*-6)/(2/24). Let u = -49 - -43. Is u greater than or equal to m?
True
Let y be ((-1008)/(-162))/(-7) - (-1)/3. Let o = -2 + 2. Which is smaller: o or y?
y
Let t = 19 - 5. Suppose t = -4*x + 2. Let r = 3.9466 - -0.0534. Are r and x nonequal?
True
Suppose 31*n - 152 = 12*n. Let a be (-5)/((-4050)/385) - 4/n. Is 1 equal to a?
False
Let y(r) = 2*r + 26. Let w be y(-13). Let c be (6 - w)*(-6)/(-12). Let p be -1 - (-4)/(-6*c/(-6)). Which is greater: p or 9?
9
Let y be (-1*3 + (-9)/(-3))/2. Suppose -5*n + 4*n + 4 = y, 5*h - 5*n = 310. Is 65 bigger than h?
False
Let y be (17396/(-34760))/((-13)/26) + (1 - 2). Are y and -1 unequal?
True
Let t = -686.6 + 692.6. Are -0.035 and t equal?
False
Let i(z) = -z**3 + 6*z**2 - 8*z + 13. Let t be i(3). Suppose 2*m + 10 = 4*h, -h + 4*m + 20 = h. Suppose h = -2*s - 10 + t. Is -0.06 at most as big as s?
True
Let x = -4941 + 4885. Is x less than -15?
True
Suppose -4882 = -4*a - 4*m + 3446, 0 = 2*a + 4*m - 4172. Are a and 2076 unequal?
True
Let z be 2/(-11) + (-43160)/(-276705). Which is smaller: z or 1?
z
Let j(i) = -i**3 - i**2 + 4*i + 4. Let x be j(6