 most j?
True
Suppose -56 = 7*j - 21*j. Let l be 12*j/(-40)*4. Which is smaller: -5 or l?
-5
Let o = 1602 - 738. Let q = o - 1425. Which is bigger: q or -562?
q
Let d(l) = l**3 + 11*l**2 + 4*l + 35. Let c be d(-10). Let b = c + -67. Which is bigger: 204/7 or b?
204/7
Let s = -2999 + 2982. Is s < 12?
True
Let b = -0.1919 + 0.0166. Let w = -0.0297 + b. Is w greater than or equal to -2?
True
Let h = -1512.59 + 1397. Is 1 at most h?
False
Let t be (-8)/2 - 41373/(-915). Let m = t - 206/5. Which is smaller: m or -1/2?
-1/2
Suppose 122*w - 118*w - 12 = -2*s, -5*s = 3*w - 9. Suppose 5*k = 3*k - 12. Let a be 2/k + (-16)/(-21). Is s bigger than a?
False
Let y be (30 - -19) + 8/(-2). Let d be ((-6)/4)/(-1)*4/y. Let t = -2 - -2. Which is greater: t or d?
d
Let o = 1640.3 + -1741. Let i = o + 93. Let g = -8 - i. Is g greater than 2/7?
False
Let l = 1717/2 - 53233/62. Is 3/5 less than l?
False
Suppose 5*y + 3*b - 6 = 0, 1 = -3*y + 3*b - 5. Let f = 17 - y. Let c = -18 + f. Which is smaller: c or 0?
c
Let q be -3*(29 + -15) - 1/(3/(-6)). Suppose 0 = -s - 10 - 31. Which is smaller: q or s?
s
Let i = 0.7416 - -1.2584. Is i smaller than 1.814?
False
Let u(i) = -2*i**2 - 423*i - 2844. Let z be u(-7). Which is smaller: z or 265/14?
265/14
Let i(w) = -w**3 + 8*w**2 - 4*w + 2. Let z be i(7). Let v be z/2*-20*(-3)/8052. Let m = v + -8/61. Which is smaller: -1 or m?
-1
Let b = -84.738 + 8.738. Do b and 4 have different values?
True
Let b(f) = -19*f + 26. Let c be b(9). Suppose -83*q + 63*q - 2920 = 0. Is c greater than q?
True
Let a = -16 + 14.8. Let u = 259.9 - 116. Let f = u + -144. Which is smaller: f or a?
a
Let t be 1*101 + (9/(-1))/(50 + -47). Does 93 = t?
False
Let d be 4/(64/(-24))*36/(-54). Let p = 33.949 - 34. Let s = 79.051 + p. Which is smaller: s or d?
d
Let n = 6407 + -25625/4. Is -16/35 less than or equal to n?
True
Let f be (5/135*12)/74. Let k = 61/111 + f. Which is smaller: k or -4?
-4
Let u = 215.4 + -192.4. Let s = -1 + -23. Let j = u + s. Which is greater: j or 2.4?
2.4
Let u(s) be the second derivative of s**4/2 + 7*s**3/3 + 19*s**2 + 3*s + 2. Let y be u(-4). Is y less than or equal to 0.1?
False
Let y(i) = -i**3 + 3*i**2 + 73*i + 97. Let a be y(-6). Which is smaller: -459/28 or a?
a
Suppose -5*w = -2*l + 869 + 5223, 3*w = 3*l - 9120. Is l equal to 3037?
False
Let y(m) = 3*m**3 + 117*m**2 - 462*m - 1. Let r be y(4). Let z(o) = -9*o**3 - 4*o**2 - 2*o + 2. Let g be z(-3). Is g < r?
False
Let o = 15452 - 59845597/3873. Are o and 0 equal?
False
Let f(g) = 9 - 4*g - 12*g**2 + 0*g + g**3 + 20*g**2 + 8*g. Let a be f(-6). Let x be (3 - 3) + 0 - -56. Which is greater: x or a?
a
Let z = -43 - -149. Suppose 4*f + z + 334 = 0. Let o be ((-6)/15)/(-1 - 112/f). Is 0 equal to o?
False
Let b = 11266 - 11265.2. Which is smaller: 154 or b?
b
Suppose -967 = -3*n - j, 40 = -4*n + 4*j + 1324. Let y = -51944 - -52267. Which is smaller: y or n?
n
Let q(u) = -81*u**2 + 37*u - 36. Let w be q(1). Is -65 not equal to w?
True
Let u = -7171 + 7243. Let j = -0.8 + -0.2. Is u less than j?
False
Let n = 11254/11 - 1024. Let r = -584 + 83. Let g = 500 + r. Is g smaller than n?
True
Suppose 0 = 19*y - 21*y + 12. Let h be (y/3)/((-112)/3990). Which is smaller: h or -71?
h
Suppose 8 = -2*y - w, 5*w + 34 = 3*y + 33. Is -213/55 at least as big as y?
False
Let z = 110 + -85. Let m = 110 - z. Let n = m - 169/2. Is n > 1/45?
True
Let a = 13 + 1. Let k = a - 16.8. Is k bigger than 2/7?
False
Suppose 3*o + 4*j = 13, 2*j - 8 = -0*j. Which is greater: o or 38/93?
38/93
Let h be 27/(-6)*(-2)/3. Suppose q - h = 44. Let t = 47 - q. Which is bigger: t or 1/13?
1/13
Suppose 2 = 3*c - 4. Let y be 7 - 0/(-3 + c). Suppose 6757 = -4*d + 6781. Is d greater than y?
False
Suppose 4*t - 3494 = -2*g - t, 5260 = 3*g - 2*t. Suppose 0 = 79*z - 103*z - g. Is -72 bigger than z?
True
Suppose -f + t - 2410 = -6*f, -4*f - t + 1928 = 0. Suppose f = 4*l + b, 368 = 17*l - 14*l + 4*b. Is 120 less than or equal to l?
True
Let f = -19 - -25. Suppose 14*a = -748 + 76. Let g be ((27/f)/(-3))/((-1476)/a). Which is smaller: g or -1?
-1
Let l be (128/(-6 + 10))/(0 - -1). Suppose -4*d - 5*q + l = -q, -q - 8 = -3*d. Suppose -r - 3 = d*c - 19, -c = -2*r + 5. Which is smaller: c or 13?
c
Suppose 0*t - 3*t - 24 = 0. Let p(u) = 12 + 3*u - 11 - 4*u - 12. Let r be p(-4). Which is smaller: t or r?
t
Suppose 5*n = -3*o + 34 - 52, -4*o - 7 = n. Which is smaller: o or -2/1681?
o
Let v = 41063 + -41139. Is -820/11 <= v?
False
Let s = 4/131 + 3691/3537. Are s and 0 equal?
False
Let u = 45 + -31. Let k = u - 16. Let a = 5.77 - -0.23. Which is bigger: a or k?
a
Suppose 3*o = -38 - 13. Let t(d) = -2*d**3 - 31*d**2 - 9*d + 20. Let j be t(-15). Let f = j - -71. Which is bigger: f or o?
f
Let j be ((-1)/(-9))/(22/99)*1718. Suppose -j = -4*x + 41. Does 225 = x?
True
Suppose 4*i - u - 44 = -3*u, -3*u + 40 = 4*i. Let t(n) = -n**2 + 17*n - 28. Let f be t(i). Let d be ((-8)/(-176))/((5/f)/(-5)). Which is bigger: -2 or d?
d
Suppose -8*h + 5*k = -4*h - 746, -h = k - 182. Let q = -651 + h. Which is greater: q or -466?
-466
Let n = -70/37 + -2195/111. Suppose z - 261 = -73. Let u = z - 209. Which is smaller: u or n?
n
Let k = 279578512/1147695 - 2/229539. Which is smaller: 245 or k?
k
Let q = 787 + -785. Let i be -2 + 2 - (q - 3458/(-21)). Which is greater: i or -167?
i
Suppose -949 = -30*j - 19. Which is smaller: j or 10?
10
Let t be ((-27861)/74)/(1/4 + (-5)/(-10)). Which is bigger: 7 or t?
7
Let s(x) = x**2 - x + 3. Let u be s(0). Let p = -3133 - -3048. Which is smaller: p or u?
p
Let w(i) = 32 + 40 - 2 + 5*i. Let s be w(-7). Which is bigger: s or -5?
s
Let w = 0.26809 - -0.05491. Which is smaller: -2/3 or w?
-2/3
Let q = -30 + -56. Suppose 2*c + o - 104 + 280 = 0, 2*c = -3*o - 176. Which is greater: q or c?
q
Let b be (-44163*51/(-119))/(2*1/(-2)). Which is greater: b or -18926?
-18926
Let k be 2/2*((-1369476)/(-47220) + -29). Is k <= 1?
True
Let s be (3/46)/((-3)/(-4)). Suppose -816*k + 814*k + 66 = -4*h, -2*k = -5*h - 83. Which is bigger: k or s?
s
Let x = 382847 + -221668357/579. Which is smaller: 0 or x?
0
Suppose -4*z + 3*q + 34 - 19 = 0, 5*z = -5*q - 25. Is z smaller than -95/419?
False
Let f(k) = -2*k - 17. Let n be f(-7). Let q be ((-78)/38)/3 + 4 + n. Let o = q - 8/19. Are 1 and o non-equal?
True
Let o = -4390 - -74624/17. Is 5 greater than or equal to o?
True
Let a = -12561 - -23904. Which is smaller: 2/5 or a?
2/5
Suppose -4*s + x = 7020, 0*x = -2*x - 16. Which is smaller: -1756 or s?
s
Suppose -i - w - 892 = 0, -5*w = 4*i + 450 + 3116. Let z be i/(-580) - (-66)/(-220). Which is greater: z or 0?
z
Let s = -229.72 - -225. Let x = s - -5.72. Which is greater: 13 or x?
13
Suppose -12*v - 89 = 83 + 20. Is v < -44/3?
True
Suppose -q + 9 = -0*q. Let a be (-12)/1*(-3)/q. Suppose -f - 5*b = 2, 3*b = -0*f - a*f - 8. Which is smaller: -16 or f?
-16
Suppose -6*w + 210 = -4*w. Let t be 4/10 + 63/w. Let n be (-3 - -2)*3/27. Is t less than or equal to n?
False
Let d(k) be the third derivative of k**4/24 + 25*k**3/6 + 8*k**2. Let i be d(-20). Let b be ((-32)/20)/(2/i). Is b less than or equal to -2/19?
True
Let g be 0/(-14*1/2) - -6895. Is g at least as big as 6895?
True
Let c(f) = -466*f + 818. Let x be c(-17). Is 8742 at least x?
True
Let h = -391 + 403. Is h greater than or equal to 38/3?
False
Suppose 6*k - 3*k - 624 = -3*u, 3*u - 3*k - 600 = 0. Let m be 3332/u*(-12)/2. Are m and -97 equal?
False
Let k be 0 + (244/68 - 3). Let x = k + -2/119. Suppose -8 = -3*b + 4*p, 7*b - 2 = 2*b + p. Which is smaller: b or x?
b
Let r(v) = -14*v**3 + 2*v**2 + 2*v - 9. Let z(o) = 20*o**3 - 3*o**2 - 3*o + 13. Let h(d) = 7*r(d) + 5*z(d). Let l be h(1). Which is greater: 2/3 or l?
l
Let m = 1988 - 15861/8. Let r(d) = 331*d + 17879. Let q be r(-54). Which is bigger: m or q?
m
Let p be (-1197)/90 - -12 - (-4)/5. Which is bigger: 0.1459 or p?
0.1459
Let i = -1634 + 1639. Let g = -0.16 + 7.16. Which is greater: g or i?
g
Let f = 6430 + -6429.9. Which is smaller: f or -0.0002?
-0.0002
Suppose -4*k = 24*k + 6552. Let n be k/39 + (2 - -1). Is n < -7/2?
False
Let r = 441 - 479. Let i be (-3)/(2508/64) + (-4)/r. Is 1 smaller than i?
False
Suppose 0 = 4*k - k + 3*o - 6, 2*o - 13 = k. Let v be 0 - ((-2)/2 + k + 5). Let z be -4 + 7 - (-145)/(-48). Is v at least z?
False
Le