(-7)*396/(-495). Is y bigger than u?
True
Suppose 3*v - 7 = 2. Suppose -v*x - 1 = 2. Let r = -224 + 3356/15. Which is greater: r or x?
r
Let y(s) = -s**3 + 7*s**2 - 7*s + 1. Let n be y(6). Let m be (9/(-435))/(1/n). Are -1 and m equal?
False
Let v = -1251/5 + 249. Let r be (16 + -17)/(3 - 0 - 2). Does r = v?
False
Suppose -j + 8 = -3. Let o = j - 12. Let a be (-5 - -2) + 0 + 1. Which is smaller: a or o?
a
Let y(v) be the first derivative of -2*v**2 + 57*v + 30. Let h be y(21). Are -28 and h nonequal?
True
Let g = 5.1 - 1.1. Let t = -106 - -148. Let r = t + -44. Which is greater: r or g?
g
Suppose 518 = -23*y - 7279. Is y less than or equal to -341?
False
Let n = 4/333 + 991/666. Is -15 less than n?
True
Let m = -1799 - -1770.06. Let j = 0.06 - m. Let k = -26 + j. Which is smaller: -0.1 or k?
-0.1
Suppose v = -2*f - 0 + 4, 0 = -3*f + 5*v + 19. Let l be 2 + (-4 - 1) + f. Suppose l = 2*d - 10, 0*o + 3*d = -3*o + 21. Is -1 != o?
True
Let j(v) be the second derivative of v**5/20 - 11*v**4/12 + 3*v**3/2 + 9*v**2/2 + 5*v. Let a be j(10). Which is smaller: a or 1/3?
a
Let i = -543 - -558. Which is smaller: i or 0.12?
0.12
Let z = 310 - 35. Which is greater: 551/2 or z?
551/2
Let k = -12 - -22. Let i be (1/3)/(k/(-3)). Let a = 14 + -15. Which is bigger: a or i?
i
Let n(w) = -w**3 - 14*w**2 - 16*w - 9. Let b be n(-13). Suppose 106 = -4*h + b. Is -20 less than or equal to h?
True
Let q(z) = z**2 + 3*z - 3. Let i be q(-3). Let d = 21 - 21. Suppose 2*k + 2*m + 4 = d, -2 + 3 = m. Is k greater than i?
False
Let b = -3 - -7. Let j = 0 - -14. Let c be j/21*42/b. Is 7 at least c?
True
Suppose 7*a = -2038 + 456. Which is greater: a or -223?
-223
Let w = -5.3 + 5. Let y = w + 0.3. Let c = -10.09 - -10. Is c >= y?
False
Let h be 24/(-8) + 13 + -409. Which is greater: -397 or h?
-397
Suppose -h = -2*h + 6. Suppose 25 + 65 = 5*i. Suppose 3*y + i = h. Is -5 less than or equal to y?
True
Let t = 20.1 + -20. Let k = t - -6. Let j = k - 6. Does j = 0.9?
False
Let a = 30.36 + -30. Let h = 0.26 - a. Is h less than or equal to -28?
False
Let l be (228/(-8) + 6)*(-4)/5. Suppose q + 3*h = -9, -q - q + 3*h - l = 0. Are q and -12 non-equal?
True
Suppose -123*h = 2*h - 125. Are -9/67 and h unequal?
True
Suppose 2*o = -4*x + 78, 28 = x + o + 9. Let u = -15 + x. Suppose 8*l - 3*l = 25. Is l > u?
False
Let p be (-2 + 6)/((-5)/1). Suppose 45*f = -255 - 15. Is p smaller than f?
False
Let z = -0.4 - -0.5. Let s = -0.16 + z. Which is bigger: s or -1/5?
s
Let p = 52 - 209/4. Suppose c - 2*m = -2, -2*c - 2*m - 1 + 3 = 0. Are p and c non-equal?
True
Let h = -42.1 - -43.1. Is -81 != h?
True
Let j = 53.2 - 78.1. Let w = j + 27. Let n = -2.9 - w. Which is greater: n or -3?
-3
Let l be (8/(-48)*0)/(2 - -3). Which is smaller: 3 or l?
l
Let z = 0.001 - 0.031. Let j = -0.97 + z. Let a = -0.02 - -0.32. Which is smaller: j or a?
j
Let u be 6*(18/(-54) + 2/(-12)). Which is smaller: 69 or u?
u
Let f(d) = 38*d**2 - 18*d + 5. Let g be f(2). Which is greater: 116 or g?
g
Suppose -q - 20 = -3*q. Let p be 28/q - (8 + -5). Let y = -4 - -2. Which is greater: y or p?
p
Let i = -12.4 - -12. Let r(n) = -n**3 - 9*n**2 + 12*n + 6. Let q be r(-10). Let p = 14 + q. Are p and i equal?
False
Let d = 1.1 + -0.5. Let u = -0.7 + d. Let x = u + 0. Which is smaller: -2/5 or x?
-2/5
Let o = 80 - 9522/119. Which is bigger: o or -1?
o
Let r be 8/44 - 1086*2/(-33). Let u be (88/r)/((-22)/9). Which is greater: -1 or u?
u
Let x = -0.54 - -0.01. Let g = x - -0.53. Is -2/413 less than g?
True
Let m be ((-616)/(-105) + -6)/((-3)/5). Are m and 94 nonequal?
True
Let m = 49 + -25. Suppose -7*d + 11*d = m. Which is smaller: -2/5 or d?
-2/5
Suppose 4*y - 51 = -o + 11, 0 = 5*y + 2*o - 79. Let n = -13 + y. Which is smaller: n or 3/4?
3/4
Let w be ((-21)/7)/((-3)/(-2)). Suppose 146 = 6*z - 52. Let i be -2 - ((-114)/z - w). Is -2 at most i?
True
Let p = 1114 + -1108. Which is smaller: 7 or p?
p
Let a(j) = -j**3 + 24*j**2 + 49*j + 77. Let w be a(26). Which is greater: w or 2/891?
2/891
Let l = 0.029 - -5.171. Let k = l + -2.2. Let p = -2 - -2. Which is bigger: k or p?
k
Let n be (-1)/(-6) - 13131/(-108). Which is bigger: 121 or n?
n
Let b = -691.0253 - -691. Which is smaller: b or -2?
-2
Let i = -33 + 23. Let f = 7 + i. Suppose 0*z - 2*z = 0. Is z bigger than f?
True
Let t(r) = -2*r**2 - 1. Let p be t(-1). Let n(h) = 4*h**3 - h**2 - h + 1. Let s be n(1). Let d = p + s. Do 0 and d have the same value?
True
Let r(h) = -h**2 - 9*h - 1. Let l be r(0). Which is bigger: 4/107 or l?
4/107
Let z(f) = f + 35. Let t be z(0). Let q be (-5 - -3)*(-1)/t. Is -1 at least q?
False
Suppose 0*x = x - 2. Let k(g) = 2*g**2 + 4. Let a be k(2). Suppose -a = 5*i - x. Which is smaller: -1 or i?
i
Let q = -132 - -138. Suppose 4*j - 14 = 2*s, 0*s = 2*s + j + 9. Let d = s + q. Which is smaller: 0 or d?
0
Let f = 49 + -152/3. Let x(z) = z**2 + 9*z - 25. Let y be x(-11). Is y greater than f?
False
Suppose 5*j = 2*j + 3*n + 15, -4*j = -3*n - 16. Let d be ((-1)/(-2))/(243/795108). Let w = -1636 + d. Is w bigger than j?
False
Let d be 1430/88 - (-1)/16*-4. Is d > 17?
False
Suppose -2*t - 6 = 3*c + t, 4 = -4*t. Which is smaller: c or -1/46?
c
Let i = -0.097 + 0.05. Let b = i - 0.253. Which is smaller: b or -5?
-5
Suppose -5*z + 5*h = -50, -48*h = -z - 49*h. Let y = 66 + -35. Let q be (-2)/4 + y/6. Are q and z equal?
False
Let g be 0/(1/((-10)/2 + 4)). Is -8/19 less than g?
True
Suppose -3*k + 5 = -91. Suppose 0 = -v - 0*v - h + 20, -2*v = 4*h - k. Is v less than or equal to 23?
False
Let s be ((-18)/(-1155))/(3/(-50)*-5). Is s less than or equal to -1/2?
False
Let t = 48 - 54. Let i be t/(-4) - 33/22. Let r = 2/35 - 41/105. Is i <= r?
False
Let m = 0.1 - -0.9. Let b = -1 + m. Suppose 4*u = 5*p + 9, 5*p + 213*u - 208*u = 0. Is b > p?
True
Let z be (-3*4)/4 + 5. Suppose -4*g = -z*r - 0*g + 18, 3*g = -3*r - 9. Which is smaller: 0.48 or r?
0.48
Let t be 3/4 + 7308/112. Is t > 0?
True
Suppose 0 = 3*h + 2*u - 201 + 192, -6*h - u = 0. Let t = -18/35 + 2/5. Is t < h?
False
Let j be 1*(-1)/(-1) + 0. Is -1/511 smaller than j?
True
Let w(p) = 8*p + 3. Suppose -m + 10 = -5*q + q, -5*q - 2*m - 6 = 0. Let i be w(q). Let h = i - -18. Are h and 5 non-equal?
False
Let f be (-48)/60 + (-14)/(-5). Let v be ((-282)/(-60))/(4/90). Let n = v - 104. Which is bigger: f or n?
f
Let n be (-1 - -2)/(1/1). Let j(a) = 12*a**3 + a**2 - a + 1. Let u be j(n). Is u at most -2/3?
False
Let a(z) = -5*z - 4. Let d = -19 - -23. Let y be a(d). Let t = 32 + y. Is 8 at least t?
True
Let o = -207/116 - -30/29. Is o greater than or equal to 1/7?
False
Let q(i) be the first derivative of -i**3/3 + 3*i**2/2 + 3*i - 3. Let p be q(4). Let n be p + 1 - 24/22. Which is smaller: n or -2?
-2
Let b = 4.5 - 3.95. Let u = 0.45 + b. Let s be (1/3)/(10/(-12)). Is u less than s?
False
Let r = -0.415 - -115.415. Is 0.1 at most as big as r?
True
Let d = -1079 + 695. Which is smaller: -386 or d?
-386
Let s(t) = -t + 10. Let l be s(0). Let a be (-8)/40 - (-2)/l. Let m be 10/(-18)*(-4)/(-5). Are m and a non-equal?
True
Suppose -9*a + 3 = -6. Let f be ((-6)/(-4))/(3/4). Let s = -68/33 + f. Which is bigger: s or a?
a
Let h(s) = -3*s**2 - 7*s - 4. Let g(m) = -7*m**2 - 14*m - 9. Let r(k) = 4*g(k) - 9*h(k). Let x be r(7). Which is smaller: x or 2/179?
x
Suppose -14*y + 3259 = -465. Which is smaller: y or 268?
y
Suppose -3*w + 5*t = -0*w - 543, -513 = -3*w - 5*t. Suppose 31*a = 21*a - 30. Let s be (-356)/w - 1 - a. Are -1 and s equal?
False
Let n(v) = 5*v**3 - v**2 + v - 1. Let y be n(2). Let x = 34 - y. Which is greater: x or 0?
0
Let n = 112817/69 - 1635. Do n and 0 have different values?
True
Let g = 3 - -12. Suppose f = -0*f - g. Let u = f + 157/11. Is 0 at most u?
False
Let d(z) be the first derivative of -z**2/2 + 16*z - 7. Let u be d(13). Suppose -u*i + 5*i - 10 = 0. Is i bigger than 2?
True
Let s be (-16)/2 - (11 + 2 + 4). Do -181/7 and s have the same value?
False
Let t = 18 + -18. Let q be (-5)/(-28) - 2/7. Which is bigger: q or t?
t
Let t = -1163/26226 + 1/558. Which is smaller: 0 or t?
t
Suppose 0*j + 18 = 3*j. Suppose 2*f - 2 = 0, 3*k - j*k - 3*f + 87 = 0. Let u be 70/k*(-1)/10. Which is bigger: u or -1?
u
Let g = -145 + 390. Suppose 0 = 85*b - 80*b - g. Which is greater: b or 48?
b
Suppose 2*l = -3*y + 5, 0*y = y + 5