 = d + a. Are w and 4 nonequal?
True
Suppose -d - 45 = 4*d. Let q = -76 + 88. Suppose q = -3*j - 15. Is j at least as big as d?
True
Suppose -3*g - g = 4*b, 2*b = -4*g + 4. Suppose -5 + 3 = g*u - v, -u - 3*v = -6. Let f = 4 + -20. Which is smaller: u or f?
f
Let j(u) = u**3 + 5. Let o be j(-4). Let r = -121 - o. Let c = -65 - r. Which is smaller: c or -2?
c
Suppose 0 = 5*l - 4*c + 16, -18*l + 12 = -23*l + 3*c. Let h = 0.5 - -0.6. Which is smaller: h or l?
l
Suppose -c - c = 0, -4*c - 52 = -4*d. Suppose -d*g = -16*g + 177. Let l = g - 59. Which is bigger: -3/94 or l?
l
Let t = 18 - 20. Let a(z) = -z - 4*z**2 - 3*z + 2*z + 5*z**2 - 2 + 5*z**3. Let l be a(-1). Is l equal to t?
False
Let m be 372/60 - (-1)/(-5). Let j be (-88)/(-24) - 4/m. Let n be 4 + j + 2*-4. Which is smaller: n or -1/6?
n
Let v = 19.821 + -20.821. Which is bigger: 6710 or v?
6710
Let w = 0.156 + -0.205. Let g = w - -2.049. Let j = 2.08 - 1.8. Which is bigger: j or g?
g
Let d be 21164/4884*198/65. Let i be (-1)/1*-1 + 12. Which is bigger: d or i?
d
Let u = -3397483/7 + 483929. Which is greater: -1426 or u?
u
Let m(n) = n**2 - 3*n - 1. Suppose 3*a + 4 = 4*j, 5*a + j + j + 24 = 0. Let t be m(a). Let l be 788/(-3384) - (-6)/t. Which is bigger: l or 1?
1
Let v = -29/148 + -2/37. Let n = 123.8 + -132. Let r = 9.9 + n. Is v smaller than r?
True
Let v(k) = -260*k**2 - 125*k - 444. Let w be v(-5). Is -6318 smaller than w?
False
Let n be (-1)/(-4 + (-135)/(-35)). Let o be n + -5 - 26/16. Let i = 0.036 - -0.364. Which is smaller: i or o?
o
Suppose 48 = -15*k - 12. Let a be (-2)/(k - (3 - 13)). Which is smaller: a or 40?
a
Let w(n) = -n**3 - 4*n**2 + 3*n - 4. Let b be w(-5). Let a be ((-1)/3)/(30/(-81)*(-95)/(-475)). Is b != a?
True
Let m = -4684/9 - -30371/72. Which is bigger: m or -99?
m
Suppose 5*z - 4*z + 44 = 0. Let s = 11101 - 78007/7. Is s equal to z?
False
Let n be (-4 + 3)/(11/11). Which is smaller: -3/907 or n?
n
Let g = 459239.026 + -457217. Let w = 2019 - g. Let y = 0.026 + w. Which is smaller: -0.7 or y?
y
Let z be 12/30*(-2 - -22). Suppose -a = -2 - 4. Suppose a*f + z = 10*f. Are 9/5 and f nonequal?
True
Let w = 188297/7409410 - 21/830. Which is smaller: w or -1?
-1
Suppose -4*t + 10 = -2. Let c = 10 + t. Let i be 26/2 + (13 - 16). Which is smaller: c or i?
i
Suppose -3*f + 17 = 2*q, -3*f = 12*q - 16*q - 11. Suppose -5*j + 582 = -3*j - 3*d, -5*d + 566 = 2*j. Let o be j/140 - (1 + 1). Are q and o non-equal?
True
Let z = 744 + -755.025. Let p = 0.025 + z. Let g = -0.767 + -3.233. Is g greater than p?
True
Let w be (-2)/(-3)*33*1. Suppose -2*o = -0*r - r - 2, -4*r + 5*o = 5. Suppose 5*l + 4*p - 100 = 0, -2*l + 3*p + 40 + 0 = r. Which is greater: w or l?
w
Let u = -682 - -425. Let i = u - -248. Are -128/13 and i unequal?
True
Let v = 3.216 + -3.116. Suppose 0 = 4*l - l + 18. Let k be (2/(-6))/(l/(-18)). Are v and k nonequal?
True
Suppose -4*j + 196 = -5*b, -161 = -6*b + 10*b + j. Let d be 1 - (582/(-75))/(4/b). Is d at most -76?
True
Suppose 0 = 3*y - 0 - 12. Suppose -g = 2*a - 1, 5*g + y*a = 7 + 4. Suppose -l + 13 = -0*l + g*s, 3*l + s = 15. Is 24/5 less than l?
False
Let r be (5 + -6)*(-9138)/(-4)*(-160)/(-240). Which is smaller: r or -1524?
-1524
Let o = 23 + -67. Let s be (3492/27 + (-4)/(-6))/(-1). Let j = o - s. Which is greater: j or 87?
87
Let v = 395 + -152071/385. Suppose 0 = 4*b - 2*i + 8, 0 = 3*b + 2*i - 3*i + 4. Is v > b?
True
Let v be (-201)/(-18) + -1 + -2 - 1. Suppose -134 = -14*r + 972. Let u = 87 - r. Are u and v unequal?
True
Let k be -4 - 0/(-4 - -5). Let r be -1*(16/(-4))/k. Let j = 204 + -3466/17. Which is bigger: j or r?
j
Let g(d) = -9 + 63*d + 87*d - 233*d + 61*d. Let h be g(-3). Is 56 greater than or equal to h?
False
Let d = -13 - -12. Let f = 111 - 98. Suppose -3*w = 5*k - f - 26, 4*k - 5*w = 9. Which is bigger: k or d?
k
Let j = 36788/65 + -566. Let m = -19/2300 - -3469/2300. Is m <= j?
False
Suppose -35*o + 17*o = 720. Suppose -5*g - 185 = 5*k, 2*k - 4*g + 6 + 86 = 0. Is o greater than k?
False
Let b(j) = 14*j**2 + 39*j - 8. Let z be b(-3). Which is smaller: z or -2/157?
-2/157
Let o be (-24)/36*(-12)/(-8). Is o <= 2/4699?
True
Let w = 1574611/3520195 - -14/11695. Let o = 2239 - 96270/43. Let n = w - o. Which is smaller: n or -1?
-1
Let t = -2.4 - -4. Let b = 2 - t. Let i = -8.9 - -3.9. Is i bigger than b?
False
Let m = 1941/4 - 4871/10. Which is smaller: m or -3?
-3
Let k be (1 + 2/(-4))*-2. Let p be -1 - 2*(k + 0). Let u = 11406/7787 + -48/599. Which is bigger: p or u?
u
Let g = -5759 - -7115. Is 1352 <= g?
True
Let q be -1 + (-2)/(-9) + (9 - 5160/(-108)). Is q >= 56?
True
Let f(z) = -z**2 + 148. Let n be f(0). Let w = 138777 - 1247659/9. Let p = w - n. Is 0 < p?
True
Suppose -27*c + 10 = -22*c. Suppose 0 = c*a + 27 - 33, 0 = -4*x + 2*a - 10. Which is bigger: 15 or x?
15
Let q(d) = d**3 + 72*d**2 + 679*d + 1101. Let a be q(-61). Suppose 4*k = 3605 - 1157. Which is smaller: k or a?
k
Let x = 1016.1 + -260.1. Which is greater: x or 3?
x
Let b = 11080 - 35103. Which is smaller: b or 1?
b
Let c = -20 + 5.6. Let b = 3761 + -3760.6. Let y = c + b. Which is greater: y or 1?
1
Let z(y) = y + 51. Let s(v) = -3 + 2*v - 4*v + 3*v + 4. Let h(u) = 2*s(u) + z(u). Let a be h(-17). Which is smaller: 18/25 or a?
18/25
Suppose 2*w = -5*j + 5238, -4*j - 7*w = -8*w - 4180. Let h = 1065 - j. Let n be 1 - ((-18)/1 + 0). Are n and h equal?
True
Let j be (-650)/(-12) - ((-375)/(-90))/25. Let o be (j/3)/((-65)/105). Which is greater: o or -30?
o
Suppose -3*h + 18 = -2*q + 1, 0 = -2*h + q + 10. Let v(l) = -2*l**3 + l**2 - 3*l + 2. Let w be v(h). Let z be (-12)/w*(-4)/6. Is 0.9 greater than or equal to z?
True
Let d(x) = -1533*x**3 - 3*x**2 + 17*x + 38. Let t be d(-2). Is 12256 <= t?
True
Let y be 1/8 - (7 - 7). Let z be (-6)/(-21) + 5/70*24. Suppose 2*r - 2 = -2*q, -z*r - 2 = -3*q + q. Which is smaller: q or y?
y
Let m = -2107 - -2104.6. Let s = 7.5 + -10. Let z = s - m. Which is smaller: -1.7 or z?
-1.7
Let a(q) = q**3 + 2*q**2 + 240*q - 252. Let d be a(0). Which is smaller: -260 or d?
-260
Let g = -17850 - -17432. Which is smaller: -2 or g?
g
Let q = 452 + 19. Suppose -5*i + h + 813 = 0, -3*i - 6*h = -h - q. Which is bigger: 164 or i?
164
Suppose -2*l = 2*l + l. Suppose -3*i - 4*f + 20 = 0, -f + 21 = 4*i + 3. Suppose i*m + l - 92 = 0. Is m at most as big as 22?
False
Let k = 4/239 - 551/18642. Let z = -209 + 227. Suppose -3*g + z - 18 = 0. Is k not equal to g?
True
Suppose 0 = 4*j - 4*p + 5164, 33*j - 30*j + 3*p + 3837 = 0. Which is greater: j or -14130/11?
-14130/11
Let c be (12/36*24 + -8)/((168/(-8))/7). Let q be -1*1*(63 + -2). Which is greater: q or c?
c
Let c(y) = -y**2 - 8*y - 23. Let i be c(-5). Is -2/5 greater than i?
True
Let y = -27457 - -14967. Does -12489 = y?
False
Let h = -0.9047 + -0.0953. Is h < -0.051?
True
Let f(r) = 33*r. Let v be f(1). Let i = v - -11. Let a = i - 40. Does a = 5?
False
Suppose 4*q - 2*q + 103 = -3*j, 2*q = 2. Let n(o) = -4239*o - 36. Let g be n(-1). Let w be g/(-117) + (-7)/91. Which is smaller: w or j?
w
Suppose 73205 + 1770 = 25*f. Is 2998 >= f?
False
Suppose -1958*k = -1972*k + 84. Do k and 75/13 have the same value?
False
Let v = 15 - -296. Let s = 227 - v. Is -2 equal to s?
False
Suppose -19 = -5*p + 5*y - 4, -5*y + 17 = -p. Let a be (-2)/(-2) + 141 + -2. Let t be (p/60)/(16/a). Which is greater: 1 or t?
t
Suppose 185 + 631 = -8*w. Which is smaller: -89 or w?
w
Suppose 3*c + n = 106, -12*c + 14*c + n = 71. Which is smaller: c or -18/5?
-18/5
Let l = 14 - 14. Let m = 12.753 - 11.843. Is l equal to m?
False
Let u(l) = -2*l**2 + 68*l + 42. Let k be u(34). Let r be k/(-8) + 2 - 111/148. Which is smaller: r or 0?
r
Let m = 429658 + -12402937484/28867. Which is smaller: -1 or m?
-1
Let w be (6 + -11 - -7)/((-48)/18 - 6). Is -0.04 greater than or equal to w?
True
Let v(i) = -i**3 + 12*i**2 + 9*i + 58. Let g be v(13). Let w be ((-3185)/(-21) - 1)/((-4)/g). Is w > -226?
False
Let g = -1191 + 25016/21. Let d = -6 + 7. Is g at most as big as d?
True
Let k = 1129 - 1129. Let g be 7/(-14) + 9/(-6). Which is smaller: k or g?
g
Suppose 4*p + p = g + 20, -2*p + 77 = -5*g. Which is bigger: g or -760/49?
g
Suppose -3*o - 299 = 4*w, 2*o - 163 = 2*w - o. Let z = 129155/3 + -43129. Which is bigger: w or z?
w
Let a = -21/1027267 + 15128934/58931