 smaller: 3 or n?
n
Let q(o) = 12*o**2 + 15*o + 50. Let u be q(-7). Are 534 and u unequal?
True
Let q = -38626/165 - -2564/33. Is -155 less than q?
False
Suppose -3*k - 5*y = 202, 0*k = -4*k + y - 277. Which is smaller: k or -54?
k
Suppose -3*d - 3 = 0, -3*h = 2*d - 56 + 19. Let n be (h + -3)/(3/24). Suppose 10 = 5*w + n. Which is smaller: 0 or w?
w
Let y(s) = 2 + 2*s + 0*s + 2. Let v be y(-3). Let k be (21/84)/(2/(-8)). Is v != k?
True
Suppose 12*i - 3*i - 54 = 0. Suppose -19 = i*s - 5*s. Is s >= -21?
True
Suppose -2*l + 5*h - 12 = 0, 0*h + 15 = -5*l + 5*h. Is l smaller than -8/9?
True
Let o be (-3 - 2) + 5 + 15/(-3020). Is -1 at least o?
False
Let k = 67 - 62. Let g = 0.8 - -0.2. Which is greater: k or g?
k
Let j(t) = -t + 5. Let g be j(4). Let q be 1/(-7)*g*-7. Is q > -33?
True
Let g = 4 - 26. Let l be (1/2)/(g/(-8)). Let t = -24564 - -24565. Do l and t have different values?
True
Let l be 10/(-25) + (-12)/(-5). Let b = 85 - 69. Suppose -4*c - 4 = b, -m = l*c - 6. Is 15 bigger than m?
False
Let n(s) = -2*s**2 - 8*s + 1. Let q be n(-4). Is q > 7?
False
Let b be (12/10)/((-15)/(-50)). Suppose 2*p - 26 = -b*q, p = q + 2*p - 8. Suppose -5*r + d + 1 + 14 = 0, 5*r + d = q. Is r smaller than 3?
True
Let g = 395 + -866. Which is smaller: -469 or g?
g
Let r = 122 - 86. Let x = r + -18. Which is bigger: 0 or x?
x
Let i = -3226/9 + 358. Which is smaller: i or 12?
i
Let a be 60/15 - (-723)/(-180). Let s be 2/9 - (-10)/(-45). Is s bigger than a?
True
Let j(b) = 4*b**2 + 2*b - 4. Let q(i) = 5*i**2 + 3*i - 5. Let c(r) = -4*j(r) + 3*q(r). Let w be c(3). Suppose -3*h + 64 = -h + 64. Which is smaller: h or w?
w
Let n be (-2 - -3)*(-1 + 1). Suppose n*o = 3*o. Let d = 1565/6 - 261. Which is smaller: d or o?
d
Let s be 46 - 51 - 1114/(-222). Is 9 smaller than s?
False
Suppose -3*o - 5684 = -203870. Let f = o - 5615141/85. Let z = f + -36/17. Which is bigger: -2 or z?
z
Let z(c) = c**3 + 13*c**2 + 13*c + 12. Let l be z(-12). Suppose 4*p - 8 = -l*p. Suppose -p*m + 4 = -4*q, -2*m - 5*q = -8 + 4. Is m less than 2?
False
Let a(j) = -6*j + 17*j**2 - 8*j**2 - 605 + 645 + j**3. Let i be a(-10). Let m(x) = -x**3 - x**2 + 3*x + 1. Let b be m(-2). Is b <= i?
True
Let w(l) = l**2 - 2. Let z be w(2). Suppose -4*h + z*b = 12, 5*h + 0*b + 2*b = 3. Suppose 13*s - 198 = -5*s. Do s and h have different values?
True
Suppose -16*j - 16 = -20*j. Let r be (8/2)/j - (0 + 0). Which is smaller: -1/36 or r?
-1/36
Let d = 10 + -6. Suppose -1 - 7 = -d*l. Let i = -103 + 102. Which is bigger: l or i?
l
Let k be (-1456)/555646*(-2)/(-8). Which is smaller: 1/4 or k?
k
Let z be 1/(19/37) + -2. Suppose 3 = k + 1. Let w be 0/7*(-1 + k). Which is smaller: z or w?
z
Let g = -19.07 - -19. Let z = 1/24 - 3/8. Which is smaller: g or z?
z
Let v be (-1015 + (-1 - -3))/(-3 + -4). Let l = v - 145. Which is smaller: -72 or l?
-72
Suppose -2925 = 4*b - 2901. Is b less than 0.022?
True
Let k = 72 + -80. Let l be (4/k)/(4/(-104)). Which is greater: l or -1?
l
Let n = -3.41 + -3.76. Let h = n - -7. Let s = -0.07 - h. Which is bigger: s or -2/13?
s
Suppose 0 = -3*t + 8 + 1. Let k = 14 - t. Let s = 5 - k. Which is smaller: -7 or s?
-7
Suppose 3*j + 11 = 11. Suppose 6 = 3*q, w + 4*w - q + 7 = j. Let k be 1 + (0 - 2) + -6. Is k >= w?
False
Let v(r) = r**2 + 3*r - 7. Let f be v(7). Let q = f + -93. Is q at most -29?
True
Suppose -36 = -a - 43. Let t = -387 + 1162/3. Which is bigger: t or a?
t
Let j be (132/(-30) - -4)/((-1)/5). Suppose -81 = 2*k - y, -5*k + j*y = 133 + 71. Is -42 >= k?
True
Let l = 2.7 - 3.06. Let d = -3.44 + l. Are d and -1 equal?
False
Let p(g) = 3*g - 35. Let h be p(13). Suppose 0 = -f + 2*s - 6 - h, 4*f - 5 = -s. Is f at most 4/13?
True
Suppose 0*n = 3*n + 4*r - 1699, -4*r = 4*n - 2260. Suppose 131 = 2*m + n. Let k = m - -4946/23. Is 1 > k?
True
Suppose -7*i + 19*i = 1092. Suppose 4*s - 61 = i. Is 2 smaller than s?
True
Let j = -29458538/1123 + 26232. Is 1 > j?
True
Let b = -3.2 + -9.8. Let t = 0.04 - -0.06. Is b < t?
True
Let g be (1 + 0/(-2))/1. Let p(y) = 2*y**2 + 15*y + 21. Suppose 5*z - 2*m + 34 = 0, 4*z + 17 = 2*m - 11. Let x be p(z). Is x less than g?
False
Suppose 0 = -7*k - 125 - 148. Is -39 at most as big as k?
True
Let z = 126 + -73. Suppose 7 + z = -5*u. Which is smaller: -13 or u?
-13
Let h be ((-78)/15)/((-11)/(220/48)). Which is bigger: 2 or h?
h
Let v = 15 + -25. Let w = -3.9 - v. Let j = w + -6. Is -1/2 != j?
True
Let p = 34.8 + 1.2. Which is bigger: -12 or p?
p
Let d = 230 + -228. Is d bigger than 13/2?
False
Let p = 10 - 10. Suppose 4*f + p*f = 0. Let n = -11/2 + 6. Which is smaller: n or f?
f
Let w be 9/10 - 3/(-30). Is w smaller than -125?
False
Suppose -3*a - 25 = 4*h - 2*a, -4*h = -5*a + 19. Let q be 2/(-8) + 3/12. Let j = h - q. Are -1 and j nonequal?
True
Let h = -124 + 618/5. Let x = 0.09 + -12.09. Let c = x + 11. Is h > c?
True
Let q(o) = 3*o - 8. Let j be q(2). Let w be ((-2)/j)/((-70)/20). Is 0.042 less than or equal to w?
False
Let b be ((14/44)/7)/(3/18). Suppose -2*v - v - 12 = 0. Let i = -5 - v. Which is smaller: i or b?
i
Let a(i) be the third derivative of i**6/72 - i**5/120 + i**4/24 - i**3/3 + i**2. Let r(y) be the first derivative of a(y). Let t be r(1). Is t at least 4?
True
Let c = 338/11 - 332/11. Which is smaller: -23 or c?
-23
Let h = -14422/35 - -412. Is h > 1?
False
Let u be 3/(-12) + 140/528. Which is bigger: u or -3?
u
Let y = -1.63 + 0.33. Let f = -4.3 - y. Let u = -3 - f. Is -2/9 smaller than u?
True
Let i(t) = -29*t + 226. Let k be i(11). Is k <= 1?
True
Let i = -146 + 144. Are -5/9 and i equal?
False
Let s = -20711/156 + 1/78. Let x = -133 - s. Which is bigger: x or -3?
x
Let g be -77 + (0 - -3) - (3 + -5). Let p = g + 55. Is p < -17?
False
Let x be (-187)/30 + 3/(-18). Let c = x - -6. Which is smaller: c or -1?
-1
Let p(a) = -2*a**2 - 2*a + 1. Let d be p(-4). Are -24 and d equal?
False
Suppose 53*z - 70 = -17. Is z equal to 12/29?
False
Let p(h) = h**2 + 19*h + 21. Let v be p(-18). Suppose 0*s = v*s. Let a = -1/45 - 1/5. Which is bigger: a or s?
s
Let h = 5175/292 + -71/4. Let i = 53 - 54. Which is greater: i or h?
h
Let q be 1*-7 + 163 + -154. Which is greater: 25/16 or q?
q
Let v = -2.124 + 0.124. Which is bigger: 21/4 or v?
21/4
Suppose -4*z = -1 + 5. Suppose y + 2 = 4*r + 9, -4*y - 2*r = -28. Suppose 4 = -3*x + 4*v, -y*v + 3*v + 4 = 2*x. Which is greater: z or x?
x
Let n = -2075 - -407. Let c be n/370 - (4 + -7). Let g = c + 4/37. Do g and -2 have the same value?
False
Let b(n) = n**3 - 17*n**2 - 16*n - 8. Let r be b(18). Suppose 0 - 29 = -i. Is i >= r?
True
Suppose -4*h + 3*h = -10. Let d be 72/(-96)*h/3. Let o = 5 - 7. Which is bigger: d or o?
o
Let h(k) = -3*k**2 - 4*k + 3. Let j be h(2). Suppose -2*x = -5*s + 5, 10 = 4*x + 3*s + 85. Which is greater: x or j?
x
Let k = 128 + -88. Are k and -4 non-equal?
True
Suppose -156 = -34*y - 5*y. Let r be 4/12 + (-3)/9. Which is greater: r or y?
y
Let d = 43 - 130/3. Suppose 0 = a - 16 - 4. Let j be (-3)/(-2) - 110/a. Which is bigger: j or d?
d
Let k = 73 - 69. Is 3 smaller than k?
True
Suppose -4*n + 2*g = n - 451, -4*n + 4*g = -356. Let y = -58 + n. Which is greater: 1 or y?
y
Let a = -299 + 299. Is 1/288 less than a?
False
Let r be 1 - 5/(-15)*0. Let v be (-76)/(-40) + r + 1/(-2). Which is smaller: v or 3?
v
Let p be 16/4 + -7 + (-1 - 0). Let g be p/6 + (-3)/126*44. Suppose 2*s - s + 3 = 0. Which is greater: g or s?
g
Suppose 2*f + m = -17, 0*m = -2*m - 2. Let w = 5 - -25. Suppose 6*g + 18 = -w. Is f < g?
False
Suppose 0 = -4*u + 2*m, 4*m = 2*u + 16 - 4. Let f be 2 + (-1)/2 + 109/u. Is f >= 56?
True
Suppose 3*z = v - 542 - 302, 0 = 5*z + 4*v + 1401. Is 0 greater than z?
True
Let i = 1327 - 14595/11. Let d be 1 - 1/(-1)*-1. Is i > d?
True
Suppose 4*y = 4*w - 28, 4*y + 22 = -w + 3*w. Let s be ((-12)/(-9))/(y/(-6)). Suppose -3*o - 2*q = 0, -3*o = -o + s*q + 2. Is o greater than 0?
True
Let s = -395 + 399. Which is greater: 0.033 or s?
s
Let s = -0.0026 + 0.5026. Is -5.2 bigger than s?
False
Let c = 1/417 + -839/2085. Which is smaller: 18/7 or c?
c
Let d be 0*2/(-6) - -3. Let u be d/(-6) - (-3)/2. Is -2 <= u?
True
Let g = 135/22 + -73/11. Is 2/41 less than g?
False
Suppose o + 2*q = -4*o + 20, -4*o + 4*q + 44 = 0. Suppose -51 = -3*w + o*w + 4*a, 4*a = 4*w + 40. Let f be -3 + (w + 3)/(-5). Is 