j**2 + 1. Let o be y(2). Which is smaller: o or t?
o
Suppose -2*d - 3 = -5*d. Let y be ((-9)/3)/(d/(-3)). Let n = y - 13. Is -42/11 <= n?
False
Let u = -174 - -152. Are -21 and u nonequal?
True
Suppose 20 = -2*h - 3*h. Let i be (-7)/3*585/325. Which is bigger: h or i?
h
Let u be 7/(-1820)*1996 - 27/(-45). Which is smaller: u or 0.02?
u
Suppose -21 - 14 = 35*y. Let r be -15 - -9*(y/3)/1. Let f be 4/6 + 8/6. Is f at least as big as r?
True
Let v = 292093 - 3119845327/10681. Which is smaller: v or 1?
v
Let o(l) = l**2 + 3*l - 1. Let u be (33/(-9))/((-6)/108). Let z be 88/u - 1/3. Let f be o(z). Is 11/6 not equal to f?
True
Let n = -455 - -483. Let y(s) = s**2 - 24*s - 112. Let g be y(n). Which is bigger: g or 2/315?
2/315
Let c = -11799.6 + 11780. Are 9 and c nonequal?
True
Let v = -838 - -268. Let r be ((-8)/(-12))/(v/18). Which is smaller: -0.3 or r?
-0.3
Let a be ((-2)/(-1))/(5/(-40)). Let p be -4 - ((-150)/a)/((-54)/24). Which is greater: -2.6 or p?
p
Let p(a) = a**3 - 7*a**2 + 4*a + 3. Let v be p(6). Let g(h) = -h**2 - 20*h - 92. Let q be g(v). Is q at most as big as 16?
True
Let x be (24 + 60/(-5))*(-666)/(-1232). Let l = -69/11 + x. Which is bigger: l or -1?
l
Suppose -22*r + 18*r + 2518 = -d, -2514 = -4*r + 3*d. Is r less than -7?
False
Let s be 4 + (-15)/3 + 611. Let r be (-1234563)/(-2024) + 3/24. Let g = r - s. Which is bigger: 0 or g?
g
Let w = -29.15 - -29. Let d = 0.166 + w. Let l = -0.244 + -0.756. Which is smaller: l or d?
l
Let b(a) be the first derivative of a**4/4 - 4*a**3/3 - 6*a**2 + a + 16. Let h be b(-5). Let c = -1146/7 - h. Is c >= 3?
False
Let z = 565/28 + -101/7. Let j = -9/2 + z. Suppose 0 = 8*q - 11 - 21. Is q less than j?
False
Suppose 9*t - 1771 = 2531. Suppose -6*r = 946 - t. Which is bigger: r or -80?
r
Let j be (236/(-3))/(-1*8/12). Suppose y - 120 = -l, 2*l - 244 = -141*y + 138*y. Is j less than or equal to l?
False
Let o = 354451.0236 - 354451. Let q = 1 - 2. Is q greater than or equal to o?
False
Let l = 20.8914 - -0.0086. Let x = -396151 + 396153. Are l and x unequal?
True
Let h(g) = 121*g**2 + 101*g - 19. Let y be h(-1). Let d = -164/35 - -30/7. Which is greater: d or y?
y
Let l = 0.0958 - 0.0325. Let x = l + -18.0633. Is x <= -0.1?
True
Let k = 3 + 1. Suppose 688 + 242 = 186*g. Are k and g nonequal?
True
Let o = -595 - -511. Suppose 3*q + 266 = 5*c, 2*q - 4*c + 3*c + 175 = 0. Which is smaller: o or q?
q
Suppose -3*b + 8 = 4*t, -3*b - t = -4*t + 6. Let k be b - 1/2*0. Let u(f) = 11*f - 331. Let z be u(30). Which is greater: z or k?
k
Let z = 4152.8 + -4153. Is 287 bigger than z?
True
Let k = 26 + -26. Let f = 25.1 - -162.9. Let h = -152 + f. Is h less than or equal to k?
False
Let g be (15/3 + -193)/((-3)/(-51)). Is g at most as big as -3194?
True
Let b = 24108 + -13770. Do b and 10337 have the same value?
False
Let j = 8 + -17. Suppose -3*t = -4*w + t + 12, -2*w + 4*t = -12. Suppose -13*o + 8*o = -4*m + 1, 2*m - 5*o - 13 = w. Is m not equal to j?
True
Let v = 0.09419 - 2.09419. Is v > -1073?
True
Let a = -54 - 515. Let m = a - -568.9. Is -0.033 >= m?
True
Let d = -16 - -14.2. Let q = -7.55 - 329.45. Let l = q + 337. Is d smaller than l?
True
Let h(r) = -r**2 - 15*r - 45. Let t be h(-11). Let i(m) = -66*m**2 + 2. Let o be i(t). Let k = o - -62. Is k bigger than -5/8?
False
Let l be 3*1 - (-4)/12*-9. Let y be (16 + -16)/(4/(l - 2)). Which is smaller: y or -151?
-151
Let j = 627 - 635. Let l be 24/3 + j - 54. Which is smaller: l or 2?
l
Let j = -676 - -589. Let d = 48.7 + j. Which is smaller: 0 or d?
d
Suppose -3*l + 7 = -44. Suppose 2*y - l = 4*o + 3*y, -4*y + 12 = 0. Let m(h) = 86*h - 688. Let g be m(8). Is o greater than g?
False
Let b be -1 + 2 - 126/(-28 - -14). Which is smaller: b or -79/3?
-79/3
Let t be (-115269)/(-105) + 12/10 + (-4 - -2). Which is smaller: 8 or t?
8
Let c be (-835572)/(-252) - 150/105. Are 3313 and c unequal?
True
Let n = 6925 + -283931/41. Is 0 less than n?
False
Let f = -0.1 - -0.8. Let p = f - -9.3. Let a = 739/3366 - -1/374. Is p <= a?
False
Let a be 20/(-8)*8/1410. Let r(i) = -i**2 + 17*i - 45. Let s be r(14). Let o be (-2 - -2)*(-3)/s. Which is smaller: a or o?
a
Let i(z) = z**3 - 7*z**2 - 3. Let h be i(7). Let t = -23013 - -437216/19. Which is smaller: t or h?
h
Let r be (18/63)/(1162/(-1166) - -1). Let g = r - 417/5. Is -1 bigger than g?
False
Let a = 8.94 + 0.06. Let p = a + -5. Let h = 6.3604 - 15.3604. Which is smaller: p or h?
h
Let o = 21812 + -21688. Which is bigger: 29 or o?
o
Suppose -2*p - 1058 = -t, -6*p + t + 1050 = -8*p. Let z be 36*17/(p/2). Which is greater: -3 or z?
z
Suppose u + 20 + 48 = 0. Suppose -4*x - 893 + 2825 = 0. Suppose 0 = -9*v + 2*v - x. Which is greater: u or v?
u
Let i = 19.6 - 20.7. Which is greater: i or -1.2?
i
Let b(i) = i**3 - 3*i**2 - 3*i. Let x be b(4). Let h be (-2)/10 + 2/x. Let a(f) = -66*f - 9042. Let j be a(-137). Which is bigger: h or j?
h
Let v = 41.51 - -0.49. Let o = v + -41.9. Let f = -55/12 + 1/4. Is f at least o?
False
Suppose 0 = 34*l - 70*l - 720. Suppose 5*k = -0*k - 105. Which is greater: k or l?
l
Let s = 8751 - 9463. Is -714 greater than s?
False
Let s(q) be the first derivative of -q**4/4 + q**3/6 - 25*q**2/2 - 24. Let n(m) be the second derivative of s(m). Let o be n(-3). Which is smaller: o or 21?
o
Let s be (10/30)/((-20)/12) - 26556/(-780). Which is bigger: -1/2 or s?
s
Suppose -z = -3*z + 4. Let q(p) = -p**2 + 9*p - 12. Let n be q(7). Suppose 4*k = n*k + z. Which is smaller: k or 2/15?
2/15
Suppose -98*l = -160*l - 82894. Is l at least as big as -1345?
True
Let w(o) = -2*o**2 - 22*o + 27. Let g be w(-12). Suppose -5*t + 0 = 5*d - 10, 2*t = g*d + 9. Is 2/159 > d?
True
Let b be 14/(-1)*(2/27*9)/(-2). Let n be 45/(-6)*(-4)/24. Let m = 1 - n. Is b at most as big as m?
False
Let m be (-3)/45 + 186/90. Let k(j) = j**2 - 6*j + 11. Let p be k(m). Which is bigger: p or 6?
6
Let r be (11*1)/((-91)/(-884)*17). Suppose 3*p = p + 14. Is r at most p?
True
Let m = -41.9 - 139.1. Let w = -181.22 - m. Is w greater than or equal to 0.2?
False
Suppose -16*n + 14*n - 5*i - 28 = 0, -2*n + 8*i = -50. Which is greater: n or 15/1552?
n
Suppose 2*i = -4, 6*w - 44 = w + 2*i. Let j(g) be the first derivative of g**4/4 - 3*g**3 + 9*g**2/2 - 9*g + 169. Let h be j(w). Which is smaller: h or -3/67?
h
Let c = 1096 - 1150. Is c at most as big as 7/9?
True
Let y = 8130882/116069 - 2592/37. Which is greater: y or 1?
1
Let g be 2/339*((-770)/(-260) - 3). Which is smaller: g or 0?
g
Suppose -5*h = 2*k + 1653, -33*h - 1023 = -30*h - 4*k. Which is bigger: h or -331?
-331
Let k be (38/95)/(1/(-10)). Let f(t) = -t**2 - 3*t - 11. Let u be f(k). Is u > -5?
False
Let h = -0.04192 - 6.95808. Which is smaller: -180 or h?
-180
Let d = -2/245 + 1002/2695. Let u be (20/(-40))/(1/2). Is u at least d?
False
Let c = -7.667 - -0.067. Let l = -7.62 - c. Let w = 12 + -11. Is w greater than l?
True
Let k = 18553/420 + 101/60. Which is smaller: -1 or k?
-1
Let x be (210/4)/(-3)*(-27)/(-855). Is 0.34 at most as big as x?
False
Suppose z + 51 + 10 = 4*r, 3*z + 15 = 0. Suppose 76 = -r*y + 12*y. Which is smaller: y or -40?
-40
Let o = -5095 - -4612. Which is smaller: o or -482?
o
Suppose -91*l + 95*l - 4*t + 104 = 0, 5*l - 3*t + 142 = 0. Which is smaller: l or 2/23?
l
Let z = 347 - 308. Let y = -41.5 + z. Which is smaller: -2 or y?
y
Let q = 181.37 + -186.67. Is -0.063 < q?
False
Let m be -1*(-6 - (-136)/22 - (-14142)/22). Is m > -641?
False
Let r be 4 + (-30)/1503*(-2994)/(-15). Do -1 and r have the same value?
False
Let h be (-1*97/(-3))/((-3)/9). Which is bigger: h or -84?
-84
Let j = -194 + 304. Let u = 56050 - 55939. Which is bigger: u or j?
u
Let s = -356/15 - -152841/6440. Is s smaller than -1?
False
Let w = 642 + -5217/8. Suppose -31 = 16*b + 129. Which is greater: w or b?
b
Let y(h) = h**3 + 7*h**2 + h + 8. Let n be y(-7). Let w(g) = -54*g - 1. Let q be w(n). Let v = 52 + q. Which is smaller: -18 or v?
-18
Suppose -10640 = -5*t - 4*m, -16*t = -15*t + m - 2128. Is t greater than or equal to 2128?
True
Suppose -50 = -92*c + 82*c. Suppose 7*z - 4*z + c*z = 0. Let a be (-9)/(-6)*(-4)/(-42). Is a != z?
True
Let k be (-28230)/36 - (-16)/(-12). Let w = k - -758. Which is greater: w or -29?
w
Let s = 165988976/1208207 + 6/92939. Is s greater than or equal to 137?
True
L