t m be ((3 - 4) + -13)*-4. Let d be m/10 - (-20)/50. Let k be -9*(-3)/(81/d). Is k equal to 3?
False
Let o be 18/(-81) - ((-21153)/297 - (-1)/1). Which is smaller: 86 or o?
o
Let x be (7 + -109)/((-6)/(-8)). Let k be (1 - 2) + x/(-124). Let o(j) = -9*j + 62. Let a be o(7). Which is bigger: k or a?
k
Let k = -48 - -47.24. Let n = 0.24 - k. Let i be (-5 - 1)*(-1)/14. Which is smaller: i or n?
i
Let m be ((-15)/(-20))/(-2 + (-211)/(-104)). Suppose 2*j = 32 - m. Is j smaller than 7/3?
False
Let a be (-6)/2 - (5 + -453). Let z be (1/16 + 0)/a. Let n = 398729/64080 - z. Is 5 > n?
False
Let s(v) = 156*v - 255. Let t be s(5). Let b = t + -525. Is 2/1597 > b?
True
Let u(f) = -2*f - 5. Let y be u(3). Let x be (1 - (-4 - -76))/y. Let p = 4271/660 - x. Is -1 != p?
True
Let i be (4/(-10))/((-2751)/70). Let b = -2017/5109 + i. Let p = 685 - 686. Which is bigger: p or b?
b
Let v(b) = 16*b + 65. Let n = 166 + -170. Let q be v(n). Is -1/355 < q?
True
Suppose 0*n - 4*n + 8 = -2*a, 5*n + 4*a = -16. Let w be -31*(n + (-5)/20*-2). Which is greater: w or -15?
-15
Let y = 26 + -25.8. Suppose 4*v + 33 = 3*l, 4*v + 5*l + 64 = 55. Which is greater: y or v?
y
Let u be 7/(-1603)*-1*-1869323. Let p = -8163 - u. Is p at least -1?
True
Suppose 15*g = -7730 + 6755. Let o be 0 - (788/(-3))/(-4). Is g greater than or equal to o?
True
Let i be (10 - 10)/(3 - -1 - 6). Let q be (-9)/42*4/34. Is q at most as big as i?
True
Let f(k) = -k**3 - 3*k**2 + 5*k + 4. Let q(r) = r**3 - 11*r**2 - 12*r - 4. Let c(m) = 2*m**3 - 2*m. Let x be c(2). Let s be q(x). Let b be f(s). Is -1/46 > b?
False
Let m = 30613681/88 - 347879. Which is smaller: 5 or m?
m
Let u = 1 + -10. Let n be ((-15)/45)/(4 - 572/144). Which is greater: u or n?
u
Suppose 131*f = 34*f - 100*f. Suppose 0 = -u - 2*d + 142, -278 = -3*u + u + 2*d. Let y be -1 - 0 - (-152)/u. Which is smaller: y or f?
f
Let o = -15.63 + -0.37. Let l = 382.1 - 398. Let a = l - o. Which is bigger: -22 or a?
a
Let m = -899.8 - -358. Let t = -543 - m. Suppose 5*u + w - 11 = 0, u + 3*u = -4*w - 4. Is u greater than or equal to t?
True
Let l = 367658/21885 + 2/4377. Which is smaller: l or 18?
l
Let u = -566 - -587. Let o be (-1246)/u - 8/12. Is o smaller than -60?
False
Let r be (-227)/(-2) + (-27)/6 + 3. Let b = -99 + 211. Is r <= b?
True
Let u = -137.677 - -138. Let k = -26 + 25.977. Let x = k + u. Is 4 equal to x?
False
Let t(u) = -u**3 + 42*u**2 + 36*u + 46. Let w be t(40). Is 4686 at most as big as w?
True
Let u be 9*20/1530 - 14/119. Is u <= 19/118?
True
Let h = 188/3 + -64. Suppose -10297 = 75*v - 10222. Which is greater: v or h?
v
Let y = -2958 - -2351. Which is smaller: -598 or y?
y
Suppose -3*h + 3*m - 3 = -0*h, -3*h + 4*m = 6. Suppose h*d - 49 = -11. Suppose 5*j + 3*z = -d + 7, 16 = -4*z. Is -5/17 greater than j?
False
Let t = 295 + -292. Suppose 2*x + 5 = 3*o, -x - t*x - 13 = -3*o. Let p = 51/55 - 2217/2035. Is o not equal to p?
True
Let i be 3*(8/363)/4. Suppose m - 5 = 4*u - 5*u, 4*m - 14 = -u. Suppose -3*l + 3 = 3*w + 9, m*l = 5*w + 10. Which is smaller: i or l?
l
Suppose 2*d - o = -17, -d - 4*d - 3*o = 15. Let s be 9035/(-36) - (-7 - 305/(-45)). Let p = -256 - s. Is d < p?
True
Let w be (9/30)/(1/((-7)/(-14)*-5)). Which is smaller: 15 or w?
w
Let o be 8/(-26)*(-27 + 169564/6280). Which is smaller: -1 or o?
-1
Let o(k) = 4*k**2 + 2*k + 2. Let f be o(-1). Let s(n) = 7*n - 47. Let z be s(7). Which is bigger: z or f?
f
Let o be (-90)/(-3) - 2688/(-168). Let s be (-692)/(-15) + (-1)/3. Which is greater: s or o?
o
Suppose 14*q + 112 = -0*q. Let w be ((-1235)/104)/(2/q). Is 49 at least as big as w?
True
Let d = 7 - 6.4. Let j = 25 + -31.6. Let q = d + j. Is -0.4 greater than or equal to q?
True
Suppose 122*t - 121*t - 5951 - 4995 = 0. Is 10946 > t?
False
Let q = -119 + 232. Let y = -111 + q. Suppose -4 = y*k - 2. Do -5/36 and k have the same value?
False
Suppose 112*m + 258 = -146*m. Are m and 6/1711 non-equal?
True
Let v(p) = -2*p**2 + 2 + 5 + 7*p - 8*p. Let r be v(0). Suppose -4*o - r = -55. Are o and 16 non-equal?
True
Suppose -3*s + 34 = -4*q + 159, -2*s - 85 = -3*q. Let p = 195 + s. Is p at most as big as 160?
True
Let r = 84 + -66. Let t be 2/(-18)*-2 - 175/(-63). Suppose 4*p = -3*b + 77, -t*p + 5*b + 70 = 2*p. Which is smaller: r or p?
p
Let n be 324/(-252)*(-56)/804. Let q(y) = y**3 + 5*y**2 - 8*y - 11. Let k be q(-6). Which is smaller: n or k?
n
Let m(l) = -135*l - 1472. Let f be m(-11). Let d be ((-15)/6)/((-4)/(-8)). Let w(b) = -5*b - 10. Let a be w(d). Is f smaller than a?
True
Suppose 9*h + 1120 = -761. Let i = h - -1255/6. Let q = -4 + 3. Which is smaller: q or i?
q
Suppose 41 - 5 = 3*l. Let r(f) = 8*f - 35. Let m(w) = -w. Let j(a) = -5*m(a) - r(a). Let o be j(l). Do 2/41 and o have the same value?
False
Let g = 23.6 + -9.5. Let n = 13.2 - g. Let z(y) = y**2 - 5*y + 6. Let j be z(4). Which is smaller: j or n?
n
Suppose 83*v + 1916 = 14*v + 329. Which is smaller: -75 or v?
-75
Let i = -22184 - -15391. Which is smaller: i or -6792?
i
Let g = -42.3 + -10.6. Let b = g - -52.7. Let a = -32.962 - 0.038. Which is smaller: b or a?
a
Suppose 3*j - 29 = 4*y, -5*j + 0*y + 10 = y. Suppose 5*i + j = -2, -33 = 2*m + 3*i. Are m and -14 nonequal?
True
Let y = 0.27242 + -0.03142. Is 6/11 >= y?
True
Suppose -4 = -5*q - 3*k - 7, 0 = 5*q - k - 1. Which is bigger: q or 1/5588?
1/5588
Suppose 6*p = 3*p + 159. Suppose -3*y - p = -50. Let j = 8/11 - 207/209. Do j and y have different values?
True
Suppose -259*x = -44*x + 29*x. Which is bigger: -1377.4 or x?
x
Let v = -2 - -1. Suppose -8 = -4*u - 5*l, -32*u + 31*u - 19 = -4*l. Which is bigger: u or v?
v
Let l(v) = 214*v + 10058. Let m be l(-47). Which is greater: -2/6653 or m?
m
Suppose -2*r + 2*o = -15 + 5, -2*r - 2*o + 2 = 0. Suppose y = 0, -r*p + 0*p + y + 6 = 0. Suppose -2*h - 4*f - 22 = 0, -3*f - 9 = -p*h + 4. Is 1/23 <= h?
False
Let i be (42/(-12))/(14/700). Which is smaller: -1216/7 or i?
i
Suppose u = -3*g - 7, 28 = -5*u + 3*g - 61. Let k(m) = 19*m + 6. Let i be k(-2). Let l = u - i. Is 18 <= l?
False
Suppose 3*u = -3*h - 45, -3*h + 4*u = -6 + 23. Let x = h - -15. Suppose 0*i - a = i + 27, -x*a = -3*i - 46. Is i >= -23?
True
Let b(j) = 15*j**3 - 4*j**3 + 378 - 4*j**3 + 3*j - 8*j**3 + 0*j**3 - j**2. Let l be b(0). Is l greater than 378?
False
Suppose 5*t = -2*d + 19, 5*d - 4 = t + 3. Suppose -r + 2*r + d*r = 0. Which is smaller: 1/97 or r?
r
Suppose 199*y - 88815 = 292*y. Which is bigger: y or 1/4?
1/4
Suppose 0 = -0*n + n + 49. Suppose 1560 = -110*t - 2604 - 299 - 1147. Is t at least as big as n?
False
Let w = -45127/72 + 5192/9. Are w and -51 unequal?
True
Suppose 3*n + 5*g - 56 = 0, -5*n + 8*n = 2*g + 70. Let j(v) = -1 - 28 - n + 8 - 4*v. Let d be j(-11). Is d equal to 24/13?
False
Suppose 4*c + 3*g + 40 = 5*g, 0 = -4*c - 4*g - 28. Let f = 135 + -133. Suppose -9 = -f*y + 3*b, -2*y - 4*b + b = 9. Which is bigger: y or c?
y
Suppose a = 0, 185 = 2*x + 5*a - 197. Suppose 75 + x = 19*v. Are v and 14 non-equal?
False
Let b be (-1 + 0)/(65/130). Which is smaller: -5.16 or b?
-5.16
Let i(d) = -d**3 + 131*d**2 + 5*d - 526. Let f be i(131). Is f equal to -6?
False
Let o be 2019/(21 - 18 - 4). Which is smaller: o or -2018?
o
Suppose -2*l + 33 = -5*o, 3*l = 2*o - 5*o - 24. Do l and -2/17229 have the same value?
False
Suppose 5*c + 1 + 14 = 0. Suppose 447 = 10*o - 843. Let g = o - 135. Which is greater: c or g?
c
Let s(y) = -y**3 + 5*y**2 - 7*y + 3. Suppose -18*l - 9 = -21*l. Let g be s(l). Suppose 5*o + 2*q - 3*q = 25, g = -q. Which is smaller: o or -5?
-5
Suppose 0 = -23*o + 8*o + 1170. Suppose -m + 5*q = -0*m + 36, -4*m = 2*q + o. Which is greater: m or -24?
m
Let k be (-122088)/(-48)*(14/(-4) + 4). Are 1271 and k equal?
False
Suppose y = 121 - 26. Suppose 0 = -5*g + o + 249, -2*g + 4*g - 5*o - y = 0. Which is smaller: g or 52?
g
Let a = -17.707 + 0.007. Let m = 14.7 + a. Which is smaller: m or -0.11?
m
Let t = -2064 + 2092. Which is smaller: -83 or t?
-83
Let u be -5 + (5 - 5 - 4). Let h = u - -4. Let m be (-45)/(-4)*(-2)/5. Are m and h non-equal?
True
Let g = 714 - 831. Let l = -110 + 552/5. Is l greater than g?
True
Suppose 0 = 4*w - 3*z + 129, 0 = -3*w - 5*z + 91 - 224. Let i = -57 - -59. Suppose 113 - i = -3*u. Does u = w?
False
Suppose 2*v + 50 = 4*y, 107 = -4*v - 0*y + y. Let l = v + 27. Supp