*2 + 634*y - 46. Let c be u(-8). Which is greater: c or -103?
c
Let y be (-114)/(-4)*14276/498. Are y and 815 equal?
False
Let s(z) = -2*z**2 + z + 31. Let l(t) = 26*t**2 - 49*t**2 + 22*t**2. Let y(c) = l(c) - s(c). Let g be y(6). Which is smaller: 1/4 or g?
g
Let c = -39991499/522 + 76612. Are c and -1 non-equal?
True
Suppose -2*i = -10, -6*m + 90*i - 1594 = 88*i. Which is bigger: m or -249?
-249
Let v be 1*((-1)/2 - (-114)/12). Let f be 3 - (2/(-1) - -5) - -8. Suppose 5*m = -5*n + 40, n + 2 = m + f. Does n = v?
False
Let l = -201 - -243. Let r = 3989/92 + -37/23. Is r <= l?
True
Let u = -13165 + 12085. Is u at least as big as -1079?
False
Suppose -3*b = -9, 2*s + 4*b = 3*s + 9. Suppose -s*g = -2*m - 169, -134 = -2*g - 5*m + m. Suppose -3*r + 13 = -g. Is r greater than 24?
False
Let t(x) = 13 - 17 - 6*x + 4*x. Let v be t(-4). Suppose 3*h = -3*d - d + 85, v*h + 70 = 2*d. Which is smaller: d or -0.1?
-0.1
Let m = 12095711/539 - 22441. Which is bigger: -1 or m?
m
Suppose -9 = -5*o - 3*h + 2*h, -4*o = h - 7. Let d be (15/(-20))/(o/(-18)). Let j = -201/28 + d. Is 2/3 less than j?
False
Let c = 53804911/131 - 410727. Which is greater: c or -3?
c
Let p be 85608/106128 + ((-96)/(-44))/(-4). Is p less than -1?
False
Let f be 386210/340 + (-3)/1. Let v = f + -1133. Is 1 >= v?
True
Let n be ((-12)/(-4) - 17) + 7. Let d(c) be the first derivative of c**3/3 + 11*c**2/2 + 23*c + 13. Let t be d(n). Which is smaller: t or -6?
-6
Let x(j) = 2*j + 4. Let n be x(0). Let f = -485.24 + 485. Which is smaller: f or n?
f
Suppose -2*h = -3*v - 6*h - 9, -4*v + 19 = -5*h. Is -7/185 less than v?
True
Let b be 11704/(-66)*(-1425)/(-38). Which is greater: b or -6648?
-6648
Let f(h) = -h**3 + 38*h**2 - 35*h + 65. Let l be f(37). Let p = 201 - l. Is 62 > p?
False
Suppose 2883*k - 2858*k = 38850. Which is greater: k or 1556?
1556
Suppose 0 = -10*z + 12*z - 4*y + 84, 2*z + 2*y + 114 = 0. Let n be (210/11)/(117/z + 3). Which is bigger: n or 24?
n
Let r(t) = -t - 6. Let q be r(-5). Let v(y) = 61*y**2 - 3*y - 2. Let o be v(q). Which is greater: 63 or o?
63
Let g = -290/3751 - -14172/86273. Let d = 1.91 - 2. Is g != d?
True
Suppose -4*y + 10 = -3*y + 3*z, -3*z + 5 = -4*y. Let i be (3/(-14))/(-1)*484/66. Do i and y have different values?
True
Let y be (3/8 + 0)/(-3). Let m(s) = -7*s - 66. Let k be m(-10). Suppose 3*p + k*p = 7. Do y and p have the same value?
False
Suppose -4*c + 158 = 5*z, 70 = -2*z + 4*z + 5*c. Let b = 70 + -70. Suppose -3*a + b*a + 90 = 0. Is a at most as big as z?
True
Suppose 2*t - 574 = 152. Let s = t - 361. Is 0 greater than s?
False
Let c = -0.8636 - -1.1636. Which is smaller: c or -17?
-17
Suppose -7*a = -1 + 1. Suppose 2*i + 12 = -3*f, a = -8*i + 3*i + 2*f - 11. Let u be i/(-12)*-2 + 1/8. Which is smaller: u or -1?
-1
Let h be 434/196*-7*(-6 + 0). Which is bigger: 375/4 or h?
375/4
Let w(b) = 8*b - 13. Let o be (-8)/20*(-32 + -3). Suppose 0 = -o*h + 12*h - 10. Let d be w(h). Is d at most -53?
True
Let u(g) = -135*g - 1590. Let v be u(-12). Which is bigger: 372/13 or v?
v
Let c be (-13)/(-7) + -2 + -5*(-90)/(-525). Which is smaller: c or -9/1552?
c
Let d = 11.589 + -11.489. Which is bigger: 10528 or d?
10528
Let w = 1/14724 - 29453/73620. Which is smaller: 5305 or w?
w
Suppose -9*h - 10 = 4*k - 4*h, 5*k = 5*h + 10. Are 2/267 and k nonequal?
True
Let j be 210/213 - 2/2. Let t be (-2)/4*1 + 3/6. Suppose -c - c - 3*c = t. Is j at most as big as c?
True
Let b = 913 - 913. Let n = -1114/5 + 217. Which is greater: n or b?
b
Suppose 0 = -b + 2*v - 405, -45*v = -3*b - 41*v - 1215. Let i be (-90)/b + 2 + (-1722)/783. Is 1 >= i?
True
Let p = 243487/233 - 1045. Suppose 4*s = 6 - 2. Which is greater: s or p?
s
Let j = -2/10159 + -10153/30477. Do -854/11 and j have different values?
True
Suppose 352 = 3*m - 8. Let i = 264 - m. Let h be (i/(-15))/(-4) + (-2)/5. Which is smaller: 1 or h?
1
Let l be ((-1081)/(-94) - 12)*(-4)/67. Suppose m + 3*n + 6 = 21, 2*m - 3*n + 15 = 0. Which is greater: m or l?
l
Let f = -17 - -10. Let y = -2842 + 2842. Which is bigger: f or y?
y
Let l be (-1)/6 + (-85)/30. Let c = 256 + -264. Let a be c/(-16) + l/(-2). Is 2 > a?
False
Suppose b = -3*o + 6364, 4*b - 12766 = -3*o + 12753. Which is smaller: b or 6386?
b
Let j be 18345/281945 + (-4)/62. Which is bigger: 0 or j?
j
Suppose -5*k - 4905 = 4*q, -278*q + 280*q + 2491 = 3*k. Which is bigger: q or -1231?
-1231
Let n(h) = -4*h**2 + 23*h + 6. Let z be n(6). Suppose -3*j + 2*b + 386 = z, 0 = -b - 4 + 3. Suppose -57 = -5*t + j. Which is smaller: t or 36?
36
Suppose 5*d = 10*d + 15. Let y(l) = -2*l**2 - 6*l + 1. Let u be y(d). Let o(b) = 3*b - 2. Let t be o(u). Is t >= 1/18?
True
Suppose 0 = k - 5*j + 11, -7 = -2*k - 2*j + 7. Suppose 4*h + 4*c = -0*c + 180, 0 = -h + k*c + 65. Which is smaller: 191/4 or h?
191/4
Let l = -756 + 756.0121. Which is smaller: l or 8?
l
Let r be ((-24)/20)/2 + 54125/(-1250). Do -44 and r have different values?
True
Let z = 26 + -27.1. Let t = -1 - z. Let o = 3138 + -3160. Is t equal to o?
False
Let p be (2740/15)/(-6 + 3070/510). Which is smaller: p or 1?
1
Let p = -17.072 + 17. Let m = 418276 - 418274. Which is smaller: p or m?
p
Let d = -3465473/129 - -26864. Are 1 and d equal?
False
Suppose -747 + 797 = 2*d. Let u be (-5)/d - (-1)/5. Which is smaller: u or 8/13?
u
Suppose -10 = -2*p, 0 = 3*l - 4*p - 8 - 2. Let i(r) = -r**3 + 7*r**2 + 16*r + 24. Let g be i(l). Which is smaller: -115 or g?
g
Let v be (-3100)/(-248)*9304/10. Which is smaller: v or 11629?
11629
Let p = 11179 + -12973. Is 1/2 <= p?
False
Let x be (5/(90/(-16)))/(12/(-8)). Let g = x - 235/351. Let d = -33/91 - g. Which is bigger: -12/17 or d?
d
Let z = 459 - -66. Let n = -452 + z. Is 76 at least as big as n?
True
Let p be 156/((-243)/36 + 6). Let w be (288/p)/6*2/6. Which is smaller: -1.5 or w?
-1.5
Let y be (3 + -8)*(2 + 64/(-20)). Let b be (-5)/6*3*-2. Suppose 0 = t + 2*u - u + 1, b*u + 29 = t. Which is greater: t or y?
y
Let j = -19606/387 + 457/9. Which is bigger: j or -0.41?
j
Let a = 4401.07 - 4401. Is a less than or equal to 2/281?
False
Let j = -10.834 + 9.914. Which is greater: j or 28?
28
Let r = 1651 + -1649. Let f be (-5254)/(-14)*(-1)/1. Let s = 376 + f. Which is bigger: s or r?
r
Let t(c) = 49*c + 365. Let w be t(-7). Let s(i) = -i + 12. Let a be s(10). Suppose -2*d + 4*l = w, -4*d - 8 = -a*l + 6. Is d >= -5/13?
False
Let m = 24 + -86. Let n = m + 71. Let x = n + -9. Is 11 greater than or equal to x?
True
Let p be (-3)/((-3)/13) - 1. Let i(r) = -r**3 + 2*r**2 + 9*r + 1. Let c be i(5). Let t be -6 - c/5 - 66/(-5). Is p > t?
False
Let u(i) = -5*i**2 - 28*i + 55. Let q be u(-7). Is 73/15 at most as big as q?
True
Let t = 63.23381 + -0.19781. Let j = t + -63. Let a = -5.964 - j. Which is smaller: 0.3 or a?
a
Let r(h) = 119*h - 1734. Let s be r(14). Which is bigger: -53 or s?
-53
Let l = 14706 - 14706. Which is smaller: 2/18565 or l?
l
Let f be 15 + -118*(-90)/(-705). Is -2/31 at least f?
False
Let i(s) = s**3 + s**2 - 71*s - 71. Let q be i(-1). Which is bigger: q or -43/358?
q
Suppose 3*s = 6*s + 39. Let c(l) = -l**2 + 89*l + 665. Let o be c(-7). Are s and o non-equal?
True
Suppose -4*d = -28 + 4. Suppose -g + d*g = 2*g. Let b be ((-165)/(-6) + g)*-2. Is b bigger than -55?
False
Let p = -23341 + 163385/7. Is p smaller than 15576?
True
Let o(z) = -852*z - 322. Let q be o(5). Which is greater: q or -4583?
q
Suppose -2*z + 4 = -4*v, -4*z - 23 = 5*v - 5. Let r be v/(-6) - (1 + 0). Let u = 4.3387 - 4.9387. Which is smaller: r or u?
r
Let t = 0.29 + 12.51. Let p = -0.0578 + -12.5422. Let b = p + t. Which is smaller: 25 or b?
b
Let k(t) = 3*t**2 + 29*t - 10. Let s be k(-10). Is s >= -3/1036?
True
Suppose 22*c = 26*c + b + 801, 995 = -5*c + 5*b. Suppose 121 - 724 = 3*t. Does t = c?
False
Let f = 30 - 49. Let r = -14.5 + f. Let x = -4.5 - r. Which is greater: 0.1 or x?
x
Let f = 3316 - 3313.3. Which is smaller: 27 or f?
f
Suppose -h + 2 = -5*i - 13, 5*i + 10 = 0. Suppose 5*j = -2*k - 89, h*k + 41*j + 238 = 44*j. Which is bigger: k or -43?
-43
Let x = -4437 + 1637255/369. Which is bigger: x or 1?
1
Let m = -3232 + 12927/4. Which is greater: m or 615?
615
Let g = 63564 + -63562.9. Let f = -1460/9 + 162. Are g and f unequal?
True
Suppose -3*p + 11 = -4*k, 0 = -3*p - 4*k - 4 - 1. Let g be (-1 + 8/12)/(p/(-