 Let y be i(-13). Is 4 greater than or equal to y?
False
Suppose -6*b - 2*t = -10*b + 26, 3*b + 2*t = 2. Suppose 0 = -5*d - 4*u - b, -2*d - 4*u = 3 - 11. Is d != -6?
True
Let f = 18 - 96. Let z be (-5 - -1) + (-260)/f. Suppose 4*n - 2*r + 6 = 0, 5*n + 6 + 0 = 4*r. Is z greater than or equal to n?
True
Let s = -4.3 - -32.3. Let d = 6.71 - 6.81. Which is bigger: d or s?
s
Let r = 1 + -1. Let i = -150 + 53. Let s = i + 1064/11. Which is bigger: s or r?
r
Let g be (-561)/9*-3 + 7. Is g equal to 194?
True
Let t be -4 + 3 + (-7)/(-1). Let a = 45 + -39. Is a equal to t?
True
Suppose -6 = v + 6. Suppose 11*y + 257 = -254 + 500. Is y at most v?
False
Let w be (3/(-15) - (-38)/(-10)) + 4. Let k = -6237518 - -280720078/45. Let f = k + -706. Which is greater: w or f?
w
Let r(z) = 21*z + 16 - 48*z + 24*z. Let v be r(5). Which is smaller: 6/7 or v?
6/7
Suppose 0 = -6*h - 4 - 8. Let t be (h/(-60))/(2/(-56)). Which is greater: t or -1?
t
Suppose -2*r - 2570 - 454 = -4*h, 0 = -4*h - 4*r + 3012. Let m be h/(-45) + 4/(-18). Is -17 equal to m?
True
Suppose -8 = -2*k - 0*k. Let l be (6/18)/((-2)/k). Suppose 4*h + 2*w - 34 = 0, 2*h + 2*w - 6*w - 2 = 0. Which is smaller: l or h?
l
Let b(p) = -6*p + 21. Let z be b(14). Let g be 12/(-7) + 18/z. Which is smaller: g or -3?
-3
Let n be 1 + (-26)/65 + (-343)/5. Is n not equal to -65?
True
Let l be (-328)/123*(-6)/4. Are 5 and l nonequal?
True
Let h = -1377/767767 + 1/5577. Let l = h + 40/413. Which is greater: 2/23 or l?
l
Suppose 0 = -5*c + 5*k - 132 - 63, -2*c - 3*k - 58 = 0. Let t = c + 30. Is -4 >= t?
True
Suppose -4*q = 16, f = -3*f + 4*q - 212. Let s(b) = b**3 - 28*b**2 + 124*b - 10. Let m be s(6). Is f greater than m?
True
Let j be 21690/15600 - 7/5. Is j not equal to 3?
True
Let m = -5.04 - -0.14. Let b = 5 + m. Which is smaller: b or 5?
b
Suppose 5*z - 6*z = -6. Let c = 8 + z. Which is bigger: c or 13?
c
Let j be (-1)/(-4) + (-3)/2676*211. Is 1 at most as big as j?
False
Suppose 0 = -2*d + 5*l + 24, -2 - 4 = 5*d + 4*l. Let n = 7.83 - 8. Let q = n + -0.03. Which is smaller: q or d?
q
Let v(q) = -4*q + 4. Let f be v(2). Let o be (-110)/(-44) + 155/(-22). Which is smaller: o or f?
o
Let r(o) = -2*o - 20. Let l be (-12)/18 + 1/(-3). Let v = -11 - l. Let c be r(v). Is 1/2 at least c?
True
Let d = -659 + 659.04. Which is bigger: -13 or d?
d
Let d = -335 + 335. Is d at least as big as 8.1?
False
Suppose 3*s - 348 - 330 = -2*p, 1340 = 4*p + 2*s. Is -0.2 equal to p?
False
Let w = 378 - 379. Is w less than -7/12?
True
Let s be -3*((-1)/5)/(27/(-45)). Is s bigger than -1/401?
False
Let a = -15.6 + -3.4. Let o = 13 + 5. Let x = a + o. Is -9 > x?
False
Let q = 64.25 + -0.25. Let b = q + -65. Which is smaller: b or 4/7?
b
Let q = -1781687/546 - -22846/7. Let a = q - 2/39. Does 0.4 = a?
False
Suppose 9 = -a + 30. Let i = a - 22. Which is greater: i or -2/29?
-2/29
Suppose 5994 = -1390*v + 1417*v. Is v greater than or equal to 220?
True
Suppose -3*g = 2*g + 25. Let p be (-12)/5 - 2/g. Let s be -1*5*2 + 1 + 4. Which is greater: p or s?
p
Suppose -5*k + 25 = 5*j, -1 = 2*k - 4*j + 13. Let o be ((-2336)/4)/((-3)/1). Let w = 197 - o. Is w < k?
False
Let y = 48 + -39. Let c = y - 8.9. Are c and -0.2 nonequal?
True
Suppose -2*o + 2 = -10. Suppose u = 2*n - 11, 8*n - 16 = u + 5*n. Which is smaller: u or o?
u
Let c = -12.032 - -12.1. Do 0.1 and c have the same value?
False
Suppose 3*a = -5*j + 32, -5*a + j + 42 = -2*j. Let x be -12*1/(2/(-1)). Suppose 3*c - a = -x. Which is greater: 4/5 or c?
c
Let t(x) = 5*x. Let m(k) = -6*k - 1. Let i(d) = d**3 - 2*d**2 - 3*d - 4. Let q be i(3). Let s(b) = q*m(b) - 5*t(b). Let h be s(11). Which is greater: h or -8?
h
Let j = -17 + 114. Let n = j + -96.9. Which is smaller: -84 or n?
-84
Suppose -5*i - 60 = i. Let g = -8 - i. Suppose 20 = 3*f + h - 24, g*h - 10 = 0. Which is greater: 2/3 or f?
f
Suppose -l - 10 = 4*l, -5*k - 3*l = 11. Let a(s) = s**3 - 2*s**2 - 3*s - 2. Let i be a(2). Let v be (-7 + k)*2/i. Which is bigger: 3 or v?
3
Suppose -4 = 2*g + 14. Let j(f) = 9*f + 33. Let n be j(g). Is n greater than -49?
True
Let o = 3.375 - 3.1. Let g = o + 0.025. Let i(l) = 2*l + 1. Let w be i(-1). Which is smaller: w or g?
w
Let q = 945 + -942. Let v be -1*(-1)/(-1)*-3. Suppose 0 = -0*m - 4*m - v*r + 42, -2*r + 32 = q*m. Is m > 11?
True
Let y be 3/2*-2 - -2. Let b = 12 + y. Let d(k) = -k + 28. Let p be d(b). Is p less than 17?
False
Let j = -0.5459 + 0.2659. Let w = 15 + -7. Let s be w/(-3) + (2 - 0). Which is greater: s or j?
j
Let n = -0.5 + 0.3. Let h = -10 + 10.04. Are n and h unequal?
True
Let r be -4*((-175)/(-10))/5. Let t be (8/(-10))/(r/70). Which is bigger: t or -4?
t
Let x = -1165/3 + 387. Which is smaller: 0 or x?
x
Let o = 38 + -40. Let t be 3/(o*(-1)/(-10)). Is t at most as big as -17?
False
Let q = 120 - 323. Is q at least -203?
True
Suppose -o - 10 = 2*h + 2, 0 = 3*h - 3*o. Let t be h/13 - -2 - 2. Let q be 99/(-132) + (-1)/4. Is t > q?
True
Let c(u) = 3*u - 50. Let y be c(19). Is -10 >= y?
False
Let p be (2/(-8)*1)/(81/(-864)). Suppose 2*n - 5 = -3*n - 2*t, 4*t + 29 = 3*n. Which is bigger: p or n?
n
Let v = -93 - -98. Suppose -w + 17 = 3*z, -6*z - 4*w = -2*z - 20. Suppose -4*n + 14 + z = o, 2*o - v = -n. Which is smaller: o or -2/3?
-2/3
Let l be (6/(-15))/(2/(-20)) + -7. Which is smaller: l or 12?
l
Let x = 663 - 501. Which is bigger: x or 0?
x
Let l be ((-4)/4 - (-21)/7) + -1. Does l = -9/113?
False
Let o be 13/((-104)/56) - 11. Which is bigger: o or -16?
-16
Let t = 303 - 67. Let p be ((-2)/t)/((-16)/(-192)). Is -1 at most p?
True
Let o be (-2444)/(-66) - (-24)/6. Let p = o - 41. Which is smaller: 0 or p?
0
Let s = -2123 - -2112. Do -7 and s have the same value?
False
Let x be (10/(-815))/(20/40). Which is bigger: x or -0.1?
x
Let y = 751/26 - 833/104. Which is greater: 20 or y?
y
Let i be 3/(36/4)*54. Suppose 5*f - 4*f = -i. Is -18 bigger than f?
False
Let g = -5.05 - -2.7. Let w = g + 2.2. Let t be (-1)/(-4) + 15/(-12). Which is smaller: t or w?
t
Let z be ((-45)/(-420)*-7)/(11/(-188)). Which is smaller: z or 13?
z
Let v = -22 + 37. Suppose -2*b + v = 4*w - 17, -2*w - 3*b + 20 = 0. Is -0.1 greater than w?
False
Let z(j) be the third derivative of j**6/120 - j**5/20 + j**4/8 - j**3/6 - 15*j**2. Let r be z(2). Is 4 at most r?
False
Let r = -4 - -4. Let m be (220/(-165))/(2*(-10)/2). Is m >= r?
True
Let c be 18/22 + -1 + 1080/132. Let q be ((-4)/(c/3))/(-1). Does q = 5/2?
False
Let f = -2.95 + -0.05. Let a = -3 + f. Let n = 0.051 - 0.051. Is n at least as big as a?
True
Let a be (0 - (1 + -2))/(-1). Let h be (a + 3)/((-16)/(-24)). Let m = h - 0. Is m equal to 2?
False
Suppose 4*v - 5*k = 398, 22*k - 104 = -v + 21*k. Which is bigger: -0.1 or v?
v
Let u = -2111/14 + 151. Let w = 15/14 + u. Is 0 at most as big as w?
True
Let m = 21 - 15. Suppose 8*o + m = 6. Which is smaller: o or -1/13?
-1/13
Let u(x) be the first derivative of -x**4/4 - 7*x**3/3 - x + 4. Let t be u(-7). Let g be 2*(1/(-11))/t. Which is bigger: -1 or g?
g
Let s = -7/8 - -101/88. Let f = s + -43/77. Which is smaller: 0.2 or f?
f
Suppose 4 = -g + 3*g. Let s be (-12)/3 + 5 + g. Suppose -5*b - s = d - 0*b, -39 = -5*d + 2*b. Which is smaller: 8 or d?
d
Let l = 1.12 + -1. Let m = -242 - -242.12. Let g = m - l. Which is smaller: -0.3 or g?
-0.3
Let s = 174 + -103. Let j = s - 70. Is 48 less than or equal to j?
False
Let g be (-27)/4 - 36/(-48). Let x(j) = j - 3. Let a be x(g). Let z be (-12)/a*(-27)/6. Is z <= -6?
True
Let j be ((-64)/(-10))/((-1)/5). Let z(b) = -80*b**2 + 312*b - 3. Let c be z(4). Which is greater: c or j?
j
Let r be (1 + (-3)/9)*3075/50. Which is greater: r or 25?
r
Let r = -24 - -27. Let i be ((-14)/35)/(r/75). Is i smaller than -10?
False
Let p be (-3 - -1)/((-6)/(-2463)*-1). Let j = p + -3313/4. Are j and -6 equal?
False
Suppose 15*h - 4*h + 33 = 0. Let t be ((-12)/(-16)*4 - 2)*h. Suppose 2*m + 0*m + 12 = -3*g, 0 = -g - m - 4. Which is bigger: t or g?
t
Suppose 5*t + 20 = -5. Let w be (15/(-4))/t + 134/(-168). Let z be 10/14 - (-4)/14. Which is greater: z or w?
z
Let h = -28.95 + 29. Let q = h + 0.25. Let v = q - 10.3. Which is smaller: 0 or v?
v
Let x(d) = -d**3 - 6*d**2 + 8*d - 1. Let t be x(-6). Suppose h + 4*f = -41, 0 = -h + 2*f - 89 + 36. Do t and h have the same value?
True
Let m = -430 - -415.4. Is