5*v**2 - 4*v**2. Let q be b(2). Let f be r(q). Which is greater: -4 or f?
-4
Let q(v) = -v**2 + 18*v + 16. Let z be q(19). Let g = 5 + -7. Let l be (-6)/(-9)*z/g. Which is bigger: 4 or l?
4
Let g = -1.53 - -0.23. Let k = -1.5 - g. Let r = k + -5.8. Do 1 and r have the same value?
False
Suppose 0 = -14*f - 27*f - 5207. Is -129 less than f?
True
Let r = -37 - -27. Let f = 7 + r. Is 0.14 smaller than f?
False
Let a(j) = -54*j - 539. Let r be a(-10). Is 66/49 greater than or equal to r?
True
Let q be 6/27 + (-266)/(-18). Let v = -3.9 + 4. Is v at least q?
False
Let u = -430 - -431. Is -84 not equal to u?
True
Suppose -1026*v = -s - 1021*v - 20, 5*s - 16 = -4*v. Is s greater than -2/489?
True
Let v = 19.7 - 32.7. Is v at most 7?
True
Let d be ((-8)/7)/(-2) + (-25181)/(-28392). Is 0 not equal to d?
True
Let g = 154 + -92. Let x = -747/1496 + -1/1496. Which is bigger: g or x?
g
Suppose -17*r = 840 - 126. Which is bigger: r or -41?
-41
Suppose -3*j + 18 = -4*j - 3*q, 0 = -4*j + 5*q + 13. Let x be 2/6*(0/(-1) - j). Suppose -2*w - 2*w = 0. Is w smaller than x?
True
Suppose 0 = 54*r - 3 + 57. Let o be 0 + -1 + (-30)/(-38). Is o bigger than r?
True
Let d = 26.008 + -0.008. Let n = d - 21. Let v = 2 + -2.1. Is n at least v?
True
Let k = -968 + 972. Which is smaller: -21 or k?
-21
Let u(d) = -2*d**3 - d**2 - 2*d - 1. Let i be u(-1). Suppose 2*b = 4*r - 5*r + 11, -49 = -4*r - 3*b. Let y be (-26)/r*i/4. Is 1 greater than or equal to y?
True
Let d = -142 - -74. Let w = -67 - d. Is w at least as big as -25?
True
Suppose 41*f - 1104 = 18*f. Let h(u) = -u**3 + 14*u**2 - 8*u - 16. Let c be h(13). Which is smaller: f or c?
f
Suppose -3*t = 0, 5*t = g + 2*t + 3. Let d be ((-25)/15)/((-2)/g). Are d and -3 equal?
False
Let u = 112736/9 - 12514. Which is greater: u or 13?
13
Let p = 55 + -50. Let m = 0 + 2. Let n be (0 - (m - p)) + -2. Is n > 3/5?
True
Suppose -162*j + 161*j + 15 = 0. Suppose 0 = n - 3*n + 32. Let a = 32 - n. Which is smaller: a or j?
j
Let m = 0.43 + -0.89. Let o = m + 0.06. Let i = -57844 + 57839. Which is greater: i or o?
o
Let u = -2296 - -369654/161. Which is greater: -2/3 or u?
u
Let f be ((-6)/(-8)*-38)/(333/8880). Which is greater: f or -2/3?
-2/3
Let b = 15 + -15. Suppose b = -6*a + 9*a + 12. Let h(m) = m**3 + m**2 - m - 1. Let v be h(-2). Is a less than v?
True
Suppose 0 = -3*y - f - 52, 3*y + 3*f + f = -46. Which is smaller: y or -2?
y
Let o be 3/6*4/(-6). Let b = 20.7 - 15.7. Is b less than or equal to o?
False
Let a be (33/18)/(31/93). Let x be -1*(-1 + 8/6). Which is smaller: x or a?
x
Let i be 2*-3*35/(-15). Suppose -3*y + 45 = -2*g, 3*g = -2*g - 15. Which is smaller: y or i?
y
Let y = -2635 - -1801. Are y and -835 equal?
False
Let q = 30 + -33. Let j be (-2)/q - 370/15. Which is smaller: -23 or j?
j
Let q(b) = -b - 1. Suppose 15 = 6*d - d. Let s be q(d). Let z be 28/2 + (-16)/s. Which is smaller: z or 17?
17
Let c(a) = -7*a + 48. Let q be c(15). Let g = 3535/62 + q. Which is smaller: 0 or g?
0
Let q be (-2352)/504 + 4/6 + 0. Is -71/14 < q?
True
Let p = 971521/2320 + 19/464. Let i = -409 + p. Let c = -10 + i. Which is bigger: 0 or c?
0
Let o(r) = 7*r + 309. Let w be o(0). Let v = 21322/69 - w. Which is bigger: v or 0?
v
Let d(r) = r**3 - 8*r**2 - 8*r - 7. Let u be d(9). Suppose 0 = u*j + 2*j + 36. Suppose -5*w - 4*t - 37 = 0, -t - 9 - 7 = 2*w. Do w and j have the same value?
True
Let o(j) = 2*j + 15. Suppose 24 = -6*g + 3*g. Let r be o(g). Which is smaller: 1/10 or r?
r
Let c = 9 - 8.15. Let f = c + -0.55. Is -0.04 less than or equal to f?
True
Suppose 0 = -8*d + 3*d. Suppose -2*x + x = d, 5*x = h - 7. Let j be h/7 + 72/3. Is j greater than 26?
False
Let i = 541/306 + -35/18. Is 1 less than i?
False
Suppose 4*f + 5 = -f, -m + 3*f + 352 = 0. Let d = m - 49. Let g be 6/(-2) - d/(-102). Which is greater: g or 0?
0
Let u = 0.061 + 24.939. Let m = u - 27.2. Is m at least -1?
False
Let f = 14 - 7. Suppose -f*t + 3*t - 4 = 0, -4*y = -t - 33. Suppose 0 = -4*a + 5*w + y, -14 - 14 = 4*a + 4*w. Is a < -3?
False
Let w = 0.611 + -0.011. Let q = w + -0.57. Which is bigger: q or -0.01?
q
Suppose 60*a = 54*a. Let h = 0 - 0. Is a != h?
False
Let j = 18 + -19. Let k be ((-3 + 3)/(-3))/(j + 0). Do k and -1/18 have the same value?
False
Suppose 5*n + 21 = -4*j, -n - j = -5*j - 15. Let o be (-1)/(2/24) + (-3 - n). Is -8 greater than o?
True
Suppose 4*h = 2*t - 124, -6*t + t - 80 = 3*h. Let i = h + 8. Let r be (10/4)/((-11)/i). Which is bigger: 4 or r?
r
Let c = -14 + 21. Suppose -36 = c*s - 3*s. Let z be (-6)/s + (-10)/24. Which is smaller: 1 or z?
z
Let y be (45/6)/(67/(-4) + -4). Are y and 1 equal?
False
Let t = -510 - -491. Is t > 4?
False
Let q = 97 - 73. Let k be (-3)/(q/(-14)) - 2. Which is smaller: k or -1/12?
k
Let t = -1088442853013/13845 - -78616313. Let j = 3/355 - t. Which is smaller: j or 1?
j
Let w(p) = 5*p**3 + 2*p**2 + 2*p - 5. Let f be w(-2). Let h = f - -31. Is h not equal to -9?
True
Let o = 4990/6501 + 4/197. Which is bigger: o or 2?
2
Let s = -43 - -40. Let t be (-4 - s)/(1 - -1 - 3). Which is bigger: t or -4?
t
Let h be (1 - 7/5)*-45. Suppose 14 = -v + h. Let r(p) = 2*p - 8. Let b be r(v). Which is bigger: 3/7 or b?
3/7
Suppose -25 + 20 = y, 2*y + 12 = 2*z. Which is smaller: z or 3/118?
3/118
Let t = -1710/41 - -51568/1435. Let x = 31/5 + t. Let k be 2/10*10/8. Which is bigger: x or k?
x
Let o = 64 - 96. Let g = -219/4 - -55. Is o less than g?
True
Suppose 5*l - 9 = -2*p, 0*p = -3*p - 4*l + 17. Let g be 2*(p/14 - (-1)/(-1)). Which is greater: g or -7/4?
g
Suppose k + 6 = -2*y, -1 = 4*k + 7. Let t be (-32481)/22308 + 4/2. Let j = -1/676 - t. Is y > j?
False
Let g = 30/11 + -42/11. Let d be 6 + (1 - 7) + 2. Suppose 1 = -d*z + 1. Is z at most as big as g?
False
Suppose -4*o + 1 = -3. Let z = -7 - -24.1. Let n = 17 - z. Is n greater than o?
False
Let t = 1716/5 - 339. Does t = -2?
False
Let f = 51/19 - 695/627. Which is bigger: 2 or f?
2
Let b = -17724/5 + 3624. Which is bigger: 80 or b?
80
Let p be (22/33)/((-2)/(-7)). Which is smaller: p or -5?
-5
Let w(j) = j**2 - 21*j + 49. Let i be w(9). Which is bigger: i or 0?
0
Let p(x) = x**3 - 3*x**2 - 4*x + 1. Let z be p(4). Let h be -18 + 4 + -6 - 0. Let t = -17 - h. Which is bigger: z or t?
t
Suppose 2*f - f - i + 5 = 0, 0 = 3*f + 2*i + 5. Suppose 0 = o - 4, -o + 4 = -2*k + k. Is f at least k?
False
Let k be -1*(330/159 + -2). Let m = k - 881/265. Let f be 1/(2/(-28) + 27/(-63)). Which is greater: f or m?
f
Let l be (-4)/(-12) + 20/30. Which is smaller: 4/29 or l?
4/29
Let d = 2.47 + -2.5. Let l = 0.3 - d. Is l greater than -1?
True
Suppose 16 = 2*m + w + w, -5*m - w + 28 = 0. Suppose -m*u + 49 = i + 2*i, -i + 3 = -5*u. Suppose 3 - i = 5*q. Is -4 at most q?
True
Let k be ((-346)/14 - 1)/(72/(-672)). Which is smaller: 239 or k?
239
Let m = 17 - 16.77. Let d = m - 5.23. Which is smaller: d or -2/7?
d
Let y = 69.77 - 72.8. Let t = 0.26 + -0.23. Let a = t + y. Are 1/3 and a unequal?
True
Let l = -15 - -9. Let o be 3/1 + l + 3. Let p = o + 6. Is 4 smaller than p?
True
Suppose 1 = 4*y - 3*h, -y - 2*h - 2 = -5*y. Let n = -3.6 + -10.4. Let t = -9 - n. Is t less than y?
False
Suppose 5*z - 18 = 2*z. Suppose 5*o = z*o. Suppose -p - 11 = 4*j, 0 = -j - 0*j + 4*p - 7. Do j and o have the same value?
False
Suppose -99 = -37*r + 160. Is r > 96/13?
False
Let k(j) = -3*j + 4. Let o be 16/(2 + 2) - 1. Suppose o*t = -w - 9, 2*t + 2*w + 16 = -3*t. Let a be k(t). Is a > 10?
False
Suppose 2 = p - 3*x - 0, -p = -x. Suppose -1 = 3*n - 4, -2*n = -2*y. Let i be p/(y - 0)*-5. Is 5 greater than or equal to i?
True
Suppose -x = 26 - 32. Suppose -x + 9 = p. Let i = -18 - -25. Is p greater than i?
False
Suppose -744*r + 749*r + 90 = 0. Which is smaller: -20 or r?
-20
Let g(j) = -324*j + 3. Let p be g(1). Let w = p + 1613/5. Do w and 1 have the same value?
False
Let z be (-6)/30 - (-11855)/25. Which is smaller: z or 476?
z
Suppose -4*u + 569 = -s - 0*s, 3*u - 5*s = 414. Suppose 4*q = -9*q - u. Is q < -12?
False
Let d(y) = 2*y**3 - 45*y**2 + 58*y + 21. Let w be d(21). Is w greater than -84?
False
Suppose -3846 = 33*z - 9654. Which is smaller: 524/3 or z?
524/3
Let k be 2/4 - (-261)/(-6). Let y = k - -28. Let m = y + 29/2. Which is smaller: 4 or m?
m
Let z(y) = y**2 - 10*y + 0 + 4*y**2 + 5. Let m be z(6). Suppose -2*l + 5*