34. Let y be j(-8). Which is greater: b or y?
b
Suppose 16*g + 7*g + 8600 = -20*g. Which is smaller: 0.9 or g?
g
Let m(t) = 115*t**3 + 68*t**3 - 187*t**3 + 100*t**3 + 1 - 6*t**2. Let z be m(-1). Which is smaller: z or -102?
-102
Let p = 1719 + -1636. Let f = -225 + 309. Is f at least as big as p?
True
Let z = 36.7 + -37.7. Let f = 14 - 12.8. Let v = z + f. Which is bigger: -5 or v?
v
Let v = -39 - -41. Let g(l) = -7*l + 23. Let y be g(5). Let o be y/(-7) - v - 24/14. Are o and 0.9 equal?
False
Let v = 7161 + -7159. Are -721/9 and v non-equal?
True
Let z = -0.3688 + 0.2688. Do z and 0.7 have the same value?
False
Let s = -1830 - -1833. Let l = -1/249 - -305/166. Are l and s nonequal?
True
Suppose 26*j - 21*j = 280. Let f = -54 + j. Let a be (-72)/(-7) + f/(-7). Is 2 bigger than a?
False
Let i = -1810.2 - -1810. Which is smaller: -55 or i?
-55
Suppose 0 = 515*k - 524*k + 6003. Which is smaller: k or 2/7?
2/7
Let r(l) = 133*l - 7. Let n be r(2). Let b be -2*(n/2 - -3). Let m be 30/b*2/(1 - -3). Are 0 and m equal?
False
Let v = -91 - -20. Let u = -71 - v. Let i = -110 - -49. Is i < u?
True
Let p be (0 + 36/48)*40. Let u = -4 + 7. Suppose u*n - 83 = -5*d, 1 = -n - 2*d + p. Is 21 equal to n?
True
Let c = -24337 - -10093. Which is greater: c or -14245?
c
Let i(f) = 20*f - 239. Let n(p) = -10*p + 121. Let b(c) = -2*i(c) - 5*n(c). Let o be b(16). Is o not equal to 103/3?
True
Let h(v) = v**3 - 4*v**2 - 6. Suppose -4*b = 4*b + 360. Let n = -42 - b. Let s be h(n). Which is smaller: -10 or s?
s
Let o be 18*(4250/30)/5. Let j = o + -3526/7. Suppose 0 = -w + 4*v - 10, -w + 0*v + v = -2. Which is bigger: w or j?
j
Let w be (-66)/6 + -18 + 12 - (-5 + 1). Let o = -2071/130 + 119/65. Is o greater than or equal to w?
False
Suppose -3*n = 3*a - 48, 0*a - 3 = -3*a. Let q be 9*5/n - -65. Suppose q + 175 = 9*d. Is 28 > d?
True
Let q = -101 - -100.893. Let y = -41.107 - q. Is y >= 2?
False
Let o = 11127919/24844 + -680843584081/1545172580. Let c = o - -2/8885. Is 7 smaller than c?
True
Suppose 5*g = 11*g. Suppose -2*f + g*f - 4*m + 42 = 0, -4*m = 3*f - 61. Suppose -3*v - 2*a = -0*v + 21, 5*v - 2*a + f = 0. Is -3 < v?
False
Let z(p) be the second derivative of 0 - 1/2*p**3 - 11/2*p**2 - 17*p. Let r be z(-4). Which is bigger: r or 2?
2
Suppose 0 = 3*g - 4*b + b - 6, 10 = -3*g - 5*b. Suppose -4*k + g = -12. Suppose w = -2*w + k. Is 2/27 > w?
False
Let u = 0.08 + -0.08. Let f = u + 2. Let x = 907.9 - 909. Is x less than f?
True
Suppose 3*d - 3*i = -810, -3*d - 804 = -81*i + 76*i. Is d bigger than -277?
True
Let h = -20/9 - -79/36. Let k = 78 + -42. Let d = 37 - k. Is h at most d?
True
Suppose -4*h - 2*h = -6. Let w = 36 - h. Let l be (-340)/w + (-6)/21. Is -12 greater than or equal to l?
False
Let w(n) = -4*n + 62. Let v be w(14). Let g be 1/(-9)*3 + (-172)/v. Is -28 > g?
True
Let o(u) = -2*u**3 + u**2 + 1. Let w(c) = 5*c**3 - 12*c**2 + 12*c - 29. Let i(q) = -2*o(q) - w(q). Let l be i(9). Does -67/2 = l?
False
Let v(l) = -297*l - 3278. Let h be v(-11). Let k = -2/9263 + -639133/64841. Is h greater than k?
False
Let d(u) = u**3 - 12*u**2 - 16*u + 39. Let l be d(13). Suppose f - 13 = -2*x + 16, 3*f + 4*x - 91 = l. Which is greater: 32 or f?
f
Suppose 0 = -5*b - 30, -7*g + 6*b + 36 = -4*g. Suppose -2*v + 4 = -0*v. Which is smaller: g or v?
g
Let w = 472.094 + -473.3. Does w = 1?
False
Let k = 239/45 + -6827/1260. Is k greater than -2/21?
False
Suppose 0*u = -3*y + 3*u - 1914, -3*y = -4*u + 1919. Let l = y - -3177/5. Let r = 0 + 1. Is r less than l?
True
Let q = 0.088 + -0.1516. Which is greater: q or 2?
2
Let v(f) = -2*f**2 + 7*f - 17. Suppose 196 = 2*q + 192. Let l be v(q). Suppose 0*x = 5*x + 5. Which is smaller: x or l?
l
Suppose 613 = -6*h + 109. Let w = h - -112. Suppose 2*p = p - w. Which is bigger: p or -1?
-1
Let r be (-1420)/(-12264) - 14/147. Which is greater: 1 or r?
1
Suppose -24 = 4*v - 5*z, z - 4 = -3*v - 22. Is -112/17 at most as big as v?
True
Suppose -4*j + 2*b + 26 = 0, 5*b = 2*j + 6 - 23. Suppose -j*z + z - 4 = -q, 2*z - 4*q + 16 = 0. Is z smaller than 2/197?
True
Suppose -35*z + 2*z + 2*z = 26*z. Let k = -16611 + 11345311/683. Which is smaller: k or z?
k
Let j be (5/30*166)/((-4)/(-24)). Suppose 2*i = -3*b + 616 - 114, 0 = b - 2*i - 154. Which is smaller: b or j?
b
Let q = 1938.1 - 1938.1. Let n be -1 - -2 - 48/10. Which is smaller: q or n?
n
Let s = -7.7 + 8.3. Let t = -35 + 41. Let g(b) = -b + 5. Let z be g(t). Which is smaller: z or s?
z
Let m = -4473 + 4471. Which is greater: -220 or m?
m
Suppose 28*n - 396 = 34*n. Suppose -25*c - 3380 = 27*c. Is n smaller than c?
True
Suppose 9*g - 12*g + 4778 = 2*b, 5*g - 7961 = -3*b. Is -1 greater than or equal to g?
False
Suppose -z + 4*z = -3*c - 42, 4*z + 2*c + 54 = 0. Let k be (218 - -1) + z + 12 + -3. Is 215 bigger than k?
False
Let l = 33 + 7. Suppose -45 + l = 5*r. Which is greater: -18 or r?
r
Let y = -1 + 1.1. Let n = -76 - -103.1. Let g = n + -27.16. Which is bigger: y or g?
y
Let n = 271 + -491.4. Let l = -223 - n. Let a = 0.8 - -0.2. Is l smaller than a?
True
Let p = -330.355 - -331. Let o = p - 0.845. Is 7 less than or equal to o?
False
Let h(a) = a**2 - 75*a - 574. Let f be h(82). Are -5/96 and f equal?
False
Let b = 16090/8683 + -5/457. Which is greater: 1 or b?
b
Suppose 49 + 65 = -38*g. Let y be 125/15 + 4/6. Let w be y/(-6) - (-2)/(-4). Do w and g have the same value?
False
Let m = 7592 - 7534. Are m and 58 unequal?
False
Let m be 40/(-16)*(-1370)/25. Let j = m - 94. Suppose 0*v = q + 3*v - 30, -2*q = -v - 88. Which is greater: j or q?
j
Let l be 0*4/(-12)*1. Is 15.24 equal to l?
False
Let b = -543 - -562. Suppose 0 = -b*f + 2*f - 408. Is f > -68/3?
False
Let n be (2 + -43 + 0)*-1. Suppose -m + 24 = -2*a - 3*m, 3*a = m - 32. Let z(l) = -l**2 - 15*l - 2. Let o be z(a). Is n at most as big as o?
True
Let l be 1690/702*(-32)/1085 + 14/189 + 0. Suppose -3*c + 2 = -c. Which is greater: c or l?
c
Suppose 75 = 5*a - 20. Suppose 335*d = -22*d + 6783. Is a < d?
False
Let m(w) = 2*w + 224. Let h be m(-115). Do h and -157/21 have the same value?
False
Let a be (-1 + 2)*(23 - 136). Let j = 114 + a. Which is greater: j or 2?
2
Let y be 4/2*(1 + 1). Suppose 0 = a + 4*a + 5*q, y*a - q = 0. Let l = 6993 - 34966/5. Which is greater: l or a?
a
Let n = -0.1 + -0.9. Let u = 2 + n. Let o = -2945707/40 + 368204/5. Which is smaller: o or u?
o
Let q be -3 - -2 - (-1 - 2) - -3. Suppose 4*l - q*z = 644 - 9, l = -5*z + 190. Suppose 5*p = l - 50. Does p = 23?
True
Let s be (((-70)/20)/7)/((-2)/60). Let w(c) = -c**3 + 15*c**2 + 3*c - 37. Let l be w(s). Is l bigger than 6?
True
Let k(y) be the first derivative of 2*y**3/3 + 7*y**2 - 96*y + 139. Let z be k(5). Is z at most as big as 23?
False
Let o(f) = f**3 + 4*f**2 + 2*f - 4. Let g be o(-3). Let l be -25 + 23 - 19/g. Let r(i) = -4*i + 68. Let v be r(l). Which is bigger: v or 6/17?
6/17
Let x = 11717 + -11867.14. Let s = x + 150. Is s greater than -3?
True
Let r be 5748/(-468) - -14 - (-1)/(-3). Which is smaller: -5 or r?
-5
Let y be -244*(-4)/8 + -4 + 1. Suppose 0 = -18*r + r + y. Suppose u = r*u + 330. Is 2/3 at least as big as u?
True
Let u = 2.3 - -11.8. Let z = 13.95 - u. Is -0.12 greater than z?
True
Let n = -0.0767 + 0.0839. Let q = n + 0.0928. Are q and -9/31 equal?
False
Let s = 23725 - -21419. Let x be s/(-77) + (-12)/(-42). Do x and -587 have different values?
True
Let b = 6508/31 + -210. Let d be ((-333)/5994)/((-1)/(-18)). Is b at least as big as d?
True
Let w(n) = n**3 - 7*n**2 - 6*n - 16. Let k be w(8). Let u be (1 + 0)*(0 - 0) + 84. Let d be (-2)/20*1610/u - -2. Which is bigger: k or d?
d
Let s = -2060409 - -35046994/17. Let b = s - 1178. Which is smaller: b or 1?
b
Let a(m) = -5*m**2 + 50*m + 57. Let g be a(-39). Let j = -3333800/351 - g. Which is bigger: j or 1?
1
Let k be (-9 - 1)*2/10 - 34431/(-17211). Do 0 and k have different values?
True
Let b be 21490/(-2456) - (10*-1 - -2). Let a be (-6)/(-4)*2/(-6). Which is smaller: a or b?
b
Let p be 4/((-7)/98*2). Suppose -5*s = -l - s - 9, 15 = -4*l - 5*s. Let d be (-3)/(-15) - (-151)/l. Is p not equal to d?
True
Let b = 0.147 + -0.14. Let o = 2.477 - b. Which is greater: 0 or o?
o
Suppose -231 + 7 = 4*x + 4*t, -62 = x - 5*t. Let c = x - -218. Let y = c - 1125/7. Which is smaller: -11 or y?
-11
Let q be (1/(