 Let h be 6/4*(-6)/(-9). Which is smaller: r or h?
r
Let h be (-1 - (4 + -6))*8. Which is bigger: 9 or h?
9
Let v = -28 - -28.2. Which is smaller: 1 or v?
v
Suppose -5*s - 4*x - 29 = 0, -s + x = 3*x + 7. Let r be (1/(-4))/(s/10). Let p = -0.5 - -0.6. Is r <= p?
False
Let d = 0.306 + -0.016. Let l = 1.71 + d. Is 11 at least l?
True
Let t be 1*2*(-15)/(-6). Suppose 5*h + 11 = 5*n + 26, -21 = -t*h + 3*n. Let y = 7 - h. Which is bigger: 0.2 or y?
y
Let k(z) = z**2 + 4*z - 1. Let j be k(-3). Let c be 2/(-3) - 14/6. Which is smaller: c or j?
j
Let f be 8/30*10564/(-16). Let p = 176 + f. Which is greater: 0 or p?
0
Let g be (1/(-51))/(8/12). Suppose -q = 0, -3*a - 2*q = -2*a. Is g bigger than a?
False
Let o = -1 - 0. Let j = o + 4. Is 3 <= j?
True
Suppose t = -0*t - 5. Let y(b) = b**3 - 8*b**2 + 4*b + 16. Let c be y(7). Is t smaller than c?
False
Let z be (24/10)/((-5)/25). Let q be ((-4)/z)/((-1)/(-24)). Let w = q + -7. Is w <= 0.03?
False
Let k(u) = u**2 - 4*u - 4. Let q(z) = z + 12. Let v be q(-7). Let h be k(v). Let a(i) = i**2 + 9*i + 10. Let l be a(-8). Which is smaller: l or h?
h
Let m = -9.8 - -9.9. Is m smaller than 13?
True
Let j = -557/5 + 111. Suppose 2*h - 2 = 34. Let b = h - 92/5. Is j > b?
False
Let q be 1/((0 - -2)/(-16)). Let n be q/162*(-30)/20. Which is bigger: n or 1?
1
Let h = -9 - 3. Let y(m) = -m**3 - 12*m**2 + m + 12. Let v be y(h). Which is smaller: 3/13 or v?
v
Let u be 1*4 - (-4 + 6). Suppose 1 = u*r - r. Let q(y) = y**3 - 11*y**2 + 11*y - 9. Let d be q(10). Is d at most as big as r?
True
Suppose 4*o = -b + 11, -b + 4*o + 4 = -5*b. Which is bigger: -3 or b?
-3
Suppose 4*g = -3*p + 5*g + 11, 2*p + 5*g = -21. Let y be (10/(-45))/(p/(-15)). Which is smaller: 2 or y?
y
Let f be (-3)/2*(-14)/(-21). Which is smaller: -1/27 or f?
f
Let b = 0 - 1. Let p be 6/9*2597/(-10). Let g = p - -173. Which is greater: b or g?
g
Let k(i) = 2*i - 3. Let u be k(-4). Is u at least as big as -12?
True
Suppose 11*s + 44 = 7*s. Is -10 at most as big as s?
False
Let p(y) = -6*y + 2. Let g be (-60)/16 + 1/(-4). Let f be p(g). Let b = f - 51/2. Which is smaller: b or -0.2?
-0.2
Let h = -83/60 - -5/4. Is h < -1?
False
Let d = -0.39 - -0.19. Which is greater: d or 1?
1
Let j be (12/(-4))/(-3)*8/36. Is -8 <= j?
True
Let w = -3 + 3.2. Let d = -0.003 + -0.497. Is d >= w?
False
Let r = 5.95 + -6. Let o = -0.05 + r. Which is smaller: o or 2/3?
o
Suppose l = 2*l + 1. Which is greater: l or 1/13?
1/13
Let q = 4 + -4. Suppose -r - 3*r = q. Let k = 41 - 122/3. Which is greater: k or r?
k
Let b = -15/4 + 4. Let x = -0.15 + 0.1. Let q = x + 4.05. Is q bigger than b?
True
Let q = 1 - 4. Which is smaller: 0 or q?
q
Let i be -3*4/((-12)/7). Suppose 3*u + i = 25. Which is smaller: 5 or u?
5
Suppose -w = -4*w + 18. Is 6 > w?
False
Suppose -4*l - 118 = -22. Let m be (2/(-3) + 2)*l. Let y = 127/4 + m. Which is smaller: -1 or y?
-1
Let f be (-70)/(-84)*6/20. Which is greater: f or -0.2?
f
Suppose -s + 4 = 5*k - 2, -3*s = -5*k + 22. Suppose -3*n = 4*l - 2, 2*n + 1 = -3*l + k. Suppose n = 4*p - 2. Which is smaller: p or -1/5?
-1/5
Let q be (2/5)/((-3)/15). Let f be -1*2*q/(-4). Let y be f - 2*(-1 - 2). Which is smaller: y or 3?
3
Let a(o) = o**3 + 2*o**2 + o + 2. Let w be a(-2). Let g(r) = r + r**2 + 3 + 0 + r**3 + 0*r. Let k be g(w). Which is greater: 0.1 or k?
k
Let d be (48/40)/((-2)/(-5)). Suppose 5 - 8 = -d*a. Which is bigger: a or 2/3?
a
Let u be 2/(-12)*-387 - (-3)/2. Which is greater: 65 or u?
u
Suppose 2*s - 10 = -3*s. Suppose 5*o + 3*h = -0*h + 71, 4*o = 3*h + 46. Let v = o + -25/2. Is v at most s?
True
Let z(c) = c - 3. Suppose -54 - 34 = -4*k. Suppose -5*j = -2*l + k, -5*l + 34 = 3*j - 5*j. Let o be z(l). Is o greater than or equal to 3?
True
Let f = -18 - -20. Is -1/4 >= f?
False
Suppose -4*p + 212 = -4*n, -2*n = 2*p + n - 106. Let f = -37 + p. Which is smaller: 17 or f?
f
Let l be -4 + 89/18 + -1. Which is greater: -1/2 or l?
l
Suppose k + 8 = -k. Do -4 and k have the same value?
True
Let c be ((-6)/(-16))/(18/12). Is 1 < c?
False
Let n = -12 + 18. Let h = -9 - -9. Let a be h*(-3)/n*-1. Which is greater: 2 or a?
2
Suppose 0 = -4*j + j - 9, 4*j - 8 = -5*o. Suppose -6 + 2 = -o*g. Let b = g - 4. Is -3 at least as big as b?
True
Let x = -414 - -1253/3. Is x at most as big as 4?
True
Suppose -2*u + 84 = u. Which is smaller: u or 26?
26
Let w(f) = -f - 5. Let d be w(-7). Which is greater: 14/15 or d?
d
Suppose -3 = -2*r + 3. Which is smaller: r or 22/9?
22/9
Let a = 160.9 + -196. Let q = 38 + a. Let w = q - 3. Which is greater: w or 0?
0
Suppose 5*n = 10*n - 10. Let z be ((-1)/n)/(15/(-120)). Is z smaller than -1?
False
Let n be (-48)/15*1/(-2). Let u = 1 + 0. Are n and u non-equal?
True
Suppose -4*n - 3 = -11. Let o(u) = 7*u. Let k be o(1). Let t = -4 + k. Is n smaller than t?
True
Suppose i = 5 - 6. Which is bigger: -5/12 or i?
-5/12
Let a be 27/(-6)*4/(-6). Is a less than -2?
False
Let a be 3/5 - 18/30. Which is smaller: -1 or a?
-1
Let y = -163/145 + -8/29. Is -1 greater than or equal to y?
True
Let m(q) = -q - 4. Let p be m(12). Let c be (-2)/6 - p/(-6). Let b be 3 + -2 + -7 - c. Are -3 and b non-equal?
False
Let m be (-14)/24 - 2/(-8). Let n = 2/15 + m. Are n and -1 nonequal?
True
Suppose 2*b + 0*b = 10. Is b not equal to 5?
False
Suppose 3*i - 6*i = -51. Let u = 12 - i. Is -5 bigger than u?
False
Let l be 1090/(-24) - (-8)/12. Let d = -45 - l. Is d >= 1?
False
Let s(o) = 5*o + 7 - 4 - 6*o. Let l be s(-5). Suppose -l*x = -4*x + 4. Is x at least as big as -2?
True
Let o(l) = l**2 - 3*l - 7. Let b be o(5). Let z(i) = -i + 2. Let v be z(b). Is -3 equal to v?
False
Let s(j) = -j + 9. Let z be s(6). Suppose -2*k + z*w + 6 = 2*w, -k + 8 = 2*w. Is 4 bigger than k?
False
Let r be (66/(-55))/(2/(-5)). Suppose -r*y = 3*c - 9, -3*c + 5 + 10 = -3*y. Does y = -2?
False
Let g = 19.1 + -19. Is 8 less than g?
False
Let q be (-2)/(-8) - (-9)/(-132). Let x be 0/(((-1)/5)/((-3)/15)). Are q and x equal?
False
Let a = 259 + -2353/9. Let l = a + 8/3. Let u be (-3 + (-5)/(-2))*0. Is l at most as big as u?
False
Suppose -j - 5*p = -16, 3*j + 3 - 1 = -5*p. Let m be (j/15)/((-9)/(-6)). Suppose -q - 3*o + 15 = -8*o, -4*q + 3*o = -9. Is q greater than or equal to m?
True
Let c(g) = g**2 + 5*g + 4. Let h be c(-4). Suppose h = q + 5 - 6. Which is smaller: q or 4/5?
4/5
Let f = 1.5 - 1.37. Let t = f + 4.87. Let r = t - 4.8. Is r at most 2?
True
Suppose -l - 3*i = 40, 111 - 7 = -4*l + 2*i. Is l smaller than -30?
False
Let z be (2/(-4))/1*2. Suppose 5*s + 17 = c + 5, c = 2*s + 3. Is c at least as big as z?
False
Suppose 5*j = 18 + 7. Suppose -t + 12 = j*t. Which is greater: -0.1 or t?
t
Let y be 1/(-2)*(-2 - -2). Let n(u) = -u**2 - 2*u + 3. Let f be n(-3). Suppose -v - x - 3 = f, -3*v = -4*v + x + 5. Is v greater than y?
True
Let y = -6 + 8. Suppose -y*a = 0, 5*k = 4*a + a + 15. Let t = k - 3. Which is smaller: -1 or t?
-1
Let j(s) = -s**2 + 13*s - 26. Let k be j(11). Let a be 4/(-14) - 62/28. Which is smaller: k or a?
k
Let z(x) = 2*x - 9. Let l be z(6). Let n = 5 + -2. Is n equal to l?
True
Let g = 13.07 - 13. Let f = -0.17 + g. Which is smaller: f or -0.01?
f
Let v = 1 + 0. Let h = 7 + -12. Let m = h - -11. Is m at least as big as v?
True
Let k be 3/(-25)*5*(-5)/6. Which is smaller: k or -0.6?
-0.6
Suppose -4*g + 2*g = z - 3, 5*g - 5*z = 0. Suppose 2 = v - g, -3*w = 3*v. Does w = -3?
True
Let f(p) = 6*p**2 + 14*p - 8*p - 4*p + 9 + p**3. Let s(v) = -6*v**3 + v**2 - 1. Let t be s(1). Let y be f(t). Is y greater than or equal to -1?
False
Let d = -0.8 - 0.2. Let t = 15 + -14.85. Let n = -0.05 + t. Is n < d?
False
Let h be (-1 - (-16)/4)/(-17). Is h greater than -1?
True
Let j = 0 + 2. Suppose 20 = -5*x, -x - x - 16 = -j*t. Suppose -2*h - t = -4*h. Does 4 = h?
False
Let j = -0.6 - -0.54. Let s = j + 0.16. Let d(c) = c**3 - 5*c**2 + 2*c + 5. Let y be d(4). Which is bigger: s or y?
s
Let j = -457/27 - -17. Is j greater than or equal to -1?
True
Suppose b - 3*x = -2*b - 12, -3*x + 16 = b. Suppose m - y = 1 - 8, -3*m - y = 5. Let t = b + m. Is t less than -2?
False
Let h = -8 - -7.4. Let q = 8.3 - 8. Let l = q + h. Is l greater than 1?
False
Let x be (-1)/4 - 42/(-360). Let u = -4 - -4. Which is greater: u or x?
u
Let t be (-6559)/(-84) + (-2)/(-8). Let x(c) = -80*c + 1. Let i be x(1). Let j =