.73 + 18.8. Let x = -0.07 + k. Let p be (-2)/(-3) - 1/(-3). Is x bigger than p?
True
Let q be 5 - (-136)/(-24) - (-10528)/(-21). Is -504 smaller than q?
True
Let g be (-2)/78*54/(-12). Suppose -u + 16 = 15. Which is smaller: u or g?
g
Let t be ((-108)/(-189))/(2/70). Is 19 not equal to t?
True
Suppose -47*c - 168 = -33*c. Let q(m) = -m**2 + 6*m - 1. Let l be q(7). Is c < l?
True
Let n = -144.52 + 175.1. Let z = 0.58 - n. Let c = 29 + z. Which is smaller: 0.19 or c?
c
Let z be (13/3)/(1/(-3)). Let k be (11 + -9)*63/(-14). Which is smaller: z or k?
z
Let h = -9448/201 - -47. Which is bigger: h or 0?
0
Let b = -5 + 4.5. Let x = -23.5 - b. Is x at least -2?
False
Let u(d) = -d**3 + 11*d**2 + 4. Let k be u(11). Suppose 18 = 5*y - k*y. Which is bigger: y or 19?
19
Let p = -18609 + 18684.83. Let x = p - 79.8. Let t = -0.03 + x. Do t and -1/4 have the same value?
False
Suppose 0 = -53*g + 45*g. Let t = 2 + -1. Let f be t/1 + (-7)/9. Is g < f?
True
Let q = 0.219 + -0.119. Which is smaller: q or 25?
q
Let x = -631 + 57413/91. Which is bigger: x or 0?
0
Let l = 6581/5 + -10507/10. Is 267 bigger than l?
True
Let z = -1.815 + -0.185. Let o = -0.6 - 0.4. Which is smaller: o or z?
z
Let b = 585 + -584. Suppose -o - 93 = 2*o. Let y = -251/8 - o. Is y < b?
True
Suppose -2*s + 11 = -w, 3*s - 2 - 13 = 0. Is 1/2307 > w?
True
Let j = -19 - -24. Let m = j + -4. Suppose -17 + 82 = 5*l. Which is greater: l or m?
l
Let a = 1.438 - 1.238. Let c = 5 - -19. Is a at most c?
True
Let t be 9 - (0 - -1*2). Let a be 1*(27/(-270))/(1/2). Which is smaller: a or t?
a
Let x(v) = -v**3 - 7*v**2 - 7*v. Let w be x(-6). Let a be w + (-4 + 3)*-4. Are a and 11 non-equal?
True
Let v be 1 + 2/(-22)*4. Suppose -125*k + 133*k - 11 = -3. Is v bigger than k?
False
Suppose 3*w = -0*w - 9, -3*w + 131 = -4*v. Which is smaller: v or -36?
-36
Suppose -2*y - 3 = -9. Suppose -y*m = 2*m - 85. Suppose -g - 2*g + m = 5*t, t = -4*g. Which is smaller: g or 2/9?
g
Let y = -16 - -17. Let p be 180/84*(-4)/3. Let m = 3 + p. Is m bigger than y?
False
Suppose 4 = 2*o + 9*x - 7*x, -o + 2*x = 7. Let f be 3/4*4/(-1). Which is smaller: o or f?
f
Let w = 14/223 + 94/12711. Which is bigger: 1 or w?
1
Let q = -39134/67 - -584. Let n(s) = -21*s - 231. Let o be n(-11). Which is smaller: o or q?
q
Let y(n) = n**2 + 8*n - 9. Let o be y(-9). Suppose -3*t - 4 = 4*p - 9, 2*p = 4*t + 8. Which is smaller: o or p?
o
Let o(v) = 9*v + 28. Let r(k) = -26*k - 85. Let x(m) = 11*o(m) + 4*r(m). Let c be x(-6). Which is bigger: c or -8/11?
-8/11
Suppose 18*j - 4 = 16*j. Suppose -2*a - 2*k = -68, j*a - 62 = -0*a - 5*k. Let y be 15*2/(18/21). Which is smaller: y or a?
y
Let s = -1906 + 501276/263. Which is smaller: s or -1?
-1
Let h = 13.586 + -1.586. Let a = 1 - 2. Which is smaller: a or h?
a
Let k(s) = s**3 - 11*s**2 - 13*s + 10. Let v = 45 - 33. Let m be k(v). Let y be m/(-3)*(2 + 1). Is y >= 9/7?
True
Let g = 5/1344 - 3107/9408. Which is bigger: g or 0?
0
Let y = -25 - -5. Let m be (-2 - 0) + 4 + y. Is m at least -84/5?
False
Let s = -3 + 1. Let q be ((-18)/(-12))/(s/4). Let y be (20/(-15))/(14/q). Is y < -4?
False
Let n be 1/116*(4 + 16/(-12)). Is n bigger than 1?
False
Let j = -35 + 12. Let s = 28 + j. Is -1/9 smaller than s?
True
Let j = 0.024 - 25.024. Let q be 1*1/(-1) - -1. Which is smaller: j or q?
j
Let h(b) = b**3 - 16*b**2 + b + 15. Let u be h(16). Let p = u - 26. Is p greater than 0?
True
Suppose x = 2*x - 7. Suppose -8*k - 1 = x. Which is bigger: k or 1/9?
1/9
Let h = -68.3 + 68. Is 2/43 > h?
True
Let z be 1*((87 - 4) + 0). Let g be z/9 - (-2)/(-9). Which is smaller: g or 0.1?
0.1
Let s be (10/4 - -1)/(8/(-32)). Does -26 = s?
False
Suppose 3*j + 15 = s, -s - 2*s + 10 = -2*j. Do 1 and j have different values?
True
Let y = -0.11 - 0.14. Let f = y - -0.26. Let x(b) = -2*b - 25. Let p be x(-12). Which is greater: f or p?
f
Let i = -385/6 - -551/3. Which is smaller: i or 121?
i
Suppose 2*c + 11 - 15 = 0. Let a be (c + -6)*(-1)/(-1). Let m be (-2 - -2)*-1 - 2. Does a = m?
False
Suppose -7 + 1 = -3*l. Suppose -30 = -l*k - 5*i + 1, 0 = -k + 3*i - 1. Let t be (2/k)/(6/(-24)). Which is greater: 2 or t?
2
Let o = -412 + 416. Which is bigger: -4 or o?
o
Suppose 4*z + 3*b - 1252 = 0, -3*z - 3*b + 335 = -607. Let s = -920/3 + z. Is s equal to 2?
False
Let a(b) = -9*b + 10. Let j be a(13). Let l = -159 - j. Are -52 and l non-equal?
False
Let m = 1 + -1. Let s(x) = -x**2 - 68*x - 316. Let b be s(-64). Which is bigger: b or m?
m
Suppose 4 = 2*u - 6. Suppose 2*f - 5*s + 20 = 0, f - 4*s + u = -11. Let h = -76 + 379/5. Which is bigger: h or f?
f
Suppose -41*x = -67*x + 520. Which is smaller: 14 or x?
14
Let l(o) = 13*o + 284. Let d be l(-21). Is 117/11 less than d?
True
Let u(n) = -n**2 + 12*n. Let g be u(12). Suppose 0 = 3*l - 0*l + 5*k + 88, g = -5*l + 2*k - 95. Is -22 != l?
True
Let k = -9/20 - 23/260. Let j = -121313/420732 - 1/8091. Let d = k - j. Is d less than -3/5?
False
Let b(s) = -s**3 - 26*s**2 + 2*s + 38. Let a be b(-26). Suppose 5*d - 19 - 41 = 0. Suppose v + d = -1. Are v and a equal?
False
Let z(u) = 3*u + 16. Let s be z(-4). Let y be s/5 - 1740/50. Let w = y + 33. Is w at most -7/4?
False
Let z(y) = -12*y - 11. Let i be z(2). Let t = i + 46. Is 13 greater than or equal to t?
True
Let i = 844 - 1558. Is -716 greater than i?
False
Let a(r) = -2*r**3 + 3*r**2 + 10*r - 26. Let w be a(-6). Which is smaller: w or 2/3?
2/3
Let o = -1133 + 1271. Which is greater: 139 or o?
139
Let m be ((-80)/(-6) + 0)*3. Let r = -39 + m. Suppose 3*t + 0 = 3. Is r bigger than t?
False
Suppose -83 + 17 = 2*n. Let s be n/44 + (-6)/(-8). Let j = 3.9 - -1.1. Which is greater: j or s?
j
Suppose -4*f - 1533 = -1745. Which is smaller: f or -12?
-12
Let o(f) = 3*f**3 + 18*f**2 - 17*f + 28. Let q be o(-7). Does 0.15 = q?
False
Let a = 0.5172 - 0.4172. Let b = 0.11 - 11.21. Let x = b - -10. Is x equal to a?
False
Let n be (-120)/(-171) + 13/(-39). Which is greater: n or 1?
1
Let t(z) = -z**2 - 8*z - 9. Let u be t(-6). Suppose u*f + 8 = 2. Let r be f/(-5) - (-36)/(-115). Is r <= 0?
False
Let t(u) = 8*u**2 + 41*u - 22. Let g be t(-10). Is 368 at least as big as g?
True
Let l(a) = -26*a + 6. Let i be l(-3). Suppose 2*s = 5*o + s + i, -5*o - 4*s - 64 = 0. Let r be 6/15 + o/30. Which is smaller: 0 or r?
r
Suppose 4*j + 0*j + 172 = 0. Is j <= -43?
True
Let q(u) = u**3 + 12*u**2 + 2*u + 4. Let i be q(-12). Let a be 156/i + (-1)/5. Let l = 6 + a. Is 0 at most as big as l?
False
Suppose -11*s - 196 = 4*b - 8*s, 2*b - s = -88. Which is smaller: b or -49?
-49
Let a be 37/74 + 10/(-4). Which is smaller: -54/23 or a?
-54/23
Suppose 0 = 4*q - 5*q + s + 9, -s - 29 = -5*q. Let o = 2 + 0. Suppose -o*z = -q*z - 6. Is z less than -2?
False
Let v be (-18)/(-5) + 1 + 0. Let m = 355 + -350. Which is smaller: m or v?
v
Let n(h) = -h**2 + 12*h - 1. Let u be n(12). Let w be u + -12 - (0 - -3). Let x = -17 - w. Which is smaller: -1/21 or x?
x
Let t = -19 + 24. Let j(p) = p - 1. Let l be j(7). Which is smaller: t or l?
t
Let t = 173583/13 - 13359. Which is smaller: -7 or t?
-7
Suppose -u - 4*l = 17, 3*l - 2*l - 34 = 4*u. Let d = -5 + u. Let v be ((-7)/d)/(18/(-4)). Is 1 >= v?
True
Let j = -7/418 - -13843/2926. Is 1/6 at most as big as j?
True
Suppose 1 = j - 4. Suppose 8*c - 15 = 3*c - 5*x, -j*c = -4*x + 21. Let s be c/(-3)*1*1. Is s smaller than 1?
True
Let w(k) = -2*k**2 + 8*k + 11. Let o be w(8). Let a be (10/8)/(2/8) + -59. Is a > o?
False
Let y = 801 - 815. Is 14 >= y?
True
Let l = 92 - 646/7. Let s = -0.31 - 1.49. Let b = 1.74 + s. Are l and b nonequal?
True
Let i = -1204/49275 - 2/675. Is i at least as big as 1?
False
Let f = 332/105489 + 773760139/134603964. Let a = -1/638 + f. Are 5 and a nonequal?
True
Suppose -3*s = -6*s. Suppose -2*u - 5*o = -1, -4*o - 1 = -2*u - 9. Which is bigger: u or s?
s
Suppose 3*l - 122 = 5*j - 20, 76 = -4*j + l. Let w be j + 20 + (-26)/10. Which is greater: 0 or w?
0
Suppose 5*s - 35 = 5*p, 0*p + p + s + 13 = 0. Let n be (-104)/462 + p/(-35). Let g be 3/(6 + 9/(-1)). Is n at most g?
False
Suppose -25 = -5*m - 5*v + 10, 5*v + 14 = 2*m. Let s(y) = y**3 + y**2 - 2*y + 9. Let k be s(0). Suppose -k*l + m*l = -26. Which is smaller: 12 or l?
12
Let d = 36 + -88. Let f = d + 57. Which is bigger: 3 or f?
f
Let f(t) = 9 - 6*t + 8*t + t**3 + 8*t + 10*t**