h is bigger: t or -2/19?
-2/19
Let o be (-9)/3 + (4 - 2). Which is bigger: -0.06 or o?
-0.06
Let h = -19/42 - -1/42. Let x(v) = -5*v - 1. Let t be x(-1). Let d be t/(-10) - (-4)/10. Does d = h?
False
Let g(r) = 1 + 5 + 0*r - r. Let b be g(7). Let a be 0 + b + (-14)/(-8). Which is bigger: a or 2?
2
Let y = -0.05 - -0.11. Let w = y - 0.46. Is w smaller than 0?
True
Suppose -h = 2*h + 9. Let f = -1 - h. Suppose 0 = -x + k - f, -6*x + x - 3*k - 2 = 0. Are x and -1 nonequal?
False
Let i be -1*(-3)/(-6)*0. Let q(k) = -3*k**3 + 3*k**2 - 2*k. Let h be q(2). Let d be h/54*39/52. Is i less than d?
False
Let k = -4.01 + 4. Let q = 0.02 + k. Let g = q + -0.01. Which is smaller: 0.1 or g?
g
Let r(g) = g**2 - 13*g + 2. Let a be r(13). Suppose -a*p = -6*p. Which is smaller: p or 0.07?
p
Let s(p) = 7*p**2 + p. Let x be s(1). Suppose 5*g - 4*h + x*h + 1 = 0, -3*h = 5*g + 2. Does g = -1/2?
False
Let p = -10.8 + 0.8. Let y = 13 + p. Which is greater: -0.3 or y?
y
Let v = 42 + -25. Suppose 5 - v = 3*t. Which is smaller: -5 or t?
-5
Let n = -25 + 24. Is -1 at most n?
True
Let f = 0.5 - 0.4. Let g = f - 0.1. Let p = 3 - 2. Which is smaller: p or g?
g
Let n = 2.9 + -3. Let t = -14.5 - -2.5. Let p = 5 + t. Which is greater: p or n?
n
Let d = 16673/5 + -3324. Which is smaller: 11 or d?
d
Let w = 408 - 418.05. Let u = w - -17.04. Let q = u + -7. Which is smaller: -2/3 or q?
-2/3
Let o(v) = -3*v - 3. Let z be o(-2). Let t = -5 - -5. Suppose -3*l = -5*q - t*l + 21, -2*q = -2*l - 10. Is z at least as big as q?
True
Let s = 5 - 5. Suppose 5*d = 2*t + 23, -5*d + s*d - t + 11 = 0. Is -1/3 greater than d?
False
Let a(x) = x**2 + 8*x - 4. Let m be a(-8). Which is bigger: -6 or m?
m
Let b = -0.17 - -0.12. Is b smaller than 0.1?
True
Let f = -18.1 + 19. Let d = f - -0.1. Let a = 2 - 4. Is d at most a?
False
Let c = -1073/9 + 119. Which is smaller: c or 0?
c
Let x = -2/65 - -77/390. Let t = -6 + 8. Let m be 4/14 + t/(-7). Which is smaller: m or x?
m
Let t = 5 - 2. Which is bigger: t or 9/5?
t
Let g = -0.201 + -4.469. Let v = g - 0.13. Let u = -5 - v. Is u at least 2?
False
Suppose -j + l - 4 = 2*j, -j + 2*l = 8. Suppose 4*u - 4*a + a + 24 = 0, -5*u - 5*a - 65 = j. Is -10 greater than or equal to u?
False
Let v = 333/2 + -2969/18. Which is greater: v or 3?
3
Let d = 2412/7 - 344. Let k(h) = h**2 + 7*h + 7. Let b be k(-6). Which is bigger: d or b?
b
Let v = -249/38 - -13/2. Which is smaller: 0 or v?
v
Let r = -2.5 + 5.7. Let g = r - 0. Let w = -0.8 - g. Which is smaller: -0.1 or w?
w
Let z be (0 + 1/2)*4. Suppose -3*k - 21 = -6, z*f = -3*k - 17. Let w be f + -3 + 21/6. Which is smaller: 2 or w?
w
Let q(o) = -o + 5. Let t be q(4). Let m be (-188)/100 + 2*t. Let g = 41/75 + m. Which is bigger: -1 or g?
g
Let p = 5 + -7. Let c be (4/(-10))/((-1)/(-5)). Is c less than p?
False
Let l be -2*(-8)/6*-3. Let f = l - -11. Suppose 1 = -k - f. Is -3 >= k?
True
Let w(f) = 10*f**3 - f**2 + 2*f - 2. Let s be w(1). Are s and 8 equal?
False
Let q = 7 + -12. Let x = q - -5. Is -0.07 smaller than x?
True
Let y be 18/(-105)*(-7)/4. Suppose 3*i + 10 - 7 = 0. Is y equal to i?
False
Let s(z) be the first derivative of -2*z**3/3 - 3*z**2 - z + 2. Let n be s(-4). Let f be (-6)/n*2/(-4). Which is smaller: f or -1?
-1
Let z = 1/14 - 4/7. Do -2 and z have different values?
True
Let z = 19 - 19. Is 2/3 less than or equal to z?
False
Suppose -4*t - 3 = -2*w - 1, -2*t - 2*w = 4. Is 1 > t?
True
Suppose 5*u - 4*u - 12 = 0. Let k be 4/u*0 - 3. Is k != -1?
True
Let w(a) = 2*a**2 + 4*a + 3. Let y be w(-2). Which is greater: y or 4?
4
Let x = 10 + -16. Let i(b) = -b - 11. Let h be i(-4). Which is smaller: h or x?
h
Let y = 199 - 401/2. Let m(d) = -d**2 + 7*d + 3. Let h be m(7). Suppose h*p = -1 - 8. Which is bigger: y or p?
y
Let a = -6 + 5. Let d = 0.9 + a. Do -1 and d have different values?
True
Let k be 2/(-3) + 4/6. Let h = 77/120 - -1/40. Is h at most as big as k?
False
Let w(y) = y**2 - 6*y + 4. Let m be w(5). Let p = m - -3. Is 2 less than p?
False
Suppose 9 = -y - 4*h, 3*h + 33 = 3*y - 0*h. Suppose -j - y + 2 = 0. Which is greater: j or -4?
-4
Let l(v) = -2*v - 3. Let t be l(-2). Let k(q) = 1. Let f(p) = p + 7. Let y(c) = 2*f(c) - 18*k(c). Let s be y(5). Is t less than s?
True
Let m = -40 - -39. Let k = 1 - 1. Let u = m - k. Do -2/15 and u have different values?
True
Let f be 50*1/(-6)*3. Does -26 = f?
False
Let d = 8 + -12. Let l be 2/4*d/(-6). Which is smaller: l or -2?
-2
Let v = -1790/11 - -163. Let f be 1/(-3) + (-4)/6. Is v equal to f?
False
Let f = 4 + -7. Let d = 2.8 + f. Is d equal to 0?
False
Let u(r) = -r**3 + 3*r**2 + 3*r + 5. Let f be u(5). Let p be 1 + (f/(-17))/(-2). Is p at least 1?
False
Let b = -69 - -71. Is 5/8 not equal to b?
True
Let d be (1/(-1))/(3/(-12)). Suppose -6*i + 5*a - 8 = -2*i, -3*i = 2*a - 17. Is d at most as big as i?
False
Let l = -0.11 - -0.21. Do 3 and l have different values?
True
Suppose 4*s + 7 = 23. Let x(b) = -b + 3. Let c(k) = k - 3. Let p(i) = s*c(i) + 5*x(i). Let a be p(6). Which is greater: -1 or a?
-1
Suppose 8*s - 6 = 5*s. Suppose 0*t - 4 = -s*t. Let r be ((-3)/t)/((-3)/(-4)). Which is greater: -1/2 or r?
-1/2
Let z(t) = 6*t**2 + t. Let o be z(-1). Suppose o*w = 2*w. Is 1 <= w?
False
Let x = 3 - 3. Which is smaller: -3 or x?
-3
Let k(v) = v**2 - 2*v. Let b be k(5). Suppose -j + b = 2*j. Which is greater: 1 or j?
j
Let r be 3 - (9/3)/3. Let p = r - 1. Let d be (2/(-24))/(p/2). Which is smaller: d or 0?
d
Let v = -3.65 + 0.15. Let q = v - -4. Let r = -2.5 + q. Is r less than -2?
False
Let k(i) = i + 17. Let l be k(-9). Let j be (-21)/(-14)*l/3. Suppose 0 = -4*m + j. Is m smaller than -2/5?
False
Suppose -4*b - 8 = 4*v, 5*v - 2 = -b - 4. Let i be (2/(-6))/(-4*1/3). Which is smaller: b or i?
b
Suppose -3*j - j + 4 = 0. Let m(o) = -2*o - 1. Let p be m(-1). Let u be (p + 1)/((-2)/j). Is u at least 2/5?
False
Let l(r) = r**2 + 3*r - 15. Let b be l(6). Is 40 less than b?
False
Let p be -3 - (-1 - (-3 + 1)). Is p at least as big as -4?
True
Let u be (-1)/4 - 46/8. Let s be 2 - 114/16 - 4/(-32). Is u at least s?
False
Let b be 2/(-8) - (-85)/20. Let q be (b/6)/((-2)/6). Let o = 239 - 1677/7. Is o >= q?
True
Suppose -4 = 4*h - 0*h. Do h and -5/3 have different values?
True
Let y be 27/9*(-2)/3*1. Are y and -14/15 non-equal?
True
Let q be -1 + (-1 - -2)*7. Let b be (-14)/q - 5/(-15). Let v = -1.1 + 1. Which is bigger: v or b?
v
Let c be (-48)/1330*32/(-3). Let x = 2/133 + c. Which is bigger: -0.1 or x?
x
Let q(t) = -4*t - 7 + 0*t + 2*t + 0*t - 7*t**2 - t**3. Let h be q(-7). Suppose -4*i = -4*j - 5*i, -3*i = 5*j - h. Which is smaller: -3/5 or j?
j
Let k(j) = j**2 - 14*j + 18. Let t be k(13). Suppose -s = -2*u - 5, -t*u - 2*s - 13 = 13. Which is greater: -2/7 or u?
-2/7
Let v(x) = 690*x**3 - 2*x**2 - 3*x + 3. Let t be v(3). Let n be t/45*(-4)/(-42). Let m = n - 198/5. Which is smaller: 0.1 or m?
m
Let p = 61 - 59. Which is smaller: p or 8/9?
8/9
Let f = -2/11 - 23/55. Which is smaller: f or 1?
f
Let w = 132071/61 - 2165. Let c = -142/1037 - w. Which is smaller: c or 1?
c
Let x = 6 - 6. Suppose -4 = -2*p, 5*l + x*l + 7 = p. Which is greater: l or -1/6?
-1/6
Suppose -y + 2*x = -x + 1, 3*x = 4*y + 13. Let p be y/(-14) - 8/28. Which is bigger: -2 or p?
p
Let l be ((-7)/(-7))/((-1)/(-6)). Suppose -5*v = l*j - 2*j - 9, j - 4*v + 3 = 0. Is 1/4 at least j?
False
Let c = -8.1 + 8. Which is greater: c or -9?
c
Let o(h) = -h**3 - 8*h**2 - 7*h - 6. Let a be o(-8). Let c be a/12 + 6/(-36). Let u = c + -6. Is u less than -2?
False
Let v be (1287/(-264))/((-30)/8). Is 0 < v?
True
Suppose -4*y + k = 271, 2*y + y + 182 = 5*k. Is -69 bigger than y?
False
Let l(w) = w**2 + 4*w + 2. Let r be l(-3). Let t = -1019 - -601. Let s = -12124/29 - t. Which is greater: s or r?
s
Let q = 95 - 96. Which is bigger: q or 2/19?
2/19
Let n = -17 + 12. Is -3 != n?
True
Let s(x) = -x + 7. Let v be s(7). Suppose 0 = -4*q - 2*o - 14, -2*q - q + o + 2 = v. Let l be ((-4)/(-8))/(q/2). Which is smaller: l or 0.1?
l
Let r be -3*((-1)/(-1))/1. Let j = -8 + 4. Which is smaller: j or r?
j
Suppose 2 = -2*r + 4. Let n be (-1 + 1 + r)*-3. Which is smaller: -2 or n?
n
Let g be (0 - 0)*(3 + -4). Let z = 0.8 - 0.77. Let s = 1.03 - z. Is s less than g?
False
Let p = 0.3 - 0.3. Let a = p - 0.1. Let o be (-3)/((-96)/52) + -2.