 4*r + 5*q. Let c be (r/33)/(1/6). Is c equal to u?
False
Let y = -11931 - -10898. Which is greater: y or -1029?
-1029
Suppose -k = 4*w + 4 - 55, 2*w + 5*k - 21 = 0. Let v(n) = 11*n + 3 + n**2 - 2*n**2 - 6 + 19. Let u be v(w). Which is smaller: -11 or u?
-11
Let f = 107 + -105. Suppose -437 + 477 = f*c. Is 20 not equal to c?
False
Suppose 0 = 5*f - 8 + 33, 2*r + 138 = -2*f. Which is smaller: r or -65?
-65
Let o = -40.689 - -0.289. Let k = 51.4 + o. Let m = 6 + -6.3. Is k bigger than m?
True
Let w = -44.55 + 26.896. Let f = w - 0.346. Let b be (-2)/1*(-3)/(-12). Which is bigger: f or b?
b
Let w(s) = -s - 65. Let f(r) = 3*r**2 + 15*r + 32. Let b be f(-2). Let c be w(b). Is -79 >= c?
True
Let w = 7793/247643 + -16/479. Which is greater: 0 or w?
0
Suppose -35*p - 220 = 78 + 227. Is p > -13?
False
Let s be 16*-1*(-2)/(-180). Let y(c) = -2*c**3 + 52*c**2 - 282*c - 48. Let o be y(8). Does s = o?
False
Let y = -91 + 192. Let w = y + -101. Let b be 4/(-136) + -1 + 1. Is w at least as big as b?
True
Let q = 7831 + -7913. Which is smaller: 39 or q?
q
Let l = -179 + 136. Let v = l - -1503/35. Suppose h + 2 = 1. Which is bigger: v or h?
v
Let s be -7 - (60 - (-11 - (-15 + 9))). Which is greater: -357/5 or s?
-357/5
Let v(h) = 11*h**2 - 25*h - 8. Let u(k) = 4*k**2 - 9*k - 3. Let x(d) = -17*u(d) + 6*v(d). Let n be x(4). Is n greater than or equal to -17?
True
Suppose -1405 = 3*u - v, 2*u = -4*v - 909 - 23. Let o = u + 1432/3. Do o and 10 have the same value?
False
Let c be (-463 - 8)/(9 - (-130)/(-15)). Do c and -1416 have different values?
True
Let o(d) = -7*d**2 + 96 - 29 - 9*d**2 + 15*d**2 + 18*d. Let q be o(16). Which is greater: 100 or q?
100
Let l = 9055 - 868. Is 8187 >= l?
True
Let j be (-7)/150*392/(-1715). Which is bigger: j or -1?
j
Suppose -5*k - 6842 = -26*v + 28*v, k - 6842 = 2*v. Are v and -3422 unequal?
True
Let g be -94*((-4)/4)/2 + -5. Let q = -213/5 + g. Suppose 2*x = -0*x. Which is greater: x or q?
x
Suppose -4*t + t + 18 = 3*z, 5*t = 20. Let c be (-9)/(-63) - z/(-14). Let j = -440 - -445. Is c less than j?
True
Suppose 68*m + 978 + 1266 = 0. Let i(j) = -8*j + 7. Let l be i(5). Are l and m equal?
True
Let u(v) = -6*v + 8. Let z be u(0). Suppose 0 = -z*i + 5*i + 21. Suppose 12*k = 5*k + i. Is -2.6 <= k?
True
Let k be -23 + 25 - (-2)/(-8). Let y = k - 239/132. Suppose 0 = -0*j - 4*j + 4. Is j equal to y?
False
Let l be (51/(-150654))/((-14)/10008). Let u = 8/211 - l. Is u <= -1?
False
Let g(x) = -197 - 179 + 45*x + 393 + 6*x**2. Let t be g(-7). Suppose -d - 47 = -3*w, -2*w = -0*w + 5*d - 3. Is t at least w?
False
Suppose 58 = -174*q + 176*q. Suppose -36*v = -7*v - q. Are v and 6/181 non-equal?
True
Suppose 0 = 4*z - 3 + 11. Let r(p) = 62*p. Let v be r(z). Let o be 2 + (3 - 12/(-296)*v). Which is smaller: 1/2 or o?
o
Let i = -1.74 - 180.26. Suppose -476 = 9*s - 37*s, -5*s + 85 = l. Which is greater: i or l?
l
Let r(t) = -23*t**2 + 326*t - 13. Let a be r(14). Let u = 27 + 17. Suppose a*w - u*w - 1 = 0. Which is bigger: -2/11 or w?
-2/11
Suppose -4*j = 5*j - 9. Let f = 701 + -113563/162. Are f and j non-equal?
True
Let j be ((-1)/4 + 0)/((-736053)/(-1284)). Do j and 1 have different values?
True
Suppose 0 = -2*a + 3*a. Suppose 5*d + 5 = -a*d. Let z = -9770/13 - -751. Which is greater: d or z?
z
Let j = 5412/5 - 1120469/1035. Is j smaller than 1?
True
Let q(u) = -u**3 - 3*u**2 - u - 27. Let d be q(-4). Which is smaller: d or -845?
-845
Let m = -47/56 + 311/504. Which is greater: -773 or m?
m
Let a = 1.384 - 8.214. Let o = -7.83 - a. Which is bigger: o or 173?
173
Suppose -4*m + 7664 = 2*a, -11*m - 3837 = -a - 14*m. Suppose 0 = -19*v - 3208 - a. Which is greater: v or -369?
-369
Let v = 40931 - 68395703/1671. Which is smaller: -1 or v?
-1
Suppose -f + 68 = 4*o, 4*o + f = -2*f + 60. Let n = o + -14. Suppose n*b + 50 = -w, 3*w - b - 2*b = -135. Is w at least -45?
False
Let l be ((297/3)/3)/(6/1146). Let h = l + -4582283/727. Which is bigger: -1 or h?
h
Suppose -3*i = -3*o - 24, 5*i = o - 4*o + 48. Let t = -1.846 - 0.154. Which is smaller: t or i?
t
Let c = 5639 - 5637. Are 85/84 and c unequal?
True
Let u = 258 - 437. Let p = u - -178. Which is greater: p or 0.53?
0.53
Let n = 300.9 + -299. Let b = -2.1 - n. Let x = 0.2 - 0.1. Which is greater: b or x?
x
Let l = 0.071 + -2.471. Let a = l + 2.7. Let y = -0.3 + a. Is y at least -16?
True
Suppose -2135 = 20*u + 1345. Is 1 equal to u?
False
Let n(r) = -10*r**2 + 81*r - 127. Let h be n(6). Is h >= -1/4404?
False
Suppose -2*k - 37 = -4*y - 1, 127 = -4*k - 3*y. Let u be 14/k - (-9)/10. Is u less than 0.15?
False
Let x = -449 + 103. Let d = -359 - x. Which is bigger: d or -19?
d
Let x(b) = b**2 - 12*b + 8. Let k be x(11). Suppose 2*h - 18 = -h. Let v be -2 - h/(1 + -2). Is k greater than v?
False
Let v = -62 + 8. Let x = 347 + -353. Let b be (-12)/x*(-27 + -3 + 3). Is v less than b?
False
Let j be -3*1 + (-4 - (-14 - -1)). Suppose -2*i - 4*g = -j, 3*i - 29 = g - 2*g. Suppose -6*n + 7*n - i = 0. Is 9 != n?
True
Let f(w) = 2*w - 8. Let k be f(-6). Let n = k - -17. Let j be 1*n/(-324)*2. Is 1 less than or equal to j?
False
Let i = -932293/44 - -21187. Is 0 greater than i?
True
Let q be (68/(-17) - (-3)/1) + 103. Let y = -236 - -337. Is q > y?
True
Let m be 30 + 2 + (-3)/(-3). Let k = 15 - m. Let t be (0 - 2)/(k/(-153)). Is -19 >= t?
False
Let y(w) = -w**2 + 20*w + 10937. Let d be y(115). Suppose -q - h + 2 = 2*h, -3*q = 3*h - 18. Which is bigger: q or d?
d
Let k(l) = -14 + 40 + 38*l - 36*l. Let a be k(-12). Suppose -y - 26 = 5*d, y - 5*d - 22 = -a*y. Which is smaller: y or 4/9?
y
Let x = -9.9 - -10. Let u(w) = 2*w**3 - 16*w**2 + 13*w - 26. Let j be u(7). Is j greater than x?
False
Suppose 3*o + h = 31, -3*h + 12 = 2*o + 2*h. Suppose 3*u - o - 1 = 0. Suppose 0 = -l - u. Do l and -13/3 have the same value?
False
Let r = 25189 + -25066. Do r and 35 have the same value?
False
Let p = 1683 + -1872.75. Let m = p - -190. Is 1 equal to m?
False
Let z be 1*-1*(34 - 5). Let b = -464 - -184. Let n be b/15*6/4. Which is smaller: z or n?
z
Let a be 21/(-15) + 99*(-7)/(-945). Is a at least -0.047?
False
Let a be 9/(-21) + (-332)/(-252). Let x = 5 - 3. Which is greater: a or x?
x
Let i(w) = 2*w + 46. Let r = -39 - -25. Let n be i(r). Suppose 0 = 5*m - 2*j - 7 - 86, -3*m + 58 = j. Which is smaller: m or n?
n
Let d = 31.6 - 58. Let l = d - -4.4. Let k = 20 + l. Which is bigger: k or 3/2?
3/2
Let n = -483 + 28933/60. Which is smaller: -1 or n?
-1
Suppose 4*r - 172 = -2*p, -7*r + 2*p = -10*r + 129. Suppose r = -j - 60. Which is bigger: -104 or j?
j
Let x = -2536/89 - -2847/178. Let s(w) = w**3 + 3*w**2 - 6*w + 6. Let h be s(-5). Which is smaller: x or h?
h
Let w(z) = 2*z**2 + 24*z + 4. Let d be w(-12). Suppose 382 = d*f + 1114. Are f and -182 nonequal?
True
Let t = 4.255 - 1337.255. Is 2/7 greater than or equal to t?
True
Let n = -30213 - -30213. Which is smaller: 7/3624 or n?
n
Suppose -157 + 157 = t. Suppose 0 = 2*w + 4*s - 6, t*w - s = -2*w - 4. Which is greater: w or 5?
5
Suppose -86*m + 7714 + 2864 = 0. Let q = -1/10983 - -2690837/21966. Which is smaller: m or q?
q
Let n = 18 + -27. Let o = n + 14.5. Let m = o + -1.5. Which is bigger: m or 4/3?
m
Suppose 91 - 21 = 10*h. Suppose 5*c = 3*l - h*l + 7, -5*l - 3*c = -12. Let j = -190/13 - -1715/104. Which is greater: j or l?
l
Let k(o) = o**2 + 3*o - 1212. Let r be k(31). Which is smaller: 46 or r?
r
Let h be (-1856)/5112 - (-4)/18. Let d(j) = 89*j + 90. Let n be d(-1). Are n and h equal?
False
Let d be 2259748/70800 + 10/(-15). Let y = -1/1475 + d. Is 31 bigger than y?
False
Let f = 15/31 - -19/217. Which is smaller: f or 4/57?
4/57
Let p(x) = x**3 - 11*x**2 - 13*x + 4. Suppose -4*k + 2*k - 2 = -j, 3*k - 27 = -j. Let t be p(j). Let o be 4 + t + (-2 - -11). Is 2 < o?
True
Suppose 726 + 746 = 32*v. Suppose 4 = -2*o + v. Which is greater: o or -6?
o
Let o(n) = -n**2 + 3*n + 243. Let j be o(13). Which is bigger: j or 563/5?
j
Let z = 1592/105105 + -10/429. Which is smaller: z or -1?
-1
Let z = 4/419457 + -384223648/108639363. Let m = -70/37 + z. Let n = 2743/504 + m. Do -1 and n have the same value?
False
Let j be -1*3*5 - -1. Let r(w) = -4*w. Let n(l) = 9*l. Let h(v) = 2*n(v) + 5*r(v). Let c be h(7). Is j at least c?
True
Suppose 2*x + 4*l = -66, 2*l = 3124 - 3134. Which is 