(-18)/(-195))*-2. Which is smaller: 64 or x?
64
Let g be 1/(-4) - 561/60. Are g and -10 non-equal?
True
Let i = 18 - 6. Let h = 3456 - 3453. Which is bigger: h or i?
i
Let c(u) = -u**3 - 2*u**2 + 2*u. Let d be c(-2). Suppose -120 = -5*l + w + 3*w, -60 = -2*l + 4*w. Let m = 15 - l. Is m < d?
True
Suppose -4*m - 5*f + f = 40, -m - 12 = 2*f. Let p = -83 + 86. Let l(o) = -o**2 - 2*o + 7. Let h be l(p). Is m smaller than h?
False
Let h = -530 + 530. Let f = -11600/9097 - -2/827. Is h at most f?
False
Let b be ((-4)/14)/((-12)/42). Suppose -2*d + 8 = u, 0 = 2*u - d - b. Let z be (-4 + u)*10/4. Which is greater: z or -4?
-4
Let z be (-2)/((8/(-1))/4). Let f = z - -3. Let d be (-1)/(-4)*f + 0. Is 3/13 at most d?
True
Let y be ((-51)/3 + 17)/(0 + 4). Which is greater: y or -1/213?
y
Let s be ((-8)/(-16))/(3/(-222)). Which is smaller: s or -73/2?
s
Let q(x) = -6*x + 4 + x**2 + 3 - 10. Let i be q(8). Is i greater than -1?
True
Suppose 0 = 2*v - 17 - 7. Let o = v + -15. Let j be 2 - o/(3/(-4)). Which is bigger: 1/2 or j?
1/2
Let g be 106*3/315 + (-2)/2. Let z = g + 3041/420. Is z at least as big as 1?
True
Let w = -26 - -52. Let i = -23 + 50. Is i > w?
True
Suppose -3*m - 2*v + 157 = 0, 4*m - v = -6*v + 221. Suppose 0 = 3*p + 4*p + m. Let c = -16 - p. Which is greater: -8 or c?
-8
Let f = -92 - -93. Is f at most as big as 5/44?
False
Let d = 0.0911 + -10.3511. Let v = d + 0.26. Let n = v - -10. Which is greater: -5 or n?
n
Suppose -4*f + 5*o + 160 = 540, -5*o = -5*f - 480. Let c = 80 - 180. Is c less than or equal to f?
True
Suppose -271 = -5*m - 4*y, 0 = 2*y + 2*y + 4. Let x = -109 - -166. Which is smaller: m or x?
m
Let l be (44/77)/(2/1). Let v(w) = -w + 15. Let g be v(13). Suppose -4*h - 6 - 4 = -g*m, 10 = -m - h. Which is smaller: m or l?
m
Let l(f) = f**2 + 7*f + 3. Let q be l(-7). Suppose 16 = -o + q*z, z + 34 = -4*o + 3*z. Let j = -24244 - -24242. Which is bigger: j or o?
j
Let l = 216/7 - 208/7. Which is greater: 1/4 or l?
l
Let m = 1319 + -1369. Do m and -43 have different values?
True
Let l be 8/16*(-7)/(-5271). Is l greater than -2/7?
True
Suppose 5*k = m + 4, 4*k + m - 9 = -13. Is 20 less than k?
False
Let t be -16 + (-3 + 3)/(-1). Let z be -4 + (-44)/t - 0. Suppose 0 = 4*n + 1 + 7. Is n >= z?
False
Let r = 28 - 16. Let o = 14 - r. Let j be (1 + (-1 - o))/(-7). Are j and -4 non-equal?
True
Suppose -3*a - 2*a = 0. Suppose a*l - 4 = l. Let r = l + 10. Which is greater: r or 5?
r
Let s be 2*(-3)/12*-6. Let k = 3.57 + 0.23. Let z = -4 + k. Is s bigger than z?
True
Suppose 5*a + 52 = -33. Let o = 9 + a. Which is smaller: o or -27/4?
o
Let o(r) = 4*r**2 + 11*r + 9. Let f(v) = -6*v**2 - 17*v - 14. Let q(w) = -5*f(w) - 8*o(w). Let y be q(-3). Suppose 20 = -2*g - 0*g. Is y at most as big as g?
True
Let y(d) = 12*d**2 + 3*d - 4. Let c be y(3). Suppose -3*u + 0*i = 3*i + 174, 2*u - i = -c. Which is smaller: u or -58?
-58
Suppose 64*l - 79*l + 3630 = 0. Which is greater: l or 0?
l
Let g = -53 - -246. Let a = g - 777/4. Let z be (3 - 2)*(-14 + 13). Is z at most as big as a?
False
Let x(n) = -n**3 - 7*n**2 - 12*n - 4. Let a be x(-2). Is 846 <= a?
False
Let h(r) = 3*r - 7. Let z be h(7). Suppose 0 = -20*i + z*i + 60. Which is bigger: i or 13?
13
Suppose 46*t = 38*t + 24. Is 3 >= t?
True
Let q = -39 + 21. Let n = -49 + 34. Let y = n - q. Are 4 and y equal?
False
Let l be (11 - 9)*(640/212 - 3). Is l greater than 0?
True
Let s = -1163 + 1139. Which is greater: s or -21?
-21
Let g(l) = -7 - 3*l**3 - 5*l**2 - l + 6 + 6*l**2. Let m be g(-1). Suppose -9 = -m*z - 1. Is z less than or equal to 7?
True
Let t = 0.37 + 0.03. Let a = 559 + -561. Is t at most as big as a?
False
Let q = -3.3 + -74.7. Which is bigger: -1 or q?
-1
Let h be ((-50)/55)/(-4 - (3 + -8)). Suppose -3*l + 7 = 2*i, 11 + 1 = 4*l + 4*i. Which is smaller: l or h?
h
Suppose 2*h + 3*h = 0. Suppose 4*l + h*l = -16, -9 = b + l. Is b <= -3?
True
Let w(f) = 2*f. Let b be w(-3). Let i(o) = o - 1. Let r be i(b). Let j = r + 2. Is j > 0?
False
Let p(c) = -4*c**2 + 2*c + 1. Let z be p(-1). Are -5 and z equal?
True
Let k be 3/21 + (-6726)/42. Let x be (2/3)/(k/(-144)). Are x and 0 non-equal?
True
Let t = 105 - 113. Let k(x) = -4*x + 7. Let q be k(5). Let j = q - -27/2. Is t greater than or equal to j?
False
Let m be -1*(-2 - 2)*1. Suppose 9 = -3*n + m*n. Do 9 and n have different values?
False
Let l = -5.88 + 6. Suppose 0 = -5*y - n + 15 + 20, y - 5*n - 7 = 0. Suppose 5 - y = k. Which is smaller: l or k?
k
Suppose 49 = -18*o + 139. Do -3/8 and o have the same value?
False
Let q = 5.7 - 6. Suppose 80*n = 94 + 66. Are q and n unequal?
True
Suppose 4*o - u - 15 = 0, 5*o - 2*u - 19 = -u. Suppose 0*y + o*y + 24 = -4*g, -g + 24 = -5*y. Let a be 6/(-1)*(-2)/44. Which is greater: g or a?
a
Let v(f) = 5*f**3 - 5*f**2 + 3*f - 1. Let g(a) = 4*a**3 - 4*a**2 + 2*a - 1. Let b(l) = -4*g(l) + 3*v(l). Let z be b(2). Which is greater: -1/7 or z?
-1/7
Let f be 1 + -4 - 62/(-2). Suppose 0 = -3*j, 4*j + f = -2*y + j. Which is smaller: 0 or y?
y
Let y be 4/18 + 7/((-16380)/2230). Which is bigger: y or 0?
0
Let h(b) = 3*b - 4. Let m be h(3). Suppose -3*c + 12 = -0. Suppose 0 = m*t + c*j + 55, -3*t - 3 = t - 5*j. Which is smaller: t or -8?
-8
Let u = -139 + 140. Is -31 greater than u?
False
Let z = -13.124 + 0.344. Let x = z + -0.22. Let n = x - -12.9. Are n and -4 nonequal?
True
Let f = 1551 - 3129/2. Is f > -14?
True
Let a(h) = -h. Let f be a(1). Let k = -11 + 11. Let g be (-7)/14*k/2. Is g less than or equal to f?
False
Let j be (8/(-128))/(1/(-4)). Which is smaller: j or -0.071?
-0.071
Suppose 20*v - 4363 = 3817. Is v != 409?
False
Let z = -0.06 + -2.54. Let c = 1.1 + z. Let m = -1.3 - c. Which is smaller: m or -6?
-6
Let o be (-130)/(-12) - ((-13)/6 + 2). Is 5 at least as big as o?
False
Suppose 15*g = -1324 + 349. Which is greater: g or -69?
g
Let i = 5 - 3. Suppose 4*d = -4*j, i*j + 13 + 1 = 5*d. Let n be (4/(-30))/(1/(-5)). Are j and n nonequal?
True
Let n be (2/3 + -1)/((-880)/(-528)). Let m = -4.8 + 5. Let c = 0.2 - m. Which is bigger: c or n?
c
Let t be 437/(-10070) + (-2)/(-10). Let k = 3/53 - t. Which is smaller: 1 or k?
k
Let q(b) = b**3 - 3*b**2 - 6*b. Let d be q(5). Let w(g) = -g**2 + 22*g. Let t be w(d). Suppose -m - t = -5*f, 4*f - 3*m + 8*m = 32. Which is bigger: f or 9?
9
Suppose 5*b + 5*b = -220. Let a = b + 23. Which is bigger: 9/10 or a?
a
Suppose -3*y = -2*z - 4*y, -5*y = 10. Let f = -5.5 - -8. Which is greater: f or z?
f
Suppose -4*i - 2 = 2*g, -5*i = g + g + 2. Let l be (-427)/119 + 6/(-2)*-1. Which is greater: l or g?
l
Suppose x + 1 = 3*d, -5*d + 4*x = 3*x - 1. Let i(q) = q**2 + q. Let v(n) = -n**3 + n**2 + 3*n - 10. Let o(f) = 6*i(f) - v(f). Let t be o(-5). Is d >= t?
True
Let u = -64 + 46. Let c = u + -10. Let t = c + 23. Which is smaller: t or 0?
t
Let b = -0.41 + 1.41. Is b at most 2.07?
True
Let s = 95 + -759/8. Let g be (-1)/(-4)*2*4. Suppose g*o = -d + 8, 2*o + 0*o - 8 = d. Do d and s have the same value?
False
Let j = 0 - -2. Suppose 0*r - j*r + 24 = 0. Suppose m - r = 7. Is m greater than or equal to 18?
True
Let a(o) be the third derivative of o**6/120 + 2*o**5/15 + 2*o**3 - 19*o**2. Let z be a(-8). Is 13 less than or equal to z?
False
Suppose 0 = 2*x - 7*x + 35. Let d(v) = -v**3 + 7*v**2 + 2*v - 4. Let t be d(x). Let a be (-21)/14 - t/(-4). Which is smaller: -1/11 or a?
-1/11
Let i be (-4)/(-1822)*(6 + (-77)/14). Is i less than 0?
False
Suppose 33 - 9 = -3*d. Let o be 393/126 - d/(-28). Which is bigger: o or 4?
4
Suppose -2*p = 2*p - 368. Let b be (1059/p)/((-1)/4). Let i = b + 46. Is -1 < i?
True
Suppose 63*v - 5 = 62*v. Suppose -8 = -v*t + 4*p - p, 0 = -2*t + 3*p + 5. Is t at most 2/5?
False
Let j(o) = -4*o - 26. Let p be j(-16). Let f be (5 - (-77)/(-15)) + p/15. Which is bigger: 3 or f?
3
Let p = -29.7 + 28.1. Let w = 40 + -38.3. Let s = p + w. Which is greater: s or -6?
s
Suppose 394 = 3*p - 4*h - 117, -5*p + 5*h + 845 = 0. Which is greater: p or 164?
p
Let u = 9019/5 - 1804. Suppose 0 = 4*o - 21 - 183. Are u and o nonequal?
True
Let c be (6/30)/((-8)/10). Let j be (2/14)/(11*(-2)/(-110)). Is j not equal to c?
True
Let u = -179 - -179.7. Let p = -12.7 + 10. Let c = u + p. Is -2 < c?
False
Let z = 0.092 - -87.908. Let o = -88.1 + z. Which is smaller: o or 62?
o
Let s = 474 - 472. Let p(g