 4 at least as big as v?
True
Let j(b) = 0*b + 0*b**2 + 2*b - b**2 + 3*b. Let m be j(5). Suppose m = 2*v - 1 - 1. Which is bigger: v or 0?
v
Let r(n) = -12*n + 1. Let h be r(-2). Suppose 0*z + 5*z = h. Suppose -7*d + z*d = 0. Is -4 bigger than d?
False
Let z be 1 - (0 - 21/15). Let u = z + -11/5. Which is bigger: u or -1?
u
Suppose -4*v = 8, -2*g = -4*v - 0*v + 32. Do g and -18 have different values?
True
Let m = 86 - 88. Which is greater: -15/8 or m?
-15/8
Let j be (1 - 194/152) + 1/4. Which is smaller: 1 or j?
j
Let f = 37 + -30. Which is smaller: 1 or f?
1
Let f(r) = -r**3 + 8*r**2 - 12*r + 37. Let k be f(7). Let d be 0/(-1) + 1 + -1. Is d at most as big as k?
True
Suppose -2*l = 2*l - 16. Is 2/9 greater than l?
False
Let g(y) = -y**2 - 2 + 2 + 2 + 5*y. Let a be g(5). Let x be a/2 + (0 - 0). Which is bigger: x or 1/2?
x
Suppose 8*k = 7*k + 17. Is k at most as big as 17?
True
Let m(c) = -c - 5. Let d = 0 + -5. Let x be m(d). Let s(k) = 3*k**3 + 2*k**2 + 2*k + 1. Let w be s(-1). Which is greater: w or x?
x
Let v = 142 + -128. Which is bigger: v or 12?
v
Let t = -0.73 - 0.17. Let b = t + 0.4. Is b at least as big as -1/3?
False
Let t = 110 - 76. Is -0.1 not equal to t?
True
Suppose 5*a + 2*n = 30, 3*a - 22 = -0*a - 2*n. Which is greater: -1 or a?
a
Let g = -8 - -4. Let n = 4 + g. Is -1 >= n?
False
Suppose h - 1 = -y - 4, 9 = -3*y. Suppose h = t - 2*t - 6. Is -6 greater than t?
False
Let k be 84/(-66) + (-2)/(-2). Are -1 and k equal?
False
Let u = 6 + -8. Let q = u + 2.3. Which is greater: -0.2 or q?
q
Let q = -6 + 6. Let j be -3 + (q - (-12)/8). Which is bigger: j or -2?
j
Let j = 8 - 5. Let g = j - 4. Suppose -20 = 4*y + 3*z, -y - 3*y + 4*z + 8 = 0. Is g equal to y?
False
Suppose u + 0*k = 2*k, 0 = 3*u - 5*k - 4. Suppose 0 = 3*j - 2*a + 17, -3*j = -u*j - 3*a - 3. Let h = 3 - 5. Which is greater: j or h?
h
Let j = -7.81 - 2.14. Let g = j + -0.15. Let d = g + 10. Which is greater: d or 3?
3
Suppose 32 + 64 = 6*s. Which is greater: 0 or s?
s
Let w be (-4)/(-16) + 14/8. Which is smaller: w or 0?
0
Let t(x) be the third derivative of -x**6/120 + x**5/20 + x**4/6 + x**3/2 + 3*x**2. Let z be t(4). Do z and 1 have the same value?
False
Let c = 28 - 14. Let o = -14.23 + c. Let w = -0.03 - o. Which is smaller: -0.1 or w?
-0.1
Suppose -5*r + 2*r + 45 = 0. Suppose -b = 4*b - r. Let d = b + -4. Is 0 at least d?
True
Let s = -11 + 45. Suppose -l + s = l. Which is smaller: 18 or l?
l
Let g = 19 - 16. Is -3 bigger than g?
False
Suppose 3*u - u = -5*x - 88, u + 71 = -4*x. Let t be 2/x*-3*-2. Which is smaller: -2 or t?
-2
Suppose -4*u - 2*x - 3*x = 36, 0 = u - x + 9. Do u and -8 have the same value?
False
Let r be 2 + -2*15/6. Let m = -4 - r. Let p = -8 + 7. Is p greater than or equal to m?
True
Let h be 5/35 - 3/(630/44). Do h and 0 have the same value?
False
Let y(t) = -5*t**2 + 2*t + 1. Let i be y(-2). Let c = 89/4 + i. Is c < -2?
False
Let k(y) = 2*y**2 - 14*y. Let b be k(7). Which is smaller: 16 or b?
b
Let b = -3 + 2.5. Let x = -0.5 + b. Let r = 0.23 + 0.07. Which is bigger: r or x?
r
Let h(z) = -z + 8. Let s be h(4). Suppose 9 + 11 = s*l. Suppose l - 2 = -3*w. Which is bigger: w or 0.04?
0.04
Suppose -2*t + 9 = 29. Let i be ((-8)/(-90))/(-2)*t. Is 1 greater than i?
True
Let h(q) = -q - 3. Let f(l) = -4. Let a(p) = 3*f(p) - 4*h(p). Let s be a(1). Is s greater than 3?
True
Let t(n) = -7*n**2. Let z be t(-1). Which is greater: 2/5 or z?
2/5
Let u be (-256)/270 - (-4)/5. Is -1 smaller than u?
True
Let r = -8 - 1. Let q be 33/r - (-3 - 0). Is q at most -1?
False
Suppose -6*x + 21 = 5*b - 5*x, 2*x - 17 = -5*b. Suppose 16 = 2*k + 2*v - 0*v, 0 = 2*k + 4*v - 18. Is b <= k?
True
Let y = 8.8 + -9. Let z = -1.2 - y. Which is smaller: z or 1?
z
Let y = 42 - 24. Is y > 16?
True
Let r = -2057406/17 - -121074. Let p = 110 + -60. Let v = r - p. Are v and -1 equal?
False
Let q = 0 - 6. Let i(g) = -1. Let v(z) = -2*z - 1. Let c(h) = -2*i(h) + v(h). Let r be c(3). Which is greater: q or r?
r
Suppose 1 - 25 = -3*b. Suppose -b*j + 4*o = -3*j - 1, 0 = 2*j + 2*o - 4. Are -2/5 and j non-equal?
True
Suppose 5*u + 4*v + v - 55 = 0, 5*u = v + 55. Let z = u + -10. Is 1/8 at most as big as z?
True
Let p = 3.8 + -0.8. Let x = 26 - 17. Let v = -9 + x. Is p less than v?
False
Let s(r) = -3*r + 13. Let m be s(0). Are 14 and m equal?
False
Let y = 3 - 1. Suppose 0*l - 5*q + 25 = l, 5*l = 4*q - 20. Let i be 0 - (y + (l - 3)). Which is smaller: 2 or i?
i
Let n be 16/18*((-3)/20)/(-1). Are n and -1 unequal?
True
Let j be 72 + 1 + 4 + -2. Let h be 1/5 + 10/j. Which is smaller: 0.04 or h?
0.04
Let a = -17.97 - -18. Let f = -0.97 - a. Which is smaller: f or 1?
f
Suppose 68 = 5*y - 92. Is 33 at least as big as y?
True
Let a = -49 + 50. Is a < 0?
False
Let m be (2/6)/((-8)/(-48)). Which is smaller: m or -4?
-4
Let q = -0.9 + 1. Let w = 0.3 - q. Let r = w + -0.3. Do -2 and r have the same value?
False
Let t be 3/(-2)*(-8)/(-6). Let r be ((-2)/30)/(t/12). Are 2/11 and r unequal?
True
Let x = 8 + -10. Let z = 11 + -12.4. Let q = z - x. Which is smaller: q or 1?
q
Let w be -6 + 1 + (3 - -1). Do 4/31 and w have different values?
True
Let c be 4/(-16) + (-2)/(16/78). Which is smaller: c or -9?
c
Let n be (4/24*-3)/1. Is -5 smaller than n?
True
Let j(r) = -3*r**2 - 8*r - 3. Let o be j(-3). Which is bigger: 2 or o?
2
Let i be 6/39 + 56/(-533). Is -2/7 greater than or equal to i?
False
Let j be (96/21 - -1)*-18. Let k = 100 + j. Let n = -1 + 1. Does k = n?
False
Let y = 7208/7 + -1028. Which is smaller: 2 or y?
y
Let p(k) = 0*k + 0*k + k + 10 - 1. Let z be p(-15). Do 2 and z have the same value?
False
Suppose -a - a = -8. Suppose 0*b + a*b + 12 = 2*u, -10 = 2*b. Let k = -17/4 - u. Which is smaller: 0.1 or k?
k
Let a = 2.34 - 3.3. Let d = -0.14 + 0.1. Let j = d + a. Which is bigger: 5 or j?
5
Let v(d) = -d**2 + 1. Let m be v(1). Suppose m = -s + 2 - 1. Let c = 7/2 - 13/4. Is c greater than s?
False
Suppose 2*p + 0 = 20. Let m be p/(-4) - (-12)/8. Which is smaller: m or -0.9?
m
Suppose 4*c + 6*f = f + 14, 4*c + 4*f = 12. Suppose -163 = 2*g + 33. Let u = -290/3 - g. Is c at most as big as u?
True
Suppose -4 = -t - 3. Let y = t - 3. Let s = -0.1 + 2.1. Is s smaller than y?
False
Let v = -8 - -8.01. Let t = v - -0.99. Let u = -2 - -1.9. Which is smaller: u or t?
u
Suppose -5*a + v + 23 = 0, 0 = -a + 2*v + 1 - 0. Suppose -a*x = -10*x - 20. Let g = -3 - 0. Which is smaller: x or g?
x
Let q = -38623/6660 + -1/1332. Which is greater: -7 or q?
q
Let g be 170*(-32)/8*1/10. Does g = -67?
False
Let a(x) = x**2 + 6*x + 1. Let p be a(-6). Let j = 1883/221 - 110/13. Is j bigger than p?
False
Let f = -6 - -10. Suppose -5*q = 2*g - 20 + 7, -2*q - f*g = -18. Which is smaller: -0.2 or q?
-0.2
Let y = -0.38 - 5.22. Let h = y + -1.4. Let n = -5 - h. Which is bigger: n or 1/4?
n
Let l(t) be the second derivative of -t**4/12 + t**3 - 7*t**2/2 - 3*t. Let b be l(5). Is b less than -4/5?
True
Let p = 0.33 - 0.33. Which is greater: p or 8?
8
Let i(r) = 3*r - 5. Let d be i(7). Let n = d + -29. Is -12 < n?
False
Let r(d) = -2*d + 4*d**2 + 0*d - 5*d**2 - d. Let q = 8 + -11. Let a be r(q). Are a and 1/4 non-equal?
True
Let z = -11 + 11.1. Which is smaller: 0.2 or z?
z
Let k be 10/2*(-6)/15. Suppose 0*q - q - 2 = 0. Is k > q?
False
Let u = -12 - -18. Which is smaller: -1 or u?
-1
Let h = 236/11 + 331/22. Are 37 and h equal?
False
Let l(m) = -1. Let u(y) = -3*y - 7. Let g(d) = 4*l(d) + u(d). Let f be g(0). Which is smaller: -1/4 or f?
f
Let i = 4 + -7. Let t = 0.2 - -0.2. Let f = -0.5 + t. Which is smaller: f or i?
i
Let x be 3*4/(-126)*3. Let t(k) = k**2 - 2*k - 3. Let o be t(3). Let n be 0/(o + (0 - 2)). Is n at least x?
True
Suppose 5*r + 4*s + 7 = 0, -3*s - 6 = 2*r + 1. Suppose -l + 0 = -r. Which is smaller: -24 or l?
-24
Suppose -5*i = -3*o - 0 + 10, -o + i = -2. Let r(p) = p**3 + 7*p**2 - 2. Let y be r(-7). Let k = y - o. Which is bigger: -3 or k?
k
Let j = 3.3 - 3. Let b = -3.2 + j. Let v = 3 + b. Is -0.3 != v?
True
Let r = -0.183 - -0.157. Which is greater: r or -2/7?
r
Let b(h) = -h**3 + 16*h**2 + 18*h + 20. Let t be b(17). Which is smaller: t or 38?
t
Let u(w) = -w**2 + 3*w + 4. Suppose 3*p - 13 = -1. Let v be u(p). Is v >= 2/3?
False
Let w = -14 - -12. Let v = 2.1 + w. Is v at least as big as 2/9?
False
Let v be 1*3*(-16)