alse
Suppose -177*r + 187*r + 5 = -5. Which is bigger: 1/14850 or r?
1/14850
Suppose 65*r - 26502 = -555704 - 129248. Which is smaller: r or -10129?
r
Let m be 5/8 + 9/24. Let i be 12/(-15)*m/4. Let c = -33 + 167/5. Which is greater: i or c?
c
Suppose 5*y + 4*w + 8214 = 0, 185*w - 3280 = 2*y + 188*w. Which is bigger: -1647 or y?
y
Let i be -3 + 5/5 + 54. Let t = i - 42. Suppose -t = 8*v - 58. Which is smaller: v or 5?
5
Let s be 17 - 164/10 - ((-2642)/5)/1. Which is smaller: s or 532?
s
Let k = 2716 + -4489. Are k and -1772 unequal?
True
Let k = -0.113 + -38.887. Let x = 34 + k. Which is bigger: x or 0.8?
0.8
Let m(j) = -12*j - 28. Let c be m(-2). Let l be (14/c)/(38/12 + -3). Suppose 19 = -3*k - 44. Is l >= k?
True
Let l = 1 - 1. Let d = -62077/8 - -7759. Is l greater than or equal to d?
True
Suppose 4739*f - 4686*f = -65508. Which is smaller: -1237 or f?
-1237
Let h be 8/120*40/19308. Is -1 bigger than h?
False
Let s = 656.05 - 685. Let l = 29.1 + s. Is 0.4 less than l?
False
Suppose -f = f - 6, 0 = -4*j - 3*f - 35. Let x(q) = 2*q**2 + 13*q + 41. Let o be x(-10). Let y = -113 + o. Which is bigger: j or y?
y
Let z(m) = -24*m - 479. Let r be z(-20). Let j = -10 - 1. Let p be (-66)/23 - (8 + j). Is r greater than p?
True
Let y(n) = -n**2 - 6*n - 11. Let v be y(-4). Let z be (0 + 4/24)*v. Let c = -151/3 - -51. Is z at most as big as c?
True
Suppose 119*d = 91*d. Is 48 at most as big as d?
False
Suppose 620*z - 876*z = -256. Let a = -8/5 - -13/10. Is a != z?
True
Suppose 4*r - 80 = 8. Let d = 16 + r. Suppose d + 78 = -4*f. Is -28 bigger than f?
True
Let f = 1369249076/6157 - 222389. Which is bigger: f or 0?
f
Let m = 351.3 - -1.7. Let c = m - 359. Which is smaller: c or 7?
c
Suppose -32*r + 33*r + 330 = 0. Let f be 16/3*r/(-100). Are f and 19 equal?
False
Let a(g) = -g**3 - 63*g**2 - 963*g - 87. Let h be a(-37). Which is smaller: 52 or h?
h
Let c = 8.2 + -7.9. Let d = c + 0.1. Which is smaller: -18 or d?
-18
Suppose 118*q - 270 = 103*q. Let p(k) = 9*k - 41. Let a(n) = -5*n + 21. Let u(h) = 7*a(h) + 4*p(h). Let y be u(q). Is -4/11 at most y?
True
Let v be 7*(15/(-21) + 1). Let r be -4*v/(-8) + 0. Let f be 4/(-7)*427/(-1342). Which is greater: f or r?
r
Let i = 2/26993 - -7962901/458881. Which is greater: i or 16?
i
Let b(i) = -204*i**2 - 29*i + 58. Let k be b(2). Is k bigger than -816?
False
Let k(a) = 2*a**3 - 152*a**2 + 2*a - 235. Let r be k(76). Is -83 greater than or equal to r?
True
Suppose 12645 = 13*j - 58*j. Let g = j + -58. Do g and -339 have the same value?
True
Suppose -10*v = -8*v - 2*s - 18, 3*s - 15 = -3*v. Suppose 3*o = 7*o - g + 24, -5*g = 4*o + 48. Let w be v + o - (-3)/6*1. Which is greater: 0 or w?
w
Let i(b) = 0*b**2 - 5 - 1 - b**2. Let h = 20305 - 20295. Let d be i(h). Are d and -107 nonequal?
True
Let w be (3 - (-69)/(-30)) + (-42)/(-140). Is w at least as big as 2/77?
True
Suppose -3*l + 54 = 2*t, -2*l - 2*t = -33 - 5. Let j be (36/(-78))/(3/(-65)). Which is greater: j or l?
l
Let k = 198 - 203. Which is greater: 1/101 or k?
1/101
Suppose -3 = -o + 2*s, 2*o + s + 0*s + 4 = 0. Let g = -130 - -120. Let q be 256/590 + (-66)/g + -7. Which is bigger: q or o?
q
Let i be 3/9 - 35/225*42. Let j(d) = -d**3 - 7*d**2 - 4*d + 7. Let q be j(-6). Is q greater than i?
True
Let l = -799 - -799.458. Let g = 25.542 + l. Which is greater: g or -1.2?
g
Let g be (5/1 + -1)*319/(-18788). Which is smaller: g or 1?
g
Let k be (-69)/(-28) - (-3)/(-12)*3. Let x = -41/28 + k. Let z = -2886/19 - -152. Which is smaller: x or z?
z
Let r = -20 - -19.9. Let u = 12 - 6. Let j = u - 5.9. Which is smaller: j or r?
r
Let y be 4/(-10) + (-147)/35 + 5. Which is greater: 337 or y?
337
Let c(h) = h**3 - 87*h**2 + 183*h - 318. Let l be c(84). Which is smaller: -6113 or l?
l
Let l be ((-16146)/(-4140) + (-1)/(-10) + 0)/4. Is l greater than 1/286?
True
Let b = -88 - -238. Let y = b - 42. Let v be (-2)/4 + (-6)/(y/(-165)). Is -2/5 at least v?
False
Let l = 0.0450737 - -0.1549263. Let j be (42/(-10))/((-44)/10). Which is bigger: j or l?
j
Suppose 4*z = -4*b + 2 + 6, 5*z = 2*b + 3. Let u be 2 + ((-1)/3 - (-952)/(-546)). Which is greater: u or b?
b
Suppose -2*h + 10 = 0, 3*m - h + 10 = h. Let w = 1 + m. Let d be 406/348*(-4)/126. Which is bigger: w or d?
w
Suppose 35*x - 2*w + 1352 = 39*x, 0 = x + 4*w - 331. Is x != 2?
True
Let k = 0.28 + -0.28. Let u = 3.403 - 3.4. Let l = u - -0.997. Are l and k unequal?
True
Let q(c) = -30 - 1151*c + 1149*c + 5 + c**2 + 0*c**2. Let f be q(6). Which is bigger: -12/35 or f?
-12/35
Let n = 3122 + -3152. Do 33 and n have the same value?
False
Suppose 110*m - 123*m = -51922. Do 2/7 and m have different values?
True
Let o = 7044 - 6680. Let w = 799 + -434. Which is smaller: w or o?
o
Suppose 2729*c + 19886 = 2724*c + 4*h, 3*h + 7982 = -2*c. Which is smaller: -3984 or c?
-3984
Let t(i) = -i**3 - 25*i**2 - 19*i - 18. Let f be t(-24). Let x = f + 129. Which is smaller: x or 2?
x
Let k = 7727 - 5393. Which is smaller: k or 2333?
2333
Let o be (-1768)/(11 - 3) - -1. Let v = o + 297. Which is bigger: v or 78?
78
Suppose -q + 112 = 7*q. Let b = -5285 - -5287. Is b at least as big as q?
False
Let p(w) = 3*w**2 + 199*w + 1278. Let y be p(-40). Is y less than -1880?
True
Suppose -17*j = -24*j + 14. Suppose j*w + 12 = -4*m, 0*m + m + 21 = -5*w. Do m and -5/3 have the same value?
False
Let s(c) = c**3 - 8*c**2 - 10*c + 8. Let l be s(7). Let i = -3273 - -3163. Which is smaller: l or i?
l
Suppose 0 = -3*s - 2*r + 4, 11*s + 5 = 12*s - 3*r. Let b = 42 - 24. Suppose -4*d + b = 3*t, -3*d = -0*d - s*t - 22. Is -1 greater than or equal to d?
False
Suppose 0 = -8*f + 1495 + 281. Suppose -4*a - 18*z = -20*z + 918, -a - 2*z - f = 0. Which is smaller: a or -230?
-230
Let o = -8015 - -8038. Which is bigger: o or 25?
25
Let k = -131 - -362. Let p = k - 199. Is p < -7?
False
Let j(h) = -h**3 - 22*h**2 - 21*h + 8. Let f be 3/(-18) - (685/30 + -2). Let g be j(f). Which is smaller: g or -1?
-1
Suppose -3*r - 5*h - 20 = -0*r, 4*r = -3*h - 12. Suppose 2*t + 3*t - 15 = 5*b, -5*b = r. Let d = -6 + 11. Which is smaller: t or d?
t
Let v(t) = 16*t**2 - 2*t - 1. Let c be v(2). Let f be (0 - 5/(-15) - -1) + (-728)/(-12). Is f less than or equal to c?
False
Suppose 5*q - 3*g = 12, 38*g - 42*g + 10 = 2*q. Let k be -1 + 3/(18/26). Does k = q?
False
Suppose 0 = f - 2*r - 60, -3 - 2 = -r. Which is bigger: f or 27?
f
Let z(a) = -11*a + 98. Let d be 4/8 - 102/(-12). Let g be z(d). Are g and -6/109 nonequal?
True
Let t = -0.33 + -14.67. Let k = -409.1 - -394. Let w = k - t. Is w greater than or equal to 0.83?
False
Let n be (-60)/780 + (-6726)/104. Which is bigger: -65 or n?
n
Suppose 21 = r - 2*c - 3*c, 4*r - c - 8 = 0. Let z = -11372 - -2035590/179. Is r smaller than z?
False
Let p be 231/49 + (-15)/(-9)*-3. Do p and -40/9 have different values?
True
Let a = 394 - 701. Let v = a - -217. Let c be ((-9)/4 - -2)*v/(-3). Are c and -7 unequal?
True
Let d be ((-10)/25)/((-1)/5) + -4. Let i(w) be the third derivative of w**5/60 + w**4/24 - 2*w**3/3 - 9*w**2. Let v be i(d). Is -7 <= v?
True
Suppose -13*n + 2413 = -2852. Which is greater: n or 408?
408
Let l = -138 - -143.7. Let o = l - 5.801. Which is smaller: o or 0.1?
o
Let g = 10794 - 10794. Which is greater: -7/283 or g?
g
Let j = 347 - 1395/4. Is j smaller than -75?
False
Let t = -2719.18 - -2719.06. Let u = -0.8 - 0.2. Are u and t equal?
False
Let o = -0.057 - -65.057. Let x = o - 71. Which is smaller: -16 or x?
-16
Let m be 8/(-52) - (-33)/(-39). Let l be ((-25)/2050)/((-2)/8). Is l less than or equal to m?
False
Let j be (-3)/((-5)/((-1120)/(-12))) + 2. Let h be (-2175)/30*8/(-10). Is j less than or equal to h?
True
Let j = -97 - -94. Let n = 7.81 + 1.49. Let b = 1.3 - n. Which is smaller: j or b?
b
Let y be 168/72 + 1/(-3). Let m be (-99)/66*(-6)/9*4. Which is bigger: m or y?
m
Let i(z) = -z**3 + 5*z**2 - 2*z + 12. Let l be i(5). Suppose -5*y + 56 = l*h, -5*y + 5*h = -y - 25. Which is smaller: y or 6?
6
Let t = 0.03 + 1.97. Let c = -3 + t. Suppose 145 = 9*i - 71. Do i and c have the same value?
False
Let o be 116/12 - (2/2)/(-3). Suppose -2*z + 2*x = 6*x - o, -2*z - 5*x = -8. Suppose -4*v = -29 + z. Is v at least 2?
True
Let c = 8 + -11. Let y = 313835/3 - 104615. Which is greater: c or y?
c
Let b = 30/527 + -3312/2635. Is b equ