 non-equal?
True
Let p(k) be the second derivative of -k**4/12 + 13*k**3/3 - 71*k**2/2 + k - 24. Let u be p(23). Is -5 > u?
False
Let h = -22.929 - 0.071. Let q = h - -21.74. Let u = q - -0.68. Which is bigger: -2/7 or u?
-2/7
Suppose 87*g - 142*g + 72900 = -80*g. Is g at least -2916?
True
Let r = 0.1536 + -0.1446. Which is smaller: -61 or r?
-61
Suppose -4*r + 0*r - 308 = 0. Let j be ((-1)/(-2))/(r/70). Let b = -961 - -960. Is j not equal to b?
True
Let y be (-16)/3*(306 + -906). Which is bigger: y or 3204?
3204
Let x = 118507 + -118509. Let y = 0.136 + -98.136. Which is smaller: x or y?
y
Let i = -3272 + 3270. Which is smaller: i or 11.95?
i
Suppose 0 = d + 4*b - 13 - 13, 71 = 3*d + 5*b. Let w(j) = -j**2 - 715*j - 6341. Let c be w(-9). Let f = d - c. Is f greater than 9?
False
Let m(l) = l**2 + 15*l - 406. Let q be m(14). Is 4/5957 at most q?
False
Let h be 391/46 + (-20)/4 + 5. Is 1.7 bigger than h?
False
Let g(t) = 4*t**2 + 17*t + 26. Let n be g(-7). Let a = -38 - 107. Let j = a + n. Which is bigger: -44 or j?
j
Let c = -173355/11 - -15858. Which is greater: c or 0.1?
c
Let r be ((-35)/(-420))/((-2)/(-3) + -1). Which is bigger: 1163 or r?
1163
Let o = 590 + -590. Is o != 15/332?
True
Let v(m) = m**3 - 6*m**2 + 23*m + 28. Let u be v(8). Is u greater than or equal to 341?
False
Let x = -85 + 85. Let i be (-1 + x)/(2/(-6)). Suppose i*q + 22 = 5*m - 26, 4 = q. Do 59/5 and m have the same value?
False
Let y(t) = 5*t**2 - 7*t - 4. Let m be y(-1). Suppose -2*f = f + 6. Let d be f/m + (-30)/40. Is 7 greater than d?
True
Suppose -5*x + 2*j = 548, -x - 77 - 19 = 3*j. Let r be -15 + 16 - x/2. Which is smaller: r or 0.1?
0.1
Let x = 0.1973 - -196.8027. Is x smaller than -0.04?
False
Let g be (1 + (-12)/8)*-6. Suppose 0 = -g*o - 3*o - 132. Let s = o + 21. Which is greater: s or -2/29?
-2/29
Let p be 15/(-40) - 134320/(-128). Is p at most 1049?
True
Suppose 34 + 304 = -26*a. Let u = -38 + 25. Let h = u - a. Which is bigger: -8/17 or h?
h
Let a = 46 - 49. Let g = 18 - a. Let z = g + -22. Which is greater: 3 or z?
3
Suppose -15552 = 363306*v - 363402*v. Let p be 83/(-1 - 6/(-4)). Which is smaller: p or v?
v
Let c be -6 + -18*(-120)/6. Let m = c + -357. Which is bigger: m or -33?
m
Suppose 2*m = -g + 111, -5*g - 121 = -2*m - 40. Does 16 = m?
False
Let d = -37.4 - -35.4. Let b = 8 + -15. Let i(v) = v**3 + 6*v**2 - 6*v + 9. Let h be i(b). Which is greater: h or d?
h
Let i(l) = 7*l**3 - 4*l**2 + 5*l - 2. Let o be i(3). Let s = 5593 - 5426. Is s bigger than o?
True
Suppose 4 = -4*k, -3*k + 45 + 36 = -2*p. Let u be 1 - (0 + p) - 1. Suppose -5*h - 65 = -a + 133, -u = h - a. Which is smaller: h or -38?
h
Let a(r) = 91*r + 11024. Let x be a(-145). Which is bigger: -2173 or x?
x
Suppose -4*o - 36 = 5*t + 19, 0 = 3*t + 5*o + 33. Let b(d) = -2*d**3 - 23*d**2 - 9*d + 6. Let j be b(t). Let v be 99/24 + 2/j. Which is greater: v or -0.8?
v
Let s be 2/5 + ((-1095)/(-75) - 11). Let q(r) = -10*r**3 + r**2 - 3*r + 22. Let t be q(s). Do t and -613 have different values?
True
Let t(x) = x**2 + 2*x + 8. Let p be t(4). Let w = p - 16. Suppose -4*g = -w - 8. Which is smaller: -2/5 or g?
-2/5
Suppose -3*s - 38 = p + 356, -2*s + 369 = -p. Which is bigger: p or -380?
p
Suppose 3*b = -m + 11, -17 = -5*b + b + m. Let j(n) = -n**3 + 3*n**2 + 4*n + 1. Let p be j(b). Let k be (21/(-14)*(-8)/(-246))/((-4)/(-10)). Does p = k?
False
Let s(c) = -c**3 + 9*c**2 + 24*c - 51. Let k be s(11). Is -44 greater than or equal to k?
False
Suppose -95*p + 99792 = 121*p. Which is smaller: p or 460?
460
Suppose 52 - 32 = -5*w + 5*c, -4*c = w + 4. Which is greater: w or -26/9?
-26/9
Let u = 40 + -36. Suppose -88 + u = -c. Let l be c/(-171) + (-1)/(-3). Is l greater than 1?
False
Let f = 8811 - 8811.2. Which is bigger: -2/325 or f?
-2/325
Let i = 87.34 - -4663.66. Is 2/11 bigger than i?
False
Let y = 635 + -560. Suppose 0 = 8*v - 10*v - 3*h - 40, 5*v + y = 5*h. Which is smaller: v or -7?
v
Let t = 898/5 + -180. Is 0.042 less than or equal to t?
False
Suppose 0 = -2*k + 2*i + 50, -k + 0*k + 27 = i. Suppose -17*p = -15*p + k. Which is smaller: -6 or p?
p
Let r be (-11510)/35 + ((-172)/(-903) - 2/6). Which is bigger: -326 or r?
-326
Suppose 0 = -4*y + 5*y - 6, 5*j - 4*y + 1079 = 0. Is -204 > j?
True
Suppose 0*z = -5*z + 40. Suppose -h + 112 = 3*o, 2*o = 3*h + h + 84. Let b be o/6 - ((-30)/9)/5. Which is greater: z or b?
z
Let u be (12/(-1280))/((-38638)/9655 + 4) + -5. Which is smaller: u or 1?
u
Let q be (194194/(-231))/(2/(-3)). Is 8822/7 at least as big as q?
False
Let o = 0.122 + 0.306. Let a = o - 0.028. Let j = -5.9 + 0.9. Which is smaller: j or a?
j
Let u(w) = -52*w**2 - 42*w - 43. Let t be u(-1). Is -476/9 >= t?
True
Let i(o) = -8*o**3 - 11*o**2 - 19*o - 1. Let t be i(-8). Let y = t - 24713/7. Which is smaller: y or 13?
y
Let j(y) be the third derivative of y**6/120 - y**5/60 - y**4/8 - 17*y**3/6 + 16*y**2 - 3. Let q be j(0). Let t = -27 + 12. Is q greater than or equal to t?
False
Let n = -0.17649 + -1.82351. Is -1848 > n?
False
Suppose 190*m + 62076 = 374*m - 205*m. Is m at most -8872/3?
False
Let x = 138.4 + -139. Let k = -0.2 - x. Is k greater than -4/5?
True
Let h = -3 + 4. Let f = -357 + 356.681. Let j = -7.319 - f. Is h equal to j?
False
Let k = -172 - -175.7. Let v = -0.21 + 2.91. Let z = v - k. Is z bigger than 21?
False
Let a(j) = -7*j + 115. Let f be a(16). Suppose 0 = -6*p - f*p - 1026. Is p smaller than -116?
False
Let x be -7 - (-31 - -29 - 4/((-172)/443)). Which is smaller: x or -15?
x
Suppose 5*j + 28*k = 24*k + 24, 0 = -k + 6. Which is bigger: j or 10/7043?
10/7043
Let p(h) = h**3 - 2*h**2 + 3*h - 2. Let j be p(2). Suppose -j*o + 2*t + 14 = 0, -6*o + 2*o - 4*t = 16. Which is smaller: 1/70 or o?
1/70
Let l = 149.9 + -29.9. Let u = l + -120.8. Let d = u - -0.4. Which is greater: 6 or d?
6
Suppose -103*w - 1543 - 33336 = 17239. Is w less than -506?
False
Let o be -220*(3 + 4)/(-7). Let z be o/(-475)*(1 - (-21)/(-6)). Which is greater: z or 2?
2
Let c be ((-2)/6)/((1030/412)/((-15)/(-2))). Which is greater: c or 918?
918
Suppose 2*n - 651 - 1625 = 0. Let t be 24/108 - (-2 - n/(-18)). Let u = t + 82. Which is smaller: u or 17?
17
Suppose 4*j + 3*x - 68 = 0, -j + 68 - 28 = -5*x. Let q(u) = 4*u - 27. Let f be q(8). Suppose -3*m = -f*m + 38. Which is smaller: j or m?
m
Let v be 3562/13 + (-10)/(30/6). Which is bigger: v or 280?
280
Let c = -134 - -222. Let z = c - 65. Is 22 < z?
True
Let y = 291 - 284. Let c = y - 14. Which is smaller: c or 2/21?
c
Let i = 742 + -751. Let r = -27 - -21. Let n be (4/r)/((-3)/(-27)). Is i not equal to n?
True
Let c be 1*4/10*-95. Let q = 151/4 + c. Let t be (-4)/(-8 + 0)*10. Are t and q unequal?
True
Let a = 355/3416 + 9/427. Which is smaller: 2/13 or a?
a
Let i = -41.33 + 42. Let q = 3.45 + -3.2. Let x = i - q. Is x at least -1?
True
Let r = -17 + 29. Suppose 0 = -w - z + 5, -3 = -0*w - 3*w + 3*z. Suppose 4 = -i - w*i. Which is smaller: i or r?
i
Let i(s) = -17*s + 6. Let p be i(2). Let y be -2*-3*p/144. Let a = -4 + 4. Is y <= a?
True
Let m be (-744)/48 - (-6 - 9). Is 3408 smaller than m?
False
Let h be 225/(-54) + 25/150. Is -315/71 less than h?
True
Let f be (3457*(-10)/15)/((-131)/(-393)). Is -6913 at most f?
False
Let t = -337/32 - 12493/96. Let j = t + 130. Which is smaller: 0.2 or j?
j
Let b = 600 - 601. Which is greater: -20/833 or b?
-20/833
Suppose -5*f - z + 78 = 0, 72*f + 2*z - 12 = 71*f. Let w be (-17)/34 + 251/2. Suppose 2*l - 31 = q - w, f = -4*q. Do l and -48 have the same value?
False
Let v = -738/5 - -147. Let x = -105.64 + 104. Let h = 2.64 + x. Which is bigger: v or h?
h
Let s = -53 - -117. Suppose -21*d + 547 + 776 = 0. Is s greater than d?
True
Let l be ((-12)/(-32))/((-27)/18). Which is smaller: -2116 or l?
-2116
Let o(b) = 5*b + 13. Let k(q) = 11*q + 27. Let v(r) = 6*k(r) - 13*o(r). Let w be v(-2). Let y = 3122 - 21908/7. Is y at most w?
False
Let z be 15 + -13 + (-4)/1. Let y be (z - 2) + (-56)/(-14). Which is greater: y or -12/43?
y
Let u be (2/8 - (-9)/12)*2405. Are 2405 and u non-equal?
False
Let h be (-1760)/600 - (2/(-6) - 0). Let p(d) = -d**2 - d. Let s be p(-2). Are s and h equal?
False
Let w be (-1)/((-70)/(-175) + (-6)/(-10)). Is w at most -1/4009?
True
Suppose 0 = -4*v - 311 + 307, 5*v = -o + 272. Is -9 at least as big as