 Is -105 greater than j?
False
Let p be 8/(-12) - 16/12. Let s be (-3 - -6)/(1*p). Which is smaller: -1 or s?
s
Let b = 233413867/36 - 6484296. Let l = -2293/4 - b. Which is greater: l or 3?
l
Let l be 3 - 0 - 2/2. Suppose 34 = -2*k - 3*k + 3*s, 0 = -3*k + 2*s - 21. Let i be ((-70)/(-6))/k - -3. Which is smaller: i or l?
i
Suppose 7 = -5*y + 4*y - 2*i, 12 = -3*i. Let q = -57 - -37. Let z be (q/(-40))/(2*(-2)/(-24)). Is y not equal to z?
True
Let g(n) = -74*n**2 + 31. Let h be g(-3). Which is bigger: -637 or h?
h
Let h be 13 - 1*(-1 + 0). Let j be (3/2)/((-5)/(-10)). Suppose 0 = 5*t - s - h, -2*t - s - 6 = -j*t. Which is greater: 5 or t?
5
Let n = -1 + 4. Which is bigger: 1.5 or n?
n
Let f = 283/4 + -361/4. Let h = f + 17. Let k = h + 37/14. Which is smaller: k or 1?
k
Let t be (-6)/69 - 1920/(-39008). Let u = 4 - 5. Which is smaller: u or t?
u
Let i = 444443/25 - 17780. Which is smaller: -3 or i?
-3
Let y = 54 - 91. Let h = y - -39. Let w be 0*(1/2)/1. Does h = w?
False
Suppose -11*b = -6*b + 40. Let u be (-6)/b*(-24)/(-9). Suppose -5*l = 0, 2*s - 7*l = -2*l + 6. Is s < u?
False
Let d be 39 + (1 - (0/3)/4). Let y = d - 42. Is 2 greater than y?
True
Let h(s) = s**3 + 10*s**2 - 3*s + 18. Let c be h(-9). Which is bigger: 132 or c?
132
Let o(a) = a**2 - 10*a + 5. Let v be o(10). Suppose -w - 4 = -v. Let y = w + 10. Is y less than 11?
False
Let t = -191 - -337. Is t equal to 147?
False
Let g be (-150)/(-35) - (-4)/(-14). Let r = 18 - g. Let k = r - 27. Are -13 and k equal?
True
Suppose j + 5 - 14 = 0. Is j at most as big as -2/3?
False
Suppose -15 = -5*o - 35, x + o = -4. Is x less than 1/133?
True
Suppose -49 + 163 = 2*p. Which is bigger: -4 or p?
p
Let f be ((-4)/(-3))/(2/(-27)). Let k be (-4 - 0)*f/(-8). Let y = k - -13. Which is bigger: y or -1?
y
Let g(x) = -x - 10. Let t be g(-10). Let j = 7016/17 - 1238/3. Which is greater: j or t?
j
Suppose -54 = 5*t - 11*t. Let q(o) = -2*o**2 + 19*o - 13. Let l be q(t). Is -6 equal to l?
False
Let o(s) = 3*s + 19. Let i be o(-6). Which is smaller: i or 9/4?
i
Suppose 7*n + 2*o - 2 = 6*n, 0 = -4*n - 2*o + 20. Suppose 0 = -5*x + s + 11, -n = -x + 3*x - 3*s. Suppose -17*q - 4 = -18*q. Which is smaller: x or q?
x
Suppose 3*v - 6*v - 6 = 0. Suppose 5*j + 0*j = 2*o - 272, -16 = 4*j. Let z be 20/(-6) - 7*12/o. Which is smaller: z or v?
z
Let b = 246 - 163. Let m = 93 - b. Which is smaller: -1/9 or m?
-1/9
Let n(a) = -6*a + 6. Let j be n(12). Which is bigger: j or -67?
j
Let s(p) = -49*p - 129. Let q be s(0). Are -129 and q nonequal?
False
Let v = -1 + 5. Suppose o = -15 + v. Is o smaller than 0?
True
Let a(n) = -n**3 - 10*n**2 + 13*n - 9. Let g be a(-11). Are g and -158/5 equal?
False
Let z = 0.36 - -0.14. Let y = 1 + -3/5. Which is bigger: z or y?
z
Let y be (19/190)/(4/(-40)). Let t = 284 - 3120/11. Which is smaller: y or t?
y
Let p be ((-4)/900*5)/((-2)/(-6)). Is 13 equal to p?
False
Let t(x) = x**3 - 5*x**2 - 14*x - 28. Let l be t(8). Suppose 0 = 5*o + 2*u - 85, -o = 2*o + u - l. Is o not equal to 21?
True
Let n = -19.55 + 19.35. Let k be (-2)/3 - (0 + -2). Which is smaller: k or n?
n
Let o be (-10)/(-3)*(-24)/(-16). Suppose 11 = -o*h + 26. Let n be ((-2)/h)/(56/21). Is 1/4 bigger than n?
True
Let k(m) = m**2 + 9*m + 7. Suppose -v - 1 - 1 = 4*s, 2 = s. Let p be k(v). Which is smaller: 18 or p?
p
Let b(m) = 7*m + 5. Let l be b(0). Suppose 0 = w + 3*a - 3, -10 - l = 3*a. Is w greater than 18?
False
Let i = -139 + 144. Is i greater than or equal to 1?
True
Let p be 16/1*(0 - (0 + -1)). Let x = 23 - 11. Is x less than or equal to p?
True
Let b(d) = -d**2 - 6*d + 6. Let m be b(-6). Let c be ((-9)/6)/(m/32). Let s be 15/10*c/(-15). Is -2/5 at most s?
True
Let f = 591 - 1600. Which is smaller: f or -1010?
-1010
Let f = 1359/1796 - 3/449. Let u be (0 + 1)/(1 + 0). Which is smaller: u or f?
f
Let l(r) be the second derivative of r**4/12 - 3*r**3/2 - 12*r**2 + 9*r. Let m be l(11). Let i(p) = p. Let x be i(2). Which is bigger: x or m?
x
Let f be 4/(2/9 - 140/63). Let d be -1 + 1 - 1 - 34/f. Are 19 and d unequal?
True
Let j = 117 - 117.141. Let f = j - -1.141. Is f at least 1/29?
True
Let v(s) = -s + 3. Let l(i) = i**3 - i + 1. Let y be l(-2). Let t be v(y). Let f be -12 + t + 67/17. Which is bigger: f or -1?
f
Suppose -1719*h + 56 = -1711*h. Are h and 7 non-equal?
False
Suppose -w = -5*w + 260. Let a = w + -30. Let q be (-10)/4*(-28)/a. Are 4 and q equal?
False
Let c(d) = -8*d + 80. Let u be c(16). Is -0.07 > u?
True
Let u = -63 + 11. Let s(c) = -c**3 - 9*c**2 - 2*c - 2. Let k be s(-8). Are u and k nonequal?
True
Let p be (-8 + -2)*3/(54/3). Which is bigger: -2 or p?
p
Let h = -1.02 + 3.47. Let p = 0.35 - h. Let g = 4.9 - p. Which is smaller: 0 or g?
0
Let u = -1.7 - 0.3. Let m be -4 - (-75)/30 - (-23)/18. Which is bigger: u or m?
m
Let s = 2.107 + -10.107. Let n(j) = 3*j + 8. Let l(v) = -8*v - 24. Let i(d) = -4*l(d) - 11*n(d). Let o be i(7). Does o = s?
False
Let i = 0.12 - 0.02. Which is bigger: 1.89 or i?
1.89
Let z be (-7758)/72 - 1/4. Which is smaller: -115 or z?
-115
Let m = -212.45 + 201. Let u = m + -0.55. Is u < 0.3?
True
Let i be (3/(-1) - -4)*-2. Let r be ((-3)/i)/((35/(-14))/(-5)). Let o be (1 - 1) + (-5 - -2). Is o at most as big as r?
True
Let h(i) = -i**3 - 3*i**2 - 3*i - 2. Let o = -2 + 0. Let r be h(o). Suppose -6 = -2*f - 2*k, -6*f = -4*f - k + 9. Which is smaller: f or r?
f
Suppose 4*f - 28 = -4*r, -f - 8*r + 3*r = -15. Which is greater: f or 18?
18
Let f = -4135/2 - -2002. Let g = f + 65. Is 26 equal to g?
False
Let r = -159/4 + 40. Let s = 7 - 12. Let w be 3/s - 15/(-25). Is w at most r?
True
Let w be -5 - (0 + -6) - -2. Is w at least -12?
True
Let y(u) = 2*u + 8. Let r be y(-5). Let c = 15.91 + -16. Let x = c - 0.01. Which is smaller: x or r?
r
Let l(j) = j**3 + 18*j**2 - j - 4. Let y be l(-18). Which is greater: y or 23?
23
Let q(l) = -21*l - 20. Let o be q(-1). Let r be 3274/(-9) - (-6)/(-9). Let s = 365 + r. Which is smaller: o or s?
s
Let s = 2321/7 - 331. Suppose -141 = -2*f - 5*y, -y - 249 = -3*f + 4*y. Let o = f + -236/3. Which is bigger: s or o?
s
Let u be 27/2 + (-18)/12. Suppose -4*y + 0 = u. Which is smaller: y or -12/7?
y
Let s be (5*(-3)/(-1))/1. Let m = 242 - 227. Are s and m nonequal?
False
Suppose 5*v = 5*l - 634 - 1241, 0 = -5*l - 3*v + 1875. Let y be 30/l*(-30)/(-8). Suppose 10*r = 5*r + 5. Which is bigger: y or r?
r
Let y = -49285/6 - -7913. Let b = y - -300. Is -1 smaller than b?
False
Let d = 602 - 607. Which is smaller: d or 9?
d
Let p be (-524)/(-1310)*(-1915)/(-2). Is 386 greater than p?
True
Suppose 0 = 5*f - 54 - 6. Suppose 0 = 3*m - 7*m - f. Let q = m - -3. Which is greater: q or -1/7?
q
Suppose c - 5 = -5*g, g + 1 = -2*c + 2*g. Suppose c = 4*b - 16 - 8. Let t be 4/2 - -3 - -1. Do t and b have different values?
False
Suppose 2*b + 6*i + 13 = 3*i, -2 = b - 3*i. Is -84/23 less than or equal to b?
False
Let n = 124 + -61. Let d = 7539.27 - 7602. Let y = d + n. Is 0 smaller than y?
True
Let y = -7 + 14. Let n = 219 + -181.9. Let r = n + -37. Which is smaller: y or r?
r
Let p(d) = -17*d + 7. Let u be p(1). Let o be 692/60 - (18/u + 2). Which is bigger: o or 11?
o
Let f = -2306/11 + 210. Suppose j - 4*i = 3*j - 10, 2*j - 3*i + 4 = 0. Is f >= j?
False
Let d be 58/232*-1*(-1396)/1. Are d and 348 nonequal?
True
Let i be 4/18 + (-3871844)/(-2556). Let s = i - 1515. Suppose 0 = -104*t + 103*t. Which is smaller: t or s?
t
Let g = -4 - -3. Is g at most as big as -2/229?
True
Let n be 1/3*6/(-8). Let m be (3/((-18)/(-8)))/(8/12). Let o(u) = u**3 - 3*u**2 + u. Let r be o(m). Are n and r nonequal?
True
Let m be (2/4)/(1/10). Suppose 0 = m*s - s - 20. Let w = -2 - -6. Is w < s?
True
Let s be -12*(-2 - 30/(-5)). Let n = -84 + s. Let b be 696/n + 4*1. Is b at least -1?
False
Suppose 0 = -x - 2*x + 33. Let y be (0 + -1)*13*(-3 - -4). Let d(s) = s**2 + 11*s - 15. Let i be d(y). Is i > x?
False
Let z = -147 - -218. Let w = z - 71. Is 10 at most as big as w?
False
Suppose 13*c - 8*c + 5 = 0. Which is smaller: c or 1/106?
c
Let d be (-35 + 34)*1/(-4). Suppose -3 = -t + 2*t. Let n be (t/5)/((-6)/8). Which is greater: d or n?
n
Let j = 53 + -52.63. Let b = j - 13.37. Is b greater than 1/4?
False
Suppose 0 = 7*y + 173 + 247. Let v be (9/15)/((-18)/y). Which is smaller: 10/9 or v?
10/9
Let r(p)