u(37). Let p(s) = s**2 + 15*s + 53. Let v be p(-10). Is n not equal to v?
True
Let f be 2348/10*10*1/4. Let n = -4097/7 + f. Let i(o) = o**3 + 7*o**2 + 7*o + 9. Let s be i(-6). Which is greater: n or s?
s
Let p = 144 + -170. Let i be 18/(-117) + 48/p. Are i and -17/13 unequal?
True
Let u(q) = 45*q + 37. Let i be u(-13). Are i and -1/3 non-equal?
True
Let j = -16309 + 15325. Which is greater: j or 0?
0
Let x(m) be the third derivative of 7*m**4/24 - 19*m**3/6 - m**2. Let b(s) = 110*s - 2096. Let p be b(19). Let u be x(p). Which is smaller: -60 or u?
u
Let d be 9/63 + ((-106)/7 - 0). Let u(l) be the second derivative of -17*l**5/20 + l**4/12 + l**3/6 - l**2/2 + 12*l. Let w be u(1). Are w and d non-equal?
True
Suppose 11*x + 6572 + 8839 = 0. Let k be ((-4)/14)/(6/29331). Let g = k - x. Is g bigger than 3?
True
Let j(q) = -q**2 - 7*q + 12. Let o(g) = -2*g - 32. Let d be o(-12). Let h be j(d). Suppose h*i + 63 = -3*k, -3 = i - 2*i + 3*k. Which is smaller: -11 or i?
i
Let n = -52.583 + 744.803. Let y = -692 + n. Which is bigger: y or 11?
11
Let j = 29 + 15. Suppose 4*c + 88 = l + 324, 0 = c - 4*l - j. Let x be (-38)/c + (8/(-60))/(-1). Is x greater than or equal to -2?
True
Let f = -3.2 - -3.2. Let d = 12 - -16. Let i = d - 23. Is i at least f?
True
Let i = -68 + -304. Let z = -377 - i. Which is greater: 28 or z?
28
Let d be 0*(-1)/(-1*2). Let j be 412/2387 - (-14)/(-77). Let p = j + -8/93. Which is greater: d or p?
d
Let v = -18086237/38 - -950947/2. Let b = v - -480. Suppose -2*k + 4 = -2*n, 8*k - 6*k - 4 = 3*n. Is b <= n?
True
Let u(q) = 2*q**3 + q**2 - 6*q + 5. Let r be (0*5/(-25))/(2/2). Let f be u(r). Which is smaller: f or 7?
f
Let v = 0.139 - -4.361. Let d = -0.027 + -16.173. Let q = v + d. Which is bigger: q or 0.1?
0.1
Suppose 5*f - 5*a = 515, 201 = 4*f + a - 196. Which is smaller: 81 or f?
81
Let h = -14470 - -7666. Which is smaller: h or -6803?
h
Let u = 1/4806 + 18017/26433. Let a = u - 215/154. Which is smaller: -12 or a?
-12
Let q be (-2)/2 + (-6 - (-45255)/27). Let m = q + -1666. Which is greater: 4 or m?
4
Let c be (-310)/(-777) - 0 - (-208)/(-624). Is -1 != c?
True
Let f(j) = -j**3 - 26*j**2 - 17*j + 62. Let i be f(-28). Is i >= 2105?
True
Let k = -671 + 1374. Let r = k - 694. Is r > 7?
True
Let a(l) = l**3 + 25*l**2 - 82*l - 45. Let w be a(-28). Let f = w + -20. Which is bigger: -122 or f?
f
Let u be (3/4*(-32)/(-72948))/(-1). Let k = 164153/60790 + u. Is 4 <= k?
False
Let d = -541 + 994. Suppose 0 = 22*s - 23*s + 2*h - 151, 3*s = -4*h - d. Which is greater: -154 or s?
s
Let b(c) = 74*c**3 + 4 + 2*c**2 - 75*c**3 - 8*c**2. Let g be b(-6). Suppose 5*j + 108 = -g*j. Is j at least as big as 2?
False
Suppose -8*z - 48 = 8*z. Suppose 5*v = -2*t - t + 25, -v = -5. Let o be 50/(-22) + t + -1. Is z greater than or equal to o?
True
Let g = 137359/4 + -34515. Which is smaller: g or -174?
g
Let u be (11 - -4)/(1/4). Suppose 0*c = 3*c + u. Let k = 31 - 51. Is k less than c?
False
Suppose -9 - 45 = -q + 2*v, 2*q = 2*v + 108. Suppose 140 = -5*p - 5*k, 3*p + 4*k + q = -28. Which is greater: -32 or p?
p
Let q = -44 - -221/5. Let a = 0.1212 + 0.8058. Let t = 0.797 - a. Does t = q?
False
Suppose -4*j = -4*k + 20, -6242*k - 13 = -6247*k + 3*j. Let x be 1 - -1 - (-1535)/(-767). Are k and x unequal?
True
Let s(b) = 4*b**2 + 15*b + 2. Let p be s(-5). Let h be p/9 + -4 + -127. Is -126 smaller than h?
False
Let b be -15*(-23)/(-571251)*(-3 + 2). Which is smaller: b or -1?
-1
Let y be -4*(10/(-4) + 3). Let l be y + 0 - -4 - (-69)/(-33). Let u = 13 + -12. Which is bigger: u or l?
u
Let u be 4/10 + (-122)/5. Suppose -51 = -2*f + 49. Let d = u + f. Which is bigger: d or 27?
27
Suppose m - 6 = 2*u, -23*m + 4*u = -18*m - 24. Suppose 4 + 4 = -h - m*g, -2*g - 64 = 3*h. Which is smaller: -25 or h?
-25
Let n be 67905/(-164451) + ((-20)/14)/5. Let y = -28/41 - n. Is y >= 1?
False
Let a = 0.017 - 5.017. Let g = -10 - a. Let w = 3 + g. Which is smaller: -7 or w?
-7
Let b be 2/5*(15 - (1 - 6)). Suppose 0 = -15*c + b*c - 63. Is c at most as big as -5?
True
Let q = 0.62 - -0.58. Let c(b) = b**3 - 5*b**2 - 6*b + 17. Let a be c(5). Are a and q equal?
False
Let c(t) = 28*t + 2*t**3 - 3*t**2 - 2*t - 11*t + 20*t**2 - 1. Let j be c(-8). Does j = -170/3?
False
Let a be 516 + -1 - 16/(-11 - -7). Let z = a + -530. Is -33 greater than z?
False
Let x = -6002/2397 + 114/47. Let l = 25 + -24. Is l at most x?
False
Let m(f) be the third derivative of f**5/60 + 19*f**4/24 - 4*f**3/3 - 11*f**2. Let y be m(-20). Do y and 23 have different values?
True
Let d = 15.63 + -15.73. Which is smaller: -94/7 or d?
-94/7
Let w = -195.25 - 0.75. Let g be 624/936*(-3)/4. Is w > g?
False
Suppose 5*u = 3*t - 23, -3*u - 53 + 41 = 0. Which is smaller: t or -1/6959?
-1/6959
Let d = 370 - 361. Suppose -b = -d + 11. Let q = 20.68 - -0.32. Which is greater: b or q?
q
Suppose 2*g + 1568 = x, -4*g - x = -2*g + 1568. Let d = -726 - g. Let v be 56 + (-1)/(-2)*2. Is d smaller than v?
False
Let u be (-78)/3 + (410/(-50) - -8)*-5. Let t = 54 + -80. Which is greater: u or t?
u
Let b(i) be the first derivative of 4*i**2 - 101*i - 48. Let o be b(13). Let c be -4*2/((-16)/14). Which is greater: c or o?
c
Let h be 16/3 - 36/27. Let d be (174/16)/(7/(-112)*h). Does d = -44?
False
Suppose -3*z - p + 211 = 0, 68 = z + 2*p - 4*p. Let y(l) = 188*l + 4582. Let s be y(-24). Do z and s have the same value?
True
Suppose 13*z + 3*z = 7040. Let g = -437 + z. Which is greater: g or 42?
42
Suppose -345*g + 244*g + 35249 = 0. Is g at most 348?
False
Let a be (-1)/(2 - 56/24) + (-3 - 172). Is -175 not equal to a?
True
Let m = -5221328046 + 389599834837390/74617. Let z = 4/2407 - m. Which is smaller: z or 0?
z
Let f be 312/(-9776)*(-4)/(-3). Which is smaller: 1 or f?
f
Let b = -54.92 - -47.1. Let i = b - -7.6. Are i and -0.1 non-equal?
True
Let a = 150 - 346. Let l be (-18515)/a - (-6)/(-8). Let w = l - 94. Which is smaller: w or 0.11?
w
Suppose 4*d - 2579 + 2067 + 1432 = 0. Which is smaller: -1151/5 or d?
-1151/5
Let v = 279 + -268. Which is bigger: 104 or v?
104
Suppose 0 = 14*q + 94 - 10. Let g be (-3)/(1/(-4)*3) + q. Is 1/64 <= g?
False
Let d = 71866/13277 - 9/2414. Is d at most as big as 6?
True
Suppose -2*y + 266 = 4*q - 164, -y = -5. Let o = -110 + 23. Let i = o + q. Which is greater: i or 19?
19
Suppose -3*p = -5*o - 44, p - 6 = -p. Let x be (-5 - (5 + -14)) + o. Which is greater: x or -10/3?
x
Let x = -2/1571 - -4751/29849. Let b(v) = -3*v + 14. Let i(h) = -h - 1. Let y(s) = -b(s) + 4*i(s). Let m be y(-17). Which is bigger: m or x?
x
Let x be (13750/(-180) - -30) + -1 + -9. Is x bigger than -55?
False
Let h = -244.1712 - 0.5288. Let s = -49.7 - h. Is 3 greater than s?
False
Let n be 5317 - ((-70)/7 + 4). Which is bigger: 5322 or n?
n
Let z = -904 + 535. Is -367 equal to z?
False
Let k = -1929405/342608 - 1/18032. Which is smaller: k or -6?
-6
Let b(a) = -12*a + 29. Suppose -5*v = 13*y - 18*y + 15, -2 = -v. Let q be b(y). Is q greater than -5?
False
Let a be (-5*(11 - 1))/(2/14). Let h = a + 361. Which is greater: -2 or h?
h
Let r = -71303 - -25312582/355. Which is bigger: r or 1?
1
Let u be -2 + 2 - 24/(0 - 6). Suppose 13*h = 9*h + u. Let b be (0/7)/(3*(h + -2)). Which is greater: 4/33 or b?
4/33
Let c be (-2 - 1)/((-33)/77). Suppose 3*y + 3*d = 5*d + 2, 0 = 5*y + 3*d - 35. Let m be (4 + (6 - c))/((-6)/y). Is 2 bigger than m?
True
Suppose -3*p + 966 = -3*c + p, -p = -5*c - 1610. Let v = c - -358. Which is greater: 40 or v?
40
Suppose -c = -5*c - 5*n + 311, c = -5*n + 74. Suppose -5*p = y - 128, -5*y = 1113*p - 1109*p - 430. Is c >= y?
True
Let i = 1427 + 7843. Is i > 9270?
False
Suppose 20*a - 17*a = 0. Let o be 5/((-225)/132) - 0. Let f = o - -11/6. Which is greater: a or f?
a
Suppose 46*h + 20*h + 346496 = 2*h. Is h less than 0.1?
True
Let r = 12414 + -12489. Which is smaller: -17 or r?
r
Let v = -6 + 5.882. Let o = -507.218 - -512. Let f = v - o. Do f and 0.1 have the same value?
False
Suppose -o + 2*k = 447 - 475, o + 3*k - 38 = 0. Which is bigger: o or 2?
o
Let u = 235/749 - 3/107. Let r = -7607.7 - -7613. Is r at most as big as u?
False
Suppose -220 = 6*g - g. Let y = -12 - g. Is y at most as big as 31?
False
Let x(m) = 4*m**3 + 137*m**2 + 38*m + 100. Let d be x(-34). Which is greater: d or -38?
d
Suppose -73792 - 1