se
Let h = 9546 + -5691. Do h and 3856 have different values?
True
Let l(s) = s + 15. Let u be 5 - 8 - 3/(-1). Suppose u = 4*p, -2*v + 4*p - 34 + 2 = 0. Let n be l(v). Which is smaller: -5 or n?
-5
Let f be (-13)/26 + (2/18)/(38/171). Which is smaller: f or -3/9431?
-3/9431
Suppose 3*w - 547 = -s, 2*s - 164 = -4*w + 562. Which is greater: 174 or w?
w
Let t(u) = -98*u**2 - u + 1. Let v be t(-1). Let m = v + 203. Let p = m - 98. Are p and 8 unequal?
True
Suppose 0 = o + 2*a - 3, 349*a - 347*a - 7 = -5*o. Are o and -847/5 nonequal?
True
Suppose -6*f + 1 = -5*f. Let c be (-2 - -3 - f)/2. Let m = 854 + -5976/7. Which is smaller: c or m?
c
Suppose -145*t + 135*t + 11414 = 868*t. Suppose -z = 4*z - 70. Is z greater than or equal to t?
True
Suppose 0*a + 448 = 4*a. Suppose -2*c + 0*v + 218 = 2*v, -v = -2*c + 221. Which is smaller: a or c?
c
Suppose 0 = -2*u + 1737 + 1579. Let r be 3/1 + 10/(-5540)*u. Which is greater: r or -1?
r
Suppose o - 10 = -3. Suppose -o*p = 3*p - 50. Are 5 and p nonequal?
False
Let m = -812 + 301. Let i = m + 496. Which is smaller: i or 2?
i
Let p = -325.4 + 325.1. Is -132 smaller than p?
True
Let g = -9 + 4. Suppose -j = 2*u + 16, 8*u - 3*j - 42 = 13*u. Which is smaller: g or u?
u
Let r(t) = -4*t**2 - 10*t + 7. Let p be ((-81)/(-6))/(-9) - (-3)/(-2). Let w be r(p). Is -2/1749 less than w?
True
Let u be ((-12)/9)/(38935/13). Is -1 at least as big as u?
False
Let z = -14184.09 + 14441. Is 2/7 equal to z?
False
Suppose 5*q + 313 = -3*s, 57 = -2*q - s - 68. Is q <= -121/2?
True
Let b = 581 - 576. Let p(x) = 129*x + 102. Let m be p(b). Is m at most 747?
True
Let o = -13879070/943 + 14718. Is o greater than 1?
False
Let v be (1 + -93)*101/404. Which is smaller: -3 or v?
v
Let u = -23/20 + -9/340. Suppose 308 = 18*p + 74. Suppose p*w - 2 = 15*w. Which is greater: u or w?
w
Let i = -97459/9 - -10813. Suppose -4*g + 3*h = 27, 7*g - 12*h + 50 = -7*h. Which is smaller: i or g?
i
Suppose 0 = u - 0 - 4. Suppose -5*t + 22 = -2*t - g, g - 50 = -5*t. Suppose t = -f - 4*r, 2*r = u*f - r - 21. Which is bigger: -1 or f?
f
Let l be (-363)/847*(-22)/3. Let m(i) = -i**3 + 3*i**2 + 7*i - 8. Let c be 5 + (-4)/8*2. Let u be m(c). Which is greater: l or u?
u
Let l be -17 + 1 + -1 + 6/(-6). Let z be ((-1)/l)/((-11)/(-1276)) + -3. Which is greater: z or 4?
4
Suppose 0*y + 3*y = -78. Let z = 222279/5 - 44481. Is y < z?
True
Let d(b) = 3*b**2 + 9*b + 74. Let w be d(-18). Let l = -7945/9 + w. Which is smaller: 2 or l?
l
Let p = 86 + -14. Suppose 0 = -7*k - p - 61. Let i(f) = f**3 - 7*f**2 + 5*f + 6. Let v be i(5). Is v at most as big as k?
True
Let v = 358/5 + -72. Let i = 0.049979 + 6.025921. Let s = -0.0759 + i. Which is bigger: v or s?
s
Let o be -8*18/(-48)*9. Let y = 63 - 36. Suppose o - y = -2*u. Are -2/19 and u unequal?
True
Suppose 0 = -66*c - 3497 + 12473. Is -10 != c?
True
Let x be (64 - 1)/(1/(-1)). Let p(i) = -10*i**2 - 12*i + 3. Let t be p(-4). Let f be t/70 - x/42. Is f at most 2?
True
Suppose -55 - 521 = 28*k + 572. Are -26 and k non-equal?
True
Let z = -1257297/4936 - -117/1234. Which is smaller: -256 or z?
-256
Let m = 191 - 184. Suppose -x = -m*x + 144. Let c(a) = a**2 - a + 5. Let y be c(5). Is x >= y?
False
Let l(s) = s**3 - 12*s**2 + 22*s. Let d be l(10). Suppose 20 = -3*b + 8*a - 3*a, 0 = 5*b - 5*a + d. Which is greater: b or 8/43?
8/43
Suppose -2*s - 58 = -60, -3*s + 218 = 5*a. Is 23 at least a?
False
Suppose 133 - 2146 = -15*n + 72. Which is smaller: 66 or n?
66
Let o = -235044 + 234967. Let m = 4 + -4. Is m greater than o?
True
Let w = 23450 - 23450. Does 30/419 = w?
False
Let l(c) = c**2 + 30*c - 14. Let b be l(0). Let n be (1 - 1)*b/(-84). Which is greater: 10/11 or n?
10/11
Let v(i) be the third derivative of -i**5/60 - i**4/3 - 4*i**3/3 + 7*i**2 - 12. Let s(x) = x - 1. Let d be s(-6). Let p be v(d). Is p at most 2/43?
True
Suppose 27*l + 4311 = 18*l. Let s = -397 - l. Is s greater than or equal to 163/2?
True
Let f = -25744/21 + 1226. Are f and -134 unequal?
True
Let h = 25.5 - 28.9. Let c = 3.26 + 0.04. Let g = c + h. Which is smaller: g or -7?
-7
Let j = -0.19964 + -926.90036. Let w = 997 + j. Let i = w - 70. Which is smaller: i or 17?
i
Suppose -2*a - 6785 = -119*f + 118*f, 3*f = -3*a - 10200. Which is bigger: a or -3394?
-3394
Suppose -4*g - 1337 = -l, 10 = 7*l - 5*l. Let h = -1353/4 - g. Which is smaller: -1 or h?
h
Suppose b = -b + 5*l - 5, -3 = -2*b - 3*l. Let u = -1886284/67 + 28154. Let a = -1604/3953 + u. Which is smaller: b or a?
b
Let s be 3*-3*(-4)/3. Suppose -141*l - 28 = -139*l. Let u be (21/l)/((-63)/(-12)). Is u smaller than s?
True
Let p(i) = -7*i - 2. Let h be p(-2). Let n be (-3)/(h/16) + 3. Let l be n - ((-246)/81 - -2). Which is smaller: l or 1?
l
Let i = 299/33 + -96/11. Let v = 0.399 - 0.301. Do i and v have the same value?
False
Let v be 6/33 + (-6321)/(-1232). Let j = v + -1441/272. Suppose 4*r + 3 = 5*o, 0*o - 2*o + r = 0. Is o bigger than j?
False
Suppose -12*m - 21*m + 1953 = 303. Is 46 at most as big as m?
True
Suppose 0 = -3*j - 3*d - 9, -30*d + 12 = -2*j - 34*d. Which is bigger: 55/93 or j?
55/93
Let d be 1/(-3)*(-6)/4. Let p = -206 + 171. Let k = -36 - p. Which is bigger: d or k?
d
Let s be ((-1120)/(-1232))/(5/726). Let c = 325 + -194. Is c > s?
False
Let l(h) = -417*h + 7755. Let j be l(19). Suppose 2*x - 6 = 0, m + 3*x + 102 = -56. Is m > j?
True
Let u(n) = 21*n**3 + 2*n**2 - n - 1. Let m(z) = -85*z**3 - 9*z**2 + 5*z + 4. Let r(s) = 2*m(s) + 9*u(s). Let b be r(1). Suppose 3*c + 4 - b = 0. Does c = 0?
False
Suppose -5*w + 30 = 4*q + 36, 3*q = -2*w - 1. Which is bigger: 9/358 or q?
q
Let f = 0.34 - -0.01. Let d = -0.2234 - -0.0034. Let p = d + f. Are p and 1/3 unequal?
True
Let j(b) be the second derivative of b**6/360 - b**5/10 + 3*b**4/8 + 13*b**3/6 - 19*b. Let y(h) be the second derivative of j(h). Let l be y(11). Is -1/5 < l?
False
Let s = 20792 - 436732/21. Is s less than or equal to 0.1?
True
Suppose 21*a = 5*a - 352. Let v be 10/((-80)/(-8)) + 21/a. Which is greater: v or -16?
v
Suppose 2*l + 1194 = 3*y - 0*y, -3*y = l - 1185. Which is bigger: 392 or y?
y
Let c = -5/137 + -2969/1233. Let t = 21.9 - 22. Which is smaller: c or t?
c
Let r(j) = 2*j**3 - 41*j**2 + 114*j - 1936. Let m be r(17). Which is bigger: -2026 or m?
m
Let n be (0/(-1) + 43)*2. Let o = -3549.1 - -3548.1. Which is smaller: o or n?
o
Let s(u) = u**2 + 17*u + 36. Let k be s(-8). Let l be (2*10/40)/((-2)/k). Let v = 6 - -4. Is v at least l?
True
Let g(l) = -l**3 + 2*l**2 + 8*l - 13. Let r be g(4). Let m(f) = -6*f - 72. Let y be m(r). Is 6 at most as big as y?
True
Suppose -4*w - 2*t = 25 - 9, 2*w = 5*t + 16. Is w > -110/179?
False
Let r = 47 - 45. Let v be (-72)/(-54)*r/(-4). Do -1 and v have the same value?
False
Suppose 0 = -1624*a + 1619*a + 10. Is -1/11 < a?
True
Let b = 46545/11 + -4229. Is b != 9?
True
Let z = -1.488 + -82.812. Let j = z - -85. Are j and 0 non-equal?
True
Let r be 2 + (0 - 3) - 0. Let g = -1296 + 7799/6. Let y = -4 + g. Which is bigger: y or r?
y
Let w = -15664 - -15663. Is -4644 bigger than w?
False
Let j be -5359 + 8 + -50 + 35. Is -5367 at least as big as j?
False
Let u = 0.01401 - -1.98599. Is u at least as big as -2211?
True
Let t be 600/(-45)*((-6)/(-16))/(13/52). Which is bigger: t or 33?
33
Let q be ((-355)/(-10))/((-6)/(-4)). Let l = 2801 + -2802. Which is bigger: l or q?
q
Let y = 188 - 185. Let m be 4*(-15)/6*1. Let s be (-4)/m*15/(-27). Does s = y?
False
Let s be (7 - (-138)/(-14))/(11 + (-22891)/2079). Suppose -3*g = w - 604 - 206, g = 2*w + 263. Which is greater: s or g?
s
Let l = 1878 - 2251. Do -364 and l have the same value?
False
Let d(j) = -j**3 + 19*j**2 + 25*j - 9. Let p be d(20). Let k = p - 111. Which is bigger: k or -22?
k
Let l be 406/36*(-111 - -109). Which is smaller: l or -2/3?
l
Let b be 0/(-7)*(-18)/(-36). Let p = -1053667/1595 - -3303/5. Is p at most as big as b?
True
Let n be (-50 + (-3570)/(-84))/((-1)/16). Which is bigger: n or 1081/9?
1081/9
Let m = 16956 + -16935.92. Is m != 9?
True
Suppose 126*d = 119*d + 784. Which is bigger: d or 559/5?
d
Suppose -n = -0*r + 5*r + 112, -5*n - 560 = -3*r. Let u be (n/(-154))/((-3)/(-9)). Is u >= 1?
True
Suppose 10 - 24 = l - 2*j, 83 = -5*l - 3*j. Suppose 77 = i + 3*f - 20, -2*i + 4*f + 244 = 0. Suppose 4*h + i = -3*h. Are h and