(160/(-3120))/((-32)/9). Suppose 0 = 2*g - 36 + 36. Is h at most g?
False
Let n = 297 - 176. Let f = 128 - n. Is f equal to 0?
False
Suppose 39 + 81 = 5*z. Let j(p) = -p**3 - 10*p**2 - 26*p - 381. Let d be j(-11). Is d != z?
True
Let q = 188349/52 - 3622. Which is bigger: -17 or q?
q
Suppose 0 = c, -3*b - 2*c + 40 = -44. Let g(f) = 3*f**3 + 20*f**2 - 612*f + 27. Let s be g(-18). Are b and s unequal?
True
Suppose -3*l + 5*k - 234 = 8*k, 380 = -5*l - 3*k. Is l at most -505/7?
True
Let w = -45 - -102. Suppose 0 = -56*z + 60*z - 236. Is w >= z?
False
Let p be ((-35)/25 - -1) + (-2121459)/4940. Let h = p - 3993/76. Let j = h + 483. Is 1 at least as big as j?
True
Let s = 154.1 - 156. Let z = 0.9 + s. Do 19 and z have the same value?
False
Let m(i) be the third derivative of -i**9/60480 - i**8/1260 + i**6/240 - 17*i**5/60 + i**2. Let y(q) be the third derivative of m(q). Let f be y(-16). Is f > 2?
True
Suppose 3*u = -2*v - 96, 4*v = -4*u - 196 - 16. Let l(w) = -14*w + 7. Let f be l(5). Are v and f nonequal?
False
Suppose -66*z - 19*z + 148 = -11*z. Let h = -5.6 + 5. Which is smaller: z or h?
h
Let h = -0.11 + 0.02. Let c = 43.76 - 44.67. Let k = h + c. Which is greater: 6 or k?
6
Let b(q) = -3*q**2 - 2*q - 82. Let d be b(10). Let o = d + 401. Which is smaller: -35 or o?
-35
Let j = 5551 + -5551. Is j smaller than -3/223?
False
Let z = 4518.9 - 4519. Which is smaller: z or -1429?
-1429
Let r = 3833 + -118. Is r less than 3715?
False
Suppose -12*t - 14*t = -26. Are 102/47 and t non-equal?
True
Let s = 0.6126 + 62.3874. Which is greater: s or 0.9?
s
Let h = -8479 + 8282. Which is greater: h or -209?
h
Suppose -d - 5*y = 183, -y - 377 = 3*d + 172. Let f = 187 + d. Is f <= 1?
False
Let t = 1.7 - 1.8. Let o = -2.68 - 26.32. Which is smaller: t or o?
o
Let k = -335 + 972. Suppose -632*d + k*d = -5. Which is bigger: d or 1/37?
1/37
Let i = 6214 + -12179/2. Which is smaller: i or 125?
i
Suppose 4*c - 7*a + 3*a = 12, 5*a = -3*c + 9. Suppose -v - 3*v + 2*s + 14 = 0, c*v = 4*s + 23. Let g = 2.9 + 2.1. Which is smaller: g or v?
v
Let u(y) = 8*y**2 + 3*y. Let l be u(-2). Suppose -21*b = -l*b - 15. Let n be 12/(-756) - b/(-7). Which is bigger: 0 or n?
0
Let x be (-75)/2 + 1 - (-267)/178. Let y be 31 - x/(-5) - (0 - 0). Is y > 17?
True
Let b be 0 - ((-33)/(-6) + 1)*-2. Suppose 2*q + b = 9. Let c be (2/(-8))/((-1)/(-6)). Is q less than or equal to c?
True
Suppose 2*d + 8 = 3*p - 3, 3*p - 10 = d. Let k be ((-1)/(-44)*d)/((-700)/(-1120)). Which is smaller: k or 1?
k
Let q(a) = -7*a**3 - 15*a**2 - 6*a - 68. Let x(g) = -20*g**3 - 44*g**2 - 18*g - 203. Let c(w) = -17*q(w) + 6*x(w). Let z be c(-9). Which is smaller: -7 or z?
z
Let a = -0.11 - -1.48. Let b = -1.1 + a. Let i = 21.73 + b. Which is greater: i or 0.2?
i
Let v = 0.12 - -3.38. Let c = 11.17 + -11.07. Is c bigger than v?
False
Let k = -60.195 + 2.195. Is 0.23 at most as big as k?
False
Let l(s) = -s**3 + 5*s**2 + 8*s + 3. Let k be l(8). Suppose -306*m + 1625 = -319*m. Do m and k have different values?
False
Suppose -2*j = -78 - 122. Let f be 11/(-1 - (j/(-24))/5). Let o = 50 + f. Which is smaller: o or -19?
-19
Let c be (-324)/(-159) + -1 + -1. Suppose -137*n + 7 = -144*n. Are c and n equal?
False
Let r = 0.265 - 0.065. Let i = 3.8 + r. Let c = -0.03 + 3.03. Is i smaller than c?
False
Let g = -15739 - -15742. Are 110/29 and g non-equal?
True
Let h = 83/4 - 21. Let b = 69 - 988. Let a = b - -921. Is a less than h?
False
Let x = -178 + 187. Let k be x/29*(-30)/225. Which is smaller: k or -1?
-1
Let i(z) = 19*z + 206. Let t = -76 - -65. Let j be i(t). Which is smaller: -26/11 or j?
j
Let q = -158 - -1105/7. Let z = 4419/65 + -68. Let g = z - -68/195. Is q > g?
False
Let q = -0.066 + 1.146. Let t = q - 0.88. Let x = 1.5 - 0.8. Which is smaller: x or t?
t
Let g = -87 + 84. Let x(o) be the second derivative of -3*o**5/20 - 5*o**4/12 - o**3/6 + 5*o**2/2 + o. Let d be x(g). Is d bigger than 43?
True
Let z be (9*100850/(-225))/(0 - (-3)/(-6)). Are z and 8069 equal?
False
Suppose 2*c = -2*p - 9684, 14*p + 4*c = 16*p + 9684. Are -4839 and p equal?
False
Let j = -7 + 6. Suppose 5*p - 27 + 62 = 0. Let s be p/2 - (-13335)/3850. Is s less than j?
False
Let r(g) = 12*g - 43. Let o be r(5). Let n be ((-7888)/(-114))/o - (4 - 0). Is -1 at least as big as n?
False
Let r(a) = 5*a**3 + a**2 + 4. Let m be r(4). Let p be 337 + (1/4)/((12 + -27)/(-240)). Which is greater: m or p?
p
Let d(z) = 5*z**2 + 23*z - 228. Let n(u) = 27*u**2 + 115*u - 1139. Let c(x) = -11*d(x) + 2*n(x). Let h be c(11). Is h less than or equal to -144?
True
Suppose -26*h + 558 - 90 = 0. Suppose 12*b = h*b. Which is greater: b or -1/131?
b
Let a be (-2)/(-8) + 90/24. Let f be 28/49 + a/(-14). Let j(w) = w**3 + 5*w**2 - 4*w - 18. Let l be j(-6). Which is smaller: f or l?
l
Let t be ((-86)/129)/(1/(-12)). Suppose 0 = m - 2*m + 4. Suppose 0*j = m*j + t. Is -3 > j?
False
Let n = -1777 + 1908. Which is smaller: n or 135?
n
Let f be ((-90)/(-21))/(234/(-34710)). Are f and -637 nonequal?
True
Let z(a) = -a**3 + 12*a**2 - 30*a + 22. Let j be z(9). Let o(u) = -u**2 - 5 - u**2 + u**2 - 6*u. Let l be o(j). Which is smaller: 3/20 or l?
l
Let j be 23/((-2024)/(-16)) - (-196)/11. Suppose 3*p = -3*c - 9 - j, 4*c + 21 = -p. Which is greater: c or 2?
2
Let q be ((-4)/3)/((-1)/18). Suppose -535*d = 187*d - 18558 + 508. Which is smaller: d or q?
q
Let c = 5 - 3. Let x = -4 + c. Let a be x/3 + (-274)/(-6). Are 45 and a non-equal?
False
Let j be ((-9)/6)/(10/((-880)/(-6))). Let k(o) be the second derivative of -2*o**3/3 + 3*o**2/2 + 2*o. Let a be k(6). Is j != a?
True
Suppose 2*m = -3*j + 7*m - 22, 5*m = 2*j + 8. Let s(t) = t + 4*t - 7*t - 40 + 11. Let w be s(j). Which is smaller: 1/3 or w?
w
Let w = 0.42 - -24.48. Let v = w + -43.3. Which is bigger: v or -0.1?
-0.1
Let y = -16.2 - -20.9. Let w = y + -4.6. Is w not equal to 61?
True
Let f = 33.83 - 34. Let d = -0.93 + f. Let p = 4.94 + -4.84. Is p at most d?
False
Suppose 7747 + 2583 = 10*r. Which is smaller: r or 1035?
r
Let g = -23015927/701 - -32833. Which is smaller: g or 1?
g
Suppose -3769 = 18*w + 119. Let t be 174/8 - 9/(w/6). Is t smaller than 22?
False
Suppose 0*w + 830 = t + 4*w, -w - 3286 = -4*t. Let l be 7*(-5)/(-35)*4/t. Which is greater: l or -1?
l
Let w be (117/(-65) + 3)/(-6 + (-7731)/(-1290)). Which is bigger: w or -173?
w
Let n(c) = -14*c**3 - 2*c**2 - 3*c - c - 3 - 10*c**3 + 20*c**3. Let m be n(-1). Suppose 4*o - 31 = -2*q - o, 4*q - 49 = m*o. Is 0 at least q?
False
Suppose -4*r - 244*n = -242*n - 588, -3*r - n = -438. Is r > 33?
True
Let y(x) = x**2 - 14*x + 14. Let m be y(12). Let z be (-1)/56*(-11 - m). Is z at most as big as -1?
False
Let r be (46 - 61)/(-1 - -429). Is r smaller than 1?
True
Suppose -22*t + 394 + 618 = 0. Let k(m) = -8*m + 417. Let o be k(t). Are -7 and o nonequal?
True
Let a = -25556 + 25554. Let d be 5/(-11)*18/(-5). Is d at most as big as a?
False
Let c be -6 + 6 - 0/1. Let b be (-6)/(-128) + 2 - (-6)/(-42)*14. Which is smaller: b or c?
c
Suppose 4*d - 3*b - 97 = 0, b - 5 - 14 = -d. Suppose 18*m - 492 = d*m. Do -1 and m have different values?
True
Let f(b) = 97*b - 1523. Let i be f(75). Which is bigger: -2 or i?
i
Suppose -3*c + 116 = -2*c. Let s = -115 + c. Which is smaller: s or -18?
-18
Let m = 650 + 1893. Is 2542 at least as big as m?
False
Let k be (14/7)/(-1 + 9 + -7). Let o be 2/(-2) - 1*-4. Suppose -2*j - 5 = -4*n - 7, -o*n = -2*j + k. Which is greater: n or 3/10?
3/10
Suppose 6*k + 3 = 3*k + i, 3*i - 9 = 5*k. Let y be k - -3 - (-2154)/(-726). Is 1 greater than y?
True
Let v = -324951013/57 - -5700653. Let b be (-4)/(-2) - (1 - 241). Let l = v + b. Which is smaller: 0 or l?
0
Let v = -87 - -92. Suppose 5*b + 5*h = 190, -4*b - v*h + 118 = -b. Is 36 at least b?
True
Let q = -0.821 + -5.689. Let v = 177 - 169.9. Let f = q + v. Is f greater than 2?
False
Let k = -30154 - -91268/3. Let a(h) = 2*h**2 + 34*h + 298. Let n be a(-16). Let o = k - n. Which is bigger: o or -1/3?
o
Let u = 3.65 + -0.05. Let x = 274.6 - 266. Let y = u - x. Is y at least as big as 0?
False
Let g be (-12)/(-52 + 16)*(11 - 2). Which is smaller: 5/22 or g?
5/22
Let p = -0.276 - -0.3. Let x = -0.076 - -0.352. Let g = p + x. Which is smaller: -3 or g?
-3
Let c be -2 + 45/(-9) + -41 + 4. Are c and -18 non-equal?
True
