
False
Let f = 1270 - 1335. Is -63 smaller than f?
False
Let w = -56 + 55.34. Let b = -2.24 + w. Let d = b - 0.1. Are -2/5 and d nonequal?
True
Let g be (-7 - (-17)/2)*(-8)/(-6). Which is greater: 9/10 or g?
g
Let f = 23 - 36. Let l(j) = j**3 - 5*j**2 + 6*j - 8. Let w be l(4). Let x be 57/76 - (w + (-55)/(-4)). Is f <= x?
True
Let v(o) = -33*o**2 - 2*o + 4. Suppose 5*a - 5*z = 0, 0 = -4*a - 4*z + 7 + 1. Let w be v(a). Which is smaller: -32 or w?
-32
Let h be (7/3 - 2)*24 - -2. Let d be -2*(1 - -2) - (6 - h). Is -2 >= d?
True
Let j = -10 - -10.42. Let q = 0.12 - j. Which is greater: q or 3?
3
Let x be 4 - (2 + (-111)/(-1)). Which is smaller: x or -323/3?
x
Let n(z) = z**2 + 2*z + 3. Let v be n(-2). Suppose -5*b = t + 30, -t = v*t + 3*b + 69. Which is smaller: -14 or t?
t
Let n(w) be the first derivative of -8*w**3/3 + 3*w**2 - 2*w + 10. Let l be n(2). Which is smaller: -23 or l?
-23
Let o be 5/2 + 1258/(-148). Let j = -12 + 6. Is o greater than or equal to j?
True
Let t be ((-8)/(-22))/((-16)/88). Which is bigger: t or -133?
t
Let v(g) be the first derivative of -g**4/4 - 2*g**3 - 1. Suppose 25 + 41 = -11*i. Let z be v(i). Is z != 1/23?
True
Let p(v) be the first derivative of 1/4*v**4 + 4/3*v**3 + 4 - 1/2*v**2 - 2*v. Let y be p(-4). Which is smaller: 14/9 or y?
14/9
Let m = -2 - 1. Let y = -0.16 - -14.56. Let i = y - 14. Is i less than m?
False
Let r be (-8)/(-44) + 203/275. Are r and 0 unequal?
True
Let r be (-125)/((1 - 4)/(-3)). Let c = -122 - r. Suppose 0 = 5*n - 2*n - 6. Are n and c equal?
False
Let w = -3.27 + 36.87. Let m = w + -36. Let u = m - -2.3. Is u equal to -1.6?
False
Suppose 11*j - 9*j - 6*j = 0. Is -1/1188 at most as big as j?
True
Suppose 23 = 5*z - 117. Suppose -1 + z = -3*a. Which is greater: a or -7?
-7
Let w(m) = 13*m - 13. Let l be w(5). Suppose 2*t - 66 = l. Is 60 smaller than t?
False
Let r(j) = 292*j - 293*j + 1 + 1. Let u be r(2). Which is greater: 12/11 or u?
12/11
Suppose 4*n = n + 6. Let c = 414/11 + -1847/33. Let y = 20 + c. Which is smaller: y or n?
y
Let k = 24.9 + -34.9. Is 9 < k?
False
Let h = -116087/35 - -3317. Let k = h + -212/315. Which is greater: k or 1?
1
Let j = -3 + 3.14. Let l = -56/65 + 6/13. Which is smaller: j or l?
l
Let o be -3 + (7 - (-4 + 6)). Let i be (-3)/(-2) - o/4. Suppose -i = 7*f + 20. Which is smaller: -5 or f?
-5
Let p = 0.145 + 0.155. Which is greater: p or 0.2?
p
Let l = 336 + -335. Which is greater: 2/49 or l?
l
Let i = 15 - 12. Suppose 3*o + i*z + 225 = 0, 0 = -o + z - 25 - 40. Let w be (-6)/(-35)*o/45. Is 0 less than w?
False
Let n be -61 + ((-4)/(-8))/(1/10). Are -57 and n non-equal?
True
Let n = -121/96 + -23/96. Suppose 7 = -m + 4*h + 22, 3 = -4*m - 5*h. Which is greater: m or n?
m
Let d = 41 + 12. Let n = d - 49.3. Let o = 0.3 + n. Does o = -2?
False
Let c = 0 - -0.4. Suppose -38 = 2*m - 4*x + 12, 0 = -x + 8. Is c >= m?
True
Let h(b) = -109*b**3 + b + 1. Let n be h(-1). Let i = 3925/36 - n. Suppose 5*f = 2 + 3. Which is greater: i or f?
f
Let d = -364.1 - -361. Let i(j) = j**3 + 5*j**2 + 2*j + 10. Let o be i(-5). Does o = d?
False
Let z = -83/2244 - -1/132. Let x = z - -55/136. Let t(v) = -v**3 + 10*v**2 + 1. Let q be t(10). Is x at least as big as q?
False
Let s = 11707919/1008 + -11615. Is 1 at least s?
True
Let t(g) = g**3 - 14*g**2 + g - 11. Let u be 12/24 + 27/2. Let q be t(u). Suppose 5*p - 2*d = -2, -4*d - 8 - 2 = -q*p. Which is smaller: -1 or p?
p
Suppose a - 11 = -4. Let w = 5 - a. Let o be (-5 - -4) + (-4)/(-20). Is o greater than or equal to w?
True
Let b = 597 - 593. Is b bigger than -82?
True
Let l = -4/67 - 15/871. Suppose v = -v. Let j be v + -4 + (-9)/(-3). Is l not equal to j?
True
Suppose -4*t = t - 105. Let c = t + -15. Is c bigger than 3?
True
Suppose q + 12 = 4*i - 2*q, 2*q = 0. Let h = -8 + i. Let m(t) = -t**2 + t - 4. Let l be m(2). Are l and h unequal?
True
Suppose 2*g - 3 = n, g = 1 + 4. Are n and 2 nonequal?
True
Let v(z) = -5*z**3 - z**2 + z - 2. Let a be v(-2). Let x = 32 - a. Let b = 1816/9 - 202. Is b not equal to x?
True
Let o = 0.014 - 0.031. Which is smaller: -2 or o?
-2
Let a be (-1)/((-20)/(-12)*33). Is a <= 0?
True
Let k be ((-3)/9 - 1)/(1184/48). Suppose -2 + 4 = p. Is k at most p?
True
Suppose 3*r - 5*f + 19 = 7*r, -3*r = 5*f - 18. Let b = -9108/7 + 1257107/966. Let n = b - 1/23. Is n greater than or equal to r?
False
Let f = 317 + -381. Is f < -63?
True
Let z(j) = 4*j + 14. Let t(q) = -q**2 - 4*q + 17. Let l be t(-7). Let g be z(l). Are g and 1 non-equal?
True
Let b = -50 + 251/5. Let y = 18 + -17. Let u be (y/3)/(8/48). Are b and u nonequal?
True
Let m = 2895/4 + -2157/2. Is m at least as big as -355?
True
Let f(b) = b**2 - 13*b. Let y be f(13). Suppose 3*m - 5*m + 4 = y. Let p(g) = -g - 3. Let r be p(-5). Is m < r?
False
Suppose 2*u = 4*u - 22. Let v be u/(-28) - 1/(-4). Let q(w) = -w**3 - 5*w**2 - w - 5. Let k be q(-5). Is v less than k?
True
Let g(h) = -h + 6. Suppose -3*d = y - 3, d + 0*d + 4*y - 12 = 0. Suppose -3*z - 2*z + 45 = d. Let a be g(z). Are a and -4 non-equal?
True
Suppose -u + 55 = -5*r + 4*r, 0 = 4*u + 4*r - 188. Which is greater: 47 or u?
u
Let i(z) = -z**3 - 16*z**2 - 14*z + 18. Let j be i(-15). Suppose 5*t - x = 110, 5*t - j*t - 44 = 4*x. Which is smaller: t or 0.1?
0.1
Let w be (-3)/(-2)*160/60. Is 12 smaller than w?
False
Let g = 100/3 - 34. Let p be (7 + 0)*(-216)/1512. Which is smaller: g or p?
p
Let z(x) = 76*x - 297. Let h be z(4). Is h greater than 7?
False
Let o be 1/3 - (0 + 0). Suppose 3*u - 6 = 0, -6*v + 25 = -9*v - u. Let m be (v/(-24))/(2*(-2)/(-8)). Is o greater than or equal to m?
False
Suppose 4*c - 153 = -13*c. Let k = -9 - -15. Let u be (-4)/6 + 58/k. Is u not equal to c?
False
Suppose -2*s + 228 = -2*n, -2*s = -n - 4*n - 228. Which is greater: s or 113?
s
Suppose -20 - 2 = -2*y. Suppose -2*m = 0, s + 39 = -2*s - 5*m. Let r = s + y. Is -3 not equal to r?
True
Let g = -71 + 75. Let z be (2 + 32/(-3))/(g/6). Is -0.1 at most as big as z?
False
Let o = -180 - -241. Which is greater: o or 53?
o
Let c be 1*(-3)/9 - 90/486. Which is smaller: -1 or c?
-1
Suppose 69 = -2*q - 5*o, -8*q + 60 = -10*q - 2*o. Which is greater: q or -26?
-26
Let p be (68/340)/(2/(-1178)). Is p >= -119?
True
Let m = -0.0833 + 0.07. Let o = m + 36.3133. Let h = o - 36. Which is greater: 1/11 or h?
h
Let a = -2 - -4. Let w be 12/(a*(-1)/(-2)). Suppose r - 11 = -w. Is -8 >= r?
False
Let k = 0.207 + -4.327. Let d = 12.89 - k. Let l = d - 17. Which is greater: l or -2/13?
l
Let o = -12.5 + 1.5. Let p = 11 + o. Let y = p + -0.1. Which is smaller: 1 or y?
y
Let a = -10 - -9. Let h be (a/5)/((-7)/35). Let q be (-4)/(-18) + (-15)/108. Which is greater: h or q?
h
Let l(b) = -b**3 + b**2 + 2*b - 2. Let t(f) = f**2 - 4*f + 2. Let i be t(4). Let m be l(i). Let z be -1*(-4)/(-8)*m. Which is greater: -1/11 or z?
z
Let u = 2.249 + -2.3. Let h = 0.071 + u. Which is greater: h or 1?
1
Let m = -69 + 81. Let x = 16 - 2. Let k = x - m. Which is smaller: k or 5/7?
5/7
Let a be (4/(-2))/(7/1). Let v = 58 + -58.46. Let i = v - -0.36. Are i and a unequal?
True
Let c = -1865009187/67 - -27835333. Let d = -625 - c. Which is smaller: 1 or d?
d
Suppose 34*u = 24*u - 340. Is -34 < u?
False
Suppose 0 = -2*o + 7*o + 4*h + 96, 84 = -5*o - h. Let g be ((-6)/(-10))/(o/240). Let w = -1.1 + 1.2. Which is greater: w or g?
w
Let b = -22 + 21. Let u(y) = -3*y**3 - y - 1. Let l be u(b). Suppose 5*f + 26 + 11 = -2*n, 38 = -l*n - 4*f. Which is smaller: n or -5?
n
Let f(y) = -2*y**2 - y + 4. Let j be f(3). Suppose 0*k = 4*k + 76. Is k bigger than j?
False
Let r be ((-35)/(-4))/((-3)/(-12)). Suppose -358 = -7*p - 120. Is p not equal to r?
True
Let v be -4*((-455)/(-20) + -8). Is v smaller than -58?
True
Let v be ((-4)/(-56))/((-63)/(-12) - 5). Which is smaller: -8/27 or v?
-8/27
Let o(w) = -25*w - 24. Let r be o(-1). Is r at most as big as 9/4?
True
Let m be ((-98)/(-10) + -2)/(1/5). Let l = -38 + m. Which is greater: l or -2/283?
l
Suppose -3*n = -2*f - 38, 0 = 3*n - 3*f + 4*f - 35. Let h be 6/(-4)*n/(-9). Is h at least as big as 7/6?
True
Let p = 1451.07 - 1433. Let z = 18 - p. Which is bigger: z or 3/2?
3/2
Suppose 0 = 4*v + 3*g + 8, 4*v - 25 = -v + 5*g. Let c be (44/2)/(10/119). Let f = c - 261. Which is smaller: f or v?
f
Let s be 0 + (-4 - 2)/(6/(-44)). Which is bi