most q?
True
Let v be 20/65*24/(-32). Which is bigger: v or -1?
v
Let d = 5 - 1. Suppose -9*u = -d*u + 165. Is u != -32?
True
Let n be 60/150 - (-6)/10. Let g = -16 - -84/5. Is g < n?
True
Suppose 2*c - 7 = -17. Let g be (-7)/c + -2 - (-152)/220. Suppose -4*h + 2 = -2. Is h less than g?
False
Let g be 4/10 - (-51)/85. Is 2/83 bigger than g?
False
Let z = -2.7 - -2.3. Let a = z + -14.6. Let k = a - -7. Is -2 less than k?
False
Let j(w) = -599*w + 72. Let v be j(4). Are v and -2324 nonequal?
False
Let v be (-30)/(-45)*3/(-8). Let q = v - 3/20. Which is smaller: q or -1?
-1
Let c(x) = -x**3 - 17*x**2 + x - 6. Let o be c(-17). Are o and -23 nonequal?
False
Let s = 34 + -30. Let q be (4/(-1))/s*4/(-30). Which is bigger: -1 or q?
q
Suppose -i + 35 = 4*i. Let o = -4 + i. Suppose 4*d + o = -5. Is -2 greater than d?
False
Suppose -49 - 23 = 4*f + 3*s, 3*s - 54 = 3*f. Let m be 3 - -1 - (-24)/f. Let v = 6 - 3. Which is greater: m or v?
v
Let r(b) = b**3 + b + 1. Suppose l - 2 = 3*l. Let z be r(l). Let s = -506/85 + 28/5. Is s greater than z?
True
Let a = 39 + -33. Let h(i) = -i**3 + 2*i - 2. Let w be h(2). Let n be ((-6)/(-9))/(w/(-9)). Do n and a have different values?
True
Let m = -33 + 35. Let o be 6/(-12)*m/(-5). Is 17 at least as big as o?
True
Let j = 41 - 25. Let q(m) = 3*m**2 - 3*m**2 + 5*m**2 - 4*m**2 + 3 - 15*m. Let w be q(j). Which is smaller: 18 or w?
18
Let m = 31.158 - 31. Let o = m + -0.058. Which is greater: o or -0.05?
o
Suppose -15*n + 312 = -19*n. Let z = 313/4 + n. Suppose -3*a = -7*a - 4. Which is bigger: z or a?
z
Suppose 0 = w - 3*p - 39, 10*w - 4*p = 6*w + 188. Is w smaller than 49?
False
Suppose -q + 5 = -2*m, -4*q - 6*m + 10*m + 12 = 0. Is -6/31 equal to q?
False
Suppose 11*i - 21 = 78. Suppose -3*r + 5*a - 74 = 0, -r - a - i = 5. Which is greater: r or -19?
r
Let b = 21.2055 + -0.3155. Let h = b + -21. Let d = h + -0.03. Does -2 = d?
False
Let c(j) = -j**3 + 52*j**2 + 52*j + 66. Let d be c(53). Which is greater: d or 165/13?
d
Let g = -2362/495 - -52/11. Suppose l = 5*l. Is g at most as big as l?
True
Let u = 4.29 + -3.29. Are -1/168 and u non-equal?
True
Let a = 1/212 + -4585/106. Let t = a + 3991/92. Is t greater than or equal to 1?
False
Let c = 518 + -515. Are 51/22 and c nonequal?
True
Suppose -41*b + 18 = -38*b. Suppose g = -b*o + 2*o + 3, 2*g + 5*o - 3 = 0. Are g and 3/29 nonequal?
True
Let j(p) = p**3 + 2*p**2 + 2*p - 1. Let t be j(0). Which is smaller: -2/301 or t?
t
Let f = 1428/5 - 5937/20. Suppose -5*i = -10*i - 55. Which is bigger: f or i?
i
Let i be (-4)/(-10)*(-30)/(-24). Suppose 5 = 2*q - 7. Let d be 2/(-6) - (-14)/q. Which is bigger: i or d?
d
Suppose -3*b + 37 = 184. Is b less than or equal to -47?
True
Let r(a) = -a**3 - 4*a**2 + 8*a + 9. Suppose -4*c + 1 = 21. Let q be r(c). Let n = -18 + 12. Is q <= n?
True
Let p = -0.08 - 2.92. Let o = p + 5. Let q = 451/2 - 227. Is o at most as big as q?
False
Let t(u) = -u**3 + 4*u**2 - u - 4. Let b be t(3). Let r be (-3)/b*10/15. Is -10/19 greater than r?
True
Suppose 5*z - 5*k - 290 = -120, -5*k - 25 = 0. Suppose -8*m + 24 = -2*x - 3*m, 4*m = 3*x + z. Which is smaller: 2 or x?
x
Let w = 426.4 - 391. Let h = w + -39. Is 1 at least as big as h?
True
Let c = 133.9 - 134. Which is smaller: c or -0.11?
-0.11
Let w(m) be the second derivative of m**3/6 + 13*m**2/2 + 9*m. Let r be w(-8). Suppose 3*g = p + r, 4*p - 30 = 3*g - 5. Which is smaller: 9 or p?
9
Let f = -717 - -720.83. Let i = 4 - f. Let x = i + 2.83. Is x less than -1?
False
Suppose -3*t - 4*f = 56, -31 = -4*t - 4*f - 107. Which is greater: t or -21?
t
Let l = -14.2 + 14. Let d(j) = -j**2 + 3*j + 28. Let n be d(7). Which is bigger: n or l?
n
Let w(f) = f**3 + f**2 + f - 3. Suppose -z - 4*z - 15 = 0, -3*h = 2*z. Let t be w(h). Are t and 10 equal?
False
Let p be (388/20)/((-2)/(-10)). Does 96 = p?
False
Let l = 6 + -10. Let i = l - -2. Let q be (-20)/(-25)*(i + -3). Which is bigger: q or -1?
-1
Suppose -5*l + 5*n + 40 = 0, -2*n = -2*l + 2*n + 16. Let j = 1027 - 3055/3. Which is smaller: l or j?
l
Let y(g) = -2*g**3 + 12*g**2 - 8*g + 7. Let h(q) = q**3 - q + 1. Let m(p) = 3*h(p) + y(p). Let u be m(-13). Is u less than -15?
True
Let s(t) = t**2 + 11*t + 20. Let u be s(-10). Suppose -u*h + 76 = 4*l - 6*h, -l - 4*h + 25 = 0. Are l and 17 non-equal?
False
Suppose 2*a = 2*b, -4*b + 2*b + 16 = 2*a. Let d(s) = s**3 - 37*s**2 + 120*s - 1744. Let x be d(35). Which is greater: a or x?
x
Let j(q) = q**2 + 17*q + 25. Let m be j(-15). Let y be (-300)/(-45)*(-12)/10. Which is smaller: m or y?
y
Let k = 73 + -72. Let a be (6/(-40))/((-18)/(-5)). Are k and a non-equal?
True
Let v(k) = -k**3 + 28*k**2 - 33*k + 24. Let i be v(25). Are 1074 and i unequal?
False
Let o = -0.3 - -0.4. Let a = 941 + -935. Is a > o?
True
Let z = 3 - 3.5. Let r = -79/21 + 24/7. Is r > z?
True
Let a = -43 + 47. Suppose a = -h + 5*h. Which is bigger: h or -0.09?
h
Let h = 0.16 - -0.3. Let r(f) = 336*f - 672. Let d be r(2). Which is greater: d or h?
h
Let o = 0.09 - 10.69. Do o and -2 have the same value?
False
Let a be (-9414)/(-90) - 3/5. Are 734/7 and a nonequal?
True
Let c = 510 + -5608/11. Let p = 41 - 26. Which is greater: c or p?
p
Let p = -10 - -15. Suppose 1 = -s, 0 = p*f - 0*s + 3*s - 87. Let v = 16 - f. Is v greater than 1?
False
Let r be (-3)/(147/28*(-10)/(-35)). Which is smaller: r or 34?
r
Suppose 10*d = -291 - 39. Are d and -199/6 non-equal?
True
Let m(k) = k**3 - 5*k**2 + 11*k - 42. Let r be m(6). Is r greater than 179/3?
True
Let s = 0 - 0.2. Suppose 4*a - 13 = -3*l, 2*l = 4*a - 0 + 2. Let x be ((-16)/14 + a)/(-1). Is s at least x?
False
Let y(c) = 4*c + 31. Let w be y(-6). Suppose 4*a = -2*x + 5*x - 19, -x + w = -2*a. Which is bigger: -2/29 or a?
-2/29
Suppose -4*j + 34 = -z, -3*z - 5*j - 40 = 62. Let d = -57 - z. Which is smaller: -2/7 or d?
d
Let s be (-42)/(-108) + 6/(-27). Suppose 0 = -3*f + 7*f - 4. Is f greater than s?
True
Let q(c) = c**2 - 8*c + 4. Let o be q(8). Let r be (-10 + o)*(-3 + 5)/4. Does -26/11 = r?
False
Suppose -7 + 8 = -g. Let j be (-3)/g + (5 - 2). Let x be 44/(-60) + j/(-9). Does x = -1?
False
Let a(b) = b - 15. Let r be a(13). Let l be (-11 + 1)*r/(-5). Suppose -3*k = y + 6 - 0, 24 = -3*k + 5*y. Is k < l?
False
Let i be (-6)/9 + (-3183)/45 + -3. Let p = -74 - i. Which is greater: p or -16?
p
Let v(f) = f**3 + 8*f**2 + 10*f - 9. Let g be v(-6). Suppose g*m + 3*n - 15 = 0, 7*m = 2*m + n + 43. Which is smaller: m or -4?
-4
Let g be (8*-2)/((-5)/(-50)*1). Is g > -160?
False
Suppose 0*s + 3*s - 3*o = -102, 0 = 4*s - 2*o + 144. Let g be ((-3)/(-1))/((-412)/(-52) + -8). Is g != s?
True
Let u = 4.4 + -3.6. Let h = 1 - u. Let s = 1.2 + 3.8. Is h > s?
False
Let p = -17.19 + 12.213. Let j = -0.023 + p. Is j < -2/9?
True
Let x = 14 - 14. Is x equal to 3/76?
False
Let p(r) = 37*r + 31. Let g be p(-3). Is g < -78?
True
Let s be (5/2)/(1/(-2)). Let x(u) = -u - 5. Let n be x(s). Suppose -2*o - 2*g = -4, -5*o + 3*o = g. Which is greater: o or n?
n
Let q = -680 + 680.1. Which is smaller: 0.528 or q?
q
Let l = -0.31 + -3.69. Let g = l + 5. Which is smaller: g or -5?
-5
Suppose -o + 2 = -3*o - 2*k, 3*o - k = -3. Let y be (-24)/200*((o - 0) + 2). Is y smaller than -1?
False
Let o be (-6 + (-96)/(-9))/((-80)/360). Let i = -0.2 - -0.1. Is o bigger than i?
False
Let p = -0.301 - -9.301. Let c = 6.85 + 2.05. Let k = 9 - c. Is k at most p?
True
Let c(n) = -n - 17. Let y(v) = -v**3 + 10*v**2 - 8. Let s be y(10). Let u be c(s). Suppose 11*d + 7 = -4. Which is smaller: d or u?
u
Suppose 1 = 2*u + 3. Let p(n) = 5*n + 31. Let r be p(-6). Is r < u?
False
Let q = 71346872/1883 - 37890. Is q < 1?
True
Let w = -1015 + 939. Is -74 bigger than w?
True
Let x = 29.3 - 27.3. Which is bigger: x or 1.6?
x
Let k be (-2)/2 + -25 - 2. Let u(v) = 5*v - 19. Let t be u(-2). Which is bigger: k or t?
k
Let d be 15/96*6 - 1. Let k(w) = 2*w + 5. Let c be k(-2). Suppose -3 + c = -2*p. Is p > d?
True
Let b(q) = 23*q + 1. Let x be b(-1). Let h(r) = -9*r**2 + 9*r - 3. Let i be h(-1). Which is smaller: x or i?
x
Suppose 912 = 126*l - 118*l. Which is greater: 115 or l?
115
Let b(o) = o**3 - 3*o**2 - 5*o + 2. Let s be b(4). Let l = 0.12 - 0.32. Let p = -0.3 - l. Which is smaller: p or s?
s
Suppose -40*m + 206 = 46. Does m = 4?
True
Let t be -3 + 92/12 + 2/6. Suppose 0 = 5