6)/(-27). Which is smaller: f or n?
n
Suppose 7*p = 11*p - 12. Suppose 2 + 16 = -p*f. Let b be f/12 - 2/(-4). Which is bigger: 1/7 or b?
1/7
Suppose 50*b + 392 = 36*b. Which is smaller: 1/8 or b?
b
Suppose t - 15 = r - 2*t, -3*r - 3*t = -15. Let j be (-14)/(-4) + (2/(-4))/1. Suppose j*n = l - 12, r = -2*n + 5*l + 8 - 3. Which is smaller: -9 or n?
-9
Let l = -9 - 0. Let q be (-6)/(-10) - l/(-15). Suppose -5*c + q*c = m + 10, m + 2*c = -1. Are 5 and m unequal?
False
Let l = -50.3 + 42. Let i = l + 8. Let n = i + 0. Is n < 1/4?
True
Let a(w) = -42*w - 720. Let f be a(-16). Is f >= -61?
True
Let d = -117 + 116.914. Let t = 0.486 + d. Which is smaller: t or 2?
t
Let z be (404/16)/(2/8). Let r be z/9 + 2/(-9). Suppose 4*v + r = -13. Which is bigger: v or -7?
v
Let b(u) = -2*u**2 - 7*u + 5. Let c be b(-4). Let m be 4*c/2 + 0 + -3. Is -4 less than or equal to m?
True
Let h be ((1 - -1) + -2)*(-6)/12. Suppose -2*g = -h - 18. Which is bigger: g or -2?
g
Let f be 20/30*9/2. Let y(n) = n**2 - 2*n + 3. Let t be y(f). Suppose -5 = -s + t*s. Are -2 and s equal?
False
Let t be 6 - (5 - 35/(-28)). Which is smaller: t or -85?
-85
Let k = -0.9 + -1.5. Let z = k + 2.2. Which is smaller: 1/5 or z?
z
Suppose -x - 11 = m + 2*m, 0 = -3*x + 3*m + 15. Let u(h) = -20*h - 2. Let i be u(x). Which is bigger: i or -23?
i
Suppose -3*p = -13 - 2. Let q = -2 + p. Suppose 0*r = -q*r - 6. Does r = -5/2?
False
Let f = -75 - -105. Let v = -29.9 + f. Let p = v - -1.9. Which is smaller: 15 or p?
p
Let h be -1*1/18*(-20)/35. Which is smaller: h or 1?
h
Let q = 0.099 - 0.156. Let w = q - 0.943. Does -15/2 = w?
False
Let r be (1/7)/((-30)/(-105)). Let w = -0.13 - -0.08. Let h = -1.95 + w. Is r at least as big as h?
True
Let o(f) = 9*f - 51. Let v be o(6). Suppose -10 = -3*m - x, v*x = -4*m + 8*x + 26. Which is smaller: m or 6?
m
Let v = -268 + 515/2. Let u = v + 11. Are u and -2 unequal?
True
Let g = 27141/4 - 6741. Which is smaller: g or 45?
g
Let a = -0.4 + 0. Let l = 0.5 - a. Let u = l + 1.1. Which is greater: u or 1?
u
Let m = 1.9 + -0.2. Let f = -215 + 217. Is f != m?
True
Let f = 115207/9 + -12820. Let t = f - -19. Do 0 and t have the same value?
False
Let a be -2*-141*(-22)/(-33). Is a less than 188?
False
Suppose 3*b = 2*o - 12, -5 - 1 = -4*o - 3*b. Let z be (-9)/189*-17 + (-2)/o. Let w be 3/(-2)*2/(-3). Which is greater: w or z?
w
Let v = 291 - 291. Is -2/45 at most v?
True
Let h = 772 + -777. Let t be (2 - 2 - 2)*-1. Is h != t?
True
Suppose 4*b - 4*x + 28 = 0, 0 = -2*x - 3*x + 5. Is -5/2 less than or equal to b?
False
Let v = -1/6908 - -2043/13816. Is -1 < v?
True
Let l = 67 - 66. Do 0.067 and l have the same value?
False
Suppose 0 = -g - 8 + 2. Let w = g + 12. Let v be 0/((-1)/((-3)/w)). Which is smaller: 2/9 or v?
v
Let o be ((-9)/(-4))/(3/(-12)). Suppose 587 = -48*a + 155. Is a not equal to o?
False
Suppose 0 = 3*q - 4*f + 3, 4*f = -2*q - 2. Is 3/85 at most q?
False
Let s(q) = -q**3 - 2*q**2 - 5. Let j be s(3). Let n = -50 - j. Which is bigger: 1/33 or n?
1/33
Let d = 549/10 + -55. Does d = -1?
False
Let b = 1474 - 985. Let i = b - 3905/8. Which is smaller: 1 or i?
i
Let b = -11.5 - -12.5. Which is smaller: -13/4 or b?
-13/4
Let p = -452 - -501. Does 53 = p?
False
Let o = 61 + -110. Let s = -4 - o. Suppose -5*j - s = 5*f, -j - 3*j = f + 36. Does j = -10?
False
Let a be (-4)/6*(2 - 26). Let y = a + -50/3. Is 3/10 less than y?
False
Let f(u) = -2*u - 6. Let a(w) = -w - 1. Let z(r) = 3*a(r) - f(r). Let p be z(0). Suppose p*c - 30 = 5*c. Which is smaller: -14 or c?
c
Let y = 623 + -630.33. Which is smaller: -2/5 or y?
y
Let t = -3832/11 - -348. Suppose 0 = 9*z - 13*z. Which is greater: t or z?
z
Let f be ((-3)/2)/((-17)/(-170)). Let i be ((-12)/(-105))/(6/f). Let l be 1/(-4) + (-1)/(-4). Which is greater: l or i?
l
Let n be -1*1*-5 + -1. Let j be -1 - (-3)/((-18)/(-12)). Let q be (-4)/(-16)*j + (-44)/(-16). Which is greater: q or n?
n
Let m be 17 - 9 - (-669 - 0). Which is smaller: m or 678?
m
Let d = 195 - 195. Is d greater than or equal to 29/20?
False
Suppose -2*n + 44 = 4*i, 2*i + 4*n + n - 14 = 0. Let v be (-3 + 6)*i/2. Let d = 14 - v. Is -4 bigger than d?
False
Let t = 199 + -202.02. Are 0.1 and t equal?
False
Let f be (8/(-5) + 0)*(-110)/4. Is 45 != f?
True
Let n = -0.163 - -0.082. Let f = -15.219 + n. Let a = f - -15. Is a at most as big as -2?
False
Let d be (-1)/(-4) + 13*6/(-504). Let j be (-2)/(-6)*(10 + -7). Is d at most as big as j?
True
Let j(n) = n**3 + 2*n**2 - 6*n - 5. Let w be j(-4). Suppose -l + 175 = 4*v - 144, 313 = 4*v - l. Suppose -6*a = v + 11. Is w bigger than a?
True
Let z = -2.98 - -2.7. Let w = -0.28 - z. Which is smaller: w or -5?
-5
Let b be (4/8)/((-1)/(-890)). Is b less than or equal to 445?
True
Suppose 5*s + 4*f + 165 = f, 0 = -4*s + 5*f - 95. Let u be 3/s*2 + 394/170. Which is bigger: u or 2?
u
Suppose -s - 2*o + 34 = 3*s, 5*s + 2*o - 40 = 0. Suppose 2*i - s = -3*g + 10, -g = -2*i + 32. Is i smaller than 10?
False
Let b = 159 - 303. Let t = b - -142. Which is smaller: 0.1 or t?
t
Suppose -12 = -3*a, 23*t - a - 5 = 26*t. Which is greater: 60 or t?
60
Let w = -1784 - -1783. Which is greater: 2/165 or w?
2/165
Let h = 0.655 + -6.725. Let t = 11 + -11.07. Let j = h - t. Which is smaller: 0 or j?
j
Let c = 0.8 - 8.8. Let v = c + 8.03. Let f(r) = r - 8. Let x be f(7). Is v equal to x?
False
Let d = -599/94 - -920881/658. Let h = 1388 - d. Is h at most -5?
True
Let q = 43 - 36. Suppose 0 = -q*y + 5*y + 6. Which is bigger: y or 20/7?
y
Let n(o) = -o**3 - 7*o**2 - 4*o + 8. Let q be n(-6). Let j be ((-1)/1)/((-1)/29). Let f = j - 88/3. Which is smaller: f or q?
q
Let m(t) = -t - 19. Let j be m(0). Let s = -16 - j. Suppose -s*q - 3*h = q - 61, 5*q = h + 81. Which is smaller: 15 or q?
15
Suppose 0 = 5*p + 3 + 2. Suppose -s = 2*x + s - 606, -1485 = -5*x + 5*s. Let l = -5102/17 + x. Is l < p?
False
Suppose 5*m = -3*n - 10, -2*m + 0*m + 2 = 0. Let s = -9 - n. Let h be (-2)/(3*s/(-18)). Which is smaller: -4 or h?
-4
Let m = 143/10 + -3013/210. Let u(r) = r**2 - 4*r - 1. Suppose 5*i - 6*i + 7 = q, -i = -q + 1. Let t be u(q). Which is greater: m or t?
m
Suppose -12*n = -1 + 1. Suppose 4*u - 14 = 5*w, 2*w + 3*u = -u. Let i be 2/w*(-6)/21. Is n at most i?
True
Let o(l) = 3*l + 26. Let k be o(-9). Let i be ((-1 - k) + 2)/(-8 + 3). Are 0.13 and i unequal?
True
Let i = 9 + 21. Let l be (-23)/(-6) + 5/i. Suppose -l*x = x + 35. Do x and -7 have the same value?
True
Let w = -247 - -750. Is w smaller than 503?
False
Suppose -4 - 2 = 2*j. Let q = 110 + -101. Let k be 3/q - (-26)/(-6). Which is smaller: k or j?
k
Suppose 4*a - 5*m = 7, -2*m = -5*a + 2*m + 11. Suppose -5 = -a*j + 4. Let q be ((-42)/8)/(-3)*4/14. Which is greater: q or j?
j
Let w = -0.2301 + 0.264. Is w <= 0?
False
Suppose 4*l - l + 36 = 0. Let g be (l/(-18))/(2/66). Which is smaller: 2 or g?
2
Let b be (-13 - -6)*(-21 + 20/4). Which is smaller: b or 114?
b
Let l(q) = 18122*q**3 - 2*q**2 + 4*q + 6. Let h be l(-5). Let m = h + 43027663/19. Let r = m + 700. Which is greater: r or -1?
r
Let s be ((-9)/(-7428))/((-22)/8). Let v = 775604/6809 - s. Let d = -114 + v. Which is greater: d or 1?
1
Let j be ((-1)/(-3))/(26/12). Let v = -1482 + 161539/109. Let t = v - -213/545. Is t < j?
False
Let y = -0.7 - -2. Let z = -0.3 + y. Which is greater: z or -0.15?
z
Let z = 84 + -83.61. Let f = z + -0.29. Is f less than 0.2?
True
Let w = 51 + -49. Suppose -w*c = -48 + 50. Which is smaller: -2 or c?
-2
Let f = 62 + -29. Let g be 2/(-44)*202 - (-6)/f. Which is bigger: -7 or g?
-7
Let a = 973 - 6863/7. Which is bigger: -7 or a?
-7
Let q(j) = j**2 - j - 1. Let y be q(-2). Suppose 0*a = a + y*l + 6, 3*l = -3*a - 6. Let m be (5/(3 + 2))/a. Which is smaller: -2/63 or m?
m
Let v = 1.3 + -2. Let c = 0.051 - -1.649. Let i = v + c. Which is smaller: 2 or i?
i
Let c = 605/3 - 202. Which is smaller: 22 or c?
c
Suppose -2 - 1 = -3*w. Are 35 and w nonequal?
True
Suppose -5*h + 213 = 3*d, -2*h - h - 2*d = -127. Let z be 3 + -6 - h/(-18). Is z less than -2?
False
Let u = -283160/47 + 6025. Which is bigger: -1 or u?
u
Let p = -2148 + 996675/464. Is 1 >= p?
True
Let u = -8516/15 - -568. Which is greater: 1 or u?
1
Let r = -2638/603 - -40/67. Which is smaller: -0.1 or r?
r
Let d(i) = i**3 + 3*i**2 - 2. Let y be d(4). Let w = y - 112. Le