s?
True
Let f = 1031/3 - 344. Let b = 61 - 64.1. Let c = 0.1 + b. Which is smaller: c or f?
c
Let k be (-3*((-152)/(-36) - 4))/(4986/972). Is 0 less than or equal to k?
False
Let j = -22630/57 - -397. Let c = 59/114 + j. Is c equal to 0.058?
False
Let g be (5*(-8)/(-20))/(-1). Let v be (g + 5/3)/(12838/165501). Let f = 3/262 + v. Is f != -1?
True
Let w = -7802 - -7807. Let f = -15 - -29. Which is smaller: w or f?
w
Let a be 24/84 - 27/8. Let h = 51/8 + a. Is 4 greater than h?
True
Let v be (-1)/(-4) - (-3586329)/(-516). Which is smaller: -6949 or v?
v
Let y = -0.034 - -0.57. Let q = y - 9.836. Is 0.1 >= q?
True
Suppose 3*j - 193 = -187. Let s(a) = -5*a + 30. Let n be s(-15). Which is greater: j or n?
n
Let c be 1007 - ((-22)/(-44))/((-2)/4). Let h = 75608/75 - c. Is h < 1?
True
Let v = -94 + 98. Let q be v/(-24) + 50/12. Suppose q - 9 = 5*s. Is -1/22 bigger than s?
True
Let w = 6838 - 6837. Which is greater: 1/4629 or w?
w
Let y(g) = g**3 + 8*g**2 - 4*g - 171. Let d be y(-8). Let n(m) = 46*m. Let i be n(-3). Is i < d?
False
Let w = -1957.3 + 1956. Are w and -1/36 non-equal?
True
Let c be (-3 + 3)/(3 + (0 - 5)). Suppose 0*t - t + 5 = 0. Suppose t*j + c*j = 0. Is j < 5/28?
True
Let k = 333 - 989/3. Is k greater than or equal to 10.9?
False
Let t = 7441 - 7439. Is 0.0315 < t?
True
Let y = 484783/17 - 28535. Which is smaller: y or -19?
-19
Let r = -221 - -211. Let b be 1 - 20*25/r. Let g(m) = 50*m**2 - m + 1. Let j be g(1). Is j at most b?
True
Let x = 3319721/61525 - 1241/23. Which is greater: -1 or x?
x
Let r be (252/60 + -5)/(6/(-855)*-3). Is -44 greater than r?
False
Let l(j) be the first derivative of -5*j**3 + 7*j**2/2 + j - 649. Suppose 2*s + 4 = -0. Let y be l(s). Is y greater than -73?
False
Let j = 237.91774 - -0.04226. Is j at most as big as -0.1?
False
Let v be (-2)/(-10) - (-4852)/(-3060). Let k = -16/17 - v. Let g = 7/195 - 613/780. Which is bigger: g or k?
k
Let l be (1/1*-1)/(-19). Let h = 79 - 97. Let u = h - -17. Which is greater: u or l?
l
Let r = 266 - 373. Suppose -194 = 2*q - m + 21, 5*q + 544 = -4*m. Which is greater: q or r?
r
Let m = 52147 - 52269. Let t = -310 - -187. Which is smaller: t or m?
t
Let j = 161 + -159. Suppose -i + 15 = 5*w + 13, -j*i - 1 = 5*w. Is w smaller than -3/47?
False
Let n(y) = 7*y**3 - 16*y**2 + 11*y + 1. Let l(g) = 3*g**3 - 8*g**2 + 5*g + 1. Let j(a) = -5*l(a) + 2*n(a). Let i be j(4). Let s = i - 28. Is s greater than 22?
False
Let p(k) = -2*k**3 + 38*k**2 - 38*k + 35. Let s be p(18). Which is bigger: 1/5090 or s?
1/5090
Let c(o) = 16*o + 35. Let y be c(-2). Let g be -3 + 5 + -7 - -1*y. Let z = -612/235 - 28/47. Which is smaller: z or g?
z
Let d be 363/(-9)*(-4)/(12/9). Which is bigger: 131 or d?
131
Suppose 435 = m + 2*c - 0*c, 0 = -5*m + 4*c + 2161. Suppose -928*t = 230*t - 155951 - 346621. Which is smaller: m or t?
m
Let r be (1/3)/(57/(-2)). Let f = 78779 + -78778. Which is smaller: f or r?
r
Let d = -148461712869901861994141/18720051010170978776280 - 1/1690835462844261. Let r = 60/39541 - d. Let q = r + -63/8. Which is smaller: q or 0?
0
Let w(r) = -r**3 + 7*r**2 - 4*r. Let h be w(5). Suppose -y + h = 4*y. Let d be (-17)/(-2) + ((-1)/(15/(-120)) - 10). Which is bigger: y or d?
d
Let b be (9/(-2) + 3)/((-3)/(-48)*45876). Which is smaller: b or -1?
-1
Let n = 6303 - 6302. Let y = -218/9 + 1879/72. Is n greater than y?
False
Let s = 1/92 - -9/230. Let k = 217571 - 217572. Which is greater: s or k?
s
Suppose -2*z - 399 = -4*j - 3*z, 0 = -j - z + 99. Let n be (1/((-6)/9))/(34275/j). Is n equal to -1?
False
Let u = -13928 - -17216. Which is smaller: u or -2?
-2
Suppose 0 = -8*q + 5533 - 4949. Is q equal to 74?
False
Suppose 32*k - 115*k + 1099 = 74*k. Is k < 0.031?
False
Suppose 0 = -0*j - 3*j + 9. Let p be (-2)/(j - 5)*-67. Which is bigger: p or -65?
-65
Suppose -5*q + 29 = 3*r - 10*q, r + 2*q = -5. Suppose 5*j + 4*p - r*p - 185 = 0, -2*p = 4*j - 154. Let y be 0/(-1) - 2 - (-156)/4. Is y >= j?
True
Let w = 1209 + -1208.9. Which is smaller: 63/79 or w?
w
Suppose -70 = -j + 4*f, -2*f - 190 = -4*j + 62. Let z = j + -70. Is -12 equal to z?
False
Suppose -4 = 3*z - 5*z, 10 = 2*h + z. Suppose h*n = -0*n. Let d be 188/141*5/(-50). Does d = n?
False
Let v be 3050853/(-12207876) - 1/(-4). Let p = 7431279558/2898353227 + v. Let u = -3/407 - p. Which is smaller: u or -2?
u
Let t = 24/55 - 2/55. Let d = -36 + 61. Let p = d - 47. Which is greater: t or p?
t
Suppose 2*s + 2*s - 8 = 0. Let v be s/6*(-21)/(-98). Let w = -4.5 - -4.6. Which is greater: w or v?
w
Let h be -94163*(1/1 + 611/(-705)). Let k = h - -12546. Which is smaller: -9 or k?
k
Let n = 15559451 - 14730956912605/946753. Let u = n - -43576200469/65325957. Let i = u + -667. Do -1 and i have the same value?
False
Let j = -9468 + 10938. Which is greater: 1474 or j?
1474
Let m = 8003 + -10733. Is -2730 != m?
False
Let x = -438 + 173. Let j = x + 5567/21. Let q be (7 - 11 - -5)*-3 - 21/(-5). Is q at least j?
True
Suppose 192 = -3*b + n + 3*n, 5*b = 3*n - 309. Let y be (3/12)/(b/768). Which is smaller: y or -3?
y
Suppose 0 = 12*z + 11 - 551. Let c = 139 - 95. Is z smaller than c?
False
Let o = 49 + -44. Suppose 0 = 2*a + o*f + 2 - 3, -f - 7 = -2*a. Suppose -3*g + a*m = 6, -4*g - m + 2*m - 2 = 0. Is 1/2 != g?
True
Let l = 2774 - 4210. Which is smaller: l or -1435?
l
Let f = -9778 + 48892/5. Which is bigger: -3620 or f?
f
Suppose -120*a + 125*a = -3045. Let w = -609 - a. Which is bigger: -0.04 or w?
w
Let m(w) = w**2 + 6*w - 13. Let i be m(-7). Let t be -10 + 12 + i - 1. Is t at most -0.1?
True
Suppose 0 = 4*c + 4*m - 8, -5*m - 26 = -3*c - c. Suppose -82 = -c*s + 3*w, -2*s + s + 26 = 2*w. Let k be s/(-40) + (-16)/80. Is 0 at most as big as k?
False
Let p be -1 + (-10 - (-1)/(-1)). Let l be 16/4 + -2*3/6. Let w be (7 - l) + (-4*3 - 2). Is p at most w?
True
Let d = 1954 - 2019. Which is bigger: -4 or d?
-4
Let a(i) = i**3 - 16*i**2 - 39*i + 29. Let r be a(19). Let k = 385 - r. Let s = 28 - 12. Which is smaller: s or k?
k
Let g = -212/151 + -48102/1661. Let r = 6159/209 + g. Are r and -1 equal?
False
Let f(z) = -45*z + 333. Let o be f(0). Let h = o + -332. Which is bigger: 1/15 or h?
h
Let v be -136 - ((-1)/(2/(-14)) + -3). Let x be 15/(-2)*(v/21 - -6). Suppose 0 = c + 5*m - 28 - 40, 3*c = x*m + 124. Is c smaller than 47?
False
Suppose k - 782 = 3*c, 4*k + 16 + 262 = -c. Let t = 250 + c. Let y(h) = -8*h**3 + 2*h**2 - h. Let v be y(1). Is v <= t?
False
Suppose 5*z + 17*z + 3740 = 0. Let i be z/(-1632)*2/5. Which is smaller: -1 or i?
-1
Let z = 50442 + -50444. Let b = 1.4 + 4.6. Let u = -4 - b. Which is smaller: z or u?
u
Let i be 1568/(-9)*(44/7 - 6). Suppose 15*k - 2*s + 145 = 12*k, 0 = -2*k - s - 106. Are k and i non-equal?
True
Let t be 730/(-146) + (-10)/4*-4. Suppose v + 4*v - 80 = 5*r, -2*r - 23 = -t*v. Which is greater: -160/9 or r?
-160/9
Let j(g) = 5*g + 33. Let m be j(-6). Suppose 3*b = -2*l + 8*b - 509, -2*l + m*b = 507. Let x be (-12)/(-30) + l/255. Which is greater: x or -1?
x
Let p = -13821.961 + 13825. Is -0.3 < p?
True
Let j = -10872 + 10866. Is j <= -295?
False
Let v be (308/110)/((-33)/15) - -2. Is v less than -7/4?
False
Let h be 4 - -4 - 14 - -9. Let f be (6/7)/((-3)/(-1302)). Suppose 3*b = -2*r - 268, -3*r + h*b + 0*b = f. Which is bigger: -129 or r?
r
Let p = -143.90063 + 143.96. Which is greater: 0 or p?
p
Let j(r) = -r**3 + 15*r**2 - 14*r. Let a be j(7). Let u = a + -684. Let n = -3506/9 - u. Which is smaller: 1/7 or n?
1/7
Let s = 1778 + -1727.52. Let v = s - 0.48. Let w = v - 115. Which is smaller: w or -0.1?
w
Let i = -317.6 - 840.4. Which is greater: -0.1 or i?
-0.1
Suppose -1028*o + 1044*o - 72000 = 0. Is 4500 > o?
False
Let q = -23.2 + 2. Let a = -20 - q. Let n = a - 1.2. Which is smaller: 7 or n?
n
Let y = -1/4181 + -8359/12543. Which is bigger: -3562 or y?
y
Let m = -65/6 - 835/24. Let i = -46 - m. Let v = -141 - -707/5. Is v less than i?
False
Suppose -5*s - 35768 = 3*p, 3312*s + 4*p = 3310*s - 14296. Which is greater: -7158 or s?
s
Let c be ((-12)/4 + 0)/(-1). Let f = c - 1. Let b be f - ((-6)/(-21) + (-4)/14). Do b and -8 have the same value?
False
Suppose 763*j - 32 = 731*j. Which is smaller: j or 29/38?
29/38
Let p be 2/(-5)*(-9 + -3 + 812/56). Is -30 at most as big as p?
True
Let r = 626937709/893 + -702057. Let z = -18