Which is greater: -1/51 or n?
n
Let u = -82.6 + -14.4. Let j = u + 98. Is j at least 0.054?
True
Let x(b) = b + 1. Let m be x(-2). Let o = 23 - 13. Let d be 14/35 - 24/o. Do d and m have the same value?
False
Suppose -3*s - 4*i + 356 = 0, 2*s = -2*s + 4*i + 484. Suppose -15 = -5*d - s. Let w = -109 + 87. Which is smaller: d or w?
w
Suppose 210 = -0*s + 5*s. Let b be (-677)/s + 4 + -4. Let z = 95/6 + b. Which is smaller: 3 or z?
z
Let g = -106 + 121.5. Which is greater: 0 or g?
g
Let l(j) = 4*j**3 + j**2 - 16*j - 14. Let d be l(4). Which is greater: d or 196?
196
Let g be -8 - (3 + -438 - 4). Which is smaller: 434 or g?
g
Let g(i) = 19 - 5 - 3*i + 2*i. Let q be g(7). Is 4 != q?
True
Let h = 4695359/8 - 586082. Let d = h + -839. Which is bigger: 0 or d?
0
Let j be ((3 + 3)/6)/((-6085)/(-5)). Which is greater: 1 or j?
1
Suppose r - 7*r = -12. Suppose -r*o + o = 0. Suppose -m = -2*q + 5, 4*m - 3*q = -8*q + 19. Which is greater: m or o?
m
Let c be 3 - ((-49)/7 - -10). Which is smaller: 7/95 or c?
c
Let o = 8425/2867733 + -1/3839. Do o and 1 have the same value?
False
Suppose 0*y = 4*y + 132. Let a = 16 + y. Let o = 84/5 + a. Is 0.1 not equal to o?
True
Let a = 30 + -24. Let h(d) = -d**2 + 6*d - 3. Let n be h(a). Let y = -7 + 5. Is n < y?
True
Let g = -0.01 + -0.2. Let m = 13.79 - g. Let o = 12 - m. Which is smaller: 2/3 or o?
o
Let h be 1 + (1 - (-64)/(-26)). Suppose -2*r = -3*m - 0*r + 9, -2*m = 4*r - 6. Let f = m + -2. Are f and h nonequal?
True
Let x = -42.7 + 42. Is -1 less than x?
True
Let z = 4907/35786 - -1/1234. Which is greater: z or -1?
z
Let j(k) be the second derivative of -k**4/12 + 7*k**3/6 - 2*k**2 + k. Let n be j(6). Suppose -33 + 3 = -5*d - 5*b, -2*d - 9 = -5*b. Is d at least as big as n?
True
Let d = 8 - 3. Suppose d*v + 15 = 20. Which is bigger: v or 0?
v
Let h = 0.406 + 0.034. Which is smaller: h or 3?
h
Let g be (-20)/6 - (-3)/((-90)/20). Which is greater: g or -1?
-1
Suppose 8*p - 1540 - 460 = 0. Is 250 less than p?
False
Let u(a) = a**3 + 12*a**2 + a + 13. Let h be u(-12). Let q be 1099/7 + 0 + h. Let t = q + -1104/7. Which is greater: t or -7?
t
Let h be 4 - (-8)/((-24)/(-369)). Let r = 132 - h. Is 5 != r?
False
Let x = -27951 - -27952.9. Let f = -0.8 + 1.1. Which is greater: f or x?
x
Let s = 0.165 + -0.265. Which is smaller: s or -19/7?
-19/7
Let b = 359 - 480.3. Let c = b + 120. Which is bigger: -3 or c?
c
Let u be 87/116 + (-37)/60. Which is smaller: u or 2?
u
Suppose 0 = 5*h + 8 - 3. Let o be ((-1)/(-3))/((-15)/(-225)). Let s = h - o. Are s and -5 equal?
False
Let v(x) = 85*x - 694. Let t be v(12). Is t less than 326?
False
Let m(k) = -k**2 - k + 2. Let r be m(-2). Suppose -2*b - 7 + 5 = r. Let t be 63/27*(4 + b). Are 7 and t unequal?
False
Let z(t) = -6*t + 47. Let s(g) = g**3 - 10*g**2 - 10*g - 3. Let n be s(11). Let y be z(n). Is y <= -2/25?
True
Let t = 149 - 149. Which is greater: -46 or t?
t
Let z = -10 - -10. Let n = 10514404 + -388995358/37. Let y = n + -1016. Which is greater: y or z?
z
Suppose 0 = 11*m - 9*m + 8. Let t be 7*m/(-70) + 2/(-30). Is t smaller than 0?
False
Suppose 4*o = s - 44, 4*o + 0*s = -s - 52. Let r be (-4)/o + 2/6. Let i = -70.8 - -71. Is i smaller than r?
True
Suppose -2*w - 6 - 34 = 0. Let z = w - -17. Is -2 at least as big as z?
True
Let l be ((-1)/1)/(6 - -16). Let a(m) = 2*m + 1. Let r be a(0). Which is smaller: l or r?
l
Suppose -4*b - 24 = w, -4*b + 37 = -3*w - 9*b. Let n(q) = q**2 + 7*q + 9. Let j be n(w). Which is greater: j or 7?
7
Let o = -15503/5 + 3087. Which is smaller: -13 or o?
o
Let r be (-1)/4 - 975/52. Suppose -8*w - 95 = -3*w. Do w and r have the same value?
True
Let v = -3 + 5. Suppose r - 10 = -v. Suppose -h - r = -9. Is 3 at most as big as h?
False
Suppose -2*h + 3*f = -5*h - 6, 4*h = -3*f - 7. Suppose 2*d + 1081 = -3*k, -4*k - 898 = 2*d + 542. Let p = k + 6825/19. Which is smaller: p or h?
h
Let w = 46 + 108. Are w and 1 unequal?
True
Let y = -0.25 + 0.15. Let r be 2/2 + (-16)/5. Is y at least as big as r?
True
Let p = -26 + 8. Let v = 29 + p. Let s = v - 11.2. Is -4 >= s?
False
Let d be 6/(-2) + (-420)/(-138). Let s(k) = -2*k**3 - 16*k**2 + k + 8. Let a be s(-8). Which is smaller: a or d?
a
Let a(p) = p**3 - 4*p**2 + p - 10. Let n be a(6). Is 69 < n?
False
Let o(m) = 46*m**2 + 30*m + 24. Let n be o(-4). Is 638 <= n?
True
Suppose m + 4 = -5*c, 3*c + 6 = -3*m + 6*m. Let q be 2/(1*c/(-2)). Suppose 8 = 5*u + 2*s, 2*u + 0*s = q*s - 16. Is u != 1/12?
True
Let m = 438 - 415. Which is greater: m or 26?
26
Suppose a - 2*t = -182, -578 = 5*a - t + 377. Which is smaller: a or -193?
-193
Let d = -229/66 - 1/33. Let i = -131/34 - d. Which is smaller: -1 or i?
-1
Let d be (14/(-3))/((-4)/18). Let q be ((-23)/d)/(4/12). Is q smaller than -2?
True
Let r = 0.812 - 0.612. Is r bigger than -8?
True
Suppose 3*z - 1 = -4*w, 0 = 3*z - 4*z + 5*w + 13. Let h = 16 + -13. Suppose -5*y - h*u = -32, -2*y = 5*u - 31 + 3. Which is smaller: z or y?
z
Let p be 14*(425/106 + 4/(-1)). Is p greater than 1?
False
Let c(m) = -m**3 - 9*m**2 + 8*m - 18. Let v be c(-10). Let o be -1*v*((-243)/18)/(-9). Is -17/9 greater than o?
True
Let x(o) = 0*o + 5*o - o + 21. Suppose -8*k = -3*k + 30. Let r be x(k). Which is greater: -4 or r?
r
Let m = -44561/4 + 11273. Is m bigger than 132?
True
Let p = -6 + 6. Let k be 56*(3/(-4) - p). Let q be k/4*3/(-9). Is q at most 5?
True
Let n = -0.2 + -0.8. Suppose -8 = 4*v - 0. Which is bigger: n or v?
n
Let d be (-4)/(-34) + 6939/(-459). Is 11 at most d?
False
Let v(k) = k**2 + 15*k + 5. Let j be v(-15). Suppose 11*r - 16*r - j = 0. Does -5/11 = r?
False
Let i(b) = b**2 + 16*b - 4. Let l(g) = -g**2 - 15*g + 4. Let q(j) = 6*i(j) + 7*l(j). Let s be q(-9). Which is smaller: s or 2?
2
Let z be 2/3*6/4. Let c(v) = -6*v**2 + z + v**3 - 4 + 5. Let d be c(6). Which is smaller: 1 or d?
1
Let c(o) = 6*o + 1. Let v be c(-14). Let i = v + 82. Which is bigger: 0.002 or i?
0.002
Suppose 3*d - 1 - 14 = 0. Let f(t) = t**3 - 4*t**2 - 3*t - 5. Let j be f(d). Suppose 41 + 9 = -j*m. Is -11 greater than m?
False
Let o = -65.9 + 66. Suppose -4*n = -7*n. Suppose r + 0*r = n. Are r and o nonequal?
True
Let p be ((-40)/15)/((-2)/3). Suppose q + 5 = -p*q. Which is bigger: -6/11 or q?
-6/11
Suppose -3*o - 97 - 56 = 0. Let k = -50 - o. Is k > 5/9?
True
Let t(x) = -x**2 - 2*x - 1. Let j be t(-5). Let d be j/56 + (1 - 1). Let h = 23 + -20. Which is greater: h or d?
h
Suppose -2*z + 3*y = 367, 23*z + 2*y + 392 = 21*z. Is z less than -191?
False
Suppose a = 3*a + 20. Let s be -6*(a/54)/5. Is -1 greater than s?
False
Let u be (-14)/(-28) + 493/14. Suppose -y - 3*k = 45, -3*y - 102 = 2*k - 4*k. Let i = u + y. Which is smaller: -7 or i?
-7
Let o be -3 + 60/(-7)*672/(-1856). Is o smaller than 0?
False
Let f = -29.4 + 30.7. Which is greater: -0.1 or f?
f
Let r = 34 - 32. Is r < 2?
False
Let i = 17535233/91701 + 4/10189. Let y = i + -191. Which is smaller: -5/3 or y?
-5/3
Let n be (-12)/(-42) + 2*270/(-28). Let b = -16 + 33. Let r = b + n. Which is smaller: -3 or r?
-3
Let z be (18/16 + -1)/(-3). Suppose -2*f + 37 + 129 = 4*x, 3*f - 245 = -2*x. Let b = 82 - f. Which is bigger: b or z?
b
Let r(k) = k**3 - 10*k**2 - 4*k + 14. Let a be r(10). Let j = a - -36. Suppose -42 = -4*f - 5*c + 3, -2*f - 5*c + 25 = 0. Is j less than or equal to f?
True
Let g(m) = 1. Let v(d) = d + 12. Let s(t) = -5*g(t) + v(t). Let p be s(-9). Let i be (-1 - p/4)*0. Is 9 greater than i?
True
Let j = 6 + -1. Suppose -z - 2*o + 46 = -0*z, o = j. Which is bigger: z or 37?
37
Let j = -10305/4 - -2569. Which is greater: j or -8?
j
Let z = -667/172 - -330871/76540. Let j = -4/89 + z. Let d = -8 + 7. Which is smaller: d or j?
d
Let p = -15 + 16.9. Let h = p - 1.78. Let z = h - -3.28. Is -1 at least z?
False
Let r = 2829 + -2829.12. Let t be -1 - -1 - 2/9. Which is greater: t or r?
r
Let s(x) = x**2 + 23*x - 171. Let t be s(-29). Which is greater: 15/7 or t?
t
Let s be (6/(-18))/((-9)/(-27)). Is s bigger than -19?
True
Let r(y) be the first derivative of y**2/2 - 20*y + 1. Let m be r(15). Which is bigger: m or 3?
3
Suppose -9*w = -7*w + 5*v + 78, -4*w - 144 = 4*v. Which is bigger: 0 or w?
0
Let p = -14 - -19. Suppose m = 2*h - 3*h - 15, -p*h - 7 = m. Let q = 12 + m. Is q > -5?
False
Let y = 164 + -166. Is 1/13 smaller than y?
False
Suppose -k +