4. Let v(q) = q**3 - q + 1. Let a(h) = g(h) - 4*v(h). Let m be a(-5). Which is smaller: 44 or m?
44
Let s = -97 + 170. Is 501/7 bigger than s?
False
Let m be 84/(-60) - 1 - 2/(-5). Is m at most -30/13?
False
Let p(q) = -q**3 + 3*q**2 + 4*q + 3. Let g be p(4). Let u be ((-12)/g - -5)*1. Is -1/7 >= u?
False
Let g = -339 - -338.9. Which is bigger: 16 or g?
16
Let k = -5 - -4.64. Is 0 >= k?
True
Let d be (-1 + 96/99)*-5. Let g = d - 1/3. Let o be (1 + 5)/6 - (0 + 0). Which is greater: g or o?
o
Suppose -11 = 4*y - 75. Suppose y = -n + 21. Suppose -w + 6 = n*p, 5*p + 13 = 3*w - 5. Does w = 5?
False
Let z be (7 - 2) + 7 + -4. Suppose 3*v = z*v - 25. Is 6 greater than v?
True
Let a = 8.93 - -0.07. Let l = 9.1 - a. Let b(o) = 2*o**2 - o - 9. Let h be b(0). Which is greater: h or l?
l
Suppose -h + 3 = -v, v - 2*h = -0*v - 2. Let f = 2454 - 2459. Is f at most v?
True
Let a = -0.263 - -0.363. Is 1/68 bigger than a?
False
Let d = 6 - 4. Let r(s) = s**2 + 8*s - 1. Let g be r(-8). Let v be (3 - 1)*g/(-3). Which is bigger: d or v?
d
Suppose 0*o = 3*o - 3, -3*o = 3*r - 21. Let y(j) = -j + 7. Let w be y(0). Which is smaller: w or r?
r
Let n = 12266/13 - 943. Which is bigger: n or 1?
1
Suppose 0 = -5*x - 2*u - 0 + 3, 8 = 4*x - 4*u. Which is smaller: x or -2/23?
-2/23
Let m = -34 + 55. Let z = m + -3. Is z > 18?
False
Suppose 0 = x + 3*r - 19, -46*x = -48*x + r + 31. Let p = 64/21 - -481/42. Which is greater: x or p?
x
Let j = -216 + 215.9. Is -1.7 greater than or equal to j?
False
Suppose -2*f - 54 = s, 2*s + 102 - 21 = -3*f. Let y = f - -24. Let g(z) = z**3 + 4*z**2 + 3. Let t be g(-4). Which is smaller: y or t?
y
Let m = -0.12 - -0.52. Let i = 0 + m. Let a = 0.5 - i. Is 1/10 not equal to a?
False
Let n be (153/(-51))/(-1 + 4). Which is smaller: -2/161 or n?
n
Let t(r) = -r**2 - 3*r + 41. Let i be t(-12). Are i and -67 non-equal?
False
Let c = -239 - -289. Is c greater than 1/3?
True
Let c be ((-116)/10)/(7/((-70)/(-8))). Is -2 <= c?
False
Suppose 104*q = 26*q + 14742. Which is bigger: q or -6?
q
Let b = 27 + -25. Let u be b*3/9*-33. Which is greater: u or -23?
u
Let c(g) = 2*g - 2. Let l be c(1). Let x be 0 + (l - (-4)/4). Let m be 1 + x + (-72)/40. Which is smaller: m or -0.1?
-0.1
Let u = 1554 + -1466. Is 96 greater than or equal to u?
True
Let w(p) = 2*p**2 - 45*p + 124. Let y be w(19). Are 1.7 and y equal?
False
Let v be (-8897)/1612 + (-1)/4. Which is smaller: v or -5?
v
Suppose 1778 + 2643 = -4*y + 5*x, y + 1100 = -4*x. Is -1104 at least as big as y?
True
Let z(v) = -3*v - 40. Suppose -4*a = k - 3, 0*a - 53 = 5*k + 3*a. Let h be z(k). Is -39 not equal to h?
True
Let k = 0.936 + -36.936. Which is greater: k or -0.06?
-0.06
Let y be (-2 + 3)*-4 + -573 + -2. Is y equal to -578?
False
Let v = -14271141/268345 - -6/24395. Is v smaller than 0?
True
Suppose -5*s = 2*s + 7. Let z = 9 + s. Is z at least as big as 1/4?
True
Suppose 2 = -r + f, 0*f + 14 = -r - 3*f. Suppose 7*d - 5 = 6*d. Suppose -d*y = -4*c + 2*c - 4, 0 = -y - 2. Which is smaller: r or c?
c
Suppose 12 = j + j. Suppose -5*u + j*u = 3. Let m = 6 + -4. Is m <= u?
True
Let s(a) = -3*a - 12. Let t be s(-5). Suppose -3*d - 25 = -2*b, -18 = t*d - b + 11. Which is smaller: d or 0?
d
Let p = 520.427 + -520. Which is bigger: p or -0.2?
p
Let h be 21/19 + -3*14/399. Which is bigger: 2/307 or h?
h
Let n be 10/(-18) - 1/(-3). Let w = 2920 + -2919. Which is smaller: w or n?
n
Let t be (4 - 54)*2/(-4). Let l = t - 23. Which is greater: l or 4/5?
l
Let p = 10902978133/3600 + -3028605. Let h = 13/144 - p. Which is smaller: 1 or h?
h
Let f(h) = -h**2 + 7*h + 3. Let o be f(4). Let w be o/(-30)*(-132)/2. Let v be w/(-22)*(-4)/(-6). Is -2/5 equal to v?
False
Let u = -24 - -25. Suppose -13 = -3*q - 2*k, 2*k + 1 + u = 2*q. Suppose -2*z = q*d + 1, -2 + 0 = 2*d. Which is bigger: z or 4/3?
4/3
Let x = -1516 + 1516. Are 4/585 and x nonequal?
True
Let s = 4506 + -1234. Let g be 4/22 - s/88. Which is bigger: -38 or g?
g
Let q(s) = 3*s - 17. Let c(a) = a - 6. Let i(b) = -11*c(b) + 4*q(b). Let j be (0 + 2)/((-4)/(-1 + -1)). Let t be i(j). Does 1 = t?
False
Let u = -1153/3 - -385. Is u less than 0?
False
Let g(i) = -9*i - 2. Suppose 0 = 5*v - 4 + 14. Let a be g(v). Suppose q - a = 4*n, 4*q + 2*n + 8 = 2*q. Is q at least -2/3?
True
Suppose 5*a - 57 = 3*q, -q - 61 + 12 = -5*a. Let v(n) = n**2 + 6*n + 11. Let g be v(-6). Let d = a - g. Which is greater: d or -1?
-1
Let i be ((-5)/3)/((-1)/(-3)). Suppose -7*t + 3*t - 3*f = 11, -f + 3 = -2*t. Let g be (6 - (-5 - -16))/(-1 - t). Are g and i equal?
True
Let x = -194/9 - -200/9. Which is smaller: x or 2.8?
x
Suppose -21*z + 2001 = 2*z. Is 1 equal to z?
False
Suppose 16*l = 11*l + 425. Which is bigger: 84 or l?
l
Let u be (-11)/(2*(-1)/2). Suppose 5*a - 4*n + 21 = 0, 34 = -4*a - 3*n + u. Is -4 at most as big as a?
False
Let o = 37758 - 190161/5. Let n = 273 + o. Suppose 0 = 4*r + 2*v + 10, 6*v - 2*v = 2*r - 20. Is n != r?
True
Let k(c) = -25*c + 44. Let u be k(7). Let m = u - -1697/13. Which is smaller: 0 or m?
m
Let x = 390 - 369. Which is smaller: 19 or x?
19
Let x = 0.0513 + 0.0487. Which is greater: 53 or x?
53
Let d be 0*2/(-8)*-2. Suppose -2*o + 3*h - 10 = -2*h, d = -4*h + 8. Which is bigger: o or -2.9?
o
Suppose -s + 5*s + 2 = -g, 0 = -g + 4*s + 14. Suppose o = -4*y + 110, y - g*y = -5*o - 150. Which is greater: y or 27?
y
Let n(t) = t**3 + 17*t**2 - 93*t + 91. Let o be n(-22). Is -281 > o?
True
Let w = 29.02 - 28.7. Which is greater: w or -1?
w
Suppose -322 = 3*r - 2*v, -2*v - 2 + 0 = 0. Which is smaller: r or -110?
-110
Let q(c) = -7*c**3 - 8*c**2 + 21. Let t(d) = -3*d**3 - 4*d**2 + 10. Let z(j) = -4*q(j) + 9*t(j). Let x be z(4). Is 7 greater than or equal to x?
True
Let j = -244 - -170. Let k = j - -74. Is -1/44 smaller than k?
True
Let w = 6782/5 + -1361. Let r = w - -5. Which is smaller: r or 1?
r
Let j(m) = m**3 - 4*m**2 + 7*m - 5. Let i be j(4). Let z = 26 - i. Suppose 3*t = -x - 49, 5*x = -t + 4 + z. Which is smaller: -17 or t?
t
Let f(b) = b**2 + 5*b - 5. Let a be f(-6). Let w be 78/(-273)*21/15. Are a and w equal?
False
Suppose 10 - 6 = 2*w. Let j be 16/w - 1*4. Let y be 102/27 + 8/36. Is j not equal to y?
False
Let a be (-3)/(-18) + 110/258. Let f = a - 4/43. Which is bigger: 0.03 or f?
f
Let p = -32.29 + 32. Let r = -0.1 - p. Let g = r - -0.11. Do g and 0 have the same value?
False
Suppose 8*k = 52 - 68. Let f be 11/55 + k/(-5). Let q be 3 + 1 - 2*1. Which is greater: f or q?
q
Let y = -2 + 4. Let a(c) = c**2 - 12*c + 24. Let q be a(10). Which is greater: y or q?
q
Let j = 381 + -339. Does 41 = j?
False
Let y = 12718/539 + -260/11. Suppose 5*c - 3*b = -20, -2*c - 4*b = -0*c - 18. Which is greater: c or y?
y
Let a = -20.7 - -10.1. Let o = a + 0.6. Let f = 10.1 + o. Is 4 at most f?
False
Let s = -5 + 20. Suppose -5*g + 0*g = -3*b - 19, 0 = g + 5*b - s. Suppose g*y + 3*q - 6 = 0, -4*q + 6*q - 4 = -3*y. Which is bigger: 1 or y?
1
Suppose 4*b = -2*f + b + 1830, 2*f - 1830 = 5*b. Let r = f + -8227/9. Which is smaller: 2 or r?
r
Suppose -c = -2*u - 98, 0*c - 94 = -c + 4*u. Suppose c = 5*o - 98. Let f be ((-2)/(-5))/(448/o). Are 1 and f equal?
False
Suppose 163*s = 152*s. Which is smaller: s or -48/77?
-48/77
Let a = 39.925 + -40. Let p = a + -0.925. Which is smaller: p or 16?
p
Suppose -119 + 719 = 6*n. Which is bigger: 101 or n?
101
Suppose w - 4*i - 15 = 0, -4*w + 13 = -i - 2. Let c be 1/w*126/(-119). Let t be 1/3 - (-2)/3. Is c at most as big as t?
True
Suppose -2*w - 3*q - 14 = 0, 5*w - 3*q + 6*q + 26 = 0. Let k be 4 - (3 + 4) - w. Let i(n) = -8*n**3 - n. Let d be i(k). Which is bigger: -10 or d?
d
Let p be (-1)/(-15) + (2 - 2). Let w = 24 + -19. Suppose -3*l + 3 - 5 = -2*y, w*y = -4*l + 5. Which is bigger: y or p?
y
Let w = 17.5 + -89.5. Let a = -67.8 - w. Is a equal to 1?
False
Let p = -2 + 1.88. Let b = 8 + -7.92. Let g = b - p. Which is greater: -0.4 or g?
g
Let u = 91 + -175. Let l = u - -101. Which is smaller: 1/4 or l?
1/4
Let s(c) = 4*c**2 + 7*c - c**3 + 0*c**2 - 15 + 4. Let p be s(5). Which is smaller: 0 or p?
p
Let n(m) = 7*m - 23. Let k be n(15). Let a = k + -82. Let x = -35/78 - -8/13. Which is bigger: a or x?
x
Suppose -5*q - m + 247 = 0, -2*q + 52 + 54 = 4*m. Suppose 2 = 47*w - q*w. Which is smaller: -2/37 or w?
w
Suppose -4*g + 2*b = -0*g + 32, 3*g = b