v = 3058658/595 - 35988/7. Let j = -16/17 - v. Which is smaller: j or l?
j
Suppose -6*m = 5*f - 3*m + 7, -3*f + 4*m = 10. Which is smaller: 2/409 or f?
f
Let d(o) be the third derivative of -5/6*o**3 + 0*o + 9*o**2 + 0 - 1/24*o**4. Let c be d(-5). Which is smaller: -4/11 or c?
-4/11
Let b = 4373 - 4374. Let j = -15 + -5. Which is smaller: j or b?
j
Suppose -3*f + 7 = -3*g - 11, -g = 4. Suppose 5*h - f*h = 18. Suppose 3 = -x + h. Are 1 and x non-equal?
True
Let x be (-25)/4 - 2/(-8). Let v(u) = -u**3 - 5*u**2 + 10*u + 6. Let w be v(x). Do -18 and w have the same value?
True
Let n(i) = -2*i**3 + 9*i**2 - 18*i + 4. Let x be n(2). Are x and -19 equal?
False
Suppose -4*i - 54 = 3*r, 5*i - 5*r + 40 + 10 = 0. Let d be (2/4*-2)/(i/(-24)). Is d smaller than -26/9?
False
Let d be (17 - 20)/(1 - 0). Let c be (-52)/(-27) + (-5 - d). Suppose -2*o + 2*h + h + 11 = 0, -5*o - 4*h - 7 = 0. Is c at least o?
False
Suppose -22*c = -19*c + 3. Which is smaller: -2/2165 or c?
c
Let t(s) = -33*s + 200. Let k be t(12). Which is smaller: k or -198?
-198
Let q = 16 - -5. Suppose 5 - q = 4*j. Let z be (4/(-26))/(6 + j). Which is smaller: z or 1?
z
Let z = -213 - -202. Which is smaller: z or 4?
z
Let w be -5 - -4*3 - 1. Let y be -9 + w + (-78)/4 + -2. Which is greater: y or -24?
-24
Let u = -269 + 260. Which is bigger: u or -8?
-8
Let z be ((-4)/18 - 0) + (-99)/(-81). Suppose u - 6 = 4*q, -1 = u + z. Which is greater: q or 1?
1
Let h be ((-14)/4 - -3)*(1 + -73). Let d be (4 - -2)/h + (-47)/(-6). Which is smaller: d or 7?
7
Let l(x) = x**3 - 3*x**2 + 4. Let f be l(3). Let n be f/2*2/16. Let i be (-455)/(-1001) - (-12)/22. Which is greater: n or i?
i
Let l be (1 + (-76)/36)*(-9)/15. Which is smaller: 15 or l?
l
Suppose -320 = 3*l - 4*a, -3*l + 4*a = 8*a + 280. Which is smaller: 2/5 or l?
l
Let a = 132 + -84. Let x be (1/(-3))/((-4)/a). Let l = 7 - x. Is l at least as big as 3?
True
Let g(t) = 2*t + 4. Suppose -25*y = -20*y + 20. Let i be g(y). Are i and -7/2 non-equal?
True
Let y(m) = -2*m - 6. Let x be y(4). Which is greater: -25/2 or x?
-25/2
Let v = 624 - 624. Is v at most as big as -1/11?
False
Let c be 0 - (-2 + 2) - 1. Let t be c/(-5) + (-2)/(-20). Let p = -3959 - -3961. Which is greater: p or t?
p
Let n = -21.6 - -21.711. Let c = 2.111 - n. Which is bigger: -0.47 or c?
c
Suppose 4*a - 4*s = -16, -4*a - 3*s + 11 = -8. Is a less than -2/873?
False
Suppose -3 = -17*c + 14*c. Let q = -647/1749 - -1/159. Which is smaller: q or c?
q
Let u = -108499/155 + 700. Is u bigger than -1?
True
Let u(p) = 5 + 10*p**2 - 18 + p - 19*p**2 + 10*p**2. Let q be u(-4). Is 1/43 less than q?
False
Let s(q) = 133*q - 71. Let p be s(6). Is 727 less than or equal to p?
True
Let i = 0.059 + -3.159. Which is greater: -1/4 or i?
-1/4
Let d be 190/108*184/(-230). Is d not equal to -2?
True
Suppose -4*m - 140 = t - 87, -48 = 3*m - 2*t. Suppose -3*s + 6*s = -51. Which is greater: s or m?
m
Suppose -307*w = -285*w. Is w != -27/91?
True
Let g be -3 + (-3)/66*-1*138. Which is bigger: 4 or g?
4
Suppose 5*b + 2*m - 81 + 599 = 0, 5*b - 5*m + 490 = 0. Is b at least -102?
True
Suppose -5*x - z + 10 = 0, 0 = -4*x + z + 4 + 4. Let v be (-6)/x*1*4/30. Is -7 at most as big as v?
True
Let q(v) = v**2 - 7*v + 5. Let y be q(4). Let t be 2/(-7) - 16/y. Suppose 0 = 4*r + 16, -t*h - 3 - 9 = 5*r. Is 2/3 > h?
False
Let s = 19 + -18.9. Let v = 8.16 + -8. Let m = v + -0.13. Is s > m?
True
Let a(u) = u**3 - 8*u**2 - u + 9. Let w(d) = d**3 - 13*d**2 + 14*d - 2. Let c be w(12). Let f = -14 + c. Let m be a(f). Which is smaller: 1/59 or m?
1/59
Let i(j) = 3*j**2. Let t be i(1). Let d(p) = -p**3 + 2*p**2 + 4*p - 3. Let w be d(t). Suppose w*l + 9 = -3*l. Which is smaller: -4 or l?
-4
Let p = -5 + 5. Let k be (-14)/(-5 - (p - 3)). Which is greater: 6 or k?
k
Let m = 0 - -0.4. Let g = 5.6 - 1.2. Let x = 3.4 - g. Which is bigger: x or m?
m
Let l = -206 - -137. Suppose 3*g + 292 = -4*k, -g - 134 - 220 = 5*k. Is k at most as big as l?
True
Let g be (-11 + (0 - -1))*(-392)/(-8). Let b be (3 - (-9)/(-2))*g/15. Is b less than 49?
False
Let u = 11.52 + -3.52. Which is smaller: u or -5?
-5
Let w = 119 - 113. Suppose u = 2, -w = 3*k + 2*u - 37. Is 10 less than or equal to k?
False
Suppose -3*p - 221 = -2*l, 322 = 2*l + l + 5*p. Suppose -4*x - l = -29. Do x and -21 have different values?
True
Let z be (105/(-28))/(-15)*0. Is -32/27 at most z?
True
Let x be (-6)/4 - (-16 + 1719/126). Let a = 0.5 - 0.6. Which is smaller: x or a?
a
Let z(g) = g**3 + g**2 + 3*g + 3. Let u be z(-2). Let m be ((u + 3)*1)/(-2). Suppose 0 = d - m. Is 2 smaller than d?
False
Suppose -26 = 2*u - 4*d, 32 - 20 = u + 3*d. Let k = 13/304 + -2/19. Is k at most as big as u?
False
Let u be ((7560/(-1274))/9)/(6/441). Which is smaller: u or -49?
-49
Let v be (24/(-135))/4*3. Let n = -0.05 + -9.95. Let i = n - -11. Is i greater than v?
True
Suppose 3*g + 5 = -3*o - 10, g + 9 = -3*o. Let k be (-4)/(-6) - (-149)/(-165). Let v = k + -4/11. Is o <= v?
True
Let p be (24/9 - 2)/(15/(-2130)). Is 0.1 greater than p?
True
Let n = -1/201 - 21505/402. Is -53 at least as big as n?
True
Let b = -137 + 93. Let t = -50 - b. Are t and -3 equal?
False
Let r = 18.5 - 10. Let u = r - 8. Is 1/4 != u?
True
Let u = -82 - -149. Are u and 65 unequal?
True
Let x(g) be the first derivative of g**3/3 - 3*g**2/2 - 6*g - 6. Let i be x(5). Suppose 2*u - 10 = -3*q, -q + 6 = 4*u - i. Which is bigger: q or 14/9?
q
Let n be 0 + (1 - 3)*-2. Let m(y) = y. Let j be m(-5). Let s be n/(-14) + j/7. Is -6/11 less than s?
False
Let k = 3.7 + 12.3. Let f = -16.09 + k. Which is smaller: -1/2 or f?
-1/2
Let u = -16 - -25. Let q be 27/6 - u/6 - 2. Is 3/11 != q?
True
Suppose -10*y + 324 = -4*y. Let h = -61 + y. Is -3 != h?
True
Suppose 3*d + 2*d + y - 14 = 0, 2*d - 2*y = -4. Let w = 30 - 30.04. Let a = -0.02 + w. Is a smaller than d?
True
Let p(x) = -x**2 - 15*x - 1. Let v be p(-15). Are v and 15 unequal?
True
Suppose -5*m = 5*n - 8810, -9*n + 5*n + m + 7033 = 0. Let k = n + -86195/49. Is k less than or equal to 1?
True
Let b = 4180/7 - 592. Which is bigger: 4 or b?
b
Let v(p) = -5 - 5*p**2 - p**3 - 5 + 4 - p. Let y be v(-5). Let j be 1/(-1*y/(-1)). Is 2/9 at least j?
True
Let w be (-19853)/3*(2165/(-430) - -5). Let f = 1385/6 - w. Which is smaller: -1 or f?
-1
Suppose 20*b + 26 = 18*b. Let c = -6 + -10. Let k = -29 - c. Is k at most as big as b?
True
Let u be 1 + (1 + 7)/(-4). Which is greater: u or 5/31?
5/31
Let f = 389 - 388. Is 2/495 >= f?
False
Let t = 6 - 3. Suppose t*c - 28 - 8 = 0. Suppose -2*f = -6*f - c. Is 0 <= f?
False
Let w = -869 + 1225. Are 356 and w equal?
True
Let z = -2.744 - 0.056. Let t = 17.2 - z. Do t and -2/9 have the same value?
False
Let p = -19 + 22. Which is smaller: 43/12 or p?
p
Suppose 0 = 9*l + 14*l. Which is smaller: l or 5/14?
l
Let a be 2 + (2 - 5) + (1 - -1). Which is smaller: -1/28 or a?
-1/28
Let m(r) = -39*r - 3. Let p be m(-6). Suppose 3*g - 4*g = -p. Let t be g/605 - (-2)/(-11). Which is smaller: t or 1?
t
Let k be 0 - (-1)/(2/(-12)). Suppose 7*m = 5*v - 73, -4*m + 4*v = 6*v + 32. Which is greater: m or k?
k
Let w = -374 + 380. Suppose -3*p + 7 = -8. Let r = 26/5 - p. Which is bigger: r or w?
w
Let r = 752 + -754. Is -3/4 less than r?
False
Let i = -516 - -366. Let j be (-2770)/(-48)*6/i. Let o = j + 19/8. Which is smaller: o or -1?
-1
Suppose 6*k = 7*k - 5*k. Which is greater: 15/46 or k?
15/46
Let v = -745 - -745. Do v and -2/2725 have the same value?
False
Suppose 860 = -2*j + 3*p, j - 38*p + 424 = -35*p. Is j <= -436?
True
Suppose -2 = 3*b - 2*b. Which is smaller: -54 or b?
-54
Let g(v) = -2*v + 15. Let l be g(7). Suppose -2*u + l + 3 = 0. Is u bigger than 1/2?
True
Let w = 97 + -97.4. Is w greater than -1?
True
Let y be 4/(-3)*18/284. Suppose 5*a - 411 + 418 = 4*h, 0 = -3*h + 9. Which is bigger: a or y?
a
Suppose 3*l - 16 = i, 7*l = 3*l - 2*i + 28. Which is smaller: 54/11 or l?
54/11
Suppose 0 = 2*p - 5*p - 78. Let z be 2/(-7) - p/91. Is -13 at most z?
True
Let i be 2 + 0 - (-16 - -74). Is -113/2 < i?
True
Let l(u) = -17*u + 1. Let m be l(-4). Suppose -2*z = 2*c - 130, -6*c + c + 375 = -5*z. Is m < c?
True
Let h = 107 + -135. Which is bigger: 1 or h?
1
Let h = -270 - -269. Is 20/219 >= h?
True
Let q be (203/(-49) - -4)/(1/(-1019)). Let y = -146 + q. Do -1 and y have the s