 48*p - 47*p + 1. Is -35/2 at least p?
False
Let n be (-7)/56 - (-205)/40 - (-68)/(-28). Let x = 3 + -6. Let l be (-7)/(-3) + x/9. Is n smaller than l?
False
Let k(m) = 8*m**2 + m - 43. Let b(w) = 9*w**2 - w - 43. Let n(a) = -2*b(a) + 3*k(a). Let y be n(6). Which is greater: y or -0.1?
y
Let l(t) = -3*t + 13. Let z be l(-9). Suppose z = 12*m - 14*m. Is -18 > m?
True
Suppose -65*u - 1419 = 4*z - 62*u, -4 = 4*u. Which is greater: z or -347?
-347
Let j = -433 - -416. Is j less than -3.3?
True
Let d be (230/35 - 16/28) + -20. Which is bigger: 10 or d?
10
Suppose 0 = -0*j - 3*j + 3. Let d(i) = -i**3 - 30*i**2 - 4*i - 39. Let m be d(-30). Let r = 83 - m. Which is bigger: r or j?
r
Let y be ((-20)/(-6))/((-40)/(-96)). Suppose 4*k = 3*j - y, 3*k + 3*j + 9 = 3. Which is smaller: 0 or k?
k
Let y = -6579 + 2875024/437. Which is smaller: y or -1.1?
-1.1
Let x = -2 - -1. Let j = 3.2906 - -0.2894. Is j greater than x?
True
Let k(c) = 9*c + 54. Let r be k(-5). Suppose -4*f = -y - 33, -f + 13 = f + 3*y. Which is bigger: r or f?
r
Let d be (-19)/((-152)/(-32))*(-4)/(-16). Which is smaller: d or -13/41?
d
Suppose 1091 = 3*d + 5*i + 3130, -5*d - 3*i = 3377. Let s = -960 - d. Is -286 at most s?
False
Suppose 44 = 5*m - m. Suppose 6*z = -z - m*z. Let y = -1/3 - 1/3. Which is smaller: z or y?
y
Suppose -3*q - q = -0*q - 12*q. Which is smaller: q or -36/269?
-36/269
Let j = 22 + -24. Let d = 2 + j. Let b = -408 + 2455/6. Is d bigger than b?
False
Let y = -4276.8 - -4278. Is 18 > y?
True
Let u = -80 + 51. Let t = u + -60. Is t greater than or equal to -90?
True
Let n be (-3 - -2 - -8) + (-75)/(-5) + -22. Is n < -1/1938?
False
Suppose 742*m - 107 = 743*m - 3*u, 5*u - 221 = 2*m. Is -142 > m?
False
Let s = 21473/331638 - 10/1783. Which is smaller: -1 or s?
-1
Let g be (48/(-396))/(2/(-11)). Which is bigger: g or -483?
g
Let d = -407 + 408. Which is smaller: 1/3161 or d?
1/3161
Suppose -5*j - 240 = -0*j + 5*m, 3*m = j + 36. Let p be (243/j)/((-2)/10). Suppose 0 = -g + 21 - p. Which is greater: -24/5 or g?
-24/5
Suppose 20*q = 18*q + 192. Let d = -69 + q. Suppose -11*k = 5 - d. Is k <= 2?
True
Let f = 9304 + -9236. Is 343/5 at least as big as f?
True
Let z be 2 - (-20)/(-12)*3. Let v = 0.891 - -0.109. Is z not equal to v?
True
Suppose -39*g + 4 = -191. Let h be (-120)/1164*(-4)/g. Which is smaller: 0 or h?
0
Let v be (1 + -5)*15/(-4). Let q = 1156 + -1110. Suppose -4*c + q = 4*i - 26, 5*i = -2*c + 78. Which is smaller: v or i?
i
Let x be (-1487)/1*(-2 - (1 - (-1)/(-1))). Is 2972 greater than x?
False
Let a(i) = 103*i - 3398. Let z be a(33). Let w = -66 - 97. Which is greater: w or z?
z
Let c = -4 + -2. Let g be 1/(-3) - 2/c. Let u be (1620/(-7695))/(10 - 0). Do g and u have the same value?
False
Let b = -9397 + 9562. Which is bigger: b or 1329/8?
1329/8
Let t be -5 + 2 + (50 - 1) + -2. Suppose 0 = -w - 14 + t. Suppose -27*g + w = -30*g. Which is smaller: -9 or g?
g
Let y = 0.1 - 0. Let c = 20.188411 - 0.088411. Which is smaller: y or c?
y
Let m = -3733 - -3732. Is -0.01645 greater than m?
True
Let v(j) = -j**3 - 2*j**2 - 2. Let f be 4320/50 - 4/10. Suppose 3*g - f + 92 = 0. Let z be v(g). Is -6 <= z?
True
Suppose -371 + 146 = -5*u. Let f be 18/u*(-75)/(-110). Let g = 0.3 - 3.3. Are f and g nonequal?
True
Suppose n + 2*y = -112, -5*n - y - 516 = 17. Suppose -2*x - 187 = 23. Let g = n - x. Which is greater: g or 2/75?
2/75
Let g be 1711239/(-571449) + (-3)/(4/(-4)). Let z = g + -1/797. Let w = z + 467/2629. Which is bigger: -1/19 or w?
w
Let k be ((-837)/(-124))/27*352. Suppose 0 = v + 4*c - 109, -5*v - 5*c + 114 = -4*v. Which is greater: v or k?
v
Let q = -48863/39 - -1253. Suppose 11 = 5*m + 6. Suppose -a = s + 5 - m, 3*s = a + 8. Is s less than or equal to q?
False
Let o = 44 - 42. Let z be ((-28)/6)/o + 9/3. Which is smaller: z or -1.9?
-1.9
Suppose -25*j + 11750 = 49725. Is j < -1519?
False
Let g be ((-8104)/10)/(150/125). Let d(s) = -44*s**2 + 7*s - 6. Let x be d(4). Let f = x - g. Which is smaller: f or -8?
-8
Let q be (-1 - 386/4)/(250/(-20) + 7). Which is smaller: q or 18?
q
Let t = -6983 + 7543. Is 563 less than or equal to t?
False
Let o = 5444.9 - 5445. Which is smaller: -294.4 or o?
-294.4
Let a(t) = -367*t - 22. Let o be a(-1). Let l = o + -231. Is 574/5 >= l?
True
Let d = -81893 + 348782289/4259. Is -1 at most d?
True
Let r(t) = t**2 - 19*t + 128. Let i be r(22). Let u = i - 195. Is -660 greater than or equal to u?
False
Suppose 77*m - 12 = 46*m + 34*m. Is 411 != m?
True
Let p(q) = -2*q - 3*q + 2*q - q**3 - 12 + 0*q + 7*q**2. Let v be p(6). Which is smaller: v or 16?
v
Let k = -772032/269 - -2870. Let i = -5 - -7. Suppose i*t - t = 0. Which is smaller: k or t?
k
Let m = -0.0901 - -0.0161. Let a = 3.5 + -1.5. Which is greater: a or m?
a
Let j be (48/(-5))/((-2)/25). Let n = j - 1439/12. Which is greater: -1 or n?
n
Suppose -27*m + 31*m + 128 = 0. Let l = m + 18. Which is smaller: l or -38/3?
l
Suppose -2*w - 114 = 32. Let b = 13.693 + -13.693. Do b and w have the same value?
False
Suppose 3*k = -4*l + 28, -k + 2*l + 12 = 4*k. Suppose k*c + 3 = -1. Let p be c/4 - (195/(-20))/3. Which is smaller: 23/6 or p?
p
Let w = -57/10 - -31/5. Let v be (-1 + 0)/((-1)/58). Let c = v - 57. Which is greater: w or c?
c
Let n = -14.9991 - -15.06. Let j = -327.66 + 327.66. Is n at least as big as j?
True
Let d = 18 + -15.8. Let u = d - 3.2. Let x = -0.58 - -0.37. Is x > u?
True
Let k(b) = 2*b**2 - 5*b - 101. Let y(i) = i**2 - 10*i - 32. Let d be y(12). Let f be k(d). Let m(j) = 67*j**3 + j**2 - j. Let x be m(1). Is f smaller than x?
False
Suppose -49*y + 172*y + 23*y + 30076 = 0. Is y greater than -212?
True
Let q = -287/13 - -46129/2093. Suppose -3*w + 4*z - 30 = -10, -2*w + 2*z - 10 = 0. Is q at most w?
True
Let h be 10486/15750 + 2/(-3). Which is smaller: -1 or h?
-1
Suppose -145*p - 1367 = -14852. Let n be -46*(2 + -2 - 2). Which is smaller: p or n?
n
Let n(m) = -m**3 + 6*m**2 - m + 7. Let p be n(6). Suppose v - 3*v - 204 = -2*f, 0 = -f. Let t be (-3)/(-10)*85/v. Which is smaller: t or p?
t
Let q be (-18)/(-8) + 3*(-3)/(-12). Let b be 4/10*(-23 + q) - 1. Let x be -1*(-8)/(-6)*b/(-51). Which is bigger: -1 or x?
x
Let t = -2.8662 + -0.0338. Which is greater: t or 5.4?
5.4
Suppose 42 = -18*c + 204. Let n(f) = 2*f**3 - 22*f**2 + 4*f + 17. Let b be n(c). Is -271 smaller than b?
False
Let u be (-1)/2*(3 - 3). Let g(z) = -95*z - 41. Let j be g(-12). Let a = j + -14297/13. Which is smaller: u or a?
a
Let h = 42493/42 + -5604/7. Which is smaller: 212 or h?
h
Let w be 4/(-12)*-4*-3. Let m be (6/w)/(0 - (-9)/(-186)). Let u = 286 + -254. Which is smaller: m or u?
m
Let c be 92/(-12) - (3 + (726/18)/(-11)). Suppose -7*f + 4*f + 12 = 0. Let b be f/18 + (-4)/(-9). Which is greater: c or b?
b
Let h = -8.816 - -9.3. Let r = h - 9.484. Is 0.37 >= r?
True
Let p = 62 - 76. Let j = p - -57. Is 2/5 at least as big as j?
False
Let u = 911 - -794. Which is smaller: 1702 or u?
1702
Let f(h) = -h**2 + 13*h + 1. Let r be f(10). Let a(k) = k**3 - 2*k + 34. Let v be a(0). Let j be (7 + -8 + v)/1. Do j and r have different values?
True
Suppose 0 = 2*n + 3*n - 5*r - 1040, -441 = -2*n - 3*r. Suppose 4*p = -n - 147. Let x = -93 - p. Does -4 = x?
False
Let j(x) be the second derivative of x**5/5 - x**4/6 + x**3/3 - x**2/2 - x. Let b be j(1). Suppose -4*m - 512 + 528 = 0. Are m and b equal?
False
Let n = -71/2 + 36. Let h = n - 23/58. Is h bigger than -1?
True
Suppose 15*n - 1416 = -201. Is 74 bigger than n?
False
Let w be 1/3 + (-2705720)/(-9660). Are 281 and w nonequal?
True
Let a(o) = -205*o**2 - 20*o + 88. Let y be a(5). Which is smaller: 2 or y?
y
Suppose -s - 16 = -m + 4*s, -5*s - 12 = 3*m. Let y(b) = -12*b - 57. Suppose 0 = -26*q + 35*q + 45. Let t be y(q). Which is greater: m or t?
t
Let m be (-5)/(-2) + (-1548)/(-24). Let n = -68 + m. Which is smaller: -5/7 or n?
n
Suppose 17*h + 33*h = 9*h - 145*h. Is 2/5783 at most as big as h?
False
Suppose -5*r + 2*m - 10238 = 0, -4096 = -9*r + 11*r - m. Is r < -2046?
False
Let w = -1942 - -3140. Which is bigger: w or 1199?
1199
Let w(x) = x**3 + x**2 + x - 5. Let z be 1/(-4) - (-5)/20. Let i be w(z). Let q = -4 - i. Is 1/19 < q?
True
Let k be 1 + -1 - 0/(-80). Which is smaller: 1/3194 or k?
k
Let r = 8/2467 + 364900/66609. Which is greater: 4 or r?
r
Suppos