 + 27/5. Which is greater: 7 or h?
7
Suppose -3*p - o = -0*p + 8, 0 = -3*p - 2*o - 10. Which is greater: p or 0?
0
Suppose -5*v + 50 = -4*p - 32, -4*p - 68 = -4*v. Suppose a + 6 = v. Which is greater: a or 7?
a
Let i be (1150/(-14) - 1) + -2. Let u(r) = -14*r + 1. Let v be u(-6). Let o = v + i. Which is smaller: 0 or o?
o
Let l = 2 - 1. Let k = -18 - -17.9. Which is greater: k or l?
l
Suppose -5*v - 5*x - 145 = 0, -2*v = -x + 6*x + 43. Let a be 5 - 2 - (-98)/v. Which is greater: a or 0?
a
Suppose 2 = 5*t - 13. Let h = -8 + 12. Suppose -12 + h = -4*i. Which is smaller: i or t?
i
Let s(v) = v + 8. Let f be s(-5). Let q = -8 - -3. Let j = q + f. Is -1 at most as big as j?
False
Let d(s) = -s + 19. Let n be d(14). Suppose -z - 3*t - 9 = 0, -z - 15 = -0*z + n*t. Which is bigger: z or 2?
2
Let z = -0.2 - -0.3. Let u = -11/60 - 5/12. Which is greater: z or u?
z
Let j be 9 + 0/3 + 1. Let h = j + -22. Let n be h/4 + 1 + 1. Is n at least -1?
True
Let s be -10 - (-4 - -13)/3. Let z = 6 + s. Is -6 at most z?
False
Let o = -30 + 30. Which is bigger: o or 1/44?
1/44
Let h = 0.4 + -1.3. Let s = -0.7 - h. Is 2 not equal to s?
True
Let m(h) = h**3 - 7*h**2 - 5*h - 23. Let z be m(8). Let f = -4 - -4.5. Let y = f + 1.5. Is y > z?
True
Let h = 47 + -34. Which is smaller: 3/7 or h?
3/7
Let w be (-1 + 3)/(8/(-12)). Is w bigger than -4?
True
Let o = -2/125 + 256/375. Let r(x) = -x**2 - 6*x - 5. Suppose 3*q + 25 = -5*p, q = 3*q + p + 12. Let z be r(q). Which is smaller: z or o?
z
Let q be (12/9)/((-1)/(-3)). Do q and 2/7 have the same value?
False
Let h = -436012 - -4792786/11. Let w = 304 + h. Is 0.2 at least as big as w?
True
Let t be (-1*(-2)/(-14))/1. Which is smaller: 1 or t?
t
Let o = -1.9 - 4.2. Let n = -6 - o. Is n > -0.2?
True
Let j = -778 + 3873/5. Let v be (-3)/2*(1 + 1). Are v and j non-equal?
True
Let v = 122/133 - 12/19. Suppose 8 = 2*i + 4. Suppose 5*o = i*o - 3. Is v at least as big as o?
True
Let w = -2 + -11. Let y be -5*1 - (w - -16). Is -6 greater than or equal to y?
True
Let j = 49/156 + 1/52. Let d(l) = -3*l**2 + 11*l + 11. Let z(k) = -k**2 + 4*k + 4. Let s(w) = 3*d(w) - 8*z(w). Let i be s(0). Is i at least as big as j?
True
Let r(m) = m**3 - 4*m**2 + 5*m - 1. Let w be r(4). Let j = w - 15. Is j at least as big as 5?
False
Let w = 0.72 - 0.8. Let d = w - -0.07. Which is greater: d or 0.1?
0.1
Let l = -8 + 11. Let h be (35/(-10))/(l/9). Is h > -12?
True
Let n(u) be the first derivative of u**2/2 + 5*u + 1. Suppose 2*w - 26 = 2*p, -4*p + 2*w - 44 = -0*w. Let m be n(p). Does m = -4?
True
Suppose -k = 10*k - k. Let g(x) = x**2 - 7*x + 9. Let i be g(6). Let j be 2/(1 - 9/i). Which is greater: j or k?
k
Suppose 0 = -3*v + 6*v. Suppose 4*o = 4*f - 0*f + 8, -4*f + 10 = 2*o. Let w be 1/(o/(12/2)). Does v = w?
False
Let l = -116 + 117. Is -34 >= l?
False
Let g be 2/5 + (-23)/(-5). Let s(f) = -f**2 + 6*f - 1. Let y be s(g). Is y > 4?
False
Let t be ((-8)/6)/(8/(-12)). Suppose 4*x = t*x + 5*z + 21, -3*z - 9 = 0. Is 1 equal to x?
False
Let q be (-2 + 255/12)/((-5)/(-20)). Is q not equal to 75?
True
Suppose 4 = 3*t - 5. Suppose 0 = -7*o + 2*o + 30. Suppose -x = -o + 2. Is t at most as big as x?
True
Let o(k) = -k**2 + 6*k + 2. Let r be o(6). Suppose 4*q + d + 14 = -5, r*q + 5*d + 23 = 0. Is q at most as big as -6?
False
Suppose -2*o - 5*o - 21 = 0. Is o smaller than -4?
False
Let n be -4 + -2 + 3/(-3). Which is greater: 0.1 or n?
0.1
Suppose -d - 6*d + 42 = 0. Is d <= 5?
False
Let p be (0 + 2 - 6)*-2. Let i = p + -7. Are 1/4 and i equal?
False
Let q be 112 + 6 + (-24)/6. Is q not equal to 114?
False
Suppose 0 = -2*r + 5*r - 36. Let a = r + -8. Suppose 2*f = -2*c - 6, 5*f = -a*c - 4 - 12. Which is smaller: -4/9 or c?
-4/9
Suppose 0 = 2*y - 5*y + 18. Suppose y*v - 10 = v. Let f be 9/12 - v/(-8). Is 0.2 at least as big as f?
False
Let c = 3 + -5. Let i be (-12)/(-42) - 60/14. Let k be (-2)/i + (3 - 4). Is k smaller than c?
False
Suppose 6*f - 4*u = 3*f + 12, 0 = 5*f - 4*u - 12. Let d be 75/(-2) - (-3)/2. Let k be 17/d + 2/9. Do f and k have the same value?
False
Let v = -677 - -16923/25. Let k = -9 + 8. Which is smaller: v or k?
k
Let t = -30 + 21. Which is bigger: 2 or t?
2
Let t = -2 - -1. Let w = 103 + -103. Which is greater: t or w?
w
Let q be 30 + (1 - 2 - -1). Let l be (-8)/(-6)*1/q. Is 1 at least l?
True
Let n = 9 - 16. Let h be -2 - n*3/12. Which is smaller: h or 0?
h
Let f = -7 - -13/2. Let c(n) = n**3 + n**2 - 1. Suppose -4 = u + h, 2*h - 6*h - 16 = 5*u. Let a be c(u). Which is bigger: a or f?
f
Suppose -5*i + 2*i = -4*v + 21, -5*i + 5*v - 35 = 0. Let h = i + 3. Which is bigger: 0.1 or h?
0.1
Let l = 0.6 + 0.4. Which is smaller: l or 5/7?
5/7
Let j(i) = -i**3 - i**2 - i + 1. Let m be j(1). Let n = m + 4. Which is greater: n or 1?
n
Let n(g) = -g**3 - 2*g**2 + 5*g + 4. Let d be n(-4). Let v be 2/4*-2 + d. Let o be 12/v*5/2. Which is greater: 1 or o?
o
Suppose -10 = -2*x - 3*x. Let v be ((-15)/(-6) - 2)*x. Suppose -l + o + 2 = -v, l = -o - 3. Is -2/5 <= l?
True
Suppose -130 = -0*t - 2*t. Let x = 197/3 - t. Let b be (2 - 6)*2/(-4). Which is greater: b or x?
b
Suppose -3*y - 2*y = -25. Let v be (-2)/y + 34/10. Let c be (-1)/3 - 5/v. Are c and -1 equal?
False
Let l(w) = -w**2 - 3*w - 3. Let h be l(-3). Let x = 9 - 17. Let k(n) = 2*n + 12. Let p be k(x). Are p and h non-equal?
True
Let a = -14 - -5. Let g = a + 10. Which is bigger: g or 0?
g
Suppose 3*l + 3*u = 18, 0*u = -3*u + 12. Let q = 8 + -14. Let y be (q/(2/(-2)))/2. Which is greater: y or l?
y
Let a = 11903/32 - 372. Are a and 0 equal?
False
Let x be 2535/(-18)*1/125. Let y = x - 1/25. Let d = y + 2/3. Which is smaller: d or -2?
-2
Let r = -0.6 - -0.57. Let l = -0.16 - -0.09. Let s = l + r. Are s and -3 unequal?
True
Let d be (-3)/(((-2)/3)/(-2)). Let u be (d/(-30))/(12/(-50)). Which is smaller: -2 or u?
-2
Let s(w) be the third derivative of -w**5/60 + 7*w**4/24 + w**3/3 + 2*w**2. Let x be s(7). Let m be -1 + (0/x - -2). Which is bigger: 0 or m?
m
Let i = 5 + -6. Let r = 6 - 4. Let a = r + i. Which is smaller: 2 or a?
a
Suppose 0 = 2*b + s - 30, 6*b + 2*s - 21 = 5*b. Let t = -7 + b. Suppose -2*o = -t*o. Is -1/5 greater than or equal to o?
False
Suppose 2*j = 2*g - 6, -3*j - 2*j - 22 = 2*g. Is j not equal to -15/4?
True
Suppose n + 4*n = 5. Let y(j) = j - 1. Let v be y(-3). Let h be v/6 - (-15)/9. Is h equal to n?
True
Let i = 105 + -104. Which is bigger: i or 16?
16
Let o be 15/10 + 39/(-2). Which is bigger: o or -15?
-15
Let s = 0.02 - 3.12. Let i = -3 - s. Let d = 7.3 - 7. Which is bigger: i or d?
d
Let u = -475/7 - -68. Suppose 0 = 3*a + 6*o - o - 20, -5*o + 20 = -3*a. Which is smaller: u or a?
a
Let t be (0 - -3 - 1)/3. Let h = -6 - 5. Let s = h + 10.9. Which is smaller: t or s?
s
Let u = -50 - -52. Which is greater: u or 3?
3
Suppose -2*d + f = -3 - 0, -2*d - 3 = -3*f. Are 2 and d equal?
False
Suppose 0 = -4*q - 4 + 20. Is q < 4?
False
Suppose 2*y - 5*k - 4 = 0, 0 = 2*y - k - 3 - 9. Is y less than or equal to 6?
False
Let a = -0.73 + 0.23. Let g = a - -0.6. Is -2/23 at most g?
True
Let c be ((-14)/8)/(4/16). Let q = -7 - c. Which is bigger: q or -1/4?
q
Suppose 9*o = 6*o + 45. Let g = 7 - o. Which is smaller: g or -6?
g
Suppose 2 = 2*p + 3*h - 0, 4*p + 5*h = 2. Let z be (-14)/6 - (80/(-15) - -5). Is p > z?
False
Let k be 21 + (1 - (5 + -4)). Let g = k + -527/25. Is g bigger than -2?
True
Let p = 326 + -16622/51. Let m = p - -10/17. Is m at most 1?
True
Suppose -5*j = -2*j. Let s = 14 + -9. Suppose 5*q = -0*q + s. Is j equal to q?
False
Let d = 14592795585522 + -92853957890470594/6363. Let h = d - 594352/9. Let r = h - -1/101. Which is smaller: 0 or r?
r
Let i = 547/5 + -109. Is i < 0?
False
Let l = -4 + 4. Let q be (-59)/4 - (-6)/8. Let c be ((-3)/q)/((-9)/12). Which is bigger: c or l?
l
Let g be 2*-1 - 21/(-12). Suppose -3*f - x + 1 = -8*f, 3*x + 12 = 0. Which is smaller: f or g?
f
Let d = 607760/231 + -2631. Which is smaller: -1 or d?
-1
Suppose 0 = -3*h - b - 69, 0 = -h + 5*b - 2 - 21. Is -22 at least h?
True
Let o = 18 - 19. Which is bigger: o or -2/39?
-2/39
Let f be (3/1 + 2)*15. Let l = -54 + f. Suppose l = -4*o + 1. Which is smaller: o or -6?
-6
Suppose 5*s + 3*g = 4, -2*g + 2 = 4*s - s. Let p = -165 - -665/4. Which is smaller: s or p?
p
Suppose x = 5*x + 4. Let l be (5/(-70))/(1/(-