-8*r - 2*c = -f*r - 7. Are 32 and r nonequal?
True
Let i = -0.4201 + 0.4365. Which is bigger: -6 or i?
i
Suppose -5*x = 15, -1398*o = -1403*o - 4*x - 16152. Is o < -3228?
False
Let t = -189 - -101. Let d(w) = 2*w**3 + 125*w**2 - 92*w - 9642. Let a be d(-62). Which is bigger: t or a?
t
Let m be (-3)/1743*165/165. Which is smaller: m or 1?
m
Let b = 2944 - 179580/61. Which is smaller: b or -4?
-4
Let z = 33/2 - 221/14. Let y = 272 - 270. Let k be (((-6)/(-5))/(15/50))/y. Is z greater than k?
False
Let f = -0.05 - 0.05. Let b be (168/(-10))/((-1)/10). Let z be (-2)/7 - (-4 - (-596)/b). Is z smaller than f?
False
Suppose -273556 = -117*n - 64243. Are 1787 and n non-equal?
True
Let a = -4797 + 19259/4. Is 1/3 at most as big as a?
True
Let r = -207.971 - 2.129. Let y = r + 202. Let t = y + 33.1. Is t at most 0?
False
Suppose 215 + 25 = -16*a. Let w(q) = 5*q + 4. Let x(i) = -i**3 - 5*i**2 + 7*i + 2. Let v be x(-6). Let k be w(v). Is a not equal to k?
True
Let b = 523627/427750 + -361/295. Which is bigger: b or -1?
b
Let d = 0.227 - -29.773. Let f = d + -30.05. Which is greater: 0 or f?
0
Let p(u) = 11*u**2 + 2. Let q be p(2). Let m be (2 + -1)/((-21)/966). Let i = q + m. Which is smaller: 2/225 or i?
i
Let z be (-64)/48*(1 - 4). Let k be 3*((-5)/(45/12) + 2). Suppose -4*v + 5*m + z = 0, -m - 4*m = k*v - 2. Is 0.52 equal to v?
False
Let w be (-13)/(-780)*10*-28270. Are w and -4712 nonequal?
True
Let c = 278 + -267. Suppose -8*y + 270 = -c*y. Does -91 = y?
False
Let i(n) = 981*n - 5885. Let f be i(6). Which is bigger: 187/93 or f?
187/93
Let z be (-4 - (-3)/(-3)) + (-847)/(-196). Let h = z + 1/4. Suppose 6 = 3*s - 3*y, 2*s = 6*s + 3*y + 13. Which is smaller: s or h?
s
Let l = -94 + 94. Which is smaller: 2162 or l?
l
Let k = -321 + 1566. Which is smaller: k or 1241?
1241
Suppose -4*v - 17 = 71. Let x be (v/8)/(5 + (-484)/96). Let h = x + -67. Is h > -7/13?
False
Let t = 4674/5 - 4473/5. Let r be 49 + ((-9)/(-2))/((-90)/180). Let k = t - r. Which is bigger: 1 or k?
1
Let f = -1249 + 1252. Let r be (-30)/(-9)*2*-6. Let h be ((-2)/4)/((-45)/r). Is h less than f?
True
Let c = -707 + 1072. Let l = c + -363. Is l bigger than -91?
True
Suppose 19*g + 577 = 140. Which is smaller: g or -366/17?
g
Suppose 0 = 660*z - 621*z + 1978 - 574. Do z and -36 have the same value?
True
Let s be (1/(4/309))/(19*(-30)/2280). Which is smaller: 1 or s?
s
Let f(x) = x**3 - 55*x**2 + 153*x - 5028. Let z be f(54). Is 310 > z?
False
Let f = -0.26 + 20.26. Let i = 111 + -133. Let c = i + f. Which is bigger: -10 or c?
c
Let p = 375.31 + -375.31. Let b = 44 + 64. Which is bigger: b or p?
b
Let w(a) = 69*a - 3. Let i be w(6). Let n = 149007359/40 - 3724773. Let b = n - i. Is b bigger than 1?
False
Let z(i) = 38*i - 3. Let a be z(-1). Let m be (2/(94/a))/(-1). Let p = -1264/329 - m. Which is greater: -5 or p?
p
Let o(y) = -y**3 - 8*y + 7*y**2 + 18 + 0*y**3 - 7. Let h be (2/(-6))/(-2*2/72). Let a be o(h). Does a = -2/11?
False
Let r = 954 - 1383. Let v = 428.9 + r. Is v smaller than 171?
True
Let x(t) = -16*t + 509. Let g be x(8). Which is greater: g or 370?
g
Let l = -14 - -490. Let o = 480 - l. Is 16/5 less than o?
True
Let l be 2 + 1*2/2. Let z(v) = 2*v - 26. Let r be z(24). Suppose -3*k = -l*c - 9, k + 4*c = -0*k - r. Is 2/7 at most as big as k?
False
Suppose 2 = 2*d + 2*k, 0*d + 4*k = -d + 10. Let m = 2 + d. Let c be 38/57*1/(-25). Is m >= c?
True
Let h(g) = g**2 + 18*g + 22. Let w be h(-16). Let s be (-4)/(-22) + ((-5)/110*4 - 2). Which is smaller: s or w?
w
Let r = 3199 - 3260. Do -665/11 and r have different values?
True
Let g = -82/49 - -2029/539. Which is smaller: g or 1?
1
Suppose 15*s + 112 = -13*s. Which is bigger: 21/11 or s?
21/11
Let x = 132.0343 - 0.0343. Let u = x - 131.9. Which is smaller: 2/13 or u?
u
Let q be 3/9 + 2 + (-1025)/420. Suppose 4 = -4*t + 20. Suppose -3*v = v - t. Is v bigger than q?
True
Let c = 11 + -10. Let r(o) = 5*o**3 - 2*o**2 + 3*o - 2. Let s be r(c). Suppose -8 = 3*i - 4*x, s*i + 13 - 5 = 4*x. Do -2/39 and i have the same value?
False
Let m be (-2)/(-470)*(-25)/10. Let c(w) = -2*w + 4. Suppose 13*g + 4 = 30. Let d be c(g). Is d < m?
False
Let j = -19 - -19.112. Let l = -24353 + 24351. Is j smaller than l?
False
Let j = 3305 - 4481. Which is smaller: j or -1172?
j
Suppose -3496 = -15*y - 3511. Are 3/12664 and y nonequal?
True
Let p = -16 - -18. Let k = -0.18 - 5.52. Let o = -2.7 - k. Is o less than p?
False
Let t = -1.918 + 3188.918. Which is smaller: 0.1 or t?
0.1
Suppose 20*k - 81 = -321. Let u be (-7)/28 + (-843)/k. Is u >= 69?
True
Let u = 236 + -230. Suppose 2*y = 3*s - u, -10 + 13 = -4*s - y. Which is smaller: s or -107?
-107
Suppose 2*i - 9 = -4*p + 1, 5*p - 20 = -3*i. Let d be 4*(i/12 - 3). Let m be 2/3*(-12)/4. Is m bigger than d?
True
Let u = 12034 - 9976189/829. Is 0 at most u?
False
Suppose -52*z + 9247 - 37587 = 0. Let l = z + 1229. Is l != 684?
False
Let t(s) = -s**2 + 7*s + 5. Let h be t(8). Suppose 5*m - 5*f + 110 = 0, -2*m - 139 = 4*f - 77. Which is greater: m or h?
h
Let o = -6411 + 4284. Which is smaller: o or -2128?
-2128
Let h = 7 + -6.7. Let u = 0.4 - h. Let j = -1127.6 + 1127.1. Is j not equal to u?
True
Let o = -564 + 537. Let a be (-35)/5*o/63 - 41. Do a and -46 have the same value?
False
Let h = -1242 + 1180. Is h not equal to 2/55?
True
Let j = 65.401 + 149.781. Let p = -215 + j. Let b = p - -0.018. Is -0.2 at least as big as b?
False
Let j = -1596 - -1595.9. Which is smaller: 25 or j?
j
Let t(y) = 1190*y + 14330. Let q be t(-12). Which is bigger: q or 69?
69
Let n = -3949/10 + 10508279/26610. Which is smaller: 1 or n?
n
Let m be ((-1)/(-6))/(571/30834). Do -19 and m have the same value?
False
Let f = 7697 + -3853. Which is greater: f or 3845?
3845
Suppose 0 = -3*a - 3*i - 81, 3*a - i + 66 = i. Let k = 62 + a. Is 35 at most as big as k?
True
Let b = 14900.4 - 14890. Which is greater: 0.8 or b?
b
Let r = -373.75 + 375. Let s = -0.05 + -1.15. Let m = r + s. Which is smaller: m or 0.2?
m
Let r(j) = 2*j + 33. Let v be r(-16). Let u(z) = 5*z**2 + z - 2. Let y be u(v). Suppose 3 = 3*p + 2*d - 3, 4*p - y*d + 12 = 0. Is 5/7 smaller than p?
False
Suppose -3*n + 4509 = -57*d + 54*d, 5*n + 2*d = 7522. Is 1504 equal to n?
True
Let t = -1263 + 1374. Is 113 greater than or equal to t?
True
Suppose 2*c = -2*k + 840, 3517*c - 3513*c - k = 1710. Is 418 at most c?
True
Let b = 134 - 77. Let n = 38 + b. Which is smaller: 2/3 or n?
2/3
Suppose 26*f - 2287 - 1093 = 0. Let g be 15792/120 - 3/5. Is f at most g?
True
Let n = -90 + 54. Let a = 1047 - 1086. Which is bigger: n or a?
n
Suppose 3*j - 590 = 5*d, 3*j - 8*j = 25. Suppose 3*f + 2 = 404. Let q = f + d. Which is smaller: 0 or q?
0
Let b = -41666836/167 + 249503. Which is smaller: b or 1?
b
Let m(w) = w**2 - 1. Let g be m(2). Suppose -7 = -4*s - g. Let u be 1 + (-6)/((-3)/s). Which is smaller: -3 or u?
-3
Let r(m) = -22*m - 263. Let a be r(-11). Is a less than or equal to 17?
True
Let x be (1314/(-4))/((-96)/(-128)). Which is smaller: x or -439?
-439
Let n = -603305/242 - -2493. Suppose k = 3*b - 1, 13*b - 15 = 16*b + 3*k. Is b not equal to n?
True
Let s be 8 + -7 - (0 - 1). Suppose -4 + 0 = -s*i. Suppose 2*w + 2*d = -2, 4*w - i*d = -w + 30. Is 1 smaller than w?
True
Let n be (4 - (-204)/(-85))/(3/(-180)). Which is smaller: -88 or n?
n
Let k = 608 + -346. Suppose -11*m + 1201 + k = 0. Let a be (4/6)/(m/27 + -5). Is a at most -9?
True
Let n = 11772 + -152844/13. Which is greater: 16 or n?
16
Let g = 14230 + -14040. Which is greater: 206 or g?
206
Let w be (6138/12)/(-3)*2 - -3. Let q be (w/2015)/((-2)/(-10)). Which is bigger: q or -2?
q
Let o = -23733 - -878079/37. Is o > -2?
True
Suppose q - b + 166 = 0, -4*q - 3*b - 636 = -0*q. Let r = q - -175. Is r equal to 12?
False
Let i be (-25)/(-20) + -1 + 7/4. Let w(y) = 3*y**2 + y - 5. Let m be w(-5). Suppose i*d + m = 11. Is -27 less than or equal to d?
True
Let h be -3 - ((-513)/17 + -6). Let q = h - 14097/425. Is q greater than 0?
True
Let m = -653.39 - -653.372. Let z be 8*(-3)/(-18) - 2. Are z and m nonequal?
True
Let d(x) = -2*x**3 + 78*x + 162. Let s be d(-2). Is 533/25 > s?
False
Suppose 4*r + 269 = 689. Suppose r = 2*b - 105. Are b and 104 equal?
False
Let n = 19 + -20. Let x be (10/n)/((-1)/(-2)). Let k be (0 - (-110)/2)*(-2)/5. Whi