et s be g(-1). Suppose -2*h = s*h + 4, 47 = 2*f - h. Let p = f - 1171/51. Do p and -1 have the same value?
False
Let m be 988/2090 - (-2)/(-5). Which is greater: -0.2 or m?
m
Let n be (6/(-4))/((-12)/16). Let r be (67/(-5))/((-110)/25). Let s = -6/11 + r. Which is smaller: s or n?
n
Suppose -15*h = 7*h. Let j be (-1)/(-5) + (1 - 0). Is h bigger than j?
False
Let s = -718/41 - -22916/1435. Which is greater: -2 or s?
s
Let s(h) = -h**3 - 56*h**2 - 3*h - 4*h + h**3 + h**3 - 4 + 57*h**2. Let o(y) = -y**2 + 3*y + 1. Let z be o(4). Let r be s(z). Which is greater: -3 or r?
r
Let u = 0.2039 + -42.2039. Which is bigger: u or 0.04?
0.04
Let b be (-3)/(7/((-3864)/(-18))). Which is smaller: -89 or b?
b
Let z be 23 + -16 + (23 - (-1 + 0)). Is 29 at least as big as z?
False
Let o be (-20 - (-2)/1)/(-1). Let x = o + -8. Let i = x + -13. Which is bigger: i or -5?
i
Let i = -225 + 347. Which is greater: 0.1 or i?
i
Let j be (-110)/55*(0 - (-2)/3). Is -2 greater than j?
False
Let b be (-156)/(-16)*(-2)/(-3). Let q be (-45)/(-12)*4 + -8. Are b and q non-equal?
True
Let v = 2 - 3. Let n = -17380 + 242735/14. Let j = -42 - n. Does j = v?
False
Let z be (-5)/(-3) - (5 + 13/(-3)). Let c = -13/60 + -1/12. Which is smaller: z or c?
c
Let x = 620 - 660. Is x at most -48?
False
Suppose 51*i = 16*i + 70. Are i and 3 non-equal?
True
Let n = -0.037 + 3.237. Let c = n + -3.1. Which is bigger: -15 or c?
c
Let q be ((-78)/27 - -3)*(-2)/6. Let n be 12/(-4 - -1) - -4. Are n and q nonequal?
True
Suppose -4*l + 2*l = -y - 567, -4*y - 3*l - 2257 = 0. Let z = -325419 + 5522514/17. Let c = y - z. Is 0 < c?
True
Let q(a) = a**2 - 4*a - 3. Let t be q(5). Let i be t + (2 - (2 + 5)). Which is greater: i or -4?
i
Suppose 70*w = 69*w - 22. Is 0.2 at least as big as w?
True
Let w be -8 - -9 - 5/(-5). Let n = -5 - -3. Let v be 2/n - (-40)/25. Which is bigger: w or v?
w
Let u = -61.14 - -61. Let g = u - 0.07. Is g not equal to -1/6?
True
Suppose 3*c + 2*c = 0. Let a be ((-207)/(-36))/23*(-24)/28. Is c greater than a?
True
Let c = 21 + 5. Let b = c + -20. Is 4 > b?
False
Suppose 4*u - 8 = -2*z, -z - 4 + 0 = 0. Suppose -u*w - 80 = -8*w. Let c be ((-16)/w)/((-2)/5). Do c and 0 have different values?
True
Suppose -8*b = -4*b + 8. Let u = -100.3 + 17.3. Let l = u + 82.5. Is l smaller than b?
False
Let y(c) = -3*c**2 - 114*c + 118. Let a be y(-39). Is 9/451 less than or equal to a?
True
Let f be (-2)/(-6 + 5 + (-32)/(-33)). Do 66 and f have different values?
False
Let d = 15 - -28. Let l = d - 48. Is l greater than 2/3?
False
Suppose -3*c = -0*c + 4*q + 2, c + 3*q - 1 = 0. Let b = 40 - 41. Let h be (-39)/36 - (-2)/(-6)*b. Which is smaller: h or c?
c
Let o = 870 - -748. Is o less than 1618?
False
Let m(l) = -26*l - 93. Let c be m(-7). Let r = 89 - c. Let p(n) = -n - 3. Let o be p(-4). Are o and r non-equal?
True
Let h(o) be the first derivative of o**3/3 + o**2/2 - o + 4. Let j be h(0). Which is greater: j or -26?
j
Let i(t) = t**3 + 10*t**2 + 4*t + 28. Let s(p) = -p**3 + p - 10. Let o be s(0). Let w be i(o). Which is smaller: w or -10?
w
Let p(c) = -7*c**3 - c**2. Let v be p(-1). Suppose -2*a = -v*a + 4. Which is bigger: a or 1/13?
a
Suppose 11*r + 5*v = 2974 - 10294, -r = -4*v + 661. Which is smaller: -666 or r?
-666
Let w = 19 - 19. Let c be (-27)/(-351)*(-4)/6. Which is smaller: w or c?
c
Let i = 0.8 + -4.6. Let s = i - -3.5. Is -2/5 at most as big as s?
True
Let x = 215 - 181. Let z be ((-2)/5)/((-2)/170). Is x smaller than z?
False
Let s be (-17)/4 + (-1)/(-4). Let z(a) = 4*a**2 - 8*a - 8. Let p be z(5). Let y = -55 + p. Which is smaller: s or y?
s
Let h be 10/2*(-3 - -2). Let p be (-2)/h + 672/(-30). Is -23 at most p?
True
Let g = -79 - -39. Let k = 21 + g. Which is bigger: k or 0?
0
Let n = 0.04 + 0.01. Let r be ((-6)/(-28))/((-42)/56). Is r <= n?
True
Suppose 7*y + 34 = 6. Let c(a) = a + 8. Let f be c(y). Let i = f - 3. Which is smaller: i or -3/7?
-3/7
Suppose -r - w = 4, 2*r = 3*w - 38 + 10. Let b be (-6)/3*55/12. Which is bigger: b or r?
r
Let w(p) = -30*p**3 + 13*p**2 - 20*p - 19. Let g be w(-11). Let q be 2*2/(-26) - g/1352. Are -29 and q unequal?
True
Let f be 0 + 0 - (-216)/4. Suppose -3*m + 24 = 4*o, -o = -3*m - 0*m + 9. Suppose 0 = o*i + 12 - f. Do 15 and i have different values?
True
Let i be (-5)/(-1)*(7 + -6). Suppose -3*m - i*s + 59 = 0, -s - 3*s + 4 = 0. Suppose 6*j - m = 18. Is 6 at least as big as j?
True
Let h(a) = -13*a + 1. Let v be h(1). Let r be 9/v*-4 + -2. Let l be (-3 + 5 - r)/(-1). Which is smaller: 1 or l?
l
Let z be (-8)/16*(-1 + 1). Suppose -x = -z*x. Suppose 4*p = 3*k - x*p + 2, 0 = 4*k + 4*p - 16. Which is smaller: 3 or k?
k
Let p = 4.2 + -0.2. Let k be (-1155)/60 + 0 + 3/(-4). Let t be k/21 - 4/(-14). Which is greater: t or p?
p
Let x be (-2)/4*0 - -2. Suppose -19*v + x = -18*v. Suppose -3*h + 5*l = 11, v*l = h - 2 + 6. Is h bigger than -2?
False
Let m = 61739/5 + -12264. Which is smaller: m or 84?
m
Let j = -42 - -41.66. Let y = j - 4.66. Which is bigger: y or 0?
0
Suppose -2*w = 2*o - 3*w - 4, 5*o = 5*w + 20. Is o greater than -75?
True
Suppose 8*z - 5*z + 75 = 0. Let s be 3*z/(-3) + -1. Is s greater than 23?
True
Let v be 6192/(-32) - 9 - 2/(-4). Is -202 <= v?
True
Let i be (1/(-3))/(1450/(-3405)). Let g = i - 14/29. Which is smaller: 1/4 or g?
1/4
Let g = -357/10 - -329/10. Is g smaller than -9?
False
Let s(f) = f**2 - f - 5. Let z be s(5). Suppose 2*r = -3*r + z. Let n = 3233 - 3232. Which is smaller: n or r?
n
Let w = 1.3 - 0.3. Let a = 181.84 - 201. Let g = a - -0.16. Which is greater: w or g?
w
Suppose -2*s + 4*s + 24 = 0. Let m be 4 + -1 - 30/(-99)*s. Which is bigger: m or -2?
m
Suppose -5*l - 10 = -10*l + 3*f, 20 = 3*l + f. Suppose -5*w - l*v + 5 = 0, 0 = -4*v - 3 - 5. Which is bigger: 2 or w?
w
Let z be 89/(-2)*4/(-11). Let m = -182/11 + z. Is 0 less than or equal to m?
False
Let l = 617 - 616.9. Which is smaller: 1/133 or l?
1/133
Let r = -8.1 - -10. Is r at most -3/5?
False
Let d be (-5 - -2) + 1 + 1142/568. Are d and 0 unequal?
True
Let i(z) = 2*z + 14. Let d be i(-9). Let t be d/(-4)*(-2)/4*58. Is t at least -29?
True
Let o be (-292)/(-2)*18/36. Let w = -73 + o. Which is smaller: w or 18/13?
w
Let u = -54 - 26. Let w be 6300/u + 2/8. Let c = w - -80. Which is smaller: c or 3?
c
Let z = 13 - 10. Let l(h) = -4*h**3 + 7*h**2 - 2*h - 5. Let q be l(z). Which is bigger: q or -57?
q
Suppose 93*x = 92*x + 149. Is 149 not equal to x?
False
Let x = 30 + 7. Let i = x - 38. Let v = 0.37 + -0.07. Which is smaller: v or i?
i
Let y = -2907/22 + 132. Is -1 greater than y?
False
Let s be (-120)/18 - (-1)/3. Let z = s + 113/15. Let g(u) = -u**3 - 3*u**2 - 3*u - 1. Let x be g(-2). Is z smaller than x?
False
Let k = -9 - -13. Suppose 0 = -n + 2*n + k. Let x = 6 - 11. Is n smaller than x?
False
Let n be 104/8 - 8 - (2 + 2). Is n bigger than -1/2035?
True
Let x(s) = 13*s - 118. Let m be x(10). Are 9 and m unequal?
True
Suppose 2*f - 4*y + 16 = -8*y, -2*y = 5*f. Let k be 3/(-18) - f/60. Do 1 and k have different values?
True
Let u be (-4)/(-2) - ((-164)/100)/(-1). Which is bigger: u or -1?
u
Suppose -3*d = -2*d. Let m be 6/(-27) + (-1)/(-27). Let f = m + 1/9. Is d at most f?
False
Let d = -7/118 - -25627/354. Which is smaller: d or 73?
d
Let v = -9119/36900 - -46/225. Which is smaller: 0 or v?
v
Let r = -0.03 - -41.03. Which is greater: r or -1?
r
Let m(l) = l**2 - 12*l + 13. Let x = -22 - -34. Let d be m(x). Is 12 at most as big as d?
True
Let a(v) be the first derivative of v**3/3 + 9*v**2 + 2*v + 20. Let w be a(-18). Let r be (3/(-4))/(3 - 0). Is r <= w?
True
Let t = 63 + -16. Is t not equal to 46?
True
Suppose -19*p = -4*p - 2040. Is p >= 137?
False
Suppose 3*g + 5*u - 59 = 0, g - 2*u = 3*u - 7. Let y(z) = z**3 + 9*z**2 + 7*z + 4. Let p be y(-8). Is p less than or equal to g?
True
Let h = 0.01 + 9.59. Let p = h - 9.7. Which is greater: 36 or p?
36
Let c = -34 + 33. Is 114 equal to c?
False
Let s(u) = 2*u - 12 + 3*u - u**2 - 4*u. Let j = -74 + 74. Let o be s(j). Which is smaller: o or 0.1?
o
Let k = 17 - 82/5. Let v be (-2)/3 + 4/6. Which is greater: v or k?
k
Let d = -48 - -146. Let m = -97 + d. Is m not equal to 2/9?
True
Let l(x) = 4*x - 14. Let z be l(-7). Let a(j) = -j - 4. Let g be a(-6). Let s be (g/z)/((-1)/(-3)). Which is bigger: -2 or s?
s
Suppose 