68 + -5.6768. Let a = 18 + -18.033. Which is smaller: a or t?
a
Suppose 4*d - 10 = -42. Let j be (-5)/d*1*2/66. Let k = -1207/1320 - j. Which is bigger: k or -1?
k
Let d = -2.31018 + 2.346. Which is bigger: 0 or d?
d
Let a = 5.9599 + 0.5601. Is a equal to -2/3?
False
Let b be -1 + 7 - (0 - (-4)/2). Suppose -2*m - 4*a = -22, b*a = 22 - 2. Do -2/15 and m have the same value?
False
Let v = -1/67817 - 226101873/339085. Is v < -667?
False
Let g = 16528/203 - -108/29. Let d = 8912/105 - g. Let u = -214/399 - 2/57. Which is greater: d or u?
d
Let s(c) = -91*c + 23. Let m be s(17). Let r be (m/(-18))/(8/12). Let k = r - 111. Which is smaller: k or 3?
3
Let y be (-4 - (-4)/(-4))*11/(-5). Let w = 10 - y. Let d = -45 - -45.039. Is d smaller than w?
False
Let h = 13030 + -18719. Let g = h + 3896967/685. Which is smaller: 1 or g?
g
Suppose 2*k + 3*l + 30 = 0, 38*l - 40 = 42*l. Let i be 366/176 - (9 + -7). Is i at most k?
False
Suppose 3*x + 31 - 43 = 0. Suppose -x*h = -7*h - 3. Let q be 6/9 - 50/74. Which is bigger: h or q?
q
Suppose -17*z + 21*z = -4*f + 20, -z - 25 = -5*f. Let i = 1151/3 + -6316/15. Let d = i + 17957/480. Is z at least d?
False
Suppose 0 = 16*j + 215 + 25 + 128. Is j != -50?
True
Let n(f) = -3*f**2 - 33*f + 13. Let u be n(-11). Suppose u*x + 38 = 12. Are -30/59 and x non-equal?
True
Let r = 3043/2 + -1521. Which is bigger: r or -151?
r
Suppose 4 = 2*d - 5*k - 4, 2*k + 3 = d. Let h be (-4)/d - (-6 + 13). Let j be ((-8)/6)/((-1)/(h/5)). Is j at least as big as -2?
True
Let o(s) be the first derivative of -s**3/3 + 4*s**2 - 10*s + 2. Let p be o(8). Let z be (2 - 1)/((-55)/p). Which is smaller: 0.3 or z?
z
Let y be (6/8 - 582/679)*16/(-4254). Which is smaller: y or 0?
0
Suppose k - 4*a - 16 = 28, 0 = k - 3*a - 44. Let h(z) = -z - 42. Let s be h(0). Let c = s + k. Is c at least as big as 1?
True
Let d = -1709 + 22227/13. Is d bigger than 8?
False
Let y be 9 + -7 + (3 - -3) - (-14)/(-2). Which is smaller: y or -16/2303?
-16/2303
Let u(i) = -51*i**2 - 99*i - 552. Let p be u(-6). Is -1794 less than p?
False
Suppose 35501 = -80*a - 534179. Which is bigger: -7120 or a?
-7120
Let d = 1452 + -1452. Does d = -7/12?
False
Suppose 21*f = -13*f + 4*f - 85350. Is f smaller than -2846?
False
Suppose 0*z - z + 30 = 2*h, -16 = -4*z. Suppose -6*x = h - 49. Suppose 24*d = 28*d - 8. Which is smaller: d or x?
d
Let a(n) = -n**3 - 21*n**2 - 104*n + 48. Let o be a(-12). Which is smaller: o or 286?
o
Suppose -12*a - 37*a + 104244 = 2*a. Is a < 2052?
True
Suppose 489*r - 40 = 494*r. Let b be -26*(r - (-119)/14). Let j = 0 - 3. Is j at least b?
True
Let q be 18/((-10)/40*3). Let m be (-4)/(-14) - 122/(-14). Let r = m + -33. Is q at least as big as r?
True
Let c(a) = -17*a**2 + 240*a + 21. Let z be c(10). Is z at least 728?
False
Let j(a) = 8*a - 7*a - a - 10 + 6*a. Let q be j(4). Let p be 4/(-28) - 12/q. Is -1/79 at least p?
True
Suppose i + 5 = -4*b - 10, 3*i + 18 = -3*b. Let x be (-4)/b + (-1076)/798. Let k be -25 + 25 + 4 + -4. Is k > x?
True
Let t = 28951 - 28951. Let v(l) = -l**3 + 8*l**2 + 2*l - 9. Let r be v(6). Which is smaller: r or t?
t
Let o be (((-49)/3)/(-7))/((-119)/(-34)). Which is smaller: o or -0.0951?
-0.0951
Let o = -92.547 - 0.653. Which is smaller: 4 or o?
o
Let f be 184/(-6) + (-5)/(-9 + 4). Is -30 at least as big as f?
False
Let c = -2/3717 + 74374/63189. Is c <= -1.1?
False
Let p(j) = -j**2 - 128*j - 4260. Let a be p(-71). Is 6 less than or equal to a?
False
Let z be 10/(-2) - 100/(-10). Suppose 45 = 4*d + z*d. Let g be (7 + -2)*(66/10 - d). Is 5 smaller than g?
True
Let i(w) = 669*w - 5366. Let h be i(8). Is h < 22?
True
Let w be ((-1)/4)/(1/(-20)). Suppose 3*o - 2*o - w = 0. Suppose o*b = 6*b - 9. Is b not equal to 9?
False
Let h = -0.5825 - -39.1825. Which is greater: -8 or h?
h
Let h = -6/11459 - -2177408/378147. Let q = -326/77 + h. Which is smaller: q or 1?
1
Suppose 1686*p + 39*p + 644*p + 2369 = 0. Let i be (2/5)/(1906/(-10)). Is i bigger than p?
True
Let i be 109*(-16 - -3)*-1. Is i smaller than 1418?
True
Let a = -20/301 + 110/8127. Which is smaller: a or -0.05?
a
Suppose -12073 = 13*d - 11410. Which is smaller: d or -0.7?
d
Suppose -4*d + 6028 = 4*u - 832, 3*d - 5113 = 5*u. Is d <= 1712?
True
Let a(w) = -2*w**2 + 23*w - 10. Let s be a(10). Let k be ((-3)/(-8))/((-45)/s). Let i = -136 + 137. Is i at most as big as k?
False
Let f be (((-28)/760)/(-7))/(11 - (-10194)/(-930)). Is 0 greater than f?
False
Let l be (-8)/(-6)*(-24)/9680. Let c = -14112 + 14111. Which is greater: l or c?
l
Let b = 4108/11 + -374. Let g be ((-3 - 0) + 3)/(-2). Suppose g = -21*p + 27*p. Is p at least b?
True
Suppose 21*w = 38*w - 26*w + 15408. Is w greater than 1713?
False
Suppose 3*d - 5355 = -4*f, -82*f - 4*d - 3960 = -85*f. Is f greater than or equal to 2?
True
Let m = 8797 + -8344. Which is bigger: m or 2271/5?
2271/5
Let b = 1080.2 + -1082.2. Which is bigger: 5108 or b?
5108
Suppose -31*n = 7408 + 11730 - 600. Is -600 bigger than n?
False
Suppose -3*a + a = -3*u + 4852, 0 = u + 4. Let l = 17067/7 + a. Which is greater: 7 or l?
7
Let v = 521051 - 521175.7058. Let x = v + -0.1942. Let b = x + 125. Which is bigger: -8 or b?
b
Let q be (-2)/(-10) - (-2870)/25. Suppose 15*h + 170 + q = 0. Which is bigger: h or -37/2?
-37/2
Suppose 4*a + 2*l + l + 7 = 0, l = -2*a - 5. Let r be 3/a + (-19525)/500. Is -40 less than r?
True
Let t = -14 + 31. Let b = 4663/264 + 15/88. Is t equal to b?
False
Suppose h - 4 = -2*y, 0*y - 11 = -2*h - y. Let q be h/15*(-3 + 6/4). Is 68 at least q?
True
Let a(w) = -11*w - 43. Let s be a(-11). Suppose k + 36 = s. Suppose -23*n = -20*n + k. Is n at most -12?
True
Let s = 1004.48 + -1004.4. Is 42 greater than or equal to s?
True
Let p = -95623/51 - -2096/17. Is p != -1751?
True
Let j = -3 - -11. Let y = -58.8 - -29. Let v = -30 - y. Is j greater than v?
True
Let a = -49/569 + 285608/6259. Is 45 at most a?
True
Let b = 793 - 783. Let m be 144/b + 12/(-30). Are 15 and m equal?
False
Suppose -8*w + 5*d = -7913, -4915 = -5*w - 3*d - 0*d. Is w equal to 985?
False
Let v(l) = l**2 + 32*l - 5. Let d be v(6). Let r be -2*4/(9 + -1)*d. Which is smaller: r or -222?
r
Let w = 25200 - 25383. Is -159 greater than w?
True
Let m(k) = -k**2 - 196*k + 1005. Let c be m(5). Let t be (353*(-2)/732)/(-1). Let h = -8/61 + t. Which is smaller: c or h?
c
Let o(n) = n**2 - 3*n - 8. Let y be o(10). Suppose -1498 = 55*x - y*x. Is 214 smaller than x?
False
Let o(t) = 2*t**2 + 10*t - 7. Let l be o(-8). Let d = 165/4 - l. Let g = -3947 - -122359/31. Is g less than or equal to d?
True
Let o be ((-9975)/76)/((-2)/8). Is 1049/2 != o?
True
Suppose -84 = 2*z - 8*z. Suppose -5*b - 16 - z = 0. Let d be (-9)/(-24) - (216/64 - -7). Is d greater than or equal to b?
False
Let j = 32233 - 32199. Which is bigger: 37 or j?
37
Let h = -2009 + 2000.97. Let i = 8 + h. Let w = -1.6 + 4.6. Do i and w have the same value?
False
Let d = -4260513964/123 + 34638672. Let p = -1042/3 + d. Which is greater: p or 0?
0
Suppose -v + 5*m - 6 = 5, 5*m - 15 = 0. Let w be (26719/3003 - 3/13)*6/4. Which is smaller: w or v?
v
Let a = 88.21 + -28.675. Let i = -0.535 + a. Is -1 less than i?
True
Suppose 50*w - 35*w = 240. Suppose w*x = -29*x + 2205. Let f(z) = z**2 + 5*z. Let c be f(5). Is c bigger than x?
True
Let y = 6232081/3 - 230693440/111. Let p = 959 + y. Do p and 1 have different values?
True
Let f be (9/22)/(27/(-180)). Suppose 2*s - 3*s - 4*s = 0. Let a be (-4)/2 - 0 - s. Is f > a?
False
Let i = -2 + -12. Let h(w) = -w**3 - 7*w**2 + 9*w + 5. Let d be h(-8). Let b be d*((-4)/(-6))/((-7)/(-56)). Is i <= b?
False
Suppose 35*q + 3*t + 12 = 38*q, -5*t - 30 = 5*q. Which is smaller: q or -3.276?
-3.276
Let q = -18/67 - 80/201. Which is smaller: q or 7123?
q
Suppose -4*b = -2*x - 2, 3*b - 10*x = -9*x + 1. Which is greater: b or 32/147?
32/147
Let q(j) = 104*j + 1676. Let f be q(-26). Which is bigger: -1023 or f?
-1023
Let l = 30144 + -30145. Which is smaller: -255/214 or l?
-255/214
Let s(t) be the first derivative of -13*t**3/6 - 3*t**2 - 38*t - 45. Let n(a) be the first derivative of s(a). Let y be n(-4). Which is greater: 0 or y?
y
Suppose 2*o + 14*d - 12*d = 406, -d = -4. Suppose -i = -7*q + 4*q + 602, -q + 190 = 5*i. Is q > o?
True
Let g be 10*(5/(-2) - (-3 - 0)). Let c = 8 - g. Let d be 0*(-1)