. Let g be v(-5). Which is bigger: q or g?
q
Let y be ((-7)/(-14))/(1/(-8)). Let k(q) = -q - 5. Let t be k(y). Which is bigger: t or -6/5?
t
Let m = 6.009 - 0.009. Which is bigger: 0.02 or m?
m
Let y = -35385/148 + 957/4. Let n = -104/185 + y. Which is greater: n or 0?
0
Suppose 4*k + 3 + 1 = 0. Do k and 7 have different values?
True
Let s be (6/4)/(15/20). Suppose -2 = -2*n - 6*f + f, -5*f + 18 = -s*n. Are -4 and n non-equal?
False
Let y = -9 + -7. Is y greater than or equal to 2?
False
Suppose 3*z - 6*l + l + 35 = 0, 0 = z + 4*l - 11. Let k(t) = t - 6. Let i be k(0). Is i equal to z?
False
Let k = -42 + 60. Let y = k + -22. Which is smaller: -0.3 or y?
y
Let t = 6.04 - 6. Let b = t - 0.05. Which is greater: -1/4 or b?
b
Suppose 2*l + 4 - 12 = 0. Let x be l/(-22) + 256/(-44). Which is greater: -0.1 or x?
-0.1
Suppose -j = 2*j. Let p = 15/34 - 151/323. Is j at least p?
True
Let k(d) = 2*d - 3. Let y be k(3). Suppose y*r + 0*u - u = 3, -3 = -5*r + u. Is r at least 0?
True
Let f(d) = -4*d - 6. Let n be f(-4). Suppose -5*q = -n*q + 10. Let g = q - -2. Which is smaller: g or 3?
3
Let o = -56 - -56. Which is smaller: o or 1/26?
o
Suppose 4*p = -0*u - 3*u + 5, u = 5*p - 30. Let y be (-8)/(-20) + 2/u. Let w(m) = -m**2 - 11*m - 2. Let z be w(-11). Which is smaller: y or z?
z
Let a = 3 - 3.04. Let j = a + 0.44. Are j and 0.1 equal?
False
Let s be 5/12 - (-7)/28. Which is greater: -0.04 or s?
s
Let a(l) = -l + 4. Let p be a(3). Let m = p + -1. Suppose 2*x = -2 - m. Is 0 != x?
True
Let o = -7 - -12. Suppose 6 = -o*w - 4*l, l - 3*l = -2*w - 6. Which is smaller: w or -1?
w
Let o be 2 + (2 - (-1 - 1)). Let f = o + -3. Which is smaller: -2/7 or f?
-2/7
Let f = -15 + 5. Let b be 2/(-6)*3/f. Suppose -4*k - 12 = 2*y, -2*k = 3*y + 17 - 3. Is b greater than or equal to k?
True
Let h(r) = r**3 + 17*r**2 - 18*r. Let d be h(-18). Suppose 5*o = -d*o. Which is smaller: 2/63 or o?
o
Let y be 26/(-20) + 3/(-15). Suppose -p = -3*p + 18. Let l be (-12)/p + 1/3. Is y greater than or equal to l?
False
Let s(x) = -x + 6. Let j be s(9). Which is bigger: j or 1?
1
Let t = 12 - 4. Let m = t - 7. Which is greater: -1 or m?
m
Suppose 0 = -2*s + 2*k - 94, -k - k = -3*s - 146. Let b = 158/3 + s. Which is smaller: 0 or b?
0
Suppose 2*c - 6*c - 4 = 0. Let a = -2 + c. Is -4 less than or equal to a?
True
Let o = 0.034 - 0.444. Is o at most -0.1?
True
Let b(f) = -f + 4. Let o be b(-4). Let k be 12/o - 3/2. Is 2 > k?
True
Let w = -2.17 + -0.83. Which is greater: -0.3 or w?
-0.3
Let z be 6/(-44)*(1 + 1). Suppose 3*c = 5*n + 12, 5*n + c - 8 = -c. Which is greater: z or n?
n
Let a = -3 - -6. Let q = a + -5. Does -2 = q?
True
Suppose -2*j - 2*q - 13 = -3*j, -4*j = -4*q - 36. Let m be (j - 7) + (-6)/(-1). Suppose -3*t = -5*u + 2 + 4, -t - 3 = -2*u. Which is bigger: u or m?
m
Suppose -15*u = -14*u + 6. Is u > -2?
False
Suppose -r + 4 = 3*r. Let g = r + -2. Let l = g - -1. Are 2/11 and l equal?
False
Let w = 23 + -23. Let j be (2 - -1) + (0 - 1). Which is greater: j or w?
j
Suppose -5*a = 5*x - 1335, 4*x - 3*a = 133 + 907. Let n = 414 - x. Let i = n + -751/5. Are 1 and i non-equal?
True
Let x = 35/4 - 8. Is x at least as big as -2?
True
Let q = -2 + 1. Let i be -1*(6/(-3) + q). Is i greater than -1/2?
True
Let g be 884/22 - (-16)/(-88). Let w be (-23)/5 + (-16)/g. Is -6 less than w?
True
Let h(z) = z**2 + 4*z - 7. Let t be h(-5). Let j(k) = k**3 - 3*k**2 + k - 1. Let v be j(3). Which is greater: v or t?
v
Let d be 2648/2*6/(-88). Let c = d - -90. Which is smaller: c or 1?
c
Let n be 1 + -2 + 0 - -6. Is n > 5?
False
Suppose 0*f + 440 = 5*i + 2*f, 192 = 2*i + 4*f. Does 86 = i?
True
Let v = -137/39 - 54/13. Which is greater: -7 or v?
-7
Let a = 32 + -7. Which is bigger: 26 or a?
26
Let a = -17 - -16.9. Suppose 10 = -4*j + 2. Which is smaller: a or j?
j
Let b = 48 - 11. Is -1 less than or equal to b?
True
Let z(h) = -2*h**3 - 2*h**2 + h. Let v be z(-2). Suppose -7 = -t - v. Which is smaller: 2 or t?
t
Let s = 54 + -39. Is 1 greater than s?
False
Let y(h) = -h**2 + h + 2. Let w be y(-1). Which is bigger: -4 or w?
w
Let x be (-6)/(-9)*18/4. Suppose 2*i - x*f - 15 = 0, 37 = 2*i - 5*f + 12. Is -1/6 at least as big as i?
False
Suppose 0 = 2*z - 5*z + 9. Suppose -5*p = -l + 22, z*p + 8 = -5*l - 22. Is -6 smaller than p?
True
Let f = -120 - -391. Let t = f - 1900/7. Which is smaller: t or -1?
-1
Let v = 0.24 + 0.06. Let p = 0.3 - v. Is p greater than -1?
True
Let b be (3/(-2) - -1)*-30. Let a = 10 - b. Let z = 7/4 - 2. Which is smaller: a or z?
a
Suppose 2*o = 5*o + 2*j + 5, -3*o = -5*j + 19. Let u(g) = g**2 + 6*g - 4. Let l be u(-6). Is o > l?
True
Suppose -j = -0*p + p - 4, -5*j = -5*p - 20. Which is bigger: 17 or p?
17
Let k be (8/4)/(((-3)/(-3))/1). Let m(p) = 14*p**2 + p + 1. Let u be m(-1). Suppose -u + k = 4*l + 2*w, -17 = 5*l + 3*w. Is l <= -2/3?
True
Suppose 3*a + 96 = -4*f + f, 2*f + 48 = 2*a. Which is greater: -26 or f?
-26
Let t = -175/2204 + -3/116. Let z(q) = q + 8. Suppose -33 = 3*n - 6. Let y be z(n). Which is greater: t or y?
t
Let r be (-28)/(-60) - (-3 - -2)/3. Which is smaller: 0 or r?
0
Let x = 16 - 15.7. Let q = 3 - 3. Which is smaller: x or q?
q
Suppose -q - 2*h = 9, 0*h - 2*h = 8. Is -2/133 <= q?
False
Let l = 2.2 - 2. Let h = l + -1.2. Let c = 2/7 + -11/14. Which is bigger: c or h?
c
Suppose -4*k - 53 + 5 = 0. Let g be 4/k*47*-2. Let u = g + -32. Which is greater: u or -1?
u
Let s = 47080118/531 + -88663. Let l = -2/177 + s. Which is smaller: l or -1?
-1
Let z be 75/117 - (-4)/(-12). Which is greater: 0.1 or z?
z
Let t(p) = p + 4. Let f(g) = -g. Let s be f(-3). Let c be t(s). Is 6 bigger than c?
False
Let n = 0.14 + -1.34. Let s = n - -0.2. Which is greater: s or 2?
2
Let l be 35*((-52)/(-28) - -2 - 3). Is 30 at most as big as l?
True
Let s = 2 + -3. Let k(c) = 2*c**2 + 2*c + 3. Let q be k(-2). Let i be (9/21)/(2/q). Which is greater: i or s?
i
Let h = 1/70 + -149/630. Suppose -4*q = 2 + 18. Let n(g) = -g**3 - 4*g**2 + 5*g + 1. Let u be n(q). Which is bigger: u or h?
u
Suppose -4 = -5*p + 1. Let v be ((-2)/(-8))/(p/(-2)). Let b be (-1)/(-3) - 12/9. Which is greater: v or b?
v
Suppose -p = 3*o, -4*p + o = -8 - 5. Suppose 3*b = 3*l + 15, -4*b + 0*b = p*l - 6. Is l greater than or equal to 1?
False
Let z = 25 + -25. Let f(n) = n**2 + 12*n + 2. Let y(u) = -2*u**2 - 25*u - 4. Let j(x) = -13*f(x) - 6*y(x). Let o be j(-6). Which is bigger: o or z?
z
Let w = -5/28 + 47/224. Which is greater: 0 or w?
w
Let j = -3 + 11/3. Let u = -0.2 + 1.1. Let x = u - 1.9. Is x <= j?
True
Suppose -3*r = -2*p + 3*p - 8, p - 5 = 0. Which is bigger: r or -4?
r
Let p = 0.4 - 0.8. Let o = -1.4 - -2. Let k = o - p. Is 2 equal to k?
False
Let h be 3 + 36/(-15) + -3. Let w = -79/35 - h. Is 1 < w?
False
Suppose 3 = 2*l + l. Which is smaller: 0 or l?
0
Let l be (2 - (-58)/(-8))*4/(-8). Which is bigger: 3 or l?
3
Let q be (2/(-8))/((24/3)/32). Let w = 2 + -4. Is q equal to w?
False
Let f = 1748/17 - 103. Let r = -26/51 - f. Is r at most -2/7?
True
Let x = 580/3 + -194. Let v = -0.12 - 4.88. Which is bigger: x or v?
x
Let s = 66.4 - 61. Let o = 0.2 + 0.4. Let y = s + o. Which is greater: y or -1?
y
Suppose -4*t + 39 = -77. Is 27 bigger than t?
False
Let x(u) = -2*u**3 - 11*u**2 - 4*u + 6. Let o be x(-5). Does o = 8/43?
False
Let w(u) = -u**2 + u + 20. Let o be w(0). Suppose o = 4*n - 0*n. Suppose 4 = 3*q - n. Is q bigger than 2?
True
Let a be (1 - 1)/(-4 - -2). Suppose 2*q = -a*q - 5*b - 25, 3*q + 57 = -b. Let y be 0 - 0 - q/(-5). Is y at least as big as 1/3?
False
Let q be 0 + (0/(-1) - 1). Let v be (-10)/8 + 0 + 1. Which is greater: v or q?
v
Suppose 0 = q - 5*q. Let h = 1 + 0. Is q <= h?
True
Let w = -2 + 5. Suppose 4*h - 29 + 4 = -3*r, -w*r + 9 = 0. Let b be h/((-2)/(-2)*2). Is b smaller than 3?
True
Let r(w) = w + 6. Let f be r(-3). Let g be f/20 + (-5)/(-20). Is 2/5 greater than or equal to g?
True
Let g(m) be the third derivative of -m**5/60 - m**4/4 - 4*m**2. Let h be g(-6). Is h bigger than -10?
True
Let w(a) = a**2 + 11*a. Let u be w(-11). Suppose 5*p + 3*r + 21 = 0, 2*p - r - 6 + 21 = u. Is p >= -6?
True
Let a be -1*(-1 - 0) - -1. Let p(o) = -6 + 3 + o - o**2 + 4 - 2*o**2 + o**3. Let i be p(a). Is -3 at least i?
False
Let r = 191 - 162. Which is smaller: r or 30?
r
Let q = 14.21 - 14. Let n = -0.2 + q