be 96/z*(-5)/(-60). Which is greater: m or -2?
m
Suppose 2*q = 5*q - 3. Let x = 319 - 785. Let l = -3257/7 - x. Is q at least as big as l?
True
Suppose 4*z + 6927 = -5*s, -6*z + s + 3343 = 13776. Which is smaller: z or -1737?
z
Let w = 0.1 + -0.06. Let i be (3 - 4)/(((-396)/22)/234). Which is greater: w or i?
i
Let i = 4 - 2. Let p = 0.0257 - 2.9257. Let b = -3.9 - p. Which is bigger: b or i?
i
Let a = 121835/111 + -405/37. Which is smaller: 1086 or a?
1086
Let s = 10562 - 10562.091. Let n = 0.2 - -1.8. Which is smaller: s or n?
s
Suppose 4*k - 926 = -5*p, 5*p = -2*k + 335 + 583. Let w = -1256923/25 - -50459. Let x = p - w. Which is smaller: x or 1?
x
Let i = -344.45 - -345. Let p = 57.45 + i. Which is bigger: p or 4?
p
Let q = -4935 - -4936. Is -50/103 <= q?
True
Let f be (-1685)/1 + (13 - 17 - 3). Is f at most as big as -1692?
True
Let t(y) = y**2 - 8*y + 28. Let u be t(7). Suppose -u = -3*n + 33. Which is smaller: n or 19?
n
Let p = 7 - 6.94. Let b = 373.09 + -371.09. Is b >= p?
True
Let x = -13.2 + 13.4. Let u be (-30)/(-9)*24/(-20). Let v(r) = -r**2 - 2*r + 5. Let m be v(u). Which is smaller: x or m?
m
Let t = -11 - -17. Let d = -6 + t. Let j be 9*(-8)/(-192)*(15/(-27) - -1). Is j bigger than d?
True
Suppose -4*n + a - 14218 = 0, 146*a - 143*a = n + 3560. Which is bigger: -3553 or n?
-3553
Let f = -18 - 1. Let x = 48 - f. Let m = 68.2 - x. Is m less than or equal to -1/3?
False
Suppose -1 = -3*r + 14. Let d(z) = -z**2 - z - 1. Let l(p) = 4*p**2 + 3*p + 8. Let m(b) = r*d(b) + l(b). Let w be m(1). Are w and 1/85 nonequal?
True
Suppose q - 4 = 11. Suppose q*n = 7*n - 8. Let p be ((-15)/(-10))/(n*9/48). Which is bigger: p or -4?
-4
Let v = -31 + 227. Let x = 196 - v. Is -0.01 at most x?
True
Let g = 108513 + -759349/7. Let d(n) = -5*n - 10. Let o be d(-9). Is o greater than or equal to g?
True
Let t be 4370/12 + 644/(-552). Suppose -a - 1089 = -4*a. Is a at least as big as t?
True
Let i be 2 + (6 - 2 - 2). Let p be i/6*2/((-8)/18). Let x be ((-26)/39)/(58/p). Which is greater: 0 or x?
x
Let q(m) = m**2 - 11*m + 241. Let h be q(21). Do h and 448 have the same value?
False
Suppose -348*t = 5*t - 70247. Which is greater: -2 or t?
t
Let w = -149 + 149.062. Let d = -0.17 - w. Are -1/4 and d unequal?
True
Let y be 0*(4/8 - 0). Which is bigger: 1743 or y?
1743
Let n = 279991 - 279994. Let w be 2/(-10)*(-15)/66. Which is greater: w or n?
w
Let v = -763 - -762. Let x be 23649/45120 + -2 + 0. Let m = x - -95/64. Which is smaller: m or v?
v
Let m = 0.13072 - 0.43072. Is -4380 bigger than m?
False
Let o be ((-4)/(-10))/((-148)/337070). Is o at most -4559/5?
False
Let w = 0.81 + 40.19. Let d = 25 - w. Let r = -60 + 61. Which is smaller: d or r?
d
Let v be 7*(12/8 + 17/(-14)). Suppose -w - 26 = 2*y - 3*w, v*y + 3*w = -36. Are y and -14 equal?
False
Let g be 98/(-14) - 75666/(-9459) - 1. Is g at most as big as 1?
True
Suppose -z = -t - 2*t + 63, 4*z = 2*t - 42. Let d be 15/t + -1 + 103/(-7). Let r be d/(-5) + 69/(-21). Which is greater: -0.19 or r?
-0.19
Let w be 155/5 - (-4 + 1). Let p be 1/2*-1 + 289/w. Suppose 0 = 5*c - 13 + p. Which is bigger: c or 3/25?
c
Let r = -683751/5492 - 3/5492. Suppose 5*g + 2*f + 690 = 75, -4*g = -3*f + 515. Which is smaller: r or g?
g
Let u be 3 - (13825/(-105))/(22/(-6)). Is -34 bigger than u?
False
Let p(i) = -i**3 - 5*i**2 + 6*i + 7. Let j be p(-5). Let s(g) = -15 + g**2 + 22*g + 5 + 0*g**2 - 35. Let c be s(j). Which is bigger: c or -23?
c
Let b(a) = a**3 - 14*a**2 - a + 13. Let k = 28 - 14. Let u be b(k). Let s = u - -14. Are s and 13 unequal?
False
Let h be 1128/(11/(264/(-36))). Is h > -746?
False
Let g be 36624/210 + (0 - 0). Which is greater: g or 173?
g
Let n = -1520264/5016165 - -274/903. Which is smaller: 0 or n?
0
Let h = -141.684 - 0.316. Let z = -141.96 - h. Are 0.8 and z unequal?
True
Let f be (-2 + 0)*(-49 - -127). Which is greater: f or -150?
-150
Let j = 95316/24065 - 829580636/225946285. Let n = -4/1145 - j. Which is greater: n or 0?
0
Let v = 3/460 + -15431/3220. Which is bigger: -6 or v?
v
Let g = -253.3 - 58.7. Let f = 235 + g. Which is smaller: -2/3 or f?
f
Let x(r) = 7*r + 100. Let n be x(-31). Let f be -3 + ((-82)/(-30) - 78/n). Are -13/8 and f unequal?
True
Let b be -72 - ((-18)/(-2))/(9 - 6). Let m = -187 + 116. Is m greater than or equal to b?
True
Let s = 316 + -316.0296. Let k = -0.1296 - s. Is 2/85 equal to k?
False
Suppose -3*u - 1183 = 10*u. Let i = u + 43. Which is smaller: i or -50?
-50
Let r(u) = 3*u + 1. Let n be r(1). Suppose 4*l + 3 = n*y - 7*y, 0 = -5*l + 2*y + 2. Let i be ((-9)/74)/(-9*(-3)/36). Are l and i non-equal?
True
Let m(o) = 19*o**3 - 28*o**2 - 86*o + 27. Let k be m(-4). Is k smaller than -1297?
False
Let w(z) = -z + 1. Let f(g) = -8*g + 17. Let d(l) = f(l) - 6*w(l). Let i be d(4). Suppose i*x = -3*x + x. Do 1/4 and x have different values?
True
Let s(d) = -d + 12. Let t be s(-14). Suppose -27*v + 7 = -t*v. Suppose -3*b + v = -0*b - z, b + 11 = 3*z. Is b bigger than 3?
True
Suppose -34*l - 5*l + 41130 = 9423. Is 7330/9 < l?
False
Let d be (-1532)/6*(-108)/(-8). Is d at most -3448?
False
Let f = -559/4 + 45251/324. Let n = f - -83/648. Is 1 != n?
True
Let d be ((-156)/130)/(((-96)/330)/(-8)). Is -662/21 less than d?
False
Suppose -17 = d - 3*g, 2*d + 2*d - 34 = -5*g. Is -1/677 >= d?
False
Let p be (78/18 - 5)*((-3)/6 - 4). Is p <= 0.207?
False
Let u be 1*(7*-44)/(-1). Let v be (-201424)/(-656) + (-16)/328. Which is smaller: u or v?
v
Let s = 4 + 10. Let v = -121821/4 + 853119/28. Which is smaller: v or s?
v
Let u be (2 + 1/(-2))/((-7)/1078). Let y be ((-7)/u)/((-2)/(-42774) + 0). Let f = y + -647. Is 0 bigger than f?
False
Suppose 2*m = -5*z - 21, 5*m - 2*z - 1 = 19. Suppose 4*u + 7 + 1 = f, 5*f + m*u = -26. Is f less than or equal to -11?
False
Suppose 4*p = -0 - 4. Let h(u) = -u - 5. Let l be h(-2). Let o be 13 + 2 + l + p. Are o and 12 unequal?
True
Let l be -167 - (-24*(-6)/24 - (4 - -1)). Which is greater: -500/3 or l?
-500/3
Let b = 335 - -1030. Suppose 1080 + b = -15*m. Is m at most as big as -162?
True
Let v(c) = -c**2 - c - 5. Let d be v(4). Let i be 4 + -2 + (d - 1). Suppose 1634*z = 1615*z - 582 + 107. Which is bigger: i or z?
i
Let w be 148/(-6)*(-6)/8. Let k = w - 1077/58. Let p = 18162 - 18162.05. Which is greater: k or p?
p
Suppose f - 5*r = -3*r - 4, -2*r = 6. Let j be (-1)/3 - (-2275)/(-68484)*f. Which is smaller: 1 or j?
j
Let z = 30.3 + -72.6. Let s = z - -42.2. Is s at most as big as -0.4?
False
Let j = 234 + -208. Let m = 0.2 - -4.8. Let x = m - j. Which is bigger: -1 or x?
-1
Let r = 4/1697 - -446303/3394. Which is smaller: 132 or r?
r
Let j = 78 - 78.1. Let o = -5898 + 5900.58. Is o >= j?
True
Let o = -4408271/9 - -489306. Let r = 501 + o. Which is greater: r or -1/11?
-1/11
Suppose 0 = -51*j + 53*j + 222. Is -95 < j?
False
Suppose 3*k = 5*c + 37, 5*c + 16 = -9. Suppose -2*z + k = 6. Which is smaller: 1/372 or z?
z
Let i be ((13/(325/(-30)))/((-588)/(-8)))/(-38). Are i and 1 equal?
False
Let k = -53442 - -33027143/618. Which is smaller: k or 1?
k
Suppose -561 = -80*c + 63*c + 2023. Is 0.2 bigger than c?
False
Let r(m) = m**2 + 7*m + 15. Let q be r(-7). Suppose -q = -5*b - 10. Which is greater: b or -3/35?
b
Let u(v) = 73*v + 117. Let o be u(-7). Which is bigger: -397 or o?
o
Let s be 328/41 + -2*69/12 + 4. Which is smaller: s or -397?
-397
Suppose -3*u + 0*v + 575 = -2*v, 0 = 5*u + v - 941. Suppose -u = 3*i + k - 45, -35 = i - 4*k. Which is smaller: i or -49?
-49
Let v = 38963 - 38963. Which is greater: v or -4/4917?
v
Let p = -75 - -51. Let r be -2 - 1 - 69/p. Let k = -16 + 17. Is k less than r?
False
Suppose 4*r + 4 = 0, 14*r = 5*b + 17*r - 782. Suppose -4*h = -0*f - 2*f - 616, -5*h + 768 = -3*f. Which is greater: b or h?
b
Let j = -3294.085 + 3282. Let h = j - -41.047. Let i = 0.038 + h. Are i and 0 equal?
False
Let v be (-21)/(-49) - (-31)/(-7). Let o be v*(-6)/33*-1. Which is smaller: o or -2?
-2
Suppose 4*p = -3*m + 17, -3*p = 2*m - p - 12. Let o = -4937/1737 + -9/193. Let v = o + 173/63. Which is greater: m or v?
m
Let h be (-212524)/(-103986) - (4 + -2). Let p = h + 1/477. Let y = p - -371/1417. Which is bigger: y or 1?
1
Let q = -9.89 + 9.79. Let w = -26 + -4. Are w and q non-equal?
True
Let j = 61.849 - 62.07. Do j and 1 have different valu