 14. Let j be p(-7). Which is greater: j or v?
v
Let u = -52 + 61. Let n = -17 + u. Do -8 and n have the same value?
True
Let u(c) = 4*c**2 + 23*c + 72. Let g be u(-4). Let w be (0 - -43) + 2*1. Is w bigger than g?
True
Let k be (4/(-16))/(4/(-16)). Is -3/209 at most as big as k?
True
Let x(h) = h + 6. Let a be x(-5). Let m be (1 - -11018)/(8 - (33 + -8)). Let w = m - -648. Is w at most as big as a?
True
Let n = -131 + 118. Is -14 smaller than n?
True
Let d be -8 + ((-80)/(-15))/(-8). Let n = d - -16/3. Does n = -3?
False
Let v = 97 - 67. Let a(k) = 3*k**2 + 2*k - 1. Let b be a(1). Suppose -f - b*f = -v. Which is smaller: f or 0.1?
0.1
Suppose 0 = 5*y - m - 455, 3*m + 348 = 4*y - m. Let j(o) = -27*o + 164. Let b be j(6). Let c be (b/y)/(6/12). Which is greater: c or -1?
c
Let g = 121 - 166. Does -44 = g?
False
Let h = -632 + 627. Is h less than -57?
False
Let a(j) = -2*j**2 + 12*j - 70. Let z be a(8). Is z equal to -103?
False
Let n = -86 - -103. Suppose 0 = -19*b + 15*b + 76. Which is greater: b or n?
b
Let h(d) = -d**3 + 1. Let o be h(-1). Let v = -20 - -22. Let z be (-26)/13 + v/2. Is z equal to o?
False
Suppose -r - 1 = -o, 5*o = 2*r - 5*r - 11. Let g be (o/2)/((-50)/(-4)). Let x(l) = -l**2 + 6*l - 1. Let m be x(6). Is g greater than m?
True
Suppose 0 = 4*d + 12, -2*k - 2*d - 13 = 3*d. Suppose 7*g + 6 + k = 0. Is -12/17 greater than g?
True
Let p(k) = -k**3 + 7*k**2 - 4*k - 6. Let d be p(6). Suppose 0 = 4*g + b - 15, 2*b - 10 = -2*g + 2. Which is smaller: d or g?
g
Suppose -4*q = 5*b + 19, 2*q + b - 4*b = -15. Let f be q/(-8) - 6/8. Let d = 64 + -63. Is d bigger than f?
True
Let p be (0 + (-12)/72)*3/1. Which is bigger: p or -0.0346?
-0.0346
Suppose -80*y + 75*y = 25. Let f(x) = 3*x**3 + 11*x**2 + 2. Let u be f(y). Is -98 at least as big as u?
True
Let s = 217 + -24956/115. Is 0 > s?
True
Let r(u) = u + 14. Let o be r(-5). Let y = -30 + 43. Is y != o?
True
Let w(g) = 15*g + 1. Let r be w(-1). Let y be (-21)/r*1/(-213). Which is bigger: y or 1?
1
Suppose -11*d = -9*d + 154. Let q = d - -49. Which is smaller: q or -26?
q
Let c = -2927/188 - -62/47. Which is smaller: c or -13?
c
Let p = -5.6 + 5.57. Which is bigger: -5/2 or p?
p
Let u be ((-48)/(-32))/(2/(-36)). Which is greater: u or -25?
-25
Let s be (-12)/(-5) + -2 - (-80)/(-75). Let q = 1/2 + s. Let i be (1/(-2))/((-14)/(-8)). Which is smaller: i or q?
i
Let g = 149 - 188. Let v = -197/5 - g. Which is smaller: v or -1/6?
v
Suppose 2*a + 24 = 4*a. Let b be (-20)/a*(-3 + 0). Suppose b*z = z. Is 4/11 <= z?
False
Let a(i) = i**3 + 10*i**2 - i - 11. Let p be a(-10). Is p less than or equal to -7/13?
True
Suppose -8*h + 10*h - 126 = 2*j, -5*h + 320 = -4*j. Let z = -14 + 83. Which is greater: z or h?
z
Let y = 0.7 + -1.4. Let q = 3.3 - y. Let f = 4 - q. Which is smaller: f or -2?
-2
Let d = -5/542 - -158/2439. Which is bigger: d or -1?
d
Suppose -c - g - 85 = 174, 5*g + 5 = 0. Let m = c - -172. Which is bigger: -87 or m?
m
Suppose 6*z - 9*z + 21 = 0. Suppose 5*w - 106 + 46 = 0. Let f = -6 + w. Which is smaller: f or z?
f
Suppose t = 2*t + 6. Let r(m) = m**3 - 5*m**2 - 7*m + 5. Let c = -16 + 22. Let j be r(c). Which is bigger: t or j?
j
Let s be ((-9)/18)/(3/(-12)). Let l be (-3 + 51/15)*(1 - s). Which is smaller: l or -13?
-13
Suppose 3*u - 18 = -0*u. Let i = u - 3. Is 5/3 equal to i?
False
Let v = -2 + 7. Suppose -v*h = b - 4*b + 68, 0 = -h - 1. Let g be (1 - -1)*(-6)/b. Does g = -2?
False
Let a be (-7)/((-126)/4) - 460/(-36). Let h = a + -92/7. Which is greater: -1 or h?
h
Let a(t) = -t**2 - 9*t + 9. Let j be a(-11). Which is smaller: -62/5 or j?
j
Let a = 924 + -2471. Does -1546 = a?
False
Let k be -2 - (1 + 314/6). Let j = 56 + k. Which is bigger: j or 0.04?
j
Let q = -393 - -445. Is q <= 9?
False
Let v be (3/2)/(14/(-4)). Do v and -1/6 have the same value?
False
Let z be ((-420)/(-168))/(1*14). Which is smaller: z or -1/2?
-1/2
Let t = 109/726 - -2/121. Let n = -0.17 - 9.03. Let i = n - -7.2. Which is smaller: t or i?
i
Let w = -12 - 3. Let z be ((-6)/9)/(14/w). Let y = -2 + 2. Which is bigger: y or z?
z
Let o = -1682 - -1685. Let n = -6 - -9. Do n and o have different values?
False
Suppose 8*j = 4*j + 16. Suppose -j = -2*g + 6*g. Which is smaller: 3/31 or g?
g
Let n be 23 - 0 - (-4 + 3). Let s = n - 33. Let y be 328/840 + 3/s. Which is greater: y or 1?
1
Let j be (-6)/(-16) + 2538/(-112). Let v = j + 356/21. Are -5 and v equal?
False
Suppose -2 = -u + 1. Let c(z) = 5*z**2 - 2*z - 4. Let v be c(u). Let i be v/14 + (-2)/4. Is 1/2 >= i?
False
Let o = -1498/3 + 494. Is o >= 0.8?
False
Let c = -3 - -3. Let q = 6 - 6. Suppose q = -2*r - c*r - 2. Which is smaller: r or -2?
-2
Let m(q) = -3*q**3 - 3*q**2 + 3*q + 9. Let k be m(-2). Which is smaller: k or 2?
2
Let a be (12/9)/((-4)/6). Let h be (a + -4)/2 - -1. Is -1 smaller than h?
False
Let x be 0 + 1/34*-88. Is x != -3?
True
Let d = 42 + -30. Suppose d*z - 8*z = -64. Let r = z - -25. Which is smaller: 8 or r?
8
Let n = -0.15 + -6.85. Let c(d) = -d**2 - 5*d + 3. Let p be c(-5). Suppose -3*w + 2*h + p = -0*h, 3*w + 5*h = 3. Is w equal to n?
False
Let l = 62/65 - 14812/15665. Let g = -7001/1446 + l. Is -4 less than g?
False
Let y be (3093/(-789) + 4)*1. Let z = y - 4115/58123. Which is smaller: z or 0?
0
Let d = 16 - 19. Let i be ((-1)/(-2))/(2/d). Suppose -4*u + a + 1 = 0, a + 2*a + 3 = 3*u. Is u less than i?
False
Let z = 12.4 - 15.4. Is z at most as big as -1/69?
True
Let w = 5427/11 - 493. Which is bigger: 3 or w?
3
Let g be (-9 - -4)*-1 + -2. Suppose -k - g*k = 0. Is 5 smaller than k?
False
Let h = -1.044 - 16.956. Which is bigger: h or -0.09?
-0.09
Let l(q) = 3*q**2 - 44*q - 215. Let t be l(-5). Are 78 and t equal?
False
Suppose -13*h - 430 = -11*h. Let c = 6879/32 + h. Which is greater: -1 or c?
c
Let i be 14/((-5)/(-4100)*10). Is 1149 less than i?
False
Let r = -577 - -474. Are r and -207/2 non-equal?
True
Let r(c) be the third derivative of -c**4/24 + 4*c**3/3 - 9*c**2. Let u be r(5). Suppose -4*t + 4*g - 8 = 4, 13 = t + u*g. Which is smaller: t or 3?
t
Suppose -3*a - 232 = -0*f - 5*f, -2*a - 159 = f. Let w = -105 - a. Which is bigger: -27 or w?
w
Let f = 330 + -318. Are -3 and f unequal?
True
Suppose 4*w = 8 - 68. Does w = -18?
False
Let q be 1/(-18)*6/(-4). Suppose -h - 13 = -3*n, 3*n - 9 = 2*h + h. Suppose 0 = 2*f + 2*d + 4, 3*d + 2 = -n*f - 4. Are q and f non-equal?
True
Let a(t) = -2*t**2 + 31*t + 32. Let d be a(15). Which is greater: d or 46?
d
Let r be (12 - -27) + -1*5. Let g = -28 + r. Is 4 at least as big as g?
False
Let u = 1380 + -1382. Let m(r) = r**3 + r**2 - r + 2. Let x be m(-2). Which is greater: u or x?
x
Let a(d) = -2*d**2 - 19*d - 15. Let b be a(-9). Let o be 1 + (b - -5) - 29. Which is smaller: -57/2 or o?
o
Let y be 5*(6 - (-1681812)/(-280305)). Is 0 less than or equal to y?
True
Let x(i) = -10*i. Let y be x(-3). Suppose -34 = -4*d + y. Suppose -q + d = -3*q. Which is bigger: q or -9?
q
Let k = -24 + 15. Let x be (-1)/3*(-33 - k). Let t be 2*4 + 0/(-4). Is x less than t?
False
Let q = -3266/17 - -192. Let t be (-72)/45*(-25)/(-2). Let r = 21 + t. Which is greater: q or r?
r
Suppose -3*n - 5 = -8*n. Let j = n + -4. Which is smaller: j or -6?
-6
Let h = -0.017 - -0.357. Let g = h + -0.35. Let p = -0.4 + 0.2. Which is greater: p or g?
g
Let t be (-9)/((-45)/10 + 4). Let a be (1/1)/(t/414). Let c = -14 + a. Is c greater than 9?
False
Let c(r) = r**3 - 2*r**2 + r - 65. Let s be c(0). Let b = s - -64. Which is smaller: -5 or b?
-5
Let r be 6/(-27) + 6/27. Let p(k) = -k**2 - 4*k. Let c be p(-7). Let n = -191/9 - c. Is n not equal to r?
True
Suppose -13*s = -18*s. Let f be 40/(-10) + (12 - s). Let d be (-5)/(-4) + (-2)/f. Is d smaller than -6?
False
Suppose 5*p - 3*p + 8 = 0, 4*l = p - 28. Let o(r) be the first derivative of 3*r**2/2 + 9*r - 4. Let m be o(l). Is -16 greater than or equal to m?
False
Suppose -10*z + 7*z - 333 = 4*b, -2*b = -z + 169. Which is smaller: b or -424/5?
-424/5
Let w = 1183 - 1183. Is w > -17/4?
True
Suppose 5*p - 13 = 3*n, n - 3 = p + 6*n. Suppose 2*m + 0*m + 2*c + p = 0, 0 = -2*m + c - 2. Let b = -261/520 - 8/65. Is m > b?
False
Let i(f) = f**2 - 16*f + 16. Let q be i(14). Let o = q - 8. Let v be (-3)/o*8/18. Which is greater: 1 or v?
1
Let w(c) = -c**2 + 52*c. Let x be w(0). Is 13.1 at least as