maller: q or u?
u
Let g = 1 - 0.9. Let d(p) = -5*p**3 - p**2 + 10*p - 8. Let x be d(2). Is g < x?
False
Suppose 5*n + 4 = 4*y, 6*n + 3*y - 3 = 3*n. Suppose 6*o - 426 - 138 = n. Is o >= 94?
True
Let n be (-6)/4 - 15/10. Let m = -425059/19 - -22369. Which is bigger: n or m?
m
Let g be ((-48)/(-60))/(4/50). Let y be 4/(0 + 4) + g. Let k = -67 + y. Is -57 at least k?
False
Let x(z) = z**3 - z**2 - 4*z - 61. Let q be x(5). Which is smaller: 39 or q?
q
Let n be -4 + 83727/(-6979)*1/(-3). Which is smaller: n or -1?
-1
Let r = -13492 - -1996837/148. Which is bigger: r or 1?
1
Let x(i) = 11*i - 16. Let z be x(11). Let h(m) = -2*m**3 - 20*m**2 - 33*m - 29. Let p be h(-9). Is z != p?
True
Let d(q) be the first derivative of q**4/24 - 3*q**3/2 - 4*q**2 + 24. Let y(o) be the second derivative of d(o). Let t be y(10). Is t at most as big as 19?
True
Let h = 41 + -41.8. Let d = h + 0. Which is bigger: 18 or d?
18
Let g = -2978 + 2959. Is g < -399/22?
True
Let y = 3983.77 - 3984. Is y bigger than 109?
False
Suppose -2*o = 16, -58*d + 3*o = -53*d + 781. Are -160 and d nonequal?
True
Let s(l) = l + 3. Let d be s(-4). Let k be ((-13398)/(-705) - 19)/(27/45). Which is smaller: d or k?
d
Let d(l) = 5*l**2 - 9*l + 56. Let x be d(-11). Suppose 436 = -6*j + x. Which is smaller: 56 or j?
j
Let v(r) = -r**2 + 3*r. Let a be v(3). Let w(d) = 15*d**2 - 1 - 3 - 24 - 17*d**2 + 2*d + 30. Let p be w(a). Are 12/11 and p nonequal?
True
Let k = 1.44 + 7.56. Let z = 10.8 + -1.8. Let p = z - k. Is p less than or equal to -9?
False
Let t be ((-1030)/(-6489))/(15/162). Let a be ((-10)/6)/(3/(-18)). Suppose 5*v = -0*v + a. Is v less than t?
False
Let j be 180/(-2470)*264/9 - 3 - -5. Which is smaller: 0 or j?
j
Suppose 0 = -b - 5*d + 98, -3*b - 4*d - 32 = -315. Suppose -120*j + b = -123*j. Is -207/7 >= j?
True
Let r be ((-8)/12)/(7/((-47460)/(-8))). Which is smaller: r or -1127/2?
r
Let o(b) = 28 - 29 - b + 3*b - 4*b**2. Let l(k) = -3*k**2 + 3*k. Let j(i) = 5*l(i) - 4*o(i). Let m be j(-6). Which is smaller: -1/2 or m?
m
Let t = -10589/1990 + 44/199. Let p = t + -3/2. Is -5 greater than or equal to p?
True
Let t(b) = -8*b - 24. Let h be t(-5). Suppose 14*g - h = 12*g. Suppose -g*p = -4*p - 16. Does p = 4?
True
Suppose -111 = s - 3*v + 8*v, 2*s + 2*v + 262 = 0. Let r = s - -87. Which is greater: -48 or r?
-48
Suppose -7928 = -106*a + 145666. Is a > 1450?
False
Let u = -10/18619 + -1486450/5716033. Is 0 bigger than u?
True
Let f = -13 - -14. Let t be (-1 + f)/(12 - 9). Suppose 3*l - 30 - 33 = t. Which is greater: l or 20?
l
Let c = 16 + 105. Suppose k - 26 = 2*w + 21, -5*w - c = k. Is w less than or equal to -24?
True
Let o = 129337/136 - 951. Suppose -1174 + 1173 = v. Are o and v unequal?
True
Let n = -274.953 - -275. Let o = n - -26.953. Is o <= -1?
False
Let z(s) = s**3 + 18*s**2 - 68*s - 100. Let j be z(-21). Is j bigger than 183?
False
Let f(g) = -101*g**2 + 2424*g + 9. Let y be f(24). Let q(n) = 4*n - 7. Let l be q(5). Are l and y non-equal?
True
Suppose -459 = -3*i + 3*k, -8*i + 10*i - 18*k = 418. Which is smaller: i or 183?
i
Suppose 2*g - 4*g + 2*y - 8118 = 0, g = -y - 4061. Is -4060 smaller than g?
False
Let l(z) = -z**2 + 3*z - 13. Let g(v) = -v. Let i(h) = -6*g(h) + l(h). Let x(a) = -3*a**3 - 1. Let s be x(-1). Let f be i(s). Which is smaller: f or 3/5?
3/5
Let w = 18668 - 803391/43. Which is greater: -17 or w?
w
Let t = -5 + 9. Suppose -5*q = -t*q + 3. Let c = 5/133 + -2971/1197. Are c and q equal?
False
Suppose b + 21*g = 22*g + 25, 91 = 4*b - g. Suppose -48*v = -b*v - 26. Let s = 90/13 - 603/104. Which is bigger: v or s?
s
Let w = 320/2183 - 84719429/85137. Let s = 995 + w. Which is smaller: s or 1?
s
Let n be (12/40)/((-3)/(-4)). Let q be (-1 - 138/(-144))/((-430)/2776). Let s = q + 4/129. Which is bigger: n or s?
n
Let s = 104 - 103. Suppose -2*n + 57 = s. Which is bigger: 29 or n?
29
Let g = -446 - -477. Let c = -75 - -106. Let d = c - g. Is d > 1?
False
Let h be (-7 - -2)/(-5) - (-1 - 0). Suppose -5*i + 4 = -7*i, h*f + 4*i = -12. Which is smaller: -1 or f?
f
Suppose -7*v - 1172 = -1158. Is v >= -68/61?
False
Suppose -3*x + 8 = -4*n, -n + 5*x - 59 + 40 = 0. Are n and 66/37 unequal?
True
Let i = 5767 - 3562. Suppose 7*p + i = 28*p. Is 106 at most as big as p?
False
Let u be -2*(-1 - 2) + 1. Let i(k) = k - 8. Let y be i(u). Let b be -4 - (-1 - y) - -8. Which is smaller: b or 2?
2
Suppose 61*r - 253 = -10867. Is r < -23?
True
Let s = 45788 + -40846. Is 9885/2 smaller than s?
False
Let a(y) = 13*y**2 - 29*y - 12. Let i be a(-13). Suppose -23*f = -29*f + i. Is f at most as big as 427?
True
Let d be -1 + 3675 - 225/(-225). Do 3674 and d have different values?
True
Let a be (-18 - -9) + (-15)/(-3). Let n(r) = r**3 + 7*r**2 + 20*r + 3. Let z be n(a). Which is greater: z or -28?
-28
Suppose 5*o + 70 = 3*l - 2*l, 0 = -o - 5. Let u = 48 - l. Suppose -7*j + u*j = 0. Which is smaller: j or -9/7?
-9/7
Let r = 10344 - 10391.57. Let g = r + 48. Let s = 0.33 - g. Is s at most as big as -77?
False
Let x = -11/150 + 6/25. Does 115 = x?
False
Let r = 157 + -160. Let z be (3528/237)/r - (-1 - 4). Which is smaller: z or 1?
z
Let v(a) = a**3 + 9*a**2 - 15*a - 32. Let r be v(-10). Let c be 3*(-4)/r*6/(-4). Is c less than or equal to 1/39?
False
Let w = -3/4901 + -2176023/34307. Is w smaller than -0.6?
True
Let n = -1.147 + -0.853. Which is greater: -1894 or n?
n
Suppose 0 = 4*l + 3*w + 551, 0 = -l - 2*w + 4*w - 146. Is -168 <= l?
True
Suppose 135*l - 2312 = -19*l + 18*l. Is 109/6 not equal to l?
True
Suppose 225 - 1085 = -43*r. Does r = 25?
False
Let s(o) = o + 3. Let h be s(-5). Let v be 6/h*(-2)/(-82). Suppose 5*i = -3*d + 4*d, -d = -3*i + 2. Which is bigger: i or v?
v
Suppose -4*r + 4*t - 3407 = -3479, 24 = -4*t. Suppose 3*n - j + 17 = -5, -n - 3*j - 4 = 0. Is n > r?
False
Let p(h) = -h**3 + 9*h**2 - 37*h + 160. Let v be p(7). Is v > -36/349?
False
Let w(z) = -z + 52. Let q be w(-23). Let o = -43 + q. Which is bigger: o or 33?
33
Suppose 3*l - l + 6 = 0. Suppose -414 = 75*g - 74*g. Let p = g + 413. Is l >= p?
False
Let v(j) = -9*j + 14. Let c be v(10). Let u be 8586/(-40) - 19/c. Let h = -212 - u. Is 3 less than or equal to h?
False
Let x = -7/68 + 41/68. Let o = -26 - -35. Does x = o?
False
Suppose -2*u + 894 = -q + 3417, 0 = -4*q + 12. Let l be (2193/u - 4/28) + 2. Do -1 and l have the same value?
False
Suppose 439*n + 4875 = 514*n. Which is smaller: 56 or n?
56
Let s = 821 + -814. Let c = 2 - s. Let v be (-2)/6*(-6)/(-16). Is c greater than v?
False
Let o be (-3 - -6 - 4)*1*-6. Let a be o*(-1)/(-6)*-2. Let r be a/4*-142 + (-9)/(-3). Which is smaller: 73 or r?
73
Suppose 3*i - 6*v - 60 = -5*v, 5*v = i - 6. Let n be (i + -22)*24/2. Which is smaller: n or -3?
n
Suppose -5*v + 1145 = 2*l, -4*l = -6*l + 10. Let s = v + -295. Is s > -66?
False
Suppose -4*b + 2 = -91*l + 93*l, -2*l + 6 = 0. Which is greater: b or 1/1708?
1/1708
Suppose 42*a = 28*a - 5*a - 665. Is a at most as big as -38?
False
Let q(u) = u + 2*u - 4 + u**2 - 7*u - 2*u**2. Let h be q(-3). Is 3/17 equal to h?
False
Let w(a) = -a**3 + 7*a. Let d be w(-3). Suppose -6*l + 36 = d. Let i be (l - 2 - 4)*39. Is -40 at most i?
True
Let i be (2 + 12/(-8))*(-2886)/37. Suppose -6*x = -0*x + 246. Which is bigger: x or i?
i
Suppose -2*v + 18*v + 5*v = 0. Is v > -12/157?
True
Let m(x) = 12*x**2 - 8*x - 8. Let s be m(-9). Suppose -z = -8*z - s. Let y = -103 - z. Which is smaller: y or -1?
-1
Let s = -3 - -31. Let b = s + -23.5. Let f = b - 4.4. Which is smaller: 20 or f?
f
Let x = 11 - 56.3. Let b = x - -46.3. Which is smaller: b or 1/117?
1/117
Let w = -7.04 - -8. Let l = w - 3.11. Let p = 0.15 + l. Is 3 != p?
True
Let w = -259.71 + 3.71. Let d = w + 257. Let a = -0.152 + 0.089. Is a at most as big as d?
True
Let r = -4.58 - 30.02. Let u = 32.6 + r. Which is bigger: 0.02 or u?
0.02
Let j(n) = -n**2 - 962*n - 6688. Let s be j(-7). Let h be (-1 + 7/3)*-3. Is s >= h?
True
Let m = -10186 - -3259523/320. Which is smaller: m or 1?
m
Let a = -22407 - -46861/2. Let n = a - 995. Which is smaller: n or 29?
n
Let g = 68 + -107. Let t be ((-14)/g)/(68/51). Which is greater: t or 1?
1
Suppose 47*o = 5*u + 50*o - 4, -4*u = 3*o - 5. Is u != -5/1457?
True
Let k(g) = 2013*g - 15665. Let h be k(8). Which is greater: h or 418?
h
Let x = -0.082 - 152.918. Le