67/15. Which is bigger: 47 or j?
47
Suppose 2791 = -6*n + 2701. Is n < 2/7?
True
Let h = -162 - -164. Which is smaller: -0.006 or h?
-0.006
Let r(l) = l**3 + l**2 + l - 9. Let d be 17/51 + 2/(-6). Let f be r(d). Let o(g) = g**3 + 9*g**2 - 3*g - 6. Let w be o(f). Which is bigger: w or 1?
w
Let v(y) = -y**3 - 7*y**2 - 9*y + 7. Let f be v(-5). Suppose f = -x - t, -3*t + 28 = -3*x + 4. Which is smaller: -10 or x?
-10
Let i = 44 - 50. Let g be (8 - 9)*i/10. Is g at least as big as 2?
False
Let v = 0.6274 + -0.63. Which is smaller: -2/5 or v?
-2/5
Let u(q) = -q**3 + 7*q**2 - 7*q + 12. Let n be u(6). Let o be n/(-18)*39*-1. Let w = 29 - 16. Is w >= o?
True
Suppose -12 = -4*t + 3*t. Suppose 3*d = 7*d + t. Suppose 5*r - 10 = 2*p, -2*p + 0*p = 5*r + 10. Which is greater: d or r?
r
Let p(m) = -38*m + 37. Let x be p(1). Is -10/117 at most x?
False
Let z(g) = -g**2 + 8*g - 19. Let f be z(4). Let w be 2/3*f/12. Let c be 4/(-54)*(-3 + 0). Which is smaller: c or w?
w
Let c be (9*(-4)/21)/(3/21). Let d be 360/14 - c/42. Are 25 and d non-equal?
True
Let a = -2/21 - 17/42. Suppose 2*r + 2 + 4 = 0, -18 = -3*p + 4*r. Suppose 5 = -2*x - k, -2*k + 3 = p*x + 11. Is x less than a?
True
Let g(a) = -2*a**2 - 19*a + 192. Let i be g(-18). Is i smaller than -115?
False
Suppose c + 88 = 4*o + 5, 20 = -5*o. Suppose 0 = 5*v + i + 494, i + 3*i = -3*v - 293. Is v < c?
False
Let g(a) = a**2 - 8*a - 4. Let m be g(6). Let i = 1168 - 1186. Are m and i nonequal?
True
Let y be (16/(-4))/(-20) - (-4368)/60. Is 74 <= y?
False
Let h = 131 - 137. Which is smaller: h or -2/7?
h
Let i be ((-5)/2*(2 + -4))/1. Let o(s) = s**2 - 10*s - 1. Let v be o(i). Is v < -25?
True
Let t be -2*(-3 - 280/(-92)). Which is greater: -3 or t?
t
Let h = 3/280 + 8509/280. Is h at least 29?
True
Let t be (10/4)/(7/((-84)/27)). Suppose 3*a = 7*a. Suppose 0 = 5*y + 3*j + 25, y + 3*j + j + 22 = a. Is y >= t?
False
Let h be 2209/(-564) + 1/(-12). Is h <= 127?
True
Let a = -122 + 491/4. Let d be 4 - (-4540)/(-1071) - (-4)/18. Let x = d + -228/595. Is a < x?
False
Let w(m) = -2*m - 3. Let b be w(11). Let k = 10 + -33. Is b at least k?
False
Suppose 0 = -3*f - 4*l - 26, -l + 13 = -f + 2*l. Let s = 0 - f. Let t = -41/4 + s. Which is greater: t or 1/3?
1/3
Let u = 39 + -24. Let s = -12 + u. Which is smaller: s or 2?
2
Let n = 23 - -3. Let k = 26.2 - n. Is -0.23 > k?
False
Let u = 135 + -3643/27. Let v(x) = x**2 - 22*x + 41. Let o be v(20). Is o != u?
True
Suppose 1 = -4*d - 5*k, 2*k = 2*d - k - 27. Let o be (d/(-8))/((-14)/56). Suppose o*i - 15 = 0, 2*i - 3 - 7 = -5*x. Is 1/14 less than or equal to x?
False
Suppose 3*r + 3 + 3 = 0. Let q(y) = y + 32. Let f be q(0). Suppose 2 = -5*j + f. Is j < r?
False
Let d = -113 + 114. Let p(a) = -a**2 + 2*a - 2. Let b(r) = 9*r**2 - 21*r + 21. Let x(c) = 2*b(c) + 21*p(c). Let g be x(d). Is g < -2?
True
Let h(p) = -8*p + 8. Let v be h(-6). Let w be 3/(-7) - (-5 - (-4176)/v). Is w >= -70?
True
Let f(n) = 2*n + 21. Let h be f(-9). Suppose -6*m = -h*m. Which is smaller: m or 25?
m
Let a = 271/6 - 781/18. Is 4 bigger than a?
True
Let u = 2.69 - 3.69. Which is smaller: u or 78?
u
Let b(h) = -h**3 + 5*h**2 - 4*h + 1. Let y be b(4). Let k be 178/5 + (-5)/((-75)/6). Let t = 287/8 - k. Does t = y?
False
Let t be 0 + (-1 - (-5 + 4)). Let m = 9.6 + -97.6. Which is greater: t or m?
t
Let k be 6/8 + (-1239)/84. Which is greater: k or -9?
-9
Let u = 58 + -55. Suppose 24 = 2*r + 2*j, 3*j = -u*r + j + 40. Which is smaller: -2 or r?
-2
Suppose -z = -21 + 7. Let a be 2/(-5)*10/z. Which is greater: a or 0?
0
Let l(w) = -w**2 + 5. Let y be l(5). Let o be 15/2*2/y. Let j = -78 + 81. Which is smaller: j or o?
o
Let h = -0.094 - 0.006. Which is smaller: 0.035 or h?
h
Let i = 56 + -42. Suppose -44*f + 42*f + 28 = 0. Is i smaller than f?
False
Suppose -4*r - 4 = 3*i, -2*r = -4*i - 0*i + 2. Suppose i = -5*g - 2 - 3. Which is smaller: g or -4/7?
g
Suppose -493 = -27*b + 371. Is 0.1 smaller than b?
True
Suppose -3*h = 2*h + a - 29, -3*h + 16 = 2*a. Let x(f) = 2*f + 4. Let m be x(-5). Let b = 13 + m. Which is bigger: b or h?
b
Let l(v) = 5*v**3 + 6*v**2 - 3*v - 2. Let k(u) = 6*u**3 + 6*u**2 - 2*u - 3. Let a(g) = 4*k(g) - 5*l(g). Let m = 5 + -12. Let i be a(m). Is -4 smaller than i?
True
Suppose 40*t - 1936 = 29*t. Are t and 175 nonequal?
True
Let i = -984.1 + 983. Do i and -6/19 have different values?
True
Let k = -206 - -206. Is k at most 4/139?
True
Let m(q) = q**3 + 2*q**2 - 2*q + 4. Let p be m(-3). Suppose -3*o + p = -4*o - 5*a, -3*a = 5*o + 5. Which is greater: o or -3/5?
-3/5
Let l(m) = -2*m**3 + 4*m**2 - 5*m + 2. Let j be l(1). Are 7/44 and j unequal?
True
Let r = 54.698 + 0.302. Is r >= -1/2?
True
Let b = 0.1887 + 0.0613. Which is bigger: b or 39?
39
Let i = 0.72 + 0.08. Let n = -62 - -60.4. Let p = i + n. Which is smaller: -0.1 or p?
p
Let y be -1 - 6/(-4) - 81/(-6). Which is bigger: y or 15?
15
Let v = -5.9 + 7.9. Let a = 118 - 588/5. Which is smaller: v or a?
a
Suppose 6*l = 9*l - 102. Let w = l + -39. Which is smaller: w or -8?
-8
Suppose 0 = w - 0*w. Let s be (2/35)/(6/(-261)). Let a = s - -17/7. Is w bigger than a?
True
Let d(r) = -r**2 + 7*r. Let m be 3*3/3 + (1 - -3). Let l be d(m). Let o be ((-2)/39)/((-2)/(-6)). Which is greater: l or o?
l
Let z(u) = -u**3 - 5*u**2 - 3*u + 4. Let a be z(-3). Let y(f) = -3*f**2 - 11*f + 3. Let x be y(a). Which is smaller: 1 or x?
x
Let r be (4/(-114))/((-85)/4947). Let x = -11/5 + r. Suppose 5*z - 5*a - 22 = -2, 5*z - 8 = 2*a. Are x and z unequal?
True
Let q be (-156)/(-1326) - 30/(-34). Let j = 12 - 7. Let b be (q - j) + (0 - -1). Is -1 >= b?
True
Let n be (-9 - -119)/((-2)/9). Let k be n/(-505) + (3 - (3 - -1)). Which is bigger: -1 or k?
k
Suppose 3*n - w + 9 = 0, -4*w + 9 + 6 = -5*n. Let m be (-7)/(28/(-8)) - 6. Is m > n?
False
Suppose -h - 21 + 18 = 0. Let p be (4/(-5) - (-1270)/1650)*h. Which is bigger: -1 or p?
p
Let f be -20*((-72)/(-20) + -4). Suppose 0 = f*l - 6*l - 4. Is l >= -0.5?
True
Let n = 1.93 - -0.17. Let z = n + -2. Let v be (4/50*-5)/((-18)/20). Is v <= z?
False
Let p be (1 - (-39)/(-12)) + (-14)/(-56). Let q(n) = -3*n + 5. Let b be q(p). Let d = 29 + -17. Is b smaller than d?
True
Let j(u) = -u**3 + 11*u**2 - 21*u - 23. Let c be j(8). Which is bigger: -5/78 or c?
c
Let j(y) = y**2 - 2*y + 3. Let c be j(3). Let u be (8/c)/((-14)/(-21)). Suppose 0*i + 13 = 5*b + 4*i, 7 = b + 3*i. Which is smaller: u or b?
b
Let c be 6*(2 + 5/(-3)). Suppose 9 = -3*n, -31 = -k + c*n - 12. Suppose -3*b - m = -3*m + k, -25 = -5*m. Which is bigger: -2/9 or b?
-2/9
Suppose -7 = -5*c + 5*p + 8, -12 = -2*c + 4*p. Let a be c/(-36) - (0 - 16/(-14)). Let j be ((-1)/(-3))/(1/(-3)). Which is greater: a or j?
j
Let k(d) = -d**3 - 10*d**2 - 9. Let f be k(-10). Let o(p) = -p**2 + p + 44. Let v be o(8). Is v at most as big as f?
True
Let r = -0.1 + -0.9. Let p = -1 - r. Let m be (-4)/30 + (-8)/(-60) + 1. Is m less than or equal to p?
False
Let z = 1.773 + -0.013. Let p = z - 0.76. Which is bigger: 14 or p?
14
Suppose 0 = -20*t - 2*t + 25740. Is t at most as big as 1169?
False
Let l = -2/281 - 348/30067. Suppose 6 = -9*x + 3*x. Which is smaller: l or x?
x
Suppose -u - 3 = -0*u. Let r be u - (4 - (0 - -2)). Suppose 4*w = -7 - 17. Are w and r equal?
False
Let d = 2/261 - 281/2610. Suppose 2432*y - 2400*y = -12 - 20. Which is smaller: y or d?
y
Let v be 3827/(-1869) + (-14)/(-6). Which is smaller: -217 or v?
-217
Let b be 93/(-12) - -8 - 14/(-8). Suppose 3*k = -0 + 6. Suppose 2*h - v = k*v - 2, -b*v = -2*h - 2. Is 1/3 > h?
True
Suppose 2*v + 2*v = -52. Let i be (-8)/10*(-105)/(-6). Is i greater than v?
False
Let p(t) = t**2 + 2*t - 1. Let w be p(2). Let m = 2/409 - -8174/1227. Which is greater: w or m?
w
Suppose 102*b - 82*b = 0. Let m = -895/36 + 99/4. Which is bigger: m or b?
b
Let x = -6062 + 54484/9. Let h = -652/99 - x. Are h and 1 equal?
False
Let z be -28 - 12/((-12)/(-4)). Let o = 49 + z. Which is smaller: o or 16?
16
Let n be (0/(-9))/(2/2). Suppose -4*s + 11 = 3*d - n, 5*s - 19 = -2*d. Let j be (-3)/s*(-4 - 1). Which is greater: j or 1?
j
Let h = -139 + 2637/19. Is 1 bigger than h?
True
Let a = -628/4251 - 2/327. Let r be 1*(-2)/3 - 8/(-3). Is a > r?
False
Suppose -4*i + 12 = -i. Let x be (i + 4)*2/4. Which is bigger: 13/3 or x?
13/3
Let l = 3001 + -2565853/855. Which 