 (478/5)/(360/(-6375)). Let j = -1686 - n. Is j smaller than o?
False
Let s = -13975/275476 + 7/4516. Let n = -36 - -22. Let a be 4/n - (-8)/28. Are s and a equal?
False
Let b = 1378.5 + -1230.5. Which is greater: b or 1?
b
Let n = -160 - -113. Let f = n - -34. Which is bigger: -2/5 or f?
-2/5
Let x(l) = 2*l**3 + 92*l**2 - l - 47. Let f be x(-46). Let z = 155 - 1084/7. Which is bigger: f or z?
z
Let c = -159 + 51. Let a = 111 + c. Let r = -1 - -2. Is r greater than a?
False
Let g(w) = -w**3 - 5*w**2 - w - 27. Let o be g(-6). Let k be (3/o)/(-4 - (-292)/70). Is k at least as big as 0?
True
Let y(r) = -7 - 7 + r**2 + 5 + 16*r. Let l be y(-16). Let s be l/(12/8 + -3). Is s greater than 6?
False
Let n be (138/130 - 1)*(0 + 1/(-74)). Which is greater: n or 0.1?
0.1
Let l(j) = -j**3 - 16*j**2 + 5. Let b be (-1)/(-4*2/(-128)). Let v be l(b). Suppose -712 = 26*o - 556. Is v less than o?
False
Let b be (-5)/(0 - (-4)/(-20)). Let z = b - 36. Let f(w) = -w**3 + 15*w**2 - 13*w - 26. Let v be f(14). Which is smaller: z or v?
v
Let n = 11 + -14. Suppose -18*c - 5*z = -19*c + 23, -3*c + 21 = -3*z. Is n smaller than c?
True
Let h = -7/249 + 911/14691. Suppose 3*t = -2*x + 13, 0*t + 4*t + 3*x = 19. Are t and h nonequal?
True
Let o(g) = -2*g + 20. Let p be o(5). Let f be -2*((-8)/(-6 + 2) + -3). Is f less than p?
True
Suppose 124*j - 3384 = 126*j. Let k be (-3)/5 - (j/(-30) + -2). Let z = -57 - k. Is 11 > z?
True
Let w be 14756/(-93)*9/6. Is -242 <= w?
True
Let c = 3.5196 + -1.5196. Let l = 5 - -1. Is c at least as big as l?
False
Suppose -w - 2 = -3*u + w, 0 = 2*u - w - 3. Suppose 4*x - 250 = -u*a - 66, -142 = -3*a - 4*x. Let s = a + -53. Is s bigger than -11?
False
Let n = 1475 - 1475. Which is smaller: 2/373 or n?
n
Let t = -466 + 470. Let l(f) = -2*f**3 + 8*f**2 + f - 4. Let b be l(t). Which is smaller: b or 3/74?
b
Let q = -20522 - -20519. Is -2229 >= q?
False
Suppose 4*n + 4984 = -8*d, 2*d - 6*n + 2*n + 1246 = 0. Which is greater: -621 or d?
-621
Let w = 6.7 + -33.7. Let x = w - -26.8. Let p be 5*((-6)/15 - (-4)/70). Which is smaller: x or p?
p
Let w = 89483/13 - 6891. Suppose -1074 = 54*k - 588. Which is bigger: k or w?
w
Suppose -5*v = -3*h - 95, -v - 8*h + 10*h + 19 = 0. Suppose 10*s = -391 - v. Suppose j + 37 = 4*w, -7*w + 160 = -4*j - 3*w. Do j and s have different values?
False
Let h be 4*(-18)/(-72)*(-1 + 0). Is h less than -2/9249?
True
Suppose 0*f + 4*f + 820 = 0. Let a be 8/(-20) + (-22)/f. Which is smaller: -1 or a?
-1
Let j = -5880 - -5880.084. Is 0.1 < j?
False
Let g = -209.2 - -211.5. Which is smaller: g or -77?
-77
Let m(j) = -j**3 - j**2 - 3*j - 7. Let g be m(-2). Suppose -17 + g = 2*z. Let o be 22/(-4) + -2 + 0. Is o smaller than z?
True
Let d be ((-18)/5)/(140/(-50)). Let u(t) be the first derivative of t**2 + 20*t - 9. Let i be u(-10). Is i not equal to d?
True
Suppose 4*k = -50 + 10. Let v be (2 - k/(-4))*-2. Let c be (317/18386)/(-2 - 0). Is v greater than or equal to c?
True
Let j be (-1443 + 2/(-2))/((-871)/(-52) - 17). Which is smaller: j or 5779?
j
Suppose -6*h - 7*h = -364. Let o be 14/h + (-67)/(-2). Is 34 at least o?
True
Suppose -125 = 5*r + 5*m, -9 - 56 = 2*r + 5*m. Let o be r/((-16)/(-4)) - -12. Which is smaller: 42/5 or o?
o
Let q = 3.32 + 158.68. Let b = q - 154.1. Let u = -7.924 + b. Which is smaller: u or 1/3?
u
Let p be (-16)/40 + (-47)/(-5). Suppose 6*z + 648 = p*z. Suppose -z = 3*m + 24. Is m at least as big as -81?
True
Let h(r) = 22*r - 6. Let i be h(4). Suppose 0 = 10*u + 21*u - 2*u - 2320. Is u equal to i?
False
Suppose -r = -2*k - 39 + 1, -2*k = -3*r + 38. Let u be 4*1*k/(-228). Which is smaller: -29 or u?
-29
Let z(k) = -31*k + 616. Let v be z(23). Let x(i) = -96*i**3 - i**2 + i. Let m be x(1). Which is smaller: v or m?
v
Let f = -0.0303 - 53.0697. Let m = f + 53.1. Which is smaller: -66 or m?
-66
Let p(k) = -k**3 + 50*k**2 + 40*k - 1988. Let d be p(50). Which is bigger: 242/23 or d?
d
Let r be (-462)/2079 + ((-64603)/36324 - -2). Which is bigger: 1 or r?
1
Let f = 2746/1869 + 34/623. Is 1 less than f?
True
Let u = -1 - -0.9. Let o = 129 + -120. Suppose -9*s = o*s - 180. Which is greater: s or u?
s
Let y(j) be the first derivative of j**2 - j + 7. Let z be y(3). Let u be 6 - (-4 - (-42)/6). Is u at least z?
False
Suppose 9 + 51 = -5*v. Let s be 6/v + 658/(-4). Is s at most -164?
True
Let x = 0.3172 - 0.3672. Which is smaller: x or 211/10?
x
Let g be -10*(16/64)/(114/(-4)). Let n = g - 172/1311. Which is greater: n or 8?
8
Let f be 0 + -1 - (-27)/33. Let g = -91 + 95. Suppose g*p = -3*o + 2, -3*p = 6*o - 10*o + 36. Which is greater: o or f?
o
Suppose 5*h - 1284 = -1134. Which is smaller: h or 24?
24
Suppose 107*i - 212706 - 674752 = 0. Which is smaller: 8293 or i?
8293
Let b = -0.3 + 0.3. Let m = b - 0.1. Let x = 47/119 - 874/1309. Is x bigger than m?
False
Let x(a) = 1 + 13*a**2 - 2*a**3 - 6381*a + a**3 + 0*a**3 + 6369*a. Let m be x(12). Which is greater: 5/24 or m?
m
Let x = -0.1152 + -585.8848. Let b = x + 584.5. Which is bigger: -12/11 or b?
-12/11
Let s = -529 + 235. Let k = -273 - s. Which is greater: k or 2?
k
Suppose 45*q + 46*q - 637 = 0. Let c = -0.12 - -0.22. Is q not equal to c?
True
Let h(j) be the second derivative of j**3/6 + 31*j**2/2 - 2*j. Let n be h(-10). Suppose 0 = -17*r + n*r. Which is greater: r or -3/17?
r
Suppose 18*f = 2*f - 11*f + 78084. Which is smaller: f or 2890?
2890
Let t be 2*(-1 + 15/9). Let a = -0.6643 - 32.3357. Is a less than or equal to t?
True
Let y = -0.12 - 5.88. Let x = 10 + y. Let d = 3402 + -3397. Which is bigger: d or x?
d
Let u(k) = 297*k + 1668. Let c be u(-6). Which is bigger: -124 or c?
c
Suppose 0 = 241*v - 98 - 143. Is -4/1689 at least as big as v?
False
Let f(m) = -m**3 - 4*m**2 - 2*m + 3. Let n be f(-3). Let k = 0.708 + 559.292. Let d = k + -551. Which is smaller: d or n?
n
Let u(n) = 13*n**2 + 15*n - 34. Let x be u(5). Is 366 at most as big as x?
True
Let b = -17 + 33. Suppose b = 4*n - 2*n. Let v = n + -8. Is v at least -2/47?
True
Let z be 0 + (7 - 3*(-4 + 3)). Suppose 0 = -z*i + 12*i + 10*i. Is 5/58 > i?
True
Let f = 4669/26010 + -1/578. Let h = f + 592/45. Let t = 1246/93 - h. Which is smaller: 1 or t?
t
Suppose 0 = 2*x - 4, -w - 4*x + 5*x = 49. Let z = 49 + w. Let t(s) = -s. Let n be t(1). Which is smaller: z or n?
n
Let q = 34/35 - 836/875. Is q smaller than 2/5?
True
Let i(f) = -f**2 + 4*f + 9. Let z be i(6). Let p(a) = -a**2 + 4*a + 8. Let d be p(5). Let u be (-3 - -2)*2 - 0/d. Which is smaller: z or u?
z
Suppose 5*u = 9*a + 2, -8*u = 3*a - 7*u - 10. Suppose -32 = -2*z - 5*o, 7*o = 4*z + a*o - 64. Which is smaller: z or 13?
13
Suppose 17 = 13*u + 95. Let b be (-174)/(-2) - 6/u. Which is bigger: b or 87?
b
Let x be (-22*1)/(50/(-125)). Suppose m + g + 47 = 0, 5*g = 4*m - 5*m - x. Is -49 smaller than m?
True
Let w = -285 + 297. Suppose -3 = -5*t - o, -5*t - 1 = -3*o - w. Which is bigger: 4/171 or t?
t
Let v = 5 - 5. Let s = 734 + -731. Which is smaller: s or v?
v
Let g = 215 + -125. Let s = g + -87. Suppose -s*w = -81 - 0. Is w at most as big as 27?
True
Let a = -95.378 - 0.022. Let z = a - -89.37. Let l = -0.03 - z. Is l less than 0?
False
Let h = -44.355 + -2.655. Let j = 47 + h. Which is smaller: 0.05 or j?
j
Let c be (-134)/335 - 663/(-345). Suppose 7*b - b = 6. Is c > b?
True
Suppose 0 = 7*x - 91 - 210. Let g be (-10)/5 - 1 - x/(-15). Are g and 1 equal?
False
Let k = 0.123 + -601.123. Let l = 689 + k. Which is smaller: l or 0.1?
0.1
Let v = -0.05 + 0.108. Let i = v + -1.358. Let m be (-1)/(0 - 6)*(1 - -3). Are i and m non-equal?
True
Suppose 261 + 109 = -5*a. Let i = -8105/44 + 1204/11. Which is smaller: a or i?
i
Let g(j) = 17*j - 31. Let f be g(25). Let n be f/(-2288) + 26/143. Which is smaller: n or -1?
-1
Let f(s) be the second derivative of s**5/20 + s**4/3 + 2*s**3/3 + s**2 - s. Let r be f(-3). Suppose 11*a - 5 = 28. Are a and r equal?
False
Let i = 3384.57 - 3362. Let m = i - -0.43. Let r be 2*1*(-9)/18. Which is smaller: r or m?
r
Let d = -516 - -199. Let v = d - -318. Is v at least as big as 1/276?
True
Let u be 90/(-2080)*(30/9)/5. Let x(q) = -8*q - 33. Let a be x(-4). Is a greater than u?
False
Suppose 0 = -2*u + 406 + 30. Let z = u - 206. Is z at least 9?
True
Let o = -0.0045 + -523.9955. Let b = o - -504. Which is greater: 13 or b?