h is smaller: r or s?
s
Suppose 0 = -0*y - 5*y + 15. Suppose 0 = -3*g + 22 - 7, -y*g + 57 = 3*w. Which is greater: w or 13?
w
Suppose 0 = -4*s - 31 + 7. Are -2 and s equal?
False
Let v be 2/10*(-2 + 0). Which is smaller: 2/21 or v?
v
Let t = -283 - -448. Let p = -109 + t. Let n be (-128)/p + 1*2. Which is smaller: n or 3?
n
Let w = 1/150 + 133/50. Let z be (-18)/(-8) - 2/8. Which is bigger: z or w?
w
Let y(q) = q**3 + 2*q**2 + q + 1. Let u = 10 + -12. Let a be y(u). Are 0.6 and a nonequal?
True
Suppose -7 + 2 = -z. Suppose -2*x + 3*x - 15 = -o, 0 = -z*x - 4*o + 71. Suppose -2*i = -3*j - x, -3*i + 2*i + 2*j + 7 = 0. Which is bigger: i or 3/4?
i
Let y = 2 - -1. Suppose -5*q + y = -2. Which is greater: q or -0.1?
q
Let p = -0.9 - 0.2. Which is bigger: 2/15 or p?
2/15
Let l be -2*(-4 - -7)/(-21). Are l and -2 unequal?
True
Let p be 6/21 + (-61)/(-7). Let a(k) = k**2 - 10*k + 8. Let s be a(p). Let w = -5/21 - -4/7. Do s and w have different values?
True
Let i = 6 - 6. Is 15 > i?
True
Let u be (-1)/(-45) - (-1)/5. Which is smaller: u or 20?
u
Let q = 20 - 24. Let m be (-68)/48 - (-9)/12. Is m at most q?
False
Let b be 9*1*2/(-6). Let d be 0 - (12/(-2))/(-2). Let j = d - 0. Is j greater than or equal to b?
True
Let c be (1 - -2) + 2/1. Suppose -2*g = -d + 2*g, 0 = c*d - 2*g. Is d at most 1?
True
Let v be (44/(-55))/(1/10). Is -7 smaller than v?
False
Let q = -169 + 1185/7. Suppose -4 = -k - 0*k. Suppose -2*t - 4*h = 22, k*h = 3*t - 7 - 10. Do q and t have the same value?
False
Let l(q) = -q**2 - 3*q + 5. Let f be l(-4). Let s(y) = -y - 4. Let p be s(-5). Is f less than or equal to p?
True
Let g = -13 + 13. Let q be 0 + 0 - 5*12/140. Is g at least as big as q?
True
Let j(s) = -6*s - 66. Let f be j(-14). Is f greater than 16?
True
Let v be ((-45)/(-5))/((-6)/4). Is -7 less than or equal to v?
True
Let f be (-9)/(-12) - 18/(-8). Let r(g) = -g**2 + 3*g. Let x be r(f). Which is bigger: x or -3?
x
Let g(l) = -l**3 - 6*l**2 + 7*l - 9. Let o be g(-7). Let w(z) = -z**3 - 9*z**2 - 2*z - 4. Let k be w(o). Is k < 13?
False
Let v = 3 + 1. Suppose 0*x = -v*x. Let w be (3/63)/1*12. Which is bigger: x or w?
w
Let u be 13 + -15 + (-10)/(-12). Which is bigger: 0 or u?
0
Let b = 27.997 - -0.003. Let t = b + -28.9. Which is greater: t or 1?
1
Let a(v) = -v**2 + 3*v + 8. Let q be a(6). Let h be (20/50)/((-16)/q). Which is bigger: 0 or h?
h
Let b(z) = -2*z + 7. Let c be b(4). Let a = 1/2 + c. Is -1/12 >= a?
True
Let p be -3 + (9 - (0 - 2)). Let z be 2/p - 18/8. Which is bigger: -1 or z?
-1
Let n = 200.7 + -201. Let y be (2/9)/((-2)/(-6)). Is n at least y?
False
Suppose 2*x - 52 = -2*t, -4*t + 3*x + 4 + 65 = 0. Let m be (21/9 + -2)*t. Is 8 greater than m?
True
Let i be -10 + 2 - 4/(-2). Let y = i - -5. Let j = -0.4 - -1.4. Which is smaller: y or j?
y
Let p = 367/117 - 35/13. Let g = p - 7/9. Let y = -556/35 + 78/5. Are y and g equal?
False
Suppose 2*o + 4 + 1 = -z, -2*z + 8 = -5*o. Which is smaller: o or -8?
-8
Let p be (2*-1 - -2)/2. Suppose p*f - 3 = -3*f. Let w be ((-2)/(-10)*-6)/(-2). Are f and w equal?
False
Let r = -175 + 100. Let k = 227/3 + r. Is k > -0.01?
True
Let z(f) = -4*f**2 - f - 4. Let b be z(-3). Is -38 < b?
True
Suppose 5 = -2*c + c. Let q be (-9)/15*(c - 0). Is q > 3?
False
Let i = 75.9 - 72. Let k = -4 + i. Which is smaller: 1/11 or k?
k
Let s = -2 + 2. Let g = -0.1 + s. Let p be (-2 + 6/4)*-2. Which is smaller: p or g?
g
Let s be (-9)/2*4*(-48)/234. Which is greater: 4 or s?
4
Let s = -1/179 + 365/1253. Which is smaller: s or 4?
s
Suppose 3*g + 1 = -b + 3, -5*b = -3*g - 28. Which is smaller: b or 6?
b
Suppose 0*n = 2*n. Suppose -w + 0*w - 3*h = -9, 4*w - 5*h + 32 = n. Which is greater: -2 or w?
-2
Suppose -n = -3*n - 36. Let j be ((-36)/(-15))/(n/320). Let l = 43 + j. Which is bigger: l or 0.3?
l
Let p = 17 + -31. Let x be 4/(-6) + p/6. Let z = -1 - 1. Which is greater: z or x?
z
Let f be 2 + 5/((-10)/(-4)). Suppose 0 = p + f*p - 5. Which is bigger: 3/8 or p?
p
Let u = 4 + 1. Let s = u + -3. Let z = s - 2.1. Is z smaller than -4?
False
Suppose 43 + 2 = -o. Let n be (-4)/(-18) - 110/o. Let p = n + -2. Is p at most as big as 1?
True
Suppose -24*u + 19*u - 20 = 0. Which is smaller: -7/2 or u?
u
Let b be 1/(-2)*0/(-1). Let a = 9 + -5. Let z = -7/2 + a. Does z = b?
False
Let r = 1366/15 + -91. Does r = 0?
False
Suppose -5*n + 3*t = -53, 0*t = -5*n + t + 51. Let f = n - 10. Is 0 >= f?
True
Let n = 142 - 142. Which is smaller: n or 1/3?
n
Let z(t) be the first derivative of -t**2/2 + t + 7. Let r be z(-4). Are r and 3 nonequal?
True
Let t be (-2 + 5 + -21)/1. Let x be 1 - (-4)/(88/t). Is -1 < x?
True
Let x be (3/(-9))/((-1)/45). Let y be 6/x - (-672)/(-1530). Which is smaller: -1 or y?
-1
Suppose 4 = -0*t + 2*t. Suppose -4*z - t = 2. Let w be (z + 17/15)*3. Which is greater: -3/4 or w?
w
Let n = 2510/7 + -358. Suppose -5*z - 3 = 2. Is n equal to z?
False
Let g(h) = h**3 - 6*h**2 + h - 7. Let s be g(6). Let c(f) = f**2 - 4*f + 3. Let m be c(3). Let o = s - m. Is -2 > o?
False
Suppose -213 = 4*h + a - 0, a = 5*h + 255. Let c be (24/h)/(3/2). Is c smaller than 1?
True
Let c be (-150)/(-18) + 2/(-6). Suppose 0 = -5*v - c - 2. Are v and -3 non-equal?
True
Let m be 0 + -9 + 2 - -2. Suppose 0 = -35*k + 20*k. Which is smaller: m or k?
m
Suppose -3*w + 13 = -5*a, 4 = 4*w - 0*w. Which is smaller: -8 or a?
-8
Let i = 45590798/25 - 1823250. Let o = i - 382. Is o at most 1?
True
Let r = -6 + 8. Is 0 greater than r?
False
Suppose 3*r + 0*r = -4*u - 16, -12 = 3*u - 4*r. Suppose 5*z + 5 = -0*z. Which is greater: z or u?
z
Let j = -36 - -20. Which is greater: -17 or j?
j
Let c = -551/2 - -3907/14. Are 3 and c unequal?
True
Let g = 0.2 + -0.5. Let k be ((-2)/20)/((-9)/1116). Let p = 12 - k. Which is smaller: p or g?
p
Let m(z) = z**2 - 9*z - 2. Let a be m(9). Which is greater: -1 or a?
-1
Let g(i) = i**2 + 3*i - 5. Let v be g(-5). Let r = v + -2. Suppose -r*y + 5 = 2*f, 3*y + 13 = -2*y + 2*f. Is y at most as big as -1?
True
Let s = 2 + -2. Let p be 1 + (s - 2) - 0. Let w be (-3)/(-18)*(-4)/(-2). Which is bigger: p or w?
w
Let n = 142.8 + -143. Which is greater: -0.032 or n?
-0.032
Suppose 0 = -4*w + 8 - 0. Let y = -3/2 + w. Which is greater: y or 0?
y
Let b = -434 + 774. Suppose 0*p - 5*p = b. Let a be p/168 - 1/(-2). Which is smaller: a or 0?
0
Suppose o = -3*o - 176. Is o bigger than -44?
False
Let j(p) = -p**2 + 14*p - 11. Let h be j(13). Is 1 at least h?
False
Let b = -14 - -17. Suppose -b*h = h + 4. Which is smaller: 2/29 or h?
h
Let j = -98187/5 - -19502. Let d = j - -135. Which is smaller: 2/7 or d?
d
Let h be (60/8)/(2/4). Let c = 371 - 711/2. Let s = h - c. Are s and 0 equal?
False
Let s be (6/(-3))/(1 + 1). Let w be 1 + -1 - (2 + s). Which is smaller: -2/5 or w?
w
Let j be 12/(-21)*(-49)/2. Suppose -4*h - j = 3*q, 0*q = -2*q + 3*h - 15. Suppose 0*g - g = 6. Is g bigger than q?
False
Suppose 2*z + 0*z = -2. Suppose 3*x + 10 = -4*t, 3*t + 7*x + 13 = 2*x. Let s = z + t. Is -0.2 at least s?
True
Suppose 0 = 3*r + 4 + 11. Which is smaller: r or -6?
-6
Suppose -5*f - 4*n = -3*f + 10, -f - 4*n = 11. Suppose -20 = -5*a - 5. Let y be -3*-1*1/a. Is f greater than or equal to y?
True
Suppose -3*g = -4*i + 41, 2*i - 6*i = -2*g - 38. Which is smaller: 9 or i?
i
Let l = -34 - -32. Let p(x) = -31*x + 1. Let u be p(1). Let v be 12/u - l/5. Which is smaller: 2/7 or v?
v
Suppose 9*y + 2 = 47. Which is smaller: 7 or y?
y
Let g = -0.3 - -0.4. Let f = 34 + -70. Let z be -2 - f/33*2. Which is bigger: g or z?
z
Let o(b) = -1. Let a(v) = -v + 3. Let i(w) = -2*a(w) - 10*o(w). Let z be i(-3). Is 2 != z?
True
Let h = 6.95 - 7. Let b = h - -0.07. Let f = -1.02 + b. Which is greater: -3 or f?
f
Let u(n) = -n**3 - 10*n**2 - 9*n - 8. Let h be u(-9). Is -35/4 smaller than h?
True
Let g be (-18)/20*(-9 - 23/(-3)). Let y = 1 + -1. Is y less than or equal to g?
True
Let k be (8/(-4))/(1/4). Let i = -7 - k. Which is smaller: 4/5 or i?
4/5
Let a = -10 - -6. Suppose 0*u + u - 5*s = 40, 0 = -5*u + 3*s + 112. Suppose 0 = 2*o + 2*o + u. Which is smaller: a or o?
o
Let r = 4 - 1. Let z = -1 + r. Suppose 9 + 1 = 5*h. Is h at most z?
True
Let k = 0.04 + 0.01. Let v be (-9)/(-30)*8/6. Is k less than or equal to v?
True
Let b = 7 + -3. Let y be (-2)/9 - (-34)/(-9). Let w(f) = -f + 2. Let n be w(y). Are n an