 Let l = v - 2/391. Let a = 17/24 + l. Is 1 smaller than a?
False
Let a = 3.861 - 0.011. Let x = -22.15 - a. Which is smaller: -0.2 or x?
x
Let c(q) = 3*q**2 + 16*q - 11. Let v be c(-6). Which is greater: v or 6461?
6461
Let k = 3064 - 3048. Which is bigger: -44 or k?
k
Suppose -38 = -v + 36. Suppose 5*y + v - 1 = 3*z, z + 9 = -5*y. Let p be 6 + 1/((-4)/z). Which is smaller: 6 or p?
p
Let a = 1.3687 + -17.3687. Which is smaller: a or 0.0831?
a
Suppose -v + 4*l = 13282, -2*l = -2*v - 0*l - 26564. Is -13282 at most v?
True
Let o be (-987403)/(-2870) - (-6)/10. Is 346 greater than or equal to o?
True
Suppose 67*b - 125*b = -59*b + 3385. Which is smaller: 3386 or b?
b
Let t = 151 + -38. Let r = 113 - t. Let z = -47 + 43.9. Which is greater: r or z?
r
Let n = 5661 + -7472. Which is greater: n or 0.2?
0.2
Let w(r) be the first derivative of r**2/2 + 9*r + 7. Let g be w(-5). Let v(q) = -q**2 + 6*q - 5. Let s be v(g). Which is smaller: s or 4?
s
Let w = -2768 + 2768. Is -5/14 >= w?
False
Let a = -1 + 2. Let b(f) = 20*f + 353*f**3 + 33 - 19*f - 352*f**3 - 7*f**2. Let x be b(6). Is x bigger than a?
True
Let w = -121/10 + -853/20. Is -2/7 smaller than w?
False
Let q(v) = -12*v - 48. Let k be q(-4). Let t = -297041/74 + 4014. Which is smaller: t or k?
t
Let m = -29117/98385 + 31/105. Do 1 and m have the same value?
False
Let z(f) = 109 - 7 + 2997*f - 2986*f. Let j be z(-16). Is j greater than or equal to -72?
False
Let x(b) = -b**2 - 9*b - 7. Let h(q) = -q**3 - 5*q**2 - 2*q + 4. Let m be h(-3). Let r be x(m). Let i = 1355 + -1375. Which is greater: r or i?
r
Let s(w) = -3*w**2 + 9*w - 2. Let c be s(6). Suppose 0 = -228*u + 227*u + 5. Suppose -u*k = -f + 278, -k - 79 + 21 = -f. Is c greater than or equal to k?
False
Let w = 0.53581 - 0.43581. Let l(v) = 56*v + 4. Let t be l(-4). Which is greater: w or t?
w
Let l be 10/12 + (-182480)/(-912)*1/10. Which is smaller: 21 or l?
l
Suppose 141*x = 63*x + 11934. Which is greater: x or 152?
x
Let m(t) = 25*t - 16. Let n(s) = -25*s + 16. Let j(d) = -4*m(d) - 5*n(d). Let y(h) = -h**2 - 8*h + 22. Let k be y(-10). Let i be j(k). Which is bigger: i or 0?
i
Let g be -1*(1/6 + (-15)/(-18)). Let y be ((-11)/12 - g)/((-7)/14). Which is bigger: 0.19 or y?
0.19
Let c = 8236 - 9250. Is c < -1014?
False
Let l be (-34)/(-30) - 18*6/135. Let q = -9.3 - 50.7. Are l and q non-equal?
True
Let d = 5662.47 + -5617. Let q = 44 - d. Let z = q - -0.47. Which is smaller: z or -0.03?
z
Let m = 939 - 1063. Let u = m - -124.06. Which is greater: u or 26?
26
Suppose -200*c + 190*c - 140 = 0. Let t be (460/6)/(-5)*1. Which is greater: t or c?
c
Let u = -16197 - -16254. Is u at most as big as 126?
True
Let p be (588/56)/(2/(-8)). Does -37 = p?
False
Let y(m) = -2*m**2 + m - 3. Let s be y(0). Let p be 3 + 852/(-18)*1*s. Let k be p/(-77) + (-15)/(-35). Is k greater than -1?
False
Let v(z) = 3*z**3 + 3*z**2 - 4*z - 18. Suppose 1 = 2*r + 3*j, 0 = -4*r - 3*j + 3 - 10. Let o be v(r). Do -145 and o have different values?
True
Suppose 5*s + 2*d = 21, 4*d + 4 + 14 = 2*s. Is 16 smaller than s?
False
Let h = -2646 + 1357. Which is smaller: h or -2/5?
h
Let j = 110 + -357. Let k = j + -397. Let b be 4 + (k/107 - -2). Is -1 >= b?
False
Suppose d + 37 = -5*f + 2*d, 3*f = -2*d - 17. Let t be (-8)/2 - (2 + f). Let r = 18153/19 + -955. Which is smaller: t or r?
r
Let a be 22/4 + 1/(-2). Suppose -5*g = 10, -4*b + a*b - g = 5. Is 48/17 smaller than b?
True
Let f = -5645 + 3764. Let d = f - -178693/95. Which is smaller: d or 1?
d
Suppose -5*n = 4*b - 46, -10 = 2*n - 6*b + 2. Let i = -149/7 + 3413/161. Is n at most i?
False
Let s = 6387/5 - 747769/585. Is s smaller than -1?
False
Let t(h) = 107*h - 52. Let l(o) = -36*o + 17. Let y(v) = 7*l(v) + 2*t(v). Let m be y(11). Let u be m/9 + (-2)/9. Is -45 at least as big as u?
True
Let r = -133/4 + 3323/100. Suppose t = 4*t - 45. Suppose 3*m - 12 = -t. Are r and m equal?
False
Let o(t) = -83*t - 451. Let y be o(-20). Is y <= 1209?
True
Let h = 3341 + -16676/5. Is h != -2/7?
True
Let v = -14145542/904113 - -1768/113. Let i = v - -15508/1976247. Which is greater: 0 or i?
i
Let d be 35*1/(2/(-2)). Let c(y) = -34*y + 4. Let r be c(-16). Let h = r - 582. Is d smaller than h?
True
Let l be -7 + -8 + (-90)/(-156)*20. Which is bigger: -4 or l?
l
Suppose -1274*m + 162 = -1265*m. Is m at most 56?
True
Let v(t) = -2*t + 1. Let z be v(-1). Let b = 6119/2 + -3057. Which is greater: b or z?
z
Let q = 5.642 + -0.042. Let x = q - 7.27. Let u = x - 0.33. Which is greater: u or 0.3?
0.3
Let c be 8/6 - 39*(-17)/(-639). Is c < 0?
False
Suppose -6 = 3*l - 21. Let b = -712/389 - -12507/1945. Which is smaller: l or b?
b
Suppose -4*k = -2*x - 10, -2*k = x - 7*k + 14. Suppose -1 = i, 2*j + x = -5*i + 8. Suppose j*l + 10 + 2 = 0. Which is smaller: -0.7 or l?
l
Suppose -2*k + 14830 = -5*q, 31*q - 8898 = 34*q + 2*k. Which is greater: q or -2968?
q
Let h(p) be the second derivative of p**5/20 - 5*p**4/4 - 5*p**3/2 + 3*p**2/2 - 4*p + 2. Let v be h(16). Which is greater: v or 20?
20
Suppose 5*d + 5*c - c = -959, -767 = 4*d + 3*c. Let h = 306886 - 306887. Is h smaller than d?
False
Let i(q) = -3*q**3 - 27*q**2 - 14*q + 10. Let w be i(-9). Let c be (2727/81)/((2/(-8))/(-1)). Which is smaller: c or w?
c
Suppose 0 = -0*a + 4*a - 357 - 24495. Which is bigger: 6212 or a?
a
Let c = -6426 + 2403327/374. Let v(m) = -m**2 + 6*m - 9. Let l be v(3). Which is bigger: l or c?
c
Let z(q) = q**3 + 3*q**2 - 2*q + 3. Let y be z(-4). Let i(h) = -4*h**2 + 6 + 71*h**3 - 37*h**3 - 35*h**3 + 7*h. Let v be i(y). Which is bigger: v or -17/5?
-17/5
Let g(i) = -3*i**2 - 35*i - 1722. Let p be g(-57). Is p bigger than -9473?
False
Let i = 514.996 + -515. Let r = -1.004 - i. Which is smaller: -0.057 or r?
r
Suppose 0 = u + 3*u + 16, 2*u = -5*q - 68. Let l = 3636 - 105454/29. Let w = -589/58 + l. Which is bigger: q or w?
w
Suppose 16*y = 18*y - 8. Suppose 0 = 5*x - 11 + 1, 4*l = -2*x - y. Is 0 smaller than l?
False
Suppose 5*y - 8 - 17 = 0, 5*k + 25 = 3*y. Let l be (3/(-99))/(k/6). Let m be (-20)/(-240)*4*-1*9/(-3). Which is smaller: m or l?
l
Let h be 0*(1 - 0) + 0. Suppose -v - 6*x = -11*x - 1, x + 17 = v. Suppose 0 = 20*z + 59 + v. Is z less than or equal to h?
True
Suppose -2*n - 24 = -2*l, l + 3*n - 1 = 11. Suppose 3*r + 9 = 0, -10 = -2*d + 5*r - 3. Let h be (3/1)/(d/(-12)). Is h less than l?
True
Let q be 4 + (89/13 - 7) + 373/(-26). Which is bigger: q or -6?
-6
Let t = -66 + 68. Suppose 4*y - 5 = j + t*j, 5*y = 25. Let a = 12 - 6. Which is smaller: j or a?
j
Let v(t) = -15*t + 267. Let z be v(21). Let p be 3 + -9 + (-312)/z. Is p <= -420?
False
Let v = -183 - -179. Let w be ((-3)/(-81))/(v/(-24)). Is w greater than -128?
True
Let k = 13885 - 15990. Which is greater: k or -2103?
-2103
Suppose -11*b - 297 = 297. Let i = b - -23. Is i greater than -3?
False
Let p be (-3)/(-9)*(17 - 2). Suppose -a + 160 = -p*u - 0*u, 4*a + 86 = -2*u. Let m be (-319)/u - (-1)/3. Does m = 10?
True
Let v(t) = 2*t**2 + 13*t + 5. Let j be v(-6). Let u be (-3)/j + 25149/63. Let a = u - 402. Which is smaller: a or -2?
-2
Let u be (-1 - -2)*(-9 - -12). Let v be (1 + -2)/(3/u) + -17. Which is smaller: v or -122/7?
v
Let p be (-3 + -8 + 4 + 7)*-1. Which is smaller: 64/95 or p?
p
Let t = -625.8 + 2021.8. Are -3 and t equal?
False
Let n = 116 - 124.4. Let c = -9.4 - n. Let k be 25/60*1/5. Is c less than k?
True
Let u = 89 - 87. Suppose 5*y - u*c = 9, 4*y = -y + 3*c + 11. Is y greater than 40/23?
False
Let r = 1273/5 + -255. Let x = -138/109 + 5788/5777. Let n = x + 533/212. Is r at most n?
True
Let o = -8.6 - -20.6. Let c = o + -8.3. Let h = 50 + -50.1. Which is bigger: h or c?
c
Suppose -3*n = 3*o + 42, -417*n = -414*n - 2*o + 92. Let i(d) = -21*d**2 + 2*d + 1. Let a be i(-1). Is a less than or equal to n?
False
Let v = -202.17 - -199.17. Which is greater: 54/25 or v?
54/25
Let j = 2212 - 2212. Which is smaller: j or -8/359?
-8/359
Let m be ((-40)/(-315))/((-1)/((-21)/6)). Let t be (3/30)/(3/6). Is m equal to t?
False
Let k be (-136359)/218 + -2 + -4. Let w = k + 29045/46. Let z(t) = -t**2 - 3*t + 3. Let c be z(-4). Which is bigger: w or c?
w
Let c = -30560.95 + 30561. Which is bigger: c or -501?
c
Suppose 17*z = -14*z - z + 5344. Is 1 not equal to z?
True
Let h = -212655/4 + 52368. Which is greater: -79