or x?
x
Let x be ((-4)/8)/((-1)/(-44)). Suppose 2*h + 52 = -0*h - v, 0 = -2*h + 2*v - 34. Which is smaller: x or h?
h
Let n(g) = -9*g + 10. Let v be n(3). Is v bigger than 7?
False
Let d(r) = r**3 - 3*r**2 - 2*r - 7. Let c = 23 + -19. Let n be d(c). Which is smaller: 4/9 or n?
4/9
Let z(t) = -95*t - 222. Let i be z(3). Is i > -507?
False
Let s be ((-1649)/85)/(0 + 1). Which is smaller: 2 or s?
s
Let a(h) = h**3 - 4*h**2 - 14*h + 13. Let f be a(6). Let m = -544 + 11965/22. Is f at most m?
False
Suppose 31*u = 56*u - 2700. Which is greater: u or 753/7?
u
Suppose -52*u + 54*u = 26. Are 6 and u nonequal?
True
Let i = 5 + -10. Let u(x) be the first derivative of x**4/4 + 2*x**3 + 5*x**2/2 - x - 3. Let m be u(i). Which is smaller: m or 4/9?
m
Let t = 512 + -502. Suppose 4*z + 9 - 41 = 0. Which is smaller: z or t?
z
Let b(d) = 10*d - 21. Let a be b(2). Is a > -9?
True
Let p(l) = l**3 + 43*l**2 - 82*l + 108. Let q be p(-45). Are q and -252 unequal?
False
Let n(o) = -o**2 + 9*o - 10. Let c be n(8). Let u be (-1)/(c/9)*-2. Let z be ((-33)/u + -3)*-9. Is z > -5?
False
Let i(p) = 3*p**2 - 11*p - 7. Let v be i(5). Is v equal to 13?
True
Let x be -14*((-204)/238 + 33/14). Is -145/7 less than or equal to x?
False
Let v(z) = -9*z - 14. Let i(r) = 5*r + 7. Let g(n) = 5*i(n) + 3*v(n). Let b be g(-5). Suppose -b*d + 6 = -0. Which is bigger: 5/2 or d?
5/2
Let f = -359 + 42. Which is greater: f or -316?
-316
Suppose 4*x + 582 + 1194 = 0. Let n = 8434/19 + x. Let y = n + 27/76. Is y at least as big as 2/11?
True
Let t be (-6)/10 + 104/40. Let v be 4/3 + t + 0. Is 4 at least as big as v?
True
Let b = 615 + -23987/39. Which is greater: b or 0?
0
Let p = -1/1247 + -385316/8729. Let w = p - -44. Suppose 3*l + q = -0*q - 2, -29 = -4*l + 5*q. Which is smaller: w or l?
w
Let f be (4886/480 - 3) + -4. Let v = f - -1/48. Suppose -m - 3*s + 4 + 10 = 0, 0 = m - 4*s + 14. Is m greater than or equal to v?
False
Let z(a) = -2*a**2 - 18*a + 18. Let x be z(-9). Is 18 greater than or equal to x?
True
Let n(o) = -2*o - 3. Let s be n(-2). Let a = 28 + -35.8. Let u = -0.2 + a. Is s less than u?
False
Suppose 3 = 4*o + 7. Let x(d) = d**3 + 9*d**2 - 21*d + 4. Let i be (-70)/5 + (2 - -1). Let v be x(i). Which is smaller: v or o?
v
Suppose -x = 2*c - 8, -72 - 16 = -5*x + 2*c. Is x <= 19?
True
Let z = -174 + 70. Let b = -104.06 - z. Are b and -0.4 equal?
False
Let k = 430/3 + -273/2. Let g be 8/(-6 - -2) - (-4 - 4). Are g and k non-equal?
True
Let p = -4 - -6. Suppose 0*k = -11*k. Suppose 8 = 3*d - 5*t, k = 3*d + 3*t - p*t - 2. Which is greater: d or 1/7?
d
Let c be 1245/25 + 22/10 + -1. Is c greater than 3/11?
True
Let d be -6*(-12)/18 - 4. Is d at most as big as 0.121?
True
Let l = -10.6 + 22.8. Let n = 13.2 - l. Which is smaller: n or 6?
n
Let q = -96 - -140. Let r = 44.1 - q. Which is greater: -0.9 or r?
r
Suppose 5*d - 5*j - 280 = 0, 2*d + 0*j = -5*j + 91. Are 372/7 and d non-equal?
True
Suppose -i - 14*i + 90 = 0. Is i at most as big as 1.7?
False
Let n(k) = k**3 - 7*k**2 + 4*k + 24. Let o be n(7). Which is smaller: 56 or o?
o
Suppose 367*j - 10 = 377*j. Which is smaller: j or -1/568?
j
Let v(b) be the third derivative of b**5/30 - 29*b**4/24 + 13*b**3/6 - 2*b**2 + 26*b. Let k be v(14). Do k and 84 have the same value?
False
Let d be ((-6896)/(-3 + 11))/(-1). Is d at least as big as 862?
True
Let a = 0.12 + 0.06. Let h = 0.28 - a. Which is bigger: 17 or h?
17
Let a be 2/2 + -2 - (-49)/42. Let h be 10/(-36) - (-4)/(-18). Which is greater: h or a?
a
Let h = 641 - 642. Which is smaller: h or -1/438?
h
Suppose -p + 10 = -4*c, 3*p = -c - 2*c. Is c less than -11?
False
Suppose 21 = 4*y + 5*w, y - 4*y + 10 = -2*w. Let a be (((-6)/(-5))/1 - 4) + y. Which is smaller: 2 or a?
a
Let x be 5 - 332/68 - 107/(-391). Is 0 bigger than x?
False
Let b(f) = -f**3 + f**2 + 10*f + 22. Let x be b(-4). Do 63 and x have the same value?
False
Let o be (2 - -21) + -4 + 1. Let j = -21 + o. Is 5/12 at most as big as j?
False
Let a = -384 - -16. Is a <= -369?
False
Let k(z) be the second derivative of 2*z**3/3 + 2*z**2 - 5*z. Let p be k(5). Suppose 0 = -4*b - 3*m - m - p, -b = -m. Is b at least -3?
True
Let s = -7.7 + -0.3. Let n = s - -11. Let a be (-4)/14 - (-72)/(-189). Which is smaller: a or n?
a
Let x be (-1)/(-3 + 5 - 3). Let s = 4 + x. Suppose 3*z - 8*z = -25, -5*z = s*r. Is r != -5?
False
Let b be 2*((-30)/16 - -2). Which is bigger: b or -2.05?
b
Let x = -13/30 + 1/30. Suppose 2*k + 2*q - 12 = 0, -2*k + q + 2 = -2*q. Suppose -k*m = -3*m. Are m and x equal?
False
Suppose -4*q - 8 = -6*q. Suppose -q*m = -6*m - 16. Let d = 10 + m. Which is smaller: d or 1?
1
Let n = -4.27 - -5.4. Let j = -0.97 + n. Which is greater: j or -0.5?
j
Let b = -17 - -17. Let r = 0.09 + -9.09. Let n = 11 + r. Which is smaller: n or b?
b
Let i = 575 + -28751/50. Which is greater: i or 1?
1
Let p = 600 + -608. Suppose -m = 5*s + 14, -3*m + 2*s = 11 + 14. Which is smaller: m or p?
m
Let s(o) be the first derivative of o**3/3 - o**2/2 + 32. Suppose 0 = 4*w - 2*w. Let l be s(w). Which is bigger: l or 6/7?
6/7
Let i be (6/4)/(8/16). Suppose -q - i*n = -4*q - 3, -2*q = -5*n + 5. Is 16 smaller than q?
False
Let m = -68 + 93. Is m greater than 25?
False
Let u = 1.1 - 1. Let v be ((-21)/(-3)*(-15)/15)/(-1). Which is smaller: u or v?
u
Suppose -3*a = f + f - 27, f = 2*a - 4. Suppose -f = 4*h + 18. Let j = h - -18. Is j smaller than 12?
False
Let j be (-1)/(102/(-264)) + -2. Which is smaller: 1 or j?
j
Suppose -37 = -2*q + 5*m, -2*q + 5*m + 25 = 4*m. Suppose 13*h - q*h = 2. Which is greater: -1 or h?
h
Let i(f) = -f + 1. Let o be i(0). Let j = -199 + 805/4. Which is greater: o or j?
j
Let t = -16 - -29. Let s be 944/72 + (-5)/45. Is s > t?
False
Suppose 2*d + 12 - 2320 = 0. Are 1154 and d non-equal?
False
Let z = 36 - 26. Suppose z*p - 110 = 200. Is p >= 31?
True
Let m = 33 + -66. Let h be (-1 + 0)*(m + -5). Which is smaller: 2 or h?
2
Suppose 5*v - 48 = 4*u, 2*u - 10 = -2*v + 2. Which is greater: 110/13 or v?
110/13
Suppose 39 - 246 = -3*v. Which is bigger: 68 or v?
v
Let d = -1428 + 1912. Is d >= 0?
True
Let o = 720 + -10799/15. Suppose 4*p = 5 - 1. Which is smaller: o or p?
o
Let o be (-2)/(-6)*136/85. Which is greater: o or 2?
2
Suppose -x + 0 + 8 = 0. Suppose -10 = -10*o + x*o. Suppose 5*j - 3 = -u + 5, 5*j = -2*u + 11. Which is smaller: o or u?
u
Let w = 0.097 - 1.657. Let n = w - 0.04. Let f = 0.4 - n. Is f smaller than -0.1?
False
Let x(p) = p**2 - 4*p - 9. Let r be x(7). Let d = r - -76. Let i be 3 - (d/14 - 3). Which is smaller: 1 or i?
i
Let r(w) = -2*w + 25. Let f be r(-6). Suppose f = -9*v - 8. Is -1 > v?
True
Let z = 684 + -256. Is z at most 428?
True
Let x(s) = 64*s - 182. Let b be x(-7). Is b less than -632?
False
Let p = 5.46 + -5.6. Let v = p + 1.14. Is v smaller than 2/7?
False
Let t(w) = w**3 - 6*w**2 - 2*w + 12. Let q be t(6). Suppose q = -4*v - 5*c + 9, 2 = 2*c - 0. Are v and -1 unequal?
True
Let r = -112/3 - -785/21. Let p be 4/(-1) + 8 + -2. Suppose -7*s = -5*s - p. Which is bigger: r or s?
s
Let j = -0.17 - -0.18. Let q = 0.19 + j. Let u = -0.4 - -1.4. Which is smaller: u or q?
q
Let p(q) = -q**2 + 9*q - 1. Let l be p(9). Is 9 at most as big as l?
False
Let d(b) = 5*b**3 + b**2 - 1. Let q be d(1). Let m be ((-60)/9)/4 - -1. Let f = m + 7/6. Is f at least as big as q?
False
Let o(l) = l. Let u be o(-1). Let z be (-11)/(-21) - (-5 - (-102)/18). Is u > z?
False
Let y be 84/78 + 1/(-13). Is -2/657 < y?
True
Suppose 20*z = -7*z. Which is bigger: 33 or z?
33
Let a be -13 + (-568)/(-40) - 476/30. Is -14 != a?
True
Let o be (-2 + (1 - -1))/(1*2). Suppose o = -l - 7*l - 8. Is 6/13 at least as big as l?
True
Let f = 4465/12 + -372. Is f greater than or equal to 0?
True
Let x(l) = -l**2 - 9*l + 1. Let r be x(-7). Which is smaller: 1 or r?
1
Let t(r) = -r + 5. Let j(o) = 1 + 2 - 2. Let w(f) = -3*j(f) + t(f). Let a be w(5). Is -2 at most as big as a?
False
Let g be 102/34 - 5/(-2). Which is bigger: 7 or g?
7
Suppose 5*g = -2*p + 139, 0*p - 3 = p. Which is smaller: -4 or g?
-4
Let c = -10.33 + 10.8. Let g = c - -0.13. Let u = 0.7 - g. Is u <= 0.2?
True
Let f = -35 - -47. Suppose 5*x + x = f. Is x <= -0.09?
False
Suppose -4310 = -16*h - 166. Which is bigger: 260 or h?
260
Suppose -k + 4 = 3*k. Is 2/49 less than k?
True
Let p = -8