aller than v?
False
Let a = 146.96 - 146. Let k = -1.06 + a. Which is smaller: -0.146 or k?
-0.146
Let f be (12831/658)/((1 + -3)/(-16)). Which is greater: 173 or f?
173
Let q be 4/(-2) - 84/(-40). Let b = 8/5 - q. Let u(h) = 2*h**3 + 36*h**2 + 66*h + 33. Let y be u(-16). Are y and b equal?
False
Let k = -499 - -3035/6. Is k less than 7?
True
Let w = -19163 + 19413. Which is smaller: w or 2/15?
2/15
Suppose -4*j + 10 = 2*i, -5*i = 7*j - 4*j - 4. Is i greater than -2/77?
False
Let g be ((2380/990)/17)/(-3 + 170/(-6)). Which is greater: g or -1?
g
Let g be 164/32 - 1/16*2. Suppose -2*l = -5*h + 287, -4*l + g*h - 2*h = 567. Let s be 52/78*(0 - l). Which is greater: s or 95?
95
Let j = -159 + -64. Let l = j - -1557/7. Does l = -2/19?
False
Let k = -1.6199 - -0.5199. Which is smaller: -3/20 or k?
k
Let v be (-1080)/1350*(-110)/4. Let u(d) = -3*d**3 - d**2 - d + 1. Let j be 4 + 4/(-2) - 4. Let a be u(j). Are v and a nonequal?
True
Suppose -12*h - 3063 - 9580 = -2047. Is -881 less than h?
False
Suppose 22*f = 5963 + 5433. Let a = f - 519. Are a and -2/307 equal?
False
Let w = 7985072/1445 - 5526. Which is smaller: w or 1?
w
Suppose 6*s + 0*s - 42 = 0. Suppose -16*y + s*y = -63. Which is smaller: 10 or y?
y
Let b be (-2)/(-1) - 7 - (-30)/6. Let i = 22 + -28. Let h = i - -6.05. Which is greater: b or h?
h
Let u(q) = q**3 + 7*q**2 - 2*q - 8. Let m be u(-7). Let f be ((-20)/5)/(m/(-3)). Suppose -28 = -4*c - 4*n + f*n, 2*c = 2*n + 26. Is c at most 9?
True
Let y = -375 + 379. Suppose 20 = y*u, 36*i - 39*i = -5*u + 25. Which is smaller: i or 8/23?
i
Suppose 3*u + 53*n + 2991 = 48*n, 2*u + 1972 = 4*n. Is u less than or equal to -989?
True
Suppose 0 = -4*d - 5*u + 230, 8 + 110 = 2*d + u. Let i = d + -33. Are 22 and i unequal?
True
Let z = 46 + -61.2. Let l = z + 3.2. Let u = l + 23. Is u at most as big as -0.2?
False
Suppose 2*l + 42 = y + 4*y, 4*y = -5*l + 27. Suppose 33 = y*d - 7. Suppose 8*z - 3 = d*z. Is -71 less than or equal to z?
True
Let b(n) = -126*n + 126. Let c be b(1). Is c != 5/314?
True
Let p = -237 - -300. Suppose 0 = -5*m + 4*u + 259 - p, -5*m + 5*u = -200. Which is smaller: m or 35?
35
Let o = -1024 + 2031. Let j = o - 1004. Is j greater than -11?
True
Let s = -181/3 - -60. Let z = -349 + 348.857. Let k = 2.357 - z. Is k bigger than s?
True
Suppose 6*m + 88 = 2*m + 4*i, 0 = 3*m + 10*i + 40. Is m less than -430/21?
False
Suppose 58*r = 66*r - 184. Let j be (30 - r)/(6/5 - 2). Which is bigger: -9 or j?
j
Let w = -157/4977 - -5/79. Let s(z) = 21*z - 118. Let j be s(-21). Let o = -558 - j. Which is greater: w or o?
o
Let l = 8502 + -8538. Is l less than 26?
True
Let z be (-34)/(-22) + (4 - 5). Let g be (-21)/(-525)*-10*-5. Is g > z?
True
Let d be (141/(-6))/(3/6). Let y = -15 + 17. Let i be y/(-3)*1*69. Which is greater: d or i?
i
Let r = -1693 + 1693. Let v = -40381/46 - -878. Is v smaller than r?
False
Let d = -366 + 365. Let k be d/(-4) + 1121/380. Suppose 3*y + 6 = 5*a, 2*a + 12 = 5*y + 3. Which is smaller: k or y?
y
Suppose -56 + 70 = -14*l. Is l >= 1/1784?
False
Suppose 6*j = 28 + 2. Let y be 12/(j + -2)*(-14)/8. Let q(x) = x**2 + 8*x + 9. Let r be q(-7). Is r bigger than y?
True
Let m(a) = -2*a**2 - 20*a - 15. Let d be m(-7). Suppose 5*w - 7 - 38 = -5*q, w + d = 3*q. Is q < 10?
True
Let y = 7665 - 38809/5. Is y less than or equal to -1.8?
True
Let u = -941 - -1727. Is u greater than 797?
False
Let f(d) = d - 8. Suppose 3*b = -2 - 13. Let t be f(b). Let u(l) = 2*l + 14. Let q be u(t). Is q at least as big as -13?
True
Let c = -39.9 + 44.61. Let o = c - 1.71. Are o and -0.6 equal?
False
Let u = 111 - -73. Let s = u - 187. Which is greater: -31 or s?
s
Let o = 1085900/409 + -2655. Which is bigger: 1 or o?
1
Let m be (317/(-951))/((-1)/705). Is -28 less than m?
True
Suppose 0 = -55*r - 1467 - 1544 + 1196. Which is greater: -34/9 or r?
-34/9
Let l = -63.1 - -61.4. Let s(d) = 7*d - 38. Let g be s(6). Are g and l equal?
False
Suppose 2 = -5*y - 13. Let c(h) = 7*h + 21. Let l be c(y). Which is smaller: l or -2/327?
-2/327
Suppose 30923 = 3*l - 5*z, 0 = -3*l + 3*z + 1071 + 29856. Let q = l - 855823/83. Which is bigger: -1 or q?
q
Let a be (12/8)/(7/(98/(-3))) + 7. Which is bigger: a or -8/183?
a
Let n(o) = 60*o + 27 + 67*o - 125*o - 3*o**2 - 2*o**2. Let d be n(-6). Is d at least -164?
False
Let u(g) = g + 2. Let a be u(2). Suppose 36*k - 119 - 97 = 0. Suppose -k*j = 14 + a. Is j at most 6?
True
Let d(q) = -6*q + 29. Let w be d(-10). Let g = 146 - w. Which is smaller: -0.2 or g?
-0.2
Let w be (-104 + 13 + -4)*(-8)/(-8). Let x(u) = 95*u**3 - u**2 - u - 1. Let j be x(-1). Is j not equal to w?
True
Suppose 89*k - 87*k - 8 = 0. Let v be (-10)/(-3)*(-1 + k). Suppose 4*g - v = 14*g. Which is smaller: g or 2/7?
g
Let j be (124 + -128)*3/12. Let f = 327 - 325.69. Which is smaller: j or f?
j
Let a = -172 + 258. Let o = -89 + a. Let y(d) = d**3 + 6*d**2 + 6*d + 3. Let w be y(-5). Is w at most as big as o?
False
Suppose r + 5*k = -13 + 3, -3*r = -4*k + 49. Let o be (-958)/18 - (r - (-1463)/99). Is -52 bigger than o?
True
Suppose -3*l - 632 = -698. Is l >= -25/3?
True
Suppose 3*x - 5 = 10. Suppose 0 = -2*s - 2*h + 90, 0 = 4*s + x*h - 157 - 22. Let o be -4 - -1*s - -1. Does 43 = o?
True
Let i be ((6435/(-26))/55)/((-3)/36). Which is smaller: i or 55?
i
Suppose 351*u + 573 = 176*u + 178*u. Which is smaller: u or 184?
184
Let d be ((-1962)/81 + 24)/(898/(-18) + 2). Let h(x) = -x**2 - 6*x - 5. Let l be h(-5). Which is greater: d or l?
d
Let p = 2 - 6. Let h be p - -3 - (-13)/(-4). Let t(q) = 52*q**2 + 312*q - 5. Let w be t(-6). Which is bigger: h or w?
h
Suppose z + 1596 = 15*z. Suppose 119*c = z*c. Suppose 0 = 4*y - s + 79, c*y + 2*y + 35 = -s. Which is bigger: -17 or y?
-17
Let z = 4107 - 4007. Which is greater: z or 1?
z
Let f = 70528 + -70584. Let r = 2 - 2.1. Which is smaller: f or r?
f
Suppose -2*w - t + 6*t - 22 = 0, 17 = -w + t. Suppose 10*o - 14*o + 188 = 0. Suppose 0 = 4*i - 5*a + 64, 0*i + 4*a - o = 3*i. Is i greater than w?
False
Let y(u) be the first derivative of 2*u**3/3 - 16*u**2 + 19*u + 64. Let t be y(15). Is -11 <= t?
True
Suppose -r - 63 = -9. Let c be (-12)/r + 2/9. Let v = 50 + -50.1. Is v not equal to c?
True
Let s = -186.66 + 189.26. Which is greater: s or 0.1?
s
Let p(g) = -g**2 - g + 17. Let d be p(3). Let w be d*(-6)/(-45) - 0. Does w = -14.6?
False
Let s(a) = -a**2 - 23*a + 693. Let x be s(17). Let r = 24 + -56. Let f = r + 47. Which is greater: x or f?
f
Let y be (-18)/42 - (0 + 268/(-756)). Let d = 11.1 + -11. Is y > d?
False
Let v be 8/(816/(-9))*11/(-1254). Are v and 0 equal?
False
Let q = 461 - 459.598. Let f = -0.402 + q. Is f at most as big as 3.9?
True
Suppose j - b = 12, 3*b = j - 2*b - 32. Suppose j*w + 9 + 40 = 0. Suppose -6 = 2*i - i. Which is smaller: i or w?
w
Let i = -1621/2 - -11247/14. Is i smaller than -2/25?
True
Suppose 17*i - 388 = -82. Suppose -6*x + 8*x = 2*s - i, -24 = -s + 4*x. Which is bigger: 0 or s?
s
Let g(a) be the first derivative of -2*a**2 - 16*a + 16. Let y be g(-5). Suppose y*z = 5*z - 4*p - 30, -5 = -5*p. Is 34 at least as big as z?
True
Suppose 23*y - 4430 = 6058. Suppose -j = 766 - y. Which is greater: -309 or j?
-309
Let p = 66 - 113. Which is smaller: -328/7 or p?
p
Suppose 43 = 4*a - 153. Suppose 257 + a = 34*d. Is d greater than or equal to 19?
False
Let z = -1270 - -1308.3. Which is greater: 15 or z?
z
Let j = -41515 - -41590. Suppose -2*m + 89 = -59. Is m greater than j?
False
Let b = 94365/61 - 1547. Let j be (44/60*1 - 4/10)*-3. Which is smaller: j or b?
j
Let f be (-8)/(-28) + 159/7. Let h = f + -67. Let x = 35 + h. Which is smaller: x or 0?
x
Let t = 1145811/15380 - 1/15380. Let k be (12/(-10))/((-3)/190). Which is greater: k or t?
k
Let q(z) = -48*z - 1063. Let d be q(-23). Is 59 less than d?
False
Let g be 2998/(-38) + (-2 - 72/(-38)). Let t(q) = 13*q + 1. Let b be t(6). Let p = g + b. Which is smaller: p or -1/25?
-1/25
Let k be 16/12*12/16. Let r(l) = 55*l**3 + 2*l**2 - 4*l + 1. Let i be r(k). Which is greater: i or 55?
55
Let s = -1368 - -149114/109. Let g = s - 113/218. Which is smaller: g or 0.04?
g
Suppose 77 = -3*k - j - 198, 0 = 5*k + 4*j + 470. Let m be (-33)/44 + k/(-24). Which is smaller: m or 33/14?
33/14
Suppose -5*d - 1 = 2*m, -d + 16*m + 5 = 19*m. Let y = 23.46 - 3.36.