 5. Let v be f(-2). Let r be 0 + -4 + (-315)/v. Let n = -34 + r. Which is smaller: n or 25/4?
25/4
Let q(f) = f**3 + f**2 - 3*f - 3. Let c be q(-1). Suppose v + 3*w + 156 = 4*v, c = 3*v - 5*w - 166. Is 46 greater than or equal to v?
False
Let z be ((-9)/(-2))/(3/8). Let u = z - 12. Suppose u*q + 5*q - 3 = -x, 5*x + 7 = -3*q. Are 4/19 and q equal?
False
Suppose -5*c = -c - 2*s + 44, -3*s = -3*c - 39. Is 0.09 greater than c?
True
Let t = -72.605 + -1.695. Let v = t - -5.3. Does v = -1?
False
Suppose 5 = 5*m + 10. Let i be m/(1/(-3) - (-16)/12). Which is greater: -1/5 or i?
-1/5
Let b be (-33)/(-27) + -1 - 2688/(-54). Let h be 3/4 - -1*b/(-56). Is 1 > h?
True
Suppose -56 = 38*g - 42*g. Let z = -15 + g. Is z at most 4/39?
True
Suppose 4*g - k = 172 + 2416, -2*g + 1304 = -3*k. Let m be (-1942)/g + (5 - -4)/3. Which is bigger: m or -1?
m
Let a(u) = -u + 3. Let b(j) = -j**3 + 12*j**2 - 10*j - 13. Let w be b(11). Let o be a(w). Let x(n) = -4*n - 2. Let v be x(-2). Which is bigger: o or v?
v
Suppose 21*r - 18*r - 12 = 0. Let p be 17 + -25 + r*1. Is p at least as big as -3?
False
Let f(p) = -p**3 - 2*p**2 + 4*p + 3. Let c be f(-3). Suppose c*o + 36 = -3*o. Let q be (-8)/12 + 40/o. Is q less than -4?
False
Suppose 6007 = 7*v + 694. Which is greater: 760 or v?
760
Let h = 94 + -95. Let u(b) = 3*b**2 - 3*b. Let d be u(2). Let l be ((-3)/6)/(15/d). Is h less than l?
True
Let l = 443 - 442.9. Which is smaller: -824 or l?
-824
Let u = 888 - 19541/22. Let f(c) = -c**3 - 4*c**2 + 1. Let p be f(-4). Which is smaller: p or u?
u
Let p be ((-120)/(-160))/(57/20 - 2). Is -2/9 < p?
True
Let x = -75 + 51. Let o be (-6)/(-5)*(-60)/x. Suppose -2*d + o*d = -7. Which is smaller: -2 or d?
d
Let i be 84/9 - ((-5)/(-15) - 1). Which is greater: i or 0.03?
i
Suppose -4*n + 5*v = -168, -n - 2*v = -6*n + 210. Let k = n + -23. Which is greater: 0.1 or k?
k
Let k(f) = f**3 + 7*f**2 - 62*f - 26. Let p be k(-12). Let h = 2 + -1.9. Are h and p unequal?
True
Suppose s - 5*t - 2 = 0, 5*t = 5*s - 0*s - 10. Suppose 6*p - 144 = -2*p. Suppose 0 = 5*n + 13 - p. Is s <= n?
False
Let l = 223/6 - 110/3. Is l less than 1/311?
False
Let c be 10/18 - 1/3. Let w be -4 + 30 + 4 + -8. Let y be (-1 - -3)*(-11)/w. Does y = c?
False
Suppose 5*i = 2*n - 48, i + 74 = 5*n - 0*i. Let s = 15 - n. Is s less than or equal to -1/24?
False
Let u = -332 + 332.8. Let h be (-2 - -1)*(-8)/(-12). Which is greater: u or h?
u
Let u = 934/7 + -133. Let r = -3 + -14. Which is bigger: u or r?
u
Let q = 201 + -643. Which is smaller: -443 or q?
-443
Let c = 24 - 21. Let b = -0.09 - -2.09. Let a = 2.1 - b. Which is bigger: a or c?
c
Suppose 2*z - 3*d = 0, -5*d = -5*z - d. Suppose -c - 2*c + 24 = z. Let s = c - 4. Is s > 4?
False
Let l be (-4)/14 - (-5442)/(-112). Let o = l - -49. Which is smaller: 0 or o?
0
Suppose -r = 4*c - 2, 2*r + 7 = 5*c - 2*c. Let y be 3 + 0 + (-6073)/14. Let b = -431 - y. Which is smaller: b or c?
b
Let s = 75 - 40. Is 34 at least s?
False
Let g = -74 + 74. Let x be (g + (-36)/14)/(3/(-14)). Is 15 bigger than x?
True
Let g = 100625/33 + -3049. Which is bigger: g or 0?
g
Suppose -640 = -8*g + 13*g. Let m = g + 9346/73. Which is greater: m or 1?
1
Suppose -5*l - 30 = 3*w, -4*w + 8*l - 3*l - 75 = 0. Suppose 9*x = 201 + 69. Suppose 5*v = 7*v + x. Is v < w?
False
Let m = 3.8 - 4.3. Let s = m - -0.6. Which is smaller: s or 29?
s
Let u = 6 - 2. Suppose 3*y = u*w + 8 + 5, w = 2*y - 2. Let z be -3 + (w - -8)/1. Are z and 0 equal?
False
Suppose -p = -v + 3 - 11, -2*p - 5 = 5*v. Let g(r) = -r**2 - 4*r + 14. Let u be g(p). Which is smaller: -2 or u?
u
Let t(d) = 2*d**2 + 4*d. Let k be t(0). Which is greater: 4/101 or k?
4/101
Let v be (-135)/10*(-16)/6. Let w be 2/(-12) - (-78)/v. Is 13 at least w?
True
Let v = -306 - -315. Is 14 less than or equal to v?
False
Let x = 553 - 553. Which is bigger: -196 or x?
x
Let n be -5 - -6 - (-2 + 0). Suppose -4*p = -n*x - 35, -4*x - 3*p - 97 = x. Which is bigger: x or -18?
x
Let o(x) = x**3 - x**2 - 6*x + 2. Let m be o(3). Let r be (3 - 0)/(1 - m/(-1)). Is r at most -4/39?
False
Let l(p) = -2*p + 35. Suppose h - 25 + 8 = 0. Let s be l(h). Which is bigger: s or -1?
s
Let l = -342/11 + 31. Suppose 2 - 22 = -10*b. Suppose 10*x + b = 8*x. Is l < x?
False
Let b = 0.9 - -4.7. Let y = -5.7 + b. Which is bigger: 13 or y?
13
Let h be (-1092)/105 + (-4)/(-10). Let k = 6 + h. Let f be (k + 96/20)*-5. Which is greater: -5/2 or f?
-5/2
Suppose -6*r = -8*r + 42. Let y be r + 5/(-2 + 7). Which is smaller: 23 or y?
y
Let v be -7*(4/(-21))/(10/1005). Which is smaller: v or 135?
v
Let a(d) = d**2 - 5*d + 2. Let y be a(5). Let v(q) = -q**3 + 2*q**2 - 2*q + 3. Let m be v(y). Which is smaller: 1/24 or m?
m
Let s be 3/(((-18)/14)/(-3)). Suppose 4*o + x = 27, -4*o + 8*o + 5*x = 23. Are s and o equal?
True
Let t be (1 - 4) + (-6 - (2 + -4)). Let f be t/(-21)*4/((-4)/(-3)). Is f equal to 2?
False
Let a be ((-10)/45)/(3/((-45)/(-10))). Is 1298 < a?
False
Let m = 262 + -277. Which is smaller: -16 or m?
-16
Let f be 18 - 12 - 168/15. Are f and -5 unequal?
True
Let x = 2 - 2. Let d be (-3)/(-27) - (-64)/(-720). Is x less than d?
True
Suppose -40*n + 28*n = -24*n. Are 3/509 and n non-equal?
True
Let k = -28 + 33. Suppose -k*z = -8*z. Which is smaller: z or 4/9?
z
Let n = 3 - 5. Let k = 6.04 + -2.04. Let m = n + k. Which is greater: m or 5?
5
Let g = 1.46 + -7.36. Let f = g - -1.9. Is -2/5 <= f?
False
Suppose -2*w - 20 = 2*s, -2*w + 4*s = -13 + 3. Suppose y + o = -3 + 4, -4 = 4*o. Let x = -8 + y. Is x >= w?
False
Let y(b) = -40*b + 199. Let n be y(5). Let o be 5/(-24) - (-4)/(-6). Which is smaller: n or o?
n
Let m(z) = 7*z + 8*z - 4 - z**3 + 9*z**2 - 22*z - 2. Let x be m(8). Let i be (-3)/(-12) - (-1)/(-4). Which is greater: i or x?
x
Suppose -3*b + 4*y - 140 = -2*b, -301 = 2*b - y. Let c = 135 + b. Is -17 > c?
False
Let v = -63662063/229362 - -40/2667. Let d = 555/2 + v. Which is greater: d or -1?
d
Let l(h) = -170*h - 145. Let k be l(-2). Is 197 at least k?
True
Suppose 53*v + 22134 = -9*v. Is v smaller than -355?
True
Let z(x) = -x**2 - x + 21. Let m be z(-5). Is m less than -6/133?
False
Let h = 2.3 + -2.18. Let f = -0.22 + h. Let v = 0.1 + f. Are v and -13/3 unequal?
True
Suppose -29*g + 130 = -19*g. Which is smaller: -1/6 or g?
-1/6
Let d = 0.0256 - 0.0256. Is -3/287 less than d?
True
Let a be 10 - (6 + 238/84). Which is smaller: 5 or a?
a
Let f = -271 - -311. Do f and 39 have different values?
True
Suppose -25 = -7*x + 3. Suppose 0 = x*o + 10 - 2. Which is bigger: -5/4 or o?
-5/4
Let s be (-140)/60 + 1058/447. Which is smaller: s or 0?
0
Let a be (1*2)/(-7 + (-222)/(-30)). Suppose a*k + 13 = -12. Do -32/9 and k have the same value?
False
Let a = -1071 + 1106. Which is greater: a or 30?
a
Let n be (-24)/5*(-24)/(-36). Does -3 = n?
False
Let q = -746 - -747. Which is greater: q or -13/210?
q
Let o = 86 - 86.2. Which is smaller: o or 0.038?
o
Suppose 2155*g + 450 = 2164*g. Is 39 bigger than g?
False
Suppose 5*f = 16*y - 13*y - 2568, 3*f + 1541 = 2*y. Is -513 at least f?
True
Let u be (-172)/(-5) + 1*(-12)/(-20). Let t = -52 + u. Which is smaller: -16 or t?
t
Let o be (-13680)/18*2/4. Let r = -1127/3 - o. Is r <= 4?
False
Let d(s) = -2*s**3 + 25*s**2 + 12*s + 14. Let f be d(13). Which is smaller: 2/545 or f?
2/545
Let i be 16/20*15/6. Suppose i = -2*b - 0*b. Let u be 1/(b/(1/1)). Which is bigger: u or 0?
0
Suppose 13*l - 283 = -205. Are l and 2/27 nonequal?
True
Let d(m) = m**3 - 5*m**2 + 1. Let g be d(5). Let w be (g/(-2))/((-4)/8). Which is smaller: -2/5 or w?
-2/5
Let c = 139.356 + -142. Let p = c - 0.056. Let f = p + 2.5. Is 4 bigger than f?
True
Suppose 0 = 17*k - 28*k - 11. Is -2/185 > k?
True
Let y = 0.4 + -0.2. Let h = y - 1.2. Let f = -14.6 + 15. Which is greater: h or f?
f
Let b = -634 - -619. Which is smaller: -16 or b?
-16
Let w = -233 + 180. Which is smaller: w or -2?
w
Let n = -0.442 - 20.558. Which is smaller: n or -22?
-22
Let g = 0.7 + -0.58. Let p = -0.72 + 0.74. Let x = -0.02 + p. Is x at least as big as g?
False
Suppose -10 = -2*z + 3*y + 32, 89 = 3*z + 2*y. Let d = z + -23. Suppose -c = 2*h - 3, -5*h + 0*h + 14 = -d*c. Does 2/15 = c?
False
Let s be -4 + 11 - 22320/3189. Which is smaller: s or -1?
-1
Suppose -12*m = -7*m - 25. Suppose m*s - 12 = -12. Which is smaller: -3/23 or s