reater: z or o?
z
Suppose -l - 25 = 3*s - 8*s, 0 = 2*l - 10. Suppose 5*x - a = 6, 0*x - 2*a = -4*x + s. Which is greater: 1/4 or x?
x
Let g = -0.59 + 2.89. Let u = 0.3 - g. Let b = 3 + u. Does b = -1?
False
Let l be ((-3)/(-12))/((-3)/3). Let c be ((-56)/(-35))/(2/(-25))*-1. Suppose -c = -n + 6*n, 2*z = 4*n + 16. Does z = l?
False
Let u = 49709/86 + -578. Which is greater: u or 1?
1
Let g(q) = 28*q - 3*q**3 - 29*q + 2*q**3 + 3 + 3*q**2. Let a be g(3). Which is smaller: a or -1/2?
-1/2
Let f = 22 - 14. Let b(g) = -g**3 + 7*g**2 - 3*g + 22. Let j be b(f). Which is smaller: j or -67?
-67
Let z be (16/20 + 13/(-20))/(-2). Which is bigger: z or 1?
1
Let h = 10 - 6. Let d = 24 + -22. Suppose h*i - 2*u = -6*u - 8, d*i + 3*u = -7. Is i < -2?
False
Let t = 5 - 8. Let b be -56*(-1 - t/6). Is b smaller than 27?
False
Let v be 40/26 + (-1 - 1). Let d be (0 - 3) + 25 + -8. Suppose -18*c + d*c = 4. Which is smaller: v or c?
c
Let o = -1680 + 1416. Is o smaller than -2?
True
Suppose -20*x + 21*x = 5. Suppose 0 = 6*t - x*t. Which is greater: t or -1/13?
t
Let i = -1.049 - -0.049. Let h = -392/1845 - 2/205. Which is smaller: i or h?
i
Suppose q - 34 = -4*c, 5 = 5*c - 5. Suppose 4*h + 42 = q. Which is smaller: h or 0?
h
Let x(n) = -9*n**3 + 7*n**2 - 1. Let z(j) = -5*j**3 + 3*j**2 - 1. Let c(k) = 4*x(k) - 7*z(k). Let y be c(7). Let o be 130/210 - 1/y. Is 0 at least o?
False
Suppose -6*d = -3*d. Let f be 328/82 - (7*1 + -1). Which is smaller: f or d?
f
Let w = 449 - 448. Are 1/62 and w equal?
False
Let q = -0.595 - -0.895. Is 1.14 < q?
False
Suppose 0 = -2*t - 2*t - 20, -4*m + 119 = 5*t. Let p be (-4)/m - 22/126. Which is greater: 2 or p?
2
Let d be 38*(-2)/(-16) + 3/(-4). Are d and 5 unequal?
True
Let t = 4385316/703 + -6238. Which is greater: -1 or t?
t
Let v be 7 - (-1 - ((-2 - 2) + 4)). Suppose -50 + 18 = v*y. Is y at least -4?
True
Suppose -3*h = -0*h - 6. Let w be -1 + -2 - 4/h. Suppose 3*f - 1 + 13 = 0, -3 = -o + 2*f. Is o >= w?
True
Let l be 14*(-6)/(-336) + 130/(-264). Is 0 >= l?
True
Let j(i) = i**2 - 7*i + 8. Let v be j(7). Suppose 5*d + v - 26 = t, 5*d = -5*t + 30. Suppose 0 = -c + t*c. Is 1/2 at least as big as c?
True
Let j be (-4 + -38)*(-2)/(-45). Let n = -407/210 - j. Which is smaller: n or 0?
n
Suppose 3*f + 3 - 195 = 0. Suppose j + 4*c - 8 = 0, -3*c - f = -5*j - 1. Let d be -1 + 0 - (-66)/j. Which is smaller: 4 or d?
4
Let n(z) = z + 1. Let x be n(-2). Let c be 49*x - (12 + -8). Which is greater: c or -54?
c
Let g(k) = -k**2 - 25*k + 47. Let l be g(-26). Which is smaller: 23 or l?
l
Let u(r) = r**3 - 4*r**2 - 7*r + 1. Let i be u(5). Let h = -9 - i. Is -1/114 at most h?
True
Let w = -76 + 31. Let j be 9/w - 17/(-10). Let m = -252 + 251.8. Which is greater: m or j?
j
Suppose 89*c = 108*c - 228. Is 25/2 less than or equal to c?
False
Let j = -411 - -336. Which is bigger: -2 or j?
-2
Let u = 11 - 6. Let f = 4.9241 + 0.0159. Let c = u - f. Which is bigger: c or 2/9?
2/9
Let p(z) = -z**2 + 2*z + 11. Let q be p(0). Let a = q - 45. Are a and -35 equal?
False
Suppose 0 = 2*g - 8, p + 4 = 6*p + g. Suppose -93 = -3*q + 3*i, 148 = -p*q + 5*q + 2*i. Is 30 bigger than q?
False
Let l = -32914/11895 - 2/915. Is -4 at least l?
False
Let r = -209 - -200.1. Let s = -9 - r. Is -4/9 at most as big as s?
True
Let a be ((-4)/(-8))/(2/4). Let c = a - -20. Let j be ((-5)/18)/((-7)/c). Is j at most as big as 2?
True
Let v(j) = 4*j**2 - 4*j - 3. Let m be v(-2). Let h = -12.2 + 0.2. Let n = -11.9 - h. Is m greater than n?
True
Suppose -2*k = -5*s + 9*s - 32, s = -5*k + 35. Is k != 22/3?
True
Let r = 2/3173 - -567961/9519. Which is smaller: 59 or r?
59
Suppose 43*b - 2127 = 1700. Which is bigger: b or 88?
b
Suppose -4*h = 24*r - 26*r - 30, 0 = 5*r - 4*h + 69. Is -83/7 at least r?
True
Let x be (-10)/35*-14*(-2)/(-104). Which is smaller: -10 or x?
-10
Let z = -1 + 1. Suppose -d = 5*c + 17, 4*d - 3*d = -c - 5. Let f be (48/924)/(d/(-7)). Is f equal to z?
False
Let v = -52/55 + 6/11. Let d be 2/(-3)*9/(-6). Which is smaller: d or v?
v
Let g be 80/(-84)*2/(-4). Let z = -1/42 - g. Let c be (-9)/(-12)*(-12)/18. Is c at least z?
True
Let g = 8/103 + 473/3193. Which is smaller: 0 or g?
0
Suppose 48*v = 40*v - 360. Is v bigger than -45?
False
Let z = -415 + 719. Are -0.1 and z non-equal?
True
Suppose 8*d - 6555 = -87*d. Is d greater than or equal to 69?
True
Let l(j) = 2409*j**3 - 2410*j**3 - 1 + 5*j + 2*j**2 - 6. Let y be l(3). Which is smaller: y or -2/211?
y
Suppose 8*t = 10*t. Suppose -2*y + t*w = 4*w, -5*w - 13 = -4*y. Suppose -5*k + y*l - l = -61, -k + 33 = 5*l. Is 12 greater than k?
False
Suppose 19*s - 227 = 14*s + 3*i, 5*i = -5*s + 195. Is s bigger than 43?
False
Let y = -22/3 - -142/21. Suppose 3*j - 5*a + 43 = 0, 0 = j - 2*j + a - 13. Let m(q) = -q**3 - 12*q**2 - 12*q - 11. Let v be m(j). Is y less than v?
True
Let c(v) = -v**2 - v - 6. Let t be (-4)/(-10)*(4 - (0 + -1)). Let x be c(t). Let g = -0.04 + -1.96. Is g equal to x?
False
Let z(n) = -51*n + 199. Let y be z(6). Which is smaller: y or -92?
y
Let q = 361/195 + -9/5. Let c = -53/273 + q. Are 1 and c nonequal?
True
Suppose 2*y + 0 - 2 = 2*m, -5*m + 9 = 2*y. Let k be ((-14)/(-147))/(y/(-6)). Are 2 and k nonequal?
True
Let q be (-4)/18 - 7/63*-2. Let l be 660/(-448) - (-8)/28 - -1. Do l and q have the same value?
False
Let r(a) = -3 + 0*a - a - 7. Let o be r(-9). Let h(t) = 7*t**3 + t**2 - t - 1. Let k be h(o). Which is smaller: k or -4?
k
Let o = 9.3 + 1.7. Let x = -35.2 + 34.2. Is x <= o?
True
Suppose -2 = 4*h - k, 6*k = k + 10. Let s = -1 - -1. Let m = s - -2. Which is greater: h or m?
m
Let q be (0 - -1)/(1/551). Is 0 at most as big as q?
True
Let s be 1 + (-22)/10*1. Let v = -13/15 - s. Let k = -1.1 - -0.1. Which is bigger: v or k?
v
Let h = 0.82 + 0.18. Let v(j) = 2*j**2 + 7*j - 2. Let d be v(-7). Let y = d - 142/3. Is y smaller than h?
True
Let f = 41/2 + -21. Let t be (6/54)/(1/12). Which is smaller: t or f?
f
Let w(g) = -g**2 + 5*g + 5. Let j(m) = -m**3 - 7*m**2 - 12*m - 4. Let f be j(-5). Let x be w(f). Let d = 1677/8 + -210. Which is greater: d or x?
d
Suppose 3*s + 38 = 14. Let n be (3 - 3)/(4/4). Suppose 2*l - 4*a = -2, n*a + a - 25 = 4*l. Is s < l?
True
Let f(s) = -6*s - 10 + s**3 + 6*s**2 + 3*s**2 + 19 - 2*s**2 - s**2. Let y(v) = v**3 + 5*v**2 - 6*v - 7. Let l be y(-6). Let q be f(l). Which is greater: q or 0?
q
Let v = -163 - -147. Let u be 15*(-6)/(v + -2). Which is smaller: -3/7 or u?
-3/7
Let f = 0.0245 - 184.0245. Is -0.2 at most f?
False
Suppose -2*n + 5 + 3 = -5*j, 4*n - 4 = 4*j. Let d = -28 + 28. Are d and j nonequal?
True
Let j be (920/(-16))/(-23)*6/(-87). Are 0 and j unequal?
True
Let y = 0 + 0. Suppose 2*r + 5 - 3 = y. Let a be (-23)/65 - (-5)/25. Is r greater than a?
False
Let p = 6 + -5. Let q(f) = f**2 + 4*f - 10. Let y be q(-5). Let t = y + 6. Is p <= t?
True
Let d = -2.8 + 3.9. Let x = -135.7 + 137. Let l = x - d. Are -0.1 and l non-equal?
True
Let d = -271 + 267. Is d at least 0.042?
False
Let c be (((-117)/4)/1)/((-465)/(-12400)). Is -780 at least c?
True
Suppose -4*m = 1 - 9. Let n be (-6)/39 - 2708/8424. Let f = 2/81 - n. Which is smaller: f or m?
f
Suppose 4*j = 3 + 1. Let d be (-3 - 7/(-8)) + 2. Which is smaller: j or d?
d
Suppose 0 = 5*w - 20, -4*w - 21 + 3 = 2*u. Suppose 0 = 5*s + 5*b + 9 + 56, s + 2*b + 10 = 0. Which is smaller: u or s?
u
Suppose -103*g + 98*g = 7180. Let s = -67486/47 - g. Is 1 > s?
True
Let n = 11 - 7. Let c = -9 + 13. Let x = c + 1. Is x equal to n?
False
Let j = -0.3 + 0.4. Let k be 6/5*(1 + 47/3). Suppose 6*s - 4*s = 4*z + k, 5*z = -s + 10. Is j at most s?
True
Let a = -833 - -79132/95. Let f be 8/28*2/(-24)*21. Is f greater than or equal to a?
False
Suppose 6*n = -22*n + 728. Is 21 at most n?
True
Let s = 23.893 + -0.893. Which is smaller: 10 or s?
10
Let l = -101 + 103. Suppose x - 18 = -4*n, -l*x + 1 = -0*x + n. Suppose -26 = -3*i + 4*s, -5*i + 14 = -2*s - 6. Is i != x?
True
Suppose -16*b - 59 = -1515. Which is smaller: 90 or b?
90
Let q = 2.19 + -1.19. Let o be (-2)/(1*(-4 - -2)). Suppose k = -o + 7. Is q < k?
True
Let q be 2/(-14)*(-15)/(-630). Let y = 379/3822 - q. Let k = 170/897 - y. Does 0 = k?
False
Suppose -5*n = -0*t + t + 1, 3*n - 5*t + 23 = 0. Which is smaller: n or -1/16?
n
Let u(p) = p**3 - 20*p**2 + 46*p + 1. Let q be u(3). Does q = -