h is bigger: 0 or z?
z
Suppose 0 = -s - 10 + 7. Let x be s*4/18 + (-142)/(-6). Which is smaller: 22 or x?
22
Let p = -1216/37 - -184497/5365. Let v = p + 8/29. Let g be (-14)/(-21) + (-1)/(-3). Is v >= g?
True
Let b be (-7)/14*60 + 13. Let u = -12 + -6. Is b less than u?
False
Let b = 373 + -373. Which is smaller: b or -43?
-43
Let p = 0.0605 + -16.0605. Does 2/3 = p?
False
Let i = 0.076 - 52.076. Let g = i + 43. Is -2 not equal to g?
True
Let w = 6313/9 + -701. Let j = -1.97 - 0.03. Does w = j?
False
Suppose -2 = -8*u + 5*u - c, 0 = 2*u - 5*c + 10. Suppose u = -12*n + 3*n. Which is smaller: n or -3/8?
-3/8
Let k = -18947 - -76455/4. Let h = k - 8719/52. Let w = 3191 + -3191. Does h = w?
False
Let u = -1 + 0.1. Let g = u + -6.1. Is -2/9 greater than g?
True
Let o = -5 - -11. Suppose -3*v - o = -6*v. Which is greater: 4 or v?
4
Let b = -4/72535837 - -229389361932376/2538754295. Let j = b + -90337. Let r = j + -89/5. Which is smaller: 0.04 or r?
0.04
Let m be 2 + (-33)/18 - 259/42. Is m greater than or equal to 6?
False
Let a be 23/((-2)/(-8)*-2). Let d(y) = -y**3 + 13*y**2 - 29*y + 32. Let f be d(11). Do a and f have the same value?
False
Suppose 3*g - 9 = 12. Suppose -g = 7*d - 0. Let a(x) = -x**3 - 5*x**2 + x + 4. Let c be a(-5). Is c smaller than d?
False
Let x = 438 + -413.3. Let a = -23 + x. Let q = -2.7 + a. Is q >= 4/13?
False
Let i = 1305 + -1243. Is i <= 64?
True
Suppose -s = -h - h, 2 = 4*h - s. Let n = -593/11 - -54. Is n greater than h?
False
Let i = 2449 - 7280/3. Which is smaller: 21 or i?
21
Let o be (-2)/(10/(-15)) + 0. Let c(a) = 2*a - 2. Let y be c(o). Let x be y/(340/355) - 4. Is 1 greater than x?
True
Let q = -9 - -8. Let w be ((-2)/1)/(14 - 3 - -3). Which is greater: w or q?
w
Let b(d) = -d**2 + d + 1. Let c be b(-1). Let p be 2 - (1 + c - -14). Let k be 1 - 2 - 9/p. Is 0.2 <= k?
False
Suppose -4*h + 8 = -3*h. Let a be (2/(-8))/((-2)/h). Let f = -128 + 1413/11. Is a bigger than f?
True
Let r = 1239 - 1238. Are r and -1/85 non-equal?
True
Suppose 0 = -9*h + 209 - 20. Suppose 10 = -11*i + h. Which is greater: -3 or i?
i
Let k = -8 - -53/6. Which is greater: -2 or k?
k
Let c be 21/24 + (-1)/2. Suppose -5*v - 16 = -4*h, 4*h = -3*v + 1 + 15. Which is smaller: v or c?
v
Let a = 2 - 4. Let o be 2 - 78/(-77)*a. Let x be 36/(-32) - (-2 + (-15)/(-8)). Are x and o non-equal?
True
Suppose -3*q = 2*k - 2, 5*k + q - 18 = -0*q. Let i be 3 + (-3 - (-7 - -3)). Suppose n - 4*o + 3*o = 7, 0 = 3*n - i*o - 23. Which is bigger: k or n?
n
Suppose 366*a + 39 = 379*a. Let j = -8 + 4. Is j smaller than a?
True
Let h be ((-3)/(-4))/((-165)/2). Let j = h + -17/66. Is j at least as big as 0?
False
Suppose 0 = 4*a - 9 - 15. Let g be (2/(-1))/(-2 + 7 - a). Let m be (4/(-10))/((-3)/5). Which is greater: m or g?
g
Let c = 5793/4 + -1496. Is c less than -48?
False
Let t = 6/77 - -82/77. Let m be 8 + 205/(-30) - 2/12. Which is bigger: m or t?
t
Let k = 23.94 - 26.94. Suppose -2*s = -4*v + 6 + 12, v + 23 = -5*s. Is s bigger than k?
False
Let n be ((-16)/440)/((-1)/5). Let s(m) = 8*m + 1. Let d be s(1). Let q be (-2)/d + 2/9. Which is smaller: q or n?
q
Let a be (((-12)/(-58))/(-2))/(-1). Suppose i + d = 1 - 2, -3*d = 0. Let q be 3/(15/10) + i. Is a not equal to q?
True
Suppose 2546 = 5*j - r, 33*j - 1013 = 31*j - 5*r. Which is greater: j or 510?
510
Suppose 5*o - 4*h = -68, -10*o + 3*h + 30 = -13*o. Which is smaller: 4 or o?
o
Let k = 1091 + -1092. Is -212 less than or equal to k?
True
Let v(t) be the second derivative of t**3/6 - 4*t**2 - 6*t. Let i be v(11). Suppose 2*k - 3 = -0*k - q, i = -k - 5*q. Do k and 2 have different values?
False
Suppose 764 = 182*g - 178*g. Which is greater: g or 193?
193
Let p = -41.11126 + 0.05126. Let l = 41 + p. Is -2/9 <= l?
True
Let w = -10 - 40. Let u = 45 + w. Is u smaller than -3?
True
Let u(g) = g**3 + 3*g**2 - 2*g - 3. Let o be u(-3). Suppose -2*x + x = 2*d, 0 = -4*x - o*d + 5. Is x equal to 14/11?
False
Suppose -5*z + 2*k = 4*k + 47, 4*z + 41 = -5*k. Let l(t) = t**2 + 8*t - 5. Let d be l(z). Suppose -s + d = -3. Is s at least as big as 9?
False
Let n be ((-1506)/5)/(-32 + 29). Do n and 101 have the same value?
False
Let r = -5871/7 - -837. Suppose 0 = 4*z + 5*t - 29, -4*z + 7*z - 3*t = -12. Suppose c + 0 = 2*f - z, -10 = 2*c. Which is smaller: r or f?
f
Let r = -7411 + 2297407/310. Which is smaller: r or 0?
r
Let c = -118 + -102. Let i be -3 - (5 + -5) - 662/c. Is -1 smaller than i?
True
Let w(m) = 6*m**3 + 4*m**2 - 13*m - 32. Let x be w(-2). Which is bigger: -39 or x?
x
Let v be (-5925)/(-275) - 1/((-33)/(-18)). Suppose -3*x = -7*x + 84. Is x at least v?
True
Let r = 0.5 + 4.5. Let q = 7 - r. Let p = -15/44 + 1/11. Is q at least as big as p?
True
Let a be (-38)/(-12) + 15/(-10) + -1. Which is smaller: -3/19 or a?
-3/19
Let l = -71 + 71.1. Is l not equal to -16?
True
Let j(q) = 3*q**2 - 19*q - 58. Let u be j(-4). Is 63 < u?
True
Let v(u) be the second derivative of u**5/20 + 11*u**4/12 + 5*u**3/3 - 2*u**2 - 11*u. Let j be v(-10). Are -6 and j equal?
False
Let f(w) = -16*w + 15. Let u be f(-12). Let k = u - 8488/41. Is 1 greater than or equal to k?
True
Suppose 15 = -3*g, -2*h + 4*g = h - 26. Let r be (18/(-3051))/((-1)/(h + 1)). Is 1 at least r?
True
Suppose 16*h + 392 + 40 = 0. Which is smaller: h or 1?
h
Let d be (-28)/238 - (-664)/7378. Which is smaller: d or -1?
-1
Let h be (-231)/14 + 2/(-4). Let v(u) = -u**3 - 16*u**2 + 15*u - 30. Let x be v(h). Is x less than or equal to 3?
False
Let y be (-183)/(-15) + 2/(-10). Suppose 0 = 2*n - 5*p + 30 + y, -3*p = -2*n - 50. Let k = n + 43. Is k smaller than 12?
False
Suppose -13*y - 17*y + 10140 = 0. Which is greater: 337 or y?
y
Let z = 1283/4 + -321. Which is smaller: z or -1?
-1
Let v be (21/35)/(((-192)/(-2740))/6). Which is smaller: v or 52?
v
Let b be 166/7 - (-12)/42. Suppose -14 - 6 = -2*q. Let l = q + 15. Which is smaller: b or l?
b
Suppose 0 = q - g - 395, 3*g - 1580 = -4*q - 0*g. Which is greater: 791/2 or q?
791/2
Let u be 18/30 - 6/10. Suppose u*y + 189 = 9*y. Does y = 21?
True
Let h(b) = b**2 - 19*b - 11. Let w be h(10). Is w less than -100?
True
Let p = 558.6 - 561. Does -1 = p?
False
Let m(q) = -q**3 + 23*q**2 - 38*q - 17. Let n be m(21). Which is smaller: 66 or n?
66
Let c = -685 - -686. Is 3/127 < c?
True
Suppose -5*r = -2*h + 140, 4*h = 3*r + r + 280. Let z = -40 + h. Are z and 31 equal?
False
Let x be (2 + 235/10)*220/(-33). Which is smaller: -172 or x?
-172
Let j = 20 + -17. Let f be (-2)/5 + 8/(-5). Let q = f + j. Is q at least as big as 1?
True
Let h = 7 - 7. Let u be (-2)/(-6) + (-20)/36. Which is bigger: h or u?
h
Suppose 0*c = -2*w + 3*c - 38, c = 3*w + 43. Let r = -9 - w. Let i = 71/45 + 20/9. Is i smaller than r?
True
Suppose -b = -2*y - 6*b + 64, 2*b - 160 = -5*y. Let u be (-30)/(4 - y/12). Which is smaller: u or -22?
u
Let m be (-1 + 2 - 142)/((-27)/18). Suppose 0 = -2*i + 2*r + m, 4*i - 5*i = r - 53. Which is bigger: i or 51?
51
Let w be (34/204)/((-1)/14). Let f = -0.27 + 0.07. Is w less than f?
True
Let j = -82 - -84. Suppose 6*h - h = 5*g + 140, 5*h + j*g = 105. Are 24 and h nonequal?
True
Let l be 56/140*(2 + 398). Is 798/5 at most l?
True
Suppose 4*h = 4*f - 0*h - 20, f = -5*h - 25. Is -26/19 >= f?
False
Let v be (-1)/(-6) + (-1730)/10515. Let g = 2981/82718 - v. Let i = -153 - -153. Which is bigger: g or i?
g
Let x = -1.2 + 2.9. Let o = -2.7 + x. Are -1/9 and o equal?
False
Let c = -2 + 2. Let n be 516/(-126) - (-12)/3. Do n and c have different values?
True
Let x = -9379/715 + 171/13. Let q(f) = f**2 - 14*f + 13. Let t be q(13). Is x less than t?
False
Let z(c) = c**3 - c**2 - 4*c. Let a be z(4). Suppose 0 = -r - 2*r + 5*o + a, -o = -2. Is 12 greater than or equal to r?
False
Let i(p) be the second derivative of p**5/20 - p**4/4 + 5*p**3/6 - 3*p**2/2 - 5*p. Let q be i(3). Let j = -0.58 - -0.48. Is j > q?
False
Suppose 191 = -2*a + 149. Which is greater: -108/5 or a?
a
Let p be 2/(-3) + 5/(15/2). Let t = -1 - p. Is 1/58 equal to t?
False
Let l(i) = -4*i**3 - 2*i**2 + 1. Let v(n) = -n + 9. Let p be v(9). Suppose -4*o + a - 4 = -2*a, 2*o + 5*a + 2 = p. Let m be l(o). Does 5/3 = m?
False
Let d(w) = -w**3 + 9*w**2 + 2*w - 11. Let z be d(5). Suppose -101*k + z*k = -12. Let r = -3 - -9. Do r and k have the same value?
True
Let z be ((-105)