 1613 - v. Is -1 at most as big as u?
True
Suppose -4*q = 5*b - b + 16, b = -5*q - 16. Let h be b/(-1)*(-1485439)/2907. Let c = -511 - h. Which is smaller: c or 1?
c
Let n(y) = 16*y + 6. Let s be n(-4). Let a = s + 74. Is a smaller than 17?
True
Let g(h) = -14*h**3 - 3*h**2 + h + 56. Let n be g(-5). Which is smaller: n or 1728?
n
Let j be (-2 - (-1268)/(-6))/((-12)/36). Suppose -5*a - 15*p + 16*p - j = 0, 2*p = -a - 117. Is -127 greater than or equal to a?
True
Let q = -5.366 + 0.066. Let b = 8.7 - q. Which is bigger: b or 4?
b
Let c(f) = -f - 2. Let u(r) = -2*r**3 - 14*r**2 - 12*r - 2. Let n = 34 + -40. Let t be u(n). Let o be c(t). Is -8/7 equal to o?
False
Let m(v) = -v**2 - 12*v + 13. Let i be m(-12). Suppose 6*k = 5 + i. Let f be (k/18)/((-9)/(-6)). Which is greater: 1 or f?
1
Suppose 0 = -4*i - y + 5, -14*i - 5*y = -11*i - 25. Is 23/147 not equal to i?
True
Let a(s) be the second derivative of s**3/3 - 5*s**2/2 + 8*s. Let l be ((-36)/10 - -3)*5. Let w be a(l). Which is smaller: w or -10?
w
Let k = -7 - -7. Let h be (-2 - -3) + (-3 - k). Let y be (7/(-49))/(9/135). Which is smaller: y or h?
y
Let w be 390/(-20) + 18 + 15218/10145. Is -1 at most w?
True
Let k be (-37)/52 - 3/(-6). Let h = k - -6/13. Suppose -2420 = -165*j - 2255. Which is greater: h or j?
j
Let x = -230 + 205. Let t(z) = -z**3 - 25*z**2 + z + 30. Let a be t(x). Is a equal to 3?
False
Let o = 5611 + -5608. Let c = -13 + 5. Let l be c/(-14) - (-6)/(-9). Which is smaller: o or l?
l
Suppose 4*i = -5*j + 85, -4*j + 35 = 3*i - 6*j. Suppose -5*d + 165 = -5*c, -3*c + 24 = -5*d + 187. Let r = d + -18. Which is greater: r or i?
i
Let d = 3553 - 3554. Which is greater: d or -2/25489?
-2/25489
Suppose 25*m - 30 - 70 = 0. Let z be ((-2)/m)/(4/(-312)). Is z at most 38?
False
Let i = 14692169/18310 - 45/3662. Is 802 less than or equal to i?
True
Suppose 10*w + 45 = 9*w. Let g = 77 + w. Let z = 39 + g. Does 71 = z?
True
Let f = 1 + -6. Suppose 6 = -5*u - 2*r, 4*u = 21*r - 16*r - 18. Which is greater: f or u?
u
Let r = 17.418 + -116.328. Let u = r - -95.1. Let d = 0.19 - u. Which is greater: d or -7?
d
Let a be 2/(-7) + (-66)/14. Let b = 177186 + -177189. Which is smaller: b or a?
a
Let s(d) = d**2 + 52*d - 1825. Let b be s(-76). Which is bigger: 12/347 or b?
12/347
Suppose 744 = 11*f + 20*f. Suppose -2*w - 6 = 2*s - 44, -10 = -s - 4*w. Let g = f - s. Is g equal to 4/3?
False
Let u be (11/2)/((-26092)/(-4744)). Let n = 12284/561573 - 3/2311. Is u > n?
True
Let h = 47 - 13. Let a = h + -27. Suppose 2*i = -i + 6, -5*i = -3*l - a. Is l less than 1/7?
False
Let i = -12678 - -19622. Which is bigger: 1 or i?
i
Suppose -4*k = -447 + 27. Let z be 3/2*30/k. Let y = 921 - 920.97. Which is greater: z or y?
z
Let m be 5/(5/(-2))*391/34. Let x be -40 - (-2 + 0)/1. Let g = x - m. Is -14 at least as big as g?
True
Let k be 16/(-4) - (23/(161/(-84)) - -6). Is 70/79 >= k?
False
Let f be (145950/(-9))/(5 - ((-255)/(-9))/5). Which is bigger: 24326 or f?
24326
Suppose -2418*d = -2431*d. Which is smaller: d or -15/226?
-15/226
Let u be (-1 - (-65)/(-4))/((-28)/(-112)). Let r be -13 + -4 - 4/2. Let x be (-5 + 1)*(-2 - r). Is x <= u?
False
Let w be (-14)/10 - -1 - 16/(-15). Is w at most as big as -0.0225?
False
Let f = -1209 - -7271/6. Suppose -546*n = 5*b - 543*n + 8, 2*b = -3*n - 14. Do b and f have different values?
True
Let j be 4/87*(-1840455)/(-1050). Let a = j - 44/145. Let h = -29779/371 + a. Is -1 not equal to h?
True
Suppose -90*x + 39040 = 15910. Which is greater: x or 255?
x
Let y = -78340.37 - -77691. Let j = y + 644. Let r = j - -0.37. Is r > 2/7?
False
Let k(o) = 37*o + 14. Let s be k(-2). Let f = -57 - s. Suppose f*d + 4*d = 0. Is d less than or equal to -2/87?
False
Let y be 4*((-2 - -1) + (-1800)/(-32)*-1). Which is bigger: -263 or y?
y
Let o = 3.993 + -4. Let k = -7139.007 + 7142. Let d = o - k. Which is smaller: d or 0.2?
d
Suppose 102*x + 5144 + 3502 = 124*x. Which is greater: x or 3147/8?
3147/8
Let o = -201.66 - -8.76. Let f = -193 - o. Which is smaller: f or 0.022?
f
Let n(k) = -3 - 10 + 8*k + 0*k - 1. Let i be n(2). Let g(u) = 13*u + 2. Let b be g(i). Which is greater: b or 138/5?
b
Suppose 212*n = 198*n. Is 0.031 bigger than n?
True
Let c be 2/(-4)*(-5 - 27)*-8. Let t = -125 - c. Which is smaller: -1 or t?
-1
Let q = -98 - -112.7. Let b = -21 + q. Let w = -6.27 - b. Which is smaller: w or 2/3?
w
Let n be -6 + 6/(3/3) + 483. Let q = 467 - n. Which is greater: q or -20?
q
Let d = 396 + -1172. Let s = 768 + d. Let u = 0.03 - -3.97. Which is greater: u or s?
u
Suppose -4*m - 22 = 4*j + 114, 2*j - m + 74 = 0. Let s = -38 + -3. Are s and j unequal?
True
Let z(d) = 3*d**2 - 39*d + 42. Let w be z(12). Let c(p) = p**2 - 4*p - 16. Let o be c(w). Which is smaller: -84/31 or o?
o
Let s be (136/28)/((-3)/(-21)). Let h(m) = -33*m + 82*m - 5*m**3 - s*m + 4*m**3 - 17 - 15*m**2. Let l be h(-16). Are -2/199 and l unequal?
True
Let t be 6 + -14 + 29 + -23. Is t < 730?
True
Let a = -1217557/321 + 3793. Which is smaller: a or -1?
-1
Let d(q) = q**2 + q - 3. Let r be d(0). Let y(g) = -3*g**3 - 7*g**2 - 12*g - 1. Let x be y(-2). Let w = r + x. Which is smaller: 15 or w?
15
Suppose 0 = 5*k - 2*q - 100, -k - 5*q - 8 = -28. Let c be (-1)/(-6) - (-85)/30. Let v be k/150*35/c. Is 2 not equal to v?
True
Let r = 66.02 - 0.02. Let i = r - 66.013. Is i > -1?
True
Let z = 105 + -121. Let i(k) = -k**3 - 15*k**2 + 13*k + 31. Let b be i(z). Let h = 73 - b. Is h bigger than -6?
False
Let n = -4084 + 771859/189. Which is bigger: n or -1?
n
Let m(r) = 599*r - 260. Let k be m(7). Is k greater than or equal to 3933?
True
Let p = 59 + -51.1. Let z = -7.77 + p. Let s = -84 + 86. Which is smaller: s or z?
z
Let y(b) = b**2 + 97*b - 957. Let n be y(9). Are n and -31/20 equal?
False
Suppose 0 = 5*s - z + 44 + 6, z + 38 = -3*s. Let y be (-622)/s + 492/(-902). Is y > -0.1?
True
Let v = 335/28 + -61/7. Suppose 6*p - 4 = 5*p - 3*f, -p + 5 = 2*f. Suppose -3*d - 16 = -p*d. Is v <= d?
True
Let f be (-26)/8 + (-312)/(-96). Which is greater: 7/25 or f?
7/25
Suppose 41 - 55 = -3*z + 5*x, -3*z + 2*x = -2. Is -0.1588 at most as big as z?
False
Let s = -5852 + 5852. Let p = 64 - 57.1. Is s != p?
True
Let i = -0.0743 + -561.9257. Let o = 564 + i. Which is greater: -308 or o?
o
Let b(t) = -61*t - 1281. Let u be b(-21). Which is bigger: -1/133 or u?
u
Let o be (2 + 1 - -1)*(2 - 4). Let a be (o/66)/((-57)/54 - -1). Let d = 19 + -17. Is a bigger than d?
True
Let a = -21/2263 - -89333/359817. Let r = a - 10442/1113. Suppose -5*f - m = 69 - 20, m - 1 = 0. Is r at most f?
False
Let c(h) = h**2 + 7. Let w be c(0). Suppose 0 = 3*y + 10*y + w*y. Are -100 and y equal?
False
Suppose 7*f - 5*f - 20 = 0. Suppose -6 = -4*l + f. Suppose 4*t - l*w - 136 = 0, 3*t = -5*w + 117 - 47. Are t and 30 unequal?
False
Let b be 8/(-12)*(-1236)/(-8). Let t = b + 103. Let d = -0.2 - -23.2. Which is smaller: d or t?
t
Suppose -15 = -s + 2*s. Let r = -2752 - -2753. Which is greater: s or r?
r
Let c(t) = 2*t**3 + t + 1. Let p be c(-2). Suppose -455 = -4*u + 17*u. Let b be (-5)/u*(2 - 4). Is p bigger than b?
False
Suppose -4*s + 6*a - 5*a - 15 = 0, -a - 13 = 3*s. Let i be 1*s/12 + (-258)/9. Is -27 greater than i?
True
Let n be 884/272*(-4 + 0). Is -287/22 at least as big as n?
False
Let z = 2331 - 2331.6. Which is bigger: -74/5 or z?
z
Suppose x + 0*x + 2*r - 7 = 0, -4*x = 5*r - 16. Let g be ((-531)/(-89267))/(126/357). Which is bigger: g or x?
g
Let z(k) = 6*k**2 - 65*k - 153. Let i be z(13). Let q(g) = -g**2 - g - 1. Let d be q(-1). Which is bigger: i or d?
i
Let n(o) = -37*o**3 - o**2 + o + 1. Let h be n(-1). Suppose 3*l + h = 153. Suppose 4*x + 4*g - 124 = 0, 9*x - 5*g + 41 = 11*x. Which is smaller: l or x?
x
Let o = -0.534 + 2.434. Let u = -42 + 32. Let k = -9 - u. Which is greater: o or k?
o
Let q(p) = 1373*p**3 - 2*p**2 - 114*p + 235. Let g be q(2). Is 10984 at most g?
False
Suppose 0 = 5*k - 11 + 31, -5*i - 4*k = -9. Suppose 1 = -11*r + 9*r - i*f, r - 4*f + 7 = 0. Which is bigger: r or 8?
8
Let b be 686/1*(-1 + 12/8). Let s be (-49)/b + (-6)/(-14). Let h be (-1 - (-20)/(-22)) + 1. Is h < s?
True
Let b = -11201 - -11200. Let p be ((-3)/75)/((-4)/(-10)). Is p <= b?
False
Let f(b) = -2*b**2 - 10*b + 5. Let w(a) = -a**2 - 4*a + 2. Let y(n) = 6*f(n) - 13*w(n). Let x be y