). Which is greater: c or j?
j
Suppose 0 = -4*s - 5*u - 3942, -9*s + 7*s = -5*u + 1956. Let o = 14723/15 + s. Is 0 greater than or equal to o?
True
Suppose 0*u - 18 = -u + 2*m, 5*m + 25 = 0. Let x be u/((-56)/(-21)) - 1*51. Let z be (76/x - -1)*4/(-14). Which is smaller: 0.05 or z?
0.05
Let h = -25772568/599 - -43026. Suppose -10*i - 74*i = -5*i - 79. Which is greater: h or i?
i
Suppose 13*b - 9*b = 476. Let f = b + -116. Let r = -115/4 - -1345/44. Is r bigger than f?
False
Let n = -13.37 + 18.1. Let y = n + 43.23. Let b = -48 + y. Is 4 >= b?
True
Suppose -v - 5*f + 10 - 22 = 0, 0 = -v + f. Let s = 3 + -19. Let o be (v/(s/12))/(1 + -22). Which is smaller: 1 or o?
o
Let i = -1165 + 723. Let t be (-4)/(-7)*119/i. Is t less than 3?
True
Suppose 16*u - 3232 = 7104. Let z = 823 - u. Which is bigger: z or 179?
179
Let g be (68/20 - 3)*(5 - 0). Suppose -6*t = g*t - 8. Let s be (t + 0)*-4 - 402/(-98). Which is greater: -1 or s?
s
Let y = -3921 + 10335759/2636. Does 1 = y?
False
Let s = -8930 - -1393081/156. Which is smaller: s or 1?
s
Let b be 1 - 1 - (-1148)/35. Is b at least 32?
True
Let g = 5864 + -5822. Which is smaller: -5/2 or g?
-5/2
Suppose -4*b = 5*c - 10, 5*c - 2*b + 15 = 55. Let g(n) = -23 + 30 + c*n + 34. Let v be g(-7). Is -1/45 at least v?
True
Suppose w - 45 = -5*i, -i - 345 = -5*w + 4*i. Let x = 80 - w. Let c = 16 - 3. Is x greater than or equal to c?
True
Let k be (-12)/32*8/(-6)*6. Suppose -186 = k*d + 3*n, 3*n + 219 = -5*d - 99. Which is smaller: -67 or d?
-67
Let v(l) = -l**3 - 4*l**2 + 124*l - 37. Let k be v(11). Do -2935/6 and k have the same value?
False
Suppose 136*g + 76621 - 153675 = 91994. Is g > 1242?
True
Let s = -1621 + 3305. Which is smaller: -6 or s?
-6
Suppose 0 = 5*n + 6*q - 5*q - 1750, q = -3*n + 1048. Let d be (-54)/n - 50/13. Is -54/11 bigger than d?
False
Let n(s) = 2*s**3 - 8*s**2 + 44*s - 176. Let c be n(4). Let p be (-2)/2 + (-214)/(-210). Which is greater: c or p?
p
Suppose 11558*z - 234 = 11552*z. Is z at least as big as -6?
True
Let m = 112 - 44. Suppose 4*k = 3*p + 275, 3*k = 4*k - 3*p - 71. Is k less than m?
False
Let u = 751/39 - -92/13. Let c = u + -26. Let f = -1856 + 9274/5. Which is greater: c or f?
c
Let f = -111.5 - -93. Let s = f + 71.5. Are -0.1 and s non-equal?
True
Let k = 65/11 - 141/22. Which is smaller: k or -1/99?
k
Let q = 19807.4 + -19808. Which is smaller: -127 or q?
-127
Let z = -6780 + 6877. Are -2/69 and z unequal?
True
Let n(w) = -w**3 + 11*w**2 + 12*w + 3. Let l be n(12). Suppose 0 = -f + 5*d, 0 = f - l*f - d. Is f less than or equal to -13?
False
Suppose -89*k = -80*k - 2070. Let l = 188 - k. Is l less than or equal to -42?
True
Let q(z) = -z**2 - 7*z + 24. Let g be q(-10). Is g >= -111/2?
True
Let k = 276.582 - 23.582. Which is bigger: -10 or k?
k
Let s = -1156.9 + 1146.9. Is s bigger than -28?
True
Let x(l) be the third derivative of -l**5/15 + l**4/6 + 2*l**3/3 - 2*l**2 + 19. Let v be x(2). Which is smaller: 2 or v?
v
Suppose 4 = 2*d, -3*n = 3*d + 60 - 51. Let t(b) be the third derivative of -b**5/60 - b**4/12 + 13*b**3/6 + 3*b**2. Let c be t(n). Is 0.2 at least c?
True
Let r = 77 + -81. Let h be (-10)/r*704/(-160). Let o = -38 - -27. Is h at most o?
True
Let n = -113.97 + -2.03. Let q = 135 + n. Is -1/2 equal to q?
False
Let r be (-43 + 0)/(1/(-62)). Let q be 4/(-6) - r/(-651). Suppose 8 = 4*z - 4*i, 3*i + 10 = 4*z + 1. Is q not equal to z?
True
Let d = 2062536/11 + -187676. Which is smaller: d or -172?
d
Let u = 868 - 604. Suppose 4*x - 4*c + 84 - u = 0, 2*x - 5*c - 78 = 0. Let q = x - -2. Is 51 < q?
False
Let i = 558.366 - -8.634. Which is greater: 2/3 or i?
i
Let u be (-17664500)/(-1962665) + (0 + -9)*1. Which is smaller: u or -1?
-1
Let i = -3126 + 3124. Are 142 and i unequal?
True
Let n(s) = 32*s + 13. Let c be n(2). Let o = 175 - c. Let w = o - 98. Which is greater: 4/23 or w?
4/23
Let b = 0.0604 + -209.9604. Let f = 210 + b. Let l = -25/6 - -9/2. Which is bigger: f or l?
l
Suppose -60*m = -65*m + 30. Suppose 3*l - 4*d - 151 = 0, m*l + 3*d = 2*l + 193. Are l and 1 unequal?
True
Let l = 25293 - 23950. Which is greater: l or 1349?
1349
Let c = 1.1122 + 103.8878. Is -3/14 at least as big as c?
False
Let q be 3/(-5) - 19412/(-20). Suppose 0 = -3*c - 7*c + q. Does 97 = c?
True
Suppose 9*o + 3*o = -144. Let c be 2/(-88)*-2*(-48)/o. Is c less than or equal to 19?
True
Let d = -20036336/181 - -110698. Let x = -1.5 - -1. Is d at least x?
True
Let n be (-1)/((32 - -16) + -207). Let l = 1.1 - 0.1. Which is bigger: n or l?
l
Let r(g) = -11*g**2 - 11*g + 13. Suppose -2*c - 9 + 3 = 0. Let w be r(c). Is -53 > w?
False
Let j(b) be the third derivative of b**5/30 - 5*b**4/24 + b**3/3 - 5*b**2. Let p be j(3). Suppose 36 + 29 = -p*t. Which is smaller: t or -12?
t
Let m(x) = -3*x**2 - 72*x - 237. Let f be m(-21). Let r be 46/(-6)*(0 + 6). Which is bigger: r or f?
r
Let a(n) = 8*n**2 + 8*n. Let o be a(-9). Suppose 3*u - 6*u = o. Is -193 > u?
False
Suppose 12*v - 16*v + 40 = 0. Suppose -2*o - 4*a = 676, o = 7*a - v*a - 337. Is -341 > o?
False
Let w = -1433 - -15765/11. Is w != -624?
True
Let s = 205 + -93. Let p be (s/35)/((-1)/5). Let w be (p/(-216))/((-1)/(-2)). Which is bigger: -1 or w?
w
Let j = -185 - -118. Let c = j + 7. Let g = -62 - c. Are -0.6 and g equal?
False
Let v = -9.011 + 9. Let b = -93.841 + 94. Let p = v - b. Is p less than or equal to 2?
True
Let b be 26*(-19)/(-95)*10/4. Which is greater: -10 or b?
b
Let j = -129 - -193. Let y = -78 + j. Let u = 15 + y. Is u < 15/7?
True
Suppose o = 6*o - 15. Let q be -3*2/o + 8 + -3. Let p be (-119)/(-63) - q*2/6. Are 0 and p equal?
False
Suppose 0 = 2*a + a - 12. Suppose -a*c + i = 2, 0 = -2*c + i - 0*i. Let u be -12 - (104 + -20)/(-7). Which is smaller: c or u?
c
Suppose 8*y + 13 = 9*y. Suppose r = y*r - 1752. Suppose 5*s + 102 = 3*f + 2*s, -r = -5*f - 3*s. Is 33 greater than or equal to f?
True
Suppose -n - 6 = -3*i, -6 = -3*i - 5*n + 3*n. Suppose 2*z = i*p + 6, 15 = -5*z + 4*z - 5*p. Which is bigger: z or 9/10?
9/10
Let u = -4129/35 + 622/5. Which is bigger: u or -3?
u
Let t = 3719305/536 + -6939. Is t greater than or equal to -1?
True
Let s = 4139865/16 + -259101. Let f = s - -359. Which is greater: f or 0.2?
0.2
Suppose 78 = -3*y + 414. Suppose -y*o - 49 = -119*o. Is -19 less than or equal to o?
True
Let l be -5 + 5 - (2 - 0). Let h be (-2)/(-11) + 207500/385 + -2. Let j = -538 + h. Do j and l have different values?
True
Let t(f) = 2*f**2 - 11*f - 5. Let x be t(6). Let b be 248/(-1674) + -1 + x. Which is bigger: b or 0?
0
Let n = 1841/376 - 39/8. Let k = 1051 + -1048. Are k and n equal?
False
Let u = -304 + 190. Let i = u + 115. Is 2/7 > i?
False
Let j = -41184 + 41184.06. Let l = 2.7 + 19.3. Which is bigger: j or l?
l
Suppose -4*i - 16 = -4*k, -4*k + 6 = 5*i - 1. Suppose 6*j - j - s = -314, -4*s = k*j + 193. Is j at most as big as -0.2?
True
Let d = 43 - 43.062. Let w = -157 - -156.918. Let i = w - d. Is i at most 0?
True
Let h = -147/124 + -2/31. Let p = -4.35 + 2.35. Does h = p?
False
Let n be (-7)/(-21)*16/(-8776). Is n less than 1?
True
Let y be ((-123)/(-6))/((-1)/(-2)). Suppose 5*u - y = -3*n, -5*u + 6*n = 3*n - 29. Let t = -218987 + 218985. Is u < t?
False
Let s(j) = -300*j**2 + 3*j - 15. Let r be s(-2). Which is smaller: -2439/2 or r?
r
Suppose -22*a + 23*a + 2 = 3*u, -5*u = -3*a - 6. Which is greater: 20/1303 or u?
20/1303
Let a = -1048.5 - -1062.5. Is a <= 175?
True
Let t = -4.15 - -5.83. Let o = t + -1.707. Is 6 at most as big as o?
False
Let s = 122243/10 - 25517/2. Which is smaller: -534 or s?
s
Let l = -994326/1207 - -26640/71. Is l >= -450?
True
Let u = 32/2431 + 1734934/60775. Does 28 = u?
False
Let s = -11 + 19. Let o be -100*s/64*-10. Is o greater than 127?
False
Let v be 2/(-4) + 2/4. Suppose v = -2*d - 0 - 8. Let b be 2/(-12)*(123 - 101). Is b at most d?
False
Suppose -2*w + 4*w - 128 = 0. Let b(j) = -4*j**2 + 10*j - 13. Let q be b(9). Let u = q - -312. Is w at most u?
True
Let q(w) = -14*w. Let v be q(5). Let i(g) = g**2 + 52*g + 557. Let m be i(-33). Let z = m - v. Which is smaller: z or -3/29?
-3/29
Suppose 4*y - 34*y = 5*y - 35. Let m be 70/(-123) - 10/(-15). Is y < m?
False
Let d = -7157 + 7251. Which is greater: d or 472/5?
472/5
Let u = -2452 + 2581. Which is smaller: u or 92?
92
Suppose -m = -k + 61, 