- 4*c - c - 105. Suppose 2*q - 4 = q - 3*y, -4*q + 16 = 5*y. Suppose 2*b = q*b + 100. Is n greater than or equal to b?
True
Suppose -75*s + 70*s = -5. Let w be (-2290)/(-10290)*-9 + 2*s. Which is greater: w or 1?
1
Suppose 2*j + 3*f = 7 - 38, 0 = -5*j - 5*f - 65. Let d be (-3)/j - 5589/(-72). Let w = -81 + d. Is 0 greater than w?
True
Let l be 2/(-8) - 1/156. Suppose 0 = g + 16*g + 8*g - 25. Which is smaller: g or l?
l
Let y = 55 - 102. Let h = y + 39. Which is greater: h or 4?
4
Let k be ((-78)/44*2)/(77/(-22)). Which is smaller: 1 or k?
1
Let d(v) = -4*v**3 - v**2 + 3*v + 1. Let f = -256 + 258. Let r be d(f). Is r at most -5?
True
Suppose 0 = 4*l - 4*o - 24, 3*l + 4*o - 18 = 2*o. Let u be ((-44)/l)/((-120)/(-144))*15. Which is smaller: u or -131?
u
Let d = 294 + -54. Let i = d + -194. Which is greater: 0 or i?
i
Let l be 466*22/(-352)*30*8/6. Which is smaller: -1164 or l?
l
Suppose -3*n + 6 + 20 = k, 4*n = k - 47. Let f = -12 + k. Suppose -18*c + f*c = 5. Which is greater: c or -1/171?
c
Suppose 18*k = -o - 190, o + 4*k + 110 = 2*k. Are -116 and o nonequal?
True
Let m be (5/10)/(15/30). Is 7/450 not equal to m?
True
Let i be (-6)/4*(-9 - (101 + -8)). Is 2604/17 less than i?
False
Suppose -9*z - 23*z + 2880 = 0. Let l be (-4)/(-3)*(-23)/((-69)/z). Which is greater: 39 or l?
l
Let x(m) = -6*m - 13. Let u(i) = 11*i + 26. Let w(g) = -3*u(g) - 5*x(g). Let s be w(-5). Let a be s + -1 + 2 + -6. Is 9 bigger than a?
True
Let r = -931 + 926. Is r not equal to 107?
True
Let p(f) = -2206*f - 123539. Let t be p(-56). Suppose 4*o + 32 - 4 = 0. Which is bigger: t or o?
t
Let m be (-195)/48*2 + 8 + 82/(-16). Which is greater: m or 77?
77
Let o = 1133 + -657. Let k be 6 + -10 + (o/(-24) - 2). Are k and -27 non-equal?
True
Suppose 1566 = 242*s - 233*s. Let l = 191 - s. Is 16 >= l?
False
Let j(a) = -2*a + 1 - 46*a**2 + 2*a + 2*a**3 + 41*a**2. Let z be j(6). Suppose -3*q - 55 = -z. Is 66 less than or equal to q?
True
Let d be 1 + (-2 + -3)*-1. Suppose -17 = -d*w - 17. Is -2/309 less than or equal to w?
True
Suppose 3*k + 47 = 5. Let y be 7/k*(-40)/(-2). Is -8 < y?
False
Let a = 3079.9 + -3649. Let j = a - -570. Which is bigger: 0.07 or j?
j
Let w = -1.8 + 2. Let j = -200877 + 201028. Is j at least as big as w?
True
Let t = 11547 - 450332/39. Which is smaller: -5 or t?
-5
Let h = -175762 + 175749. Let a = -1 + 3. Is a smaller than h?
False
Let s(c) = -4*c**2 + 101. Let j be s(-5). Is -802 less than or equal to j?
True
Let v = -102.216 + -0.384. Which is bigger: -2/7 or v?
-2/7
Let s = -9959 - -69932/7. Suppose 2 = -r, 3*i + 5*r - 8*r - 99 = 0. Is i bigger than s?
False
Let r be (-18)/315*10050/24. Which is bigger: -25 or r?
r
Let d be 32/304 + 156576/(-152). Do -1030 and d have the same value?
True
Suppose 2*y + c - 4 + 24 = 0, 2*c - 41 = 5*y. Let p be (-2)/292*y*(-14)/315. Are p and 0 non-equal?
True
Suppose 3*v - 3768 + 660 = 0. Which is greater: 0 or v?
v
Let s = 327080120/1421 + -230176. Which is bigger: 1 or s?
1
Let z = -4205/1169 + 52/167. Which is smaller: 25 or z?
z
Suppose 54*z - 56*z = -k + 202, 0 = 4*k - 2*z - 844. Which is greater: 1922/9 or k?
k
Suppose k - 50155 = -2*i, -2*k - 4515 = -i + 20580. Which is bigger: i or 25080?
i
Suppose 5*t + 1 = 2*t + 2*c, 5*c = 10. Let p = -12.187 + 1.187. Does p = t?
False
Let b = -21 + 25. Suppose 2*r - 16 = b*t, -r - 4*t - 1 = -3. Let x be (-12)/18*r/(-4). Which is smaller: -3/8 or x?
-3/8
Let w = -111 + 115. Suppose -3*r + 2*v + 3 = w, 5 = -r - 4*v. Let f = -60 - -423/7. Is f at least as big as r?
True
Let z = 668 + -655. Suppose 1601 = -z*i - 2520. Is -317 != i?
False
Let h be 95/12 - 8 - (-166)/(-24). Let r be (-786)/(-8) + (-2)/8. Let d be (-3)/(-1) + -1 - r/h. Is d greater than or equal to 11?
True
Let w = -18 + -25. Let l = 44 + w. Let f be (l - -4)*8/(-8). Is -8 >= f?
False
Let r(s) = s**2 + s. Let c(b) = -5*b**2 - 14*b - 6. Let y(t) = c(t) + 4*r(t). Let a be y(-7). Let o be 6*35/a - -3. Which is bigger: 18 or o?
18
Let a = 352.7 + -354.297. Let s = 1.6 + a. Which is smaller: s or -1?
-1
Let q(u) = 4*u**2 - 14*u + 32. Let k be q(6). Let g be 4/(-14)*(k/(-8))/23. Which is smaller: 0 or g?
0
Let l = 12223 - 12223. Is l at least as big as 3/17033?
False
Let g be (6 - (-12112)/56)*(-28)/4. Is g less than or equal to -1567?
False
Let s(i) = -i + 5. Let d be s(14). Let q be (-3)/d - (-3702)/(-9). Let p be q/27 + (-4)/(-18). Which is smaller: p or -14?
p
Let y be (((-2)/28)/(-1))/(1717/202). Suppose -9*t - 5 = -14*t. Which is smaller: y or t?
y
Let g = -48 - -50. Let q be (-41 - 0)*(5 - g). Which is smaller: -122 or q?
q
Let f be (7/1)/(4 + (4 - 7)). Let o be (-21)/f - 15/3. Is -51/7 greater than or equal to o?
True
Let t be 1355840/11552 - (0 - -14). Is 102 not equal to t?
True
Let x = -312.0043 - -0.0043. Let s = 307 + x. Is 2/11 less than or equal to s?
False
Let c be 2*12/(-20)*(0 - 3)/(-27). Is c greater than 1/16?
False
Let g = -92042 - -79432256/863. Which is smaller: g or -1?
-1
Let a = 322 - 549. Let b = a + 5673/25. Let r = 0.1 + -0.2. Which is smaller: b or r?
r
Let u(q) = -q + 7. Suppose 0 = 8*a - 4*a - 12. Let s be u(a). Suppose -t = 2*l + s*t - 24, 14 = 3*l + 2*t. Is l < 4/7?
False
Let c(a) = -a**2 + 13*a - 1. Let p = -27 - -31. Suppose y = -2*l + 21, -2*l + p*y + 51 = -y. Let m be c(l). Which is smaller: m or -0.16?
m
Let c = 21234 + -21235. Let v be 4/922 - -1 - 1. Are c and v unequal?
True
Let h = 7007 - 49046/7. Does 330 = h?
False
Let h(u) = -u**2 + 114*u - 2437. Let d be h(50). Is d less than or equal to 773?
True
Let y be ((-1282)/(-2))/(58/58). Which is greater: y or 7038/11?
y
Let g = 53 + -33. Let p be ((-12)/10)/(6/g) + 106. Suppose -4*m = -p - 66. Is 42 at most m?
True
Let m = 5689 - 5720. Is -344/11 > m?
False
Let z = 23 - 20. Suppose 0 = -2*f + z*m, 3*m = 3*f + 2*m. Which is greater: -194 or f?
f
Let a(c) = -2*c - 1. Let y(s) = -42*s - 154. Let q(v) = 3*a(v) + y(v). Let u be q(-3). Which is greater: -6 or u?
-6
Let i(w) = 9*w**2 + 4*w - 54. Let q be i(-18). Suppose -2*m = -20*m - q. Which is smaller: -156 or m?
-156
Let v be -87*5/(-30)*10. Let o be (-2 - -92)*440/275. Is v at most o?
False
Let k = 27.62 - 26.52. Is k > 0.29?
True
Let c = 398 - -298. Let r be 0 - (4/(-6))/((-29)/c). Do r and -44/3 have the same value?
False
Let v = 3753 + -52543/14. Do 76 and v have different values?
True
Suppose -44*w - 20 = -49*w. Suppose 5*o - d = 10, 4*o - w*d = d - 13. Let h be o + (11*3/(-6) - -3). Is 2.2 less than h?
False
Let o = 250559/10850 + -89/350. Do 22 and o have different values?
True
Let s = -396 - -410. Suppose -44*a + 108 = -38*a. Is a less than or equal to s?
False
Let r(o) = -12*o + 147. Let i(h) = -48*h + 588. Let d(v) = -2*i(v) + 9*r(v). Let s be d(12). Which is smaller: -36 or s?
-36
Let p = 7 - 7.18. Let j = p - 0.02. Let n be (-9)/(-2) + 0 + (-414 - -409). Is j > n?
True
Suppose -x + 3*f - 77 = -736, -5*f = -5*x + 3305. Let d = 663 - x. Let q be (30/9)/((-1)/6). Do q and d have the same value?
False
Suppose 21 = z - 17. Do 32 and z have the same value?
False
Let k = 14180/137261 - 42/433. Let n = 8248 - 8249. Which is smaller: n or k?
n
Let k = -244/435 - -14/87. Are 4/627 and k equal?
False
Let r = 60199/866 + -6/433. Let u = r - 69. Which is greater: -0.062 or u?
u
Suppose c - 5*i - 39 - 207 = 0, -2*c + 3*i = -485. Suppose -d - 53 = -5*b, 5*d = b - c - 48. Which is smaller: d or -56?
d
Let p = -9760709/65 - -150165. Let r be 3/12 - (-5)/(-4). Which is smaller: r or p?
r
Let w = -3741 + 3741. Is w > -5500?
True
Let h = 0.006 + 0.048. Let d = h - -1.646. Are -0.2 and d nonequal?
True
Let d be (-4 + 10)/(4/(104/3)). Let k = d + -70. Let t be (12 + -11)*(-18 - 2). Which is smaller: k or t?
t
Let b = -366 + 741. Let z be 3/6 - b/530. Let s = z - -631/3551. Is s less than 1?
True
Let b = 2456 - 4705/2. Let x = b + -451/4. Is x > -8?
False
Let l(n) = n + 10. Let s be l(-11). Let q be 8/12 - (-145)/(-210). Is s > q?
False
Suppose 5*f - 4*q - 44 = 0, 13*q = 18*q - 20. Let x be (0 - -2)/(f/(-18)). Let n be x/64*-1*(-36)/81. Which is smaller: -1 or n?
-1
Let y = -76.89 + 72.4. Let s = 267 + -266.51. Let i = y + s. Is 11 less than i?
False
Let o(a) = a**2 + 112*a - 1989. Let z be o(18). Is 3858/11 greater than z?
False
Let q = 8 + -5. Suppose 0 = -q*u - 5*i + 15 - 7, 7 = 2*u + 5*i