*c + h = -c + 100. Which is greater: y or c?
y
Let z = 13 - 13. Let p be 6 - 2 - 30/7. Is p equal to z?
False
Let y = -183 + 73. Let q = y + 97. Are -14 and q nonequal?
True
Let h = -4210/497 + -68/71. Which is bigger: -0.1 or h?
-0.1
Let d(y) = y + 12. Let u be d(-7). Suppose z = -z + i, -u*z + 10 = -5*i. Is z at most as big as -3/2?
True
Let v = 8.7 + 14.3. Let g = v + -24. Is g < 2/5?
True
Suppose 12*z - 25 = 23. Suppose -10*t = -z*t - 252. Is t at most 128/3?
True
Suppose 0 = 3*s - 5*s - 4. Let m = -79 + 81. Which is smaller: m or s?
s
Let u(p) = -p**2 - 2*p. Let f be u(-2). Let g be (-2)/(4/2) - (-817)/(-17). Let i = 49 + g. Are f and i equal?
False
Let q = 0.602 - 0.412. Which is smaller: 1 or q?
q
Suppose -4*c - 206 = -5*z, -c - 3 - 1 = 0. Let a = z - 151/4. Suppose -3*u - 5*h + 18 = 0, 4*h - 7 - 3 = 2*u. Is u at least as big as a?
True
Let x = -46 - -42. Let c be (-140)/18 + 3/(54/x). Suppose -6 = i + 1. Is c > i?
False
Let v = 335 + -334. Is -60.5 != v?
True
Let s = -12 + 16. Suppose 0 = -2*y - 10, -6*y + s*y = 2*v + 20. Are -5 and v nonequal?
False
Let b be 0/(-10) + (2 - -3) - 6. Are 3/676 and b equal?
False
Let u(j) = j**3 + 8*j**2 - 9*j + 12. Let s be u(-9). Let l(p) = -p**2 + 13*p - 12. Let y be l(s). Suppose 4*g - 2 = -v - 3, y = 3*g + 2*v - 3. Is 2/53 > g?
True
Let w be ((-33)/2)/(9/(-24)). Let f = w + -52. Let i be 7*1*(1 + -2). Which is bigger: f or i?
i
Let k = 12383134 + -175481393174/14171. Let v = k + 3/383. Which is smaller: -1 or v?
-1
Suppose 4*l = 11 + 29. Let m be (15/l)/(0 - -24). Which is smaller: m or 3?
m
Let j = 2347/2 + -1174. Let v = -13 - -12.99. Do j and v have different values?
True
Let m = 184.2 + -202. Let d = m + 17. Let i be ((-16)/60)/((-2)/(-5)). Do i and d have different values?
True
Let d be (9/(-6))/((-2)/4). Let g be 27/d*36/16. Does g = 20?
False
Let s be 24/9*(-27)/(-18). Suppose -25 = 5*m, 0*m + 4*m + 20 = 3*h. Suppose -o + h + s = 0. Which is smaller: 6 or o?
o
Let h = -7.4 - -8. Let c = -1824.3 - -1824. Is h greater than or equal to c?
True
Let g be (-4 - (-115)/20)/(1/(-4)). Which is greater: -0.32 or g?
-0.32
Let q be (-32)/(-14) - (-6)/(-21). Suppose 11 = q*v + 3. Suppose v*b = -1 + 5. Is 10/9 greater than or equal to b?
True
Let i = 3604 + -3614. Let r be 2/(-8) - 62/8. Is r at most i?
False
Let r = -406 + 1383. Is 978 at least as big as r?
True
Suppose -m - 4 = 2*d, m + m = 4*d - 48. Let h be ((-72)/(-28))/6 + (-8)/m. Is h greater than or equal to -3/14?
True
Let v = -11/744 - -7679/116808. Is v equal to 1?
False
Let d(l) = 3*l**2 - 32*l + 17. Let h be d(9). Let k(p) = -7*p + 1. Let c be k(4). Is c > h?
True
Let f = 3.39 - 0.19. Let h = -2.2 + -17. Let u = f + h. Which is greater: 0 or u?
0
Let l = -462 - -219. Do l and -243 have the same value?
True
Let m = 20 + 8. Let t be ((-1)/(-7))/(4/m). Which is bigger: t or -1?
t
Suppose -2*k - 84 = -8*k. Let t be (82/45 + 4/(-18))*10. Which is greater: t or k?
t
Suppose 3*w - 5*w = 60. Suppose -5*u + 2*n - 7*n - 145 = 0, -n = 4*u + 119. Is u bigger than w?
False
Suppose 5*d - 155 + 185 = 0. Is d at least -3/10?
False
Let l be -26 - -4 - (-3)/3. Let a be l/6*(-8)/(-14). Which is bigger: -4 or a?
a
Let s = -0.9 - 0. Let r = -0.9 - s. Is -0.02 bigger than r?
False
Let u = 867 - 896. Is u < -29?
False
Let f be (10/3 - 3)*0. Suppose -o = o + i + 27, 2*o - 3*i + 47 = f. Let m be -2 - -3 - (-20)/o. Is -1 at least m?
False
Suppose 2*c = 2, -7*i = -3*i - 3*c + 75. Let u be 4/i*(3 + 3). Which is smaller: -6 or u?
-6
Let z = -150 - -155. Suppose z*o = -5*w, 10*w - o = 5*w. Which is smaller: w or 104?
w
Let r be (132/198)/((-2)/27). Is -34 greater than or equal to r?
False
Let l = 0.7 - 1.5. Let h = 88.7 + -89. Is h less than l?
False
Suppose a - 37 = -2*y, 0 = 5*y - 0*y - 15. Let z = 31 - a. Which is smaller: z or 5/6?
z
Let k = 28/3 - 11/6. Let l = k - 8. Which is smaller: -1/5 or l?
l
Let x = 107/2 + -21. Let y = x + -30. Is 2 at most y?
True
Let u = -45 - -43. Let t be (-1824)/(-1664) - 2/(-13). Which is greater: t or u?
t
Let w = -11 + 11. Let d be 6 + -6 + 2/(-5). Which is bigger: w or d?
w
Let g be 2/(-6)*3 + 3. Let f be g/(-4)*26*-1. Is 12 bigger than f?
False
Let o be -1 + (1 - -1) + 3. Let s = -296 - -295. Is o equal to s?
False
Let a = -14.6 + 13. Let k = -1.61 - a. Let b = k + -1.99. Is b bigger than -0.03?
False
Suppose -2*h = h + 168. Let o be h/42*(-42)/4. Is o > 13?
True
Let k = -57 + 27. Let f be ((2/(-205))/(-1))/((-6)/k). Which is smaller: 0 or f?
0
Let i = -2/16623 + 814561/282591. Is 2 <= i?
True
Let l(r) = -7*r + 20. Let p be l(6). Let w be (-816)/5214 - 4/p. Which is smaller: 1 or w?
w
Let r(k) = -k**3 + 11*k**2 - 8*k - 16. Let i(u) = -u**2 - 7*u - 2. Let c be i(-3). Let h be r(c). Which is smaller: h or 2?
2
Let o = 8.62 - -182.38. Which is smaller: -0.2 or o?
-0.2
Let x = 0.053 + -12.803. Let t = x - 0.25. Let j = t - -14. Which is smaller: -0.4 or j?
-0.4
Let h(z) = 3*z**2 + 6*z - 23. Let l be h(-4). Is l smaller than -2/2689?
False
Let g = 122.9 - 123. Let a be (-10)/(-12) + 1*-1. Is g at most as big as a?
False
Suppose -4*o + 14 = j, -5*j - 2*o + 5 + 11 = 0. Let k = -2 + j. Let g = 3416/5 - 684. Which is smaller: k or g?
g
Suppose 0 = 3*f - 21 - 27. Let u(l) = l**3 - 7*l**2 - 12*l + 22. Let r be u(8). Let k = r + f. Which is bigger: k or 1/3?
k
Let l(m) = m**3 + 5*m**2 + 9*m - 22. Let x be l(9). Do 1193 and x have the same value?
True
Let g = -11 + 13. Suppose g*o + o = -5*d + 23, 5*d = 4*o + 16. Let p be 1/12*(-12)/(-30). Is o >= p?
True
Let d = 27 - 29. Suppose -4*n + 6 = -n. Suppose u + u = n. Which is bigger: u or d?
u
Suppose 4*n = 3*m + 283, -7*n - 4*m = -2*n - 346. Suppose -3*f - 4*l = -24 + 5, -5*f + l = -n. Which is bigger: f or 7?
f
Let r = 348 + 95. Is r greater than -2/7?
True
Let y(h) = -1 + 5*h**2 - 6*h**2 + 2*h**2. Let f be y(-2). Are 3 and f equal?
True
Suppose 3769 - 4180 = u. Is 1 less than or equal to u?
False
Let a = 32.9 - 33. Let r be (-20)/40*(-1 + 1). Suppose f - 5*s = r, -4*s = -s. Do f and a have different values?
True
Let s(c) = c**2 - 3. Let h be s(-2). Which is smaller: -1/9 or h?
-1/9
Let h be -9 + (-1 - 3)*9/(-12). Is -9 >= h?
False
Let z = 293/3804 - -2/317. Let f = 0 + 5. Suppose 3*o + f = -2*o. Which is bigger: z or o?
z
Suppose 0*q + 4*q - 29 = -5*g, 4*q + 4*g = 32. Which is smaller: 116/11 or q?
116/11
Let m = 2198 - 665998/303. Is -1 less than m?
True
Let o = 45 - 44. Suppose 1 = t - 5*u - 25, -5*t + 3*u = -20. Is o equal to t?
True
Let u = -36 + 35. Do u and 1/1064 have different values?
True
Suppose 5*s - 4*x = -1638, 3*s + 954 = -3*x - 18. Which is bigger: -327 or s?
s
Let q(t) = t**2 - 3. Let f be q(-2). Suppose -3*v + 25 - 1 = 0. Let j be 2/v + 5/(-52). Is f <= j?
False
Let u(z) = -z**3 - z**2 + 6*z - 4. Let x be u(1). Which is smaller: -9/16 or x?
-9/16
Let i = -0.64 - -0.04. Do -1 and i have the same value?
False
Let q be ((-30)/5)/(2/27). Let t = 912 - 992. Which is bigger: q or t?
t
Let t = -1.189 - 420.811. Which is smaller: -2/7 or t?
t
Let h(w) be the first derivative of -w**3/3 + 4*w + 5. Let x be h(-3). Let f be (-26)/x - 1/5. Are 3 and f non-equal?
True
Let g = -9 + 6. Let c be 1/(-2*1 - (-15)/10). Let a be g/6*c + -2. Is 1/6 at least as big as a?
True
Let k(v) = -v**2 - 3*v + 28. Let t be 9 + -2 + 0 - (-2 - -5). Let w be k(t). Is w <= -17/13?
False
Let c = -4 + 33. Let f = c + -29. Suppose f = -4*q - 5*j - 19, q + q = -j - 5. Which is smaller: q or -2/69?
q
Let z = 12102 - 35762/3. Let h = -178 + z. Suppose 7 + 8 = 5*o. Which is bigger: h or o?
h
Suppose 13 = 26*b + 39. Are b and -24/59 nonequal?
True
Let a(y) be the first derivative of -y**3/3 - 2*y**2 - y - 2. Let l be a(-5). Let j be l/2 - -2 - 1. Do -2 and j have the same value?
True
Let j = -46 + 77. Let h = j + -59. Is -27 >= h?
True
Let a = -0.096 + -1.904. Is -52 at most as big as a?
True
Let v = 118001/10 - 11816. Let x be 0 + (-49 + 1)/(-3). Let c = v + x. Is 0 bigger than c?
False
Let p be (-4 - -8) + (-136)/(-76). Which is bigger: p or 7?
7
Let a be (-1 + 2)*22/12. Suppose -129*w + 255*w - 129*w = -9. Is w equal to a?
False
Suppose -5*a - 6 - 72 = -4*t, a - 46 = -2*t. Let b = 20 - t. Suppose -l + 2*n - 24 = -3*n, -4 = 5*l + 4*n. Which is smaller: l or b?
l
Suppose -348 = 4*t - 96. Which is smaller: t or -61?
t
