 greater: z or -1?
z
Suppose -5*q = -2*n + 65, 5*n + 3*q = -q + 212. Suppose 2*m - n - 56 = -4*d, 3*d - 141 = -3*m. Is 47 less than m?
False
Let z = 56 - 61. Let h be (-3 + (-15)/z)/((-2)/2). Which is smaller: h or -1?
-1
Suppose -5*k + 155 = 140. Suppose k*x - 1 = -4*h, -4 = x - 3. Is h less than 2/201?
False
Suppose 415*l + 6 = 421*l. Is -3/181 greater than or equal to l?
False
Let h = 26365/7 - 3731. Is h smaller than 35?
False
Let w(p) = -p**2 - 7*p + 2. Let c be w(-5). Suppose -5*x - 7 - 3 = 0. Let j be 115/9 + x/(-9). Which is smaller: c or j?
c
Let j(r) = r**3 - 3*r**2 + r - 1. Let u be j(3). Suppose -u*i = i - 15. Suppose -10 = i*z - 45. Which is greater: z or 2?
z
Suppose y + y = 0. Let s(h) = h**3 + 14*h**2 - 16*h - 21. Let x be s(-15). Let u(n) = -n**3 - 6*n**2 + n + 4. Let m be u(x). Which is smaller: m or y?
m
Let i be (4/6)/(10/(-6)). Let j = 1997 - 1997.2. Is j at most i?
False
Let z = 17/70 - 9/14. Let h = 30 - 59/2. Is z < h?
True
Let k be -792 + 2 - (-1)/((-1)/1). Let h = 8721/11 + k. Is 3 at least as big as h?
True
Let c be (5 - 2)/(4/(-20)). Let j(v) = 6*v + 25. Let a be j(5). Let g be (54 - a) + (1 - (0 + 1)). Is c bigger than g?
False
Let h(j) = -811*j + 4866. Let m be h(6). Let y = -1799 - -250060/139. Which is smaller: y or m?
y
Let r = 46 - 318/7. Let w(k) = -2*k**2 + 9*k + 69. Let o be w(-4). Is o < r?
False
Let d = -38 + 27. Let p(u) = u**3 - 3 + 11*u**2 + 136*u - 136*u. Let b be p(d). Is b bigger than -2?
False
Let p = -999 - -999.023. Is p greater than or equal to -8?
True
Let k = -1.1 + 1.2. Let g = -8.9 + -14.1. Is g <= k?
True
Let c = 1.0267 + -0.0267. Which is bigger: c or -1/4?
c
Let i = 0.1535 - -3.8465. Is 2/187 less than i?
True
Let o = -16 + 15. Let b = o - 23. Which is smaller: b or -0.1?
b
Let v = -119 - -116. Let a be 129/27 + (-2)/(-9). Let n = -8 + a. Are n and v equal?
True
Suppose 11*v + 6*v = 3*v. Are v and -7/46 non-equal?
True
Let k be 174/(-29)*(-3)/2. Suppose 4*m = -2*t + 42, -m + t + 33 = 6*t. Which is greater: m or k?
k
Suppose -6 - 9 = -3*b. Suppose 0 = 17*l - 12*l + b. Is l equal to 3/26?
False
Let f be 4/(-14) + 12208/(-147). Let o = f - -84. Which is smaller: o or 0?
0
Let k(m) = -m**3 + 8*m**2 + 10*m - 8. Let h be k(9). Let b = 277 + -2213/8. Which is greater: h or b?
h
Let p = -124 - -122.32. Is -2/11 greater than or equal to p?
True
Let o be 3/(12/85) + 10/(-40). Which is greater: o or 26?
26
Suppose 0 = 5*o + 2*x + 29, -3*x = -0*o - 2*o - 23. Which is smaller: -6 or o?
o
Suppose -5*u + 70 = -0*u. Suppose 0 = -3*y + 5*j - u, -3*j + 12 + 0 = 0. Is y at least -1?
True
Let x(h) = 3*h + 3. Let c be x(-4). Let d be (15/c)/(-5) - (-2)/12. Which is smaller: d or 0.003?
0.003
Let j be 10/(-36)*(10 - 1133/110). Is -1/9 less than j?
True
Let g(k) = -k**2 + 2*k + 2. Let j be g(4). Let t be 4 + 2/j*3. Suppose t*l - 2*v - 2 = 0, -2 = -5*v + 4*v. Is 2 equal to l?
True
Suppose -2*a = -3*g - 36, -2*g + 213*a - 20 = 211*a. Let q = 3 + -3.1. Let i = q - -0.2. Does i = g?
False
Suppose -5*r - 49 = -4*k, 4*k - r + 0*r = 45. Which is smaller: k or -4?
-4
Suppose -3*i + 6*i - 8 = p, 2*i - 2 = 0. Is p less than or equal to -9?
False
Suppose -3*n - 60 = 3*p, -n + 2*p = n + 40. Let c be (-6)/(-4)*8/n. Let m = 35 + -36. Is m less than c?
True
Let n(x) = 14 + 12*x - x - 3*x**2 - 11. Let i be n(4). Is i greater than 4/27?
False
Let m be (-2 - 0) + 4 + -2. Let b be ((-3)/(-20))/(-3 - (-14445)/4818). Let s = b - -80. Is m <= s?
False
Let x(p) = 3*p + 24. Let h = 101 + -101. Let s be x(h). Is s at most 1/3?
False
Suppose -4*r = -1 - 7. Suppose -2*x = r*x. Which is bigger: x or 2/3?
2/3
Let q(m) = -m + 36. Let j be q(0). Suppose -31*w + 5*u + 84 = -29*w, -4*w + 2*u + 152 = 0. Which is bigger: j or w?
w
Let d = -131616/79 + 1666. Let k = -310/237 + d. Suppose 2*q - 2 = -3*w, 5*q + 9 - 37 = 4*w. Is k >= w?
True
Let u = 1 - 41. Are u and -40 unequal?
False
Let l(g) = -266*g + 1331. Let r be l(5). Let t = 2 + 7. Let h = -6 + t. Which is smaller: h or r?
r
Suppose -454*t = -463*t + 36. Let w be (-4 - -2)/(1/(-5)). Suppose -5*l + 0*l + w = 0. Which is greater: t or l?
t
Suppose -a + 4*j - 16 = 7, 0 = 5*j. Let o = a + 23. Which is greater: 2/93 or o?
2/93
Suppose -2*d = -5*g - 7*d - 1165, 3*g - 4*d + 734 = 0. Is -238 >= g?
True
Let g(p) = p - 14. Let v be g(6). Let y be v/36*(-9)/(-6). Which is smaller: 14 or y?
y
Let k = -11 - -16. Suppose 4*a - 5*u = -u, 4*u = k*a. Let r = -4654 - -41876/9. Is r bigger than a?
False
Suppose 0*y = -g - 2*y - 4, 0 = 5*g - y - 13. Suppose -25 = x - g*t, -2*x + 2*t - 56 = 4*t. Let h be (6/(-8))/(x/(-24)). Which is bigger: h or 0.14?
0.14
Let a = 454 - 485. Is a > -32?
True
Let f(l) = -27*l**2 + 26*l**2 + 14 + 4 + 5*l. Let k be f(8). Is k at most as big as -4?
True
Let c(s) = 12*s**2 - 34*s - 1. Let r be c(3). Is 30 smaller than r?
False
Suppose 0 = a - a - 2*a. Which is smaller: -0.242 or a?
-0.242
Suppose -4 = 4*t - 20. Let s be 470/150 + t/(-30). Is s at least as big as 2?
True
Suppose 5*v - 32*v + 135 = 0. Which is greater: v or 6?
6
Let c = 102 - 66. Let z = c - 53. Let k = z - -31. Which is smaller: k or 13?
13
Let g = -0.034 - 2.506. Let o = g + -0.46. Is -0.4 at most o?
False
Let a(v) = 2*v**2 - v + 12. Let l be a(14). Is -2 less than or equal to l?
True
Suppose -5*q = -5*h - 30, -2*h = -q - 9 + 18. Suppose -5*f - 39 = 11. Let m be q + -3 + (-4)/f. Is m >= -1?
True
Let d(x) = -x**2 - 6*x - 9. Let c be d(-4). Let r be (2*c)/(3/(-27)). Which is greater: r or 16?
r
Let u = -541/272 + 29/16. Let n(a) = -2*a - 7. Let j be n(-5). Suppose -2*s = s - j. Is s equal to u?
False
Let y = -49 - -46. Let m be (-1 - 0 - 1260/(-310)) + y. Which is smaller: 0 or m?
0
Let m(a) = 306*a**2 - 12*a - 11. Let p be m(-1). Is 308 > p?
True
Let v = 1.01 - 12.01. Let p = 23.2 - 12.6. Let n = p + v. Is -1 at most as big as n?
True
Suppose -4*p = 3*l - 206, -3*p - 2*l = -3*l - 148. Let j be (-1)/(((-10)/p)/(6/10)). Is 3 at least as big as j?
True
Let v = 34/105 - 11/21. Which is smaller: -4/3 or v?
-4/3
Suppose 10*g - 342 + 62 = 0. Suppose z + 2 = -1, z = -5*m + 137. Is m > g?
False
Let o be 150/(-15) + 5 + 1. Which is smaller: o or -7?
-7
Let r be (5 - -1) + (-3 - 939). Which is bigger: -937 or r?
r
Let f be (-1223715)/(-603) + (-1)/3. Let d = f - 2029. Which is bigger: 0 or d?
d
Let p be 2/9 + (-43)/(-9). Suppose 3*a = p*n - 0*n + 10, 5*a = -4*n + 66. Is a not equal to 9?
True
Let a = -18 + 158/9. Let i = a - 19/99. Is -2 bigger than i?
False
Suppose -3*g + 11 - 23 = 0, 5*g + 57 = z. Which is bigger: 47 or z?
47
Let v = 2083 - 2084. Which is smaller: 242 or v?
v
Let g be (-154)/14 - (-3 + -1 + -2). Is g bigger than 124?
False
Let n = -397.9 + 398. Is n at least as big as 75?
False
Let q(h) = h + 19. Let z be q(-15). Suppose z*u + 30 = 6. Let p(k) = -k**3 - 7*k**2 - 7*k - 8. Let v be p(u). Do v and -6 have the same value?
False
Let n be (-2 - 1)/(1/2). Let t be (-262)/(-344) - (0 + n/(-8)). Which is greater: t or -1?
t
Let c be (-100)/3 + 1/3. Let l = c + 15. Let k be l*(-1)/(-3)*2. Is k < -14?
False
Let b(l) = -4*l**3 - 3*l + l**2 + l + 2 + 3*l**3. Let k be b(2). Which is greater: -13 or k?
k
Suppose 3*r - 7 = 2. Let y = 8 + r. Let q = -11 + y. Is q >= -2?
True
Suppose 0 = 5*t + 46 + 19. Let w be (11 + t)/(4/(-22)). Suppose -4*z - 3 + w = 0. Which is bigger: z or 2/3?
z
Let j = -241 + 243. Is j less than or equal to 3?
True
Let c be 2 - (-1 - 12/9). Suppose -40 + 10 = -5*d. Let a = c - d. Which is bigger: -2 or a?
a
Let n = 218 + -294. Which is smaller: -77 or n?
-77
Let i = -0.2 - -0.8. Let y = 0.8 - i. Suppose -3*b - 1 = 5*p, 0 = -5*p + 5*b + 24 - 9. Which is bigger: p or y?
p
Suppose 6*s - 108 = -0*s. Let q = -18 + 37. Which is smaller: q or s?
s
Let h = -70 - -69. Do 4/25 and h have the same value?
False
Let p(i) = 2*i**2 - 3*i - 3. Let n be p(-2). Let z(w) = -w + 14. Let u be z(n). Suppose -u*q = -4*q - 7. Is -7 not equal to q?
False
Let v = -544 + 1089/2. Which is smaller: -0.167 or v?
-0.167
Let l be (-4 - -5)/(-3 + (-1290)/(-429)). Are l and 143 non-equal?
False
Let f(w) = -7*w + 27. Let h(x) = 4*x - 14. Let m(q) = -q - 8. Let i be m(-3). Let u(c) = i*h(c) - 3*f(c). Let v be u(9). Which is greater: -6 or v?
v
Let k(i) = i - 2. Suppose 0 = -4*a - 2 + 10. Let l be k(a). Let v be ((-10)/11 + 1)/1. Whic