3
Let t = 10 - 10. Suppose 2 = 4*v + 22. Let c be ((-4)/v - -1) + -2. Is c less than t?
True
Suppose 0 = -n - 2*n. Suppose n = -0*x - 2*x. Is 2/11 greater than x?
True
Suppose 5*y = -15, 5*y + 38 - 7 = 2*h. Do 11 and h have different values?
True
Let t be 66/6 - (2 - -2). Are 25/4 and t unequal?
True
Let i = -0.1 + 0.2. Let c be (-16)/(-136) + 185/17. Is i greater than or equal to c?
False
Let l be 8/15*6/(-8). Let t = 12 + -13. Which is smaller: l or t?
t
Let n = 4 + -10. Let f be (-52)/n - 1/(-3). Is 9 < f?
False
Suppose 0*t = -t + 5. Suppose 0 = t*q + 8 - 3. Let g be ((-3)/6 + 1)*0. Does g = q?
False
Let k be 6/(-2)*2/(-8). Let i be (-1 - -1)/(9 - 13). Which is greater: i or k?
k
Suppose 3*m = m + j + 25, 0 = m - 2*j - 17. Which is smaller: m or 1?
1
Let z(b) = b - 3. Let f be z(3). Let p be 0 + (-6 - -1 - -2). Let g be (p/21)/(1/3). Which is smaller: g or f?
g
Let f = 1444/2739 + -17/33. Let a be (-1)/996*79*3. Let i = f - a. Is 0 less than i?
True
Let f(m) = -m**3 - 5*m**2 + 4. Let w be f(-5). Let t be w/(-18) + 250/315. Which is bigger: t or -0.1?
t
Let w(p) = p**3 - 2*p**2 - 3*p - 1. Let v be w(3). Which is bigger: v or -1/11?
-1/11
Suppose -k + 6 = -2. Let d(i) be the second derivative of i**4/12 - 7*i**3/6 - 2*i**2 + 2*i. Let c be d(k). Which is greater: c or 5?
5
Let n be (-5)/((-1 - -3) + -1). Let h(o) = -o**2 - 6*o - 6. Let x be h(n). Is -2 bigger than x?
False
Let m(f) = 53*f + 0 - 1 - 54*f. Let k be m(-1). Is k smaller than -2?
False
Suppose m + 0*m = -2*x + 10, -4*x = 5*m - 26. Suppose 0 = -2*g - o - 4*o + 14, g - 20 = x*o. Is 12 equal to g?
True
Let s = 1.53 + -1.8. Is s != 0?
True
Let d be (-2)/1 + (-92)/(-52). Let a = d + 22/39. Is 1 greater than or equal to a?
True
Let d be (-656)/(-36) + 2/(-9). Which is smaller: 17 or d?
17
Let r = 0.13 + -0.03. Let x = -0.1 + 2.7. Let m = x - 0.6. Which is smaller: m or r?
r
Let k = -0.071 - -3.771. Let g = k + -4. Is 0 at most g?
False
Let k(u) = -u + 8. Let o be k(9). Which is greater: o or 2/5?
2/5
Let j = 3 + 0. Let s be -1*6/(-36)*2. Which is bigger: j or s?
j
Let n = 0.3 - 0.4. Let z = 0.18 - -0.22. Which is bigger: z or n?
z
Suppose 10 = 3*a - 2. Let q be a - 22/20*6. Which is greater: -4 or q?
q
Let v = -47 + 24. Let q = -2238906/96505 - 2/19301. Let o = q - v. Does o = -1?
False
Let j(z) = 6*z + 1. Let s be j(-1). Let h(k) = k**2 + 6*k - 3. Let b be h(s). Let o = -8 - b. Is 3/4 at least o?
True
Suppose q = -2*m - 4 + 6, 6 = -3*q. Let y be (-1 - 0)/(m/(-4)). Let d be (1/6)/(y/(-4)). Are 0.1 and d equal?
False
Let h = 39 - 36. Which is smaller: -0.4 or h?
-0.4
Let o be 26/12 + (-6)/4. Let c = 29 + -31. Which is bigger: c or o?
o
Let i(k) be the third derivative of -k**6/120 - k**5/10 + k**4/24 + k**3 + 4*k**2. Let y be i(-6). Is y at least as big as -1/7?
True
Let g = -0.42 - 42.58. Is g at least -1?
False
Let f = -107 - -108. Is f less than 0.4?
False
Let a(r) = r + 1. Let q be a(-1). Is -1/9 at least q?
False
Suppose 3*q + 7 = -5*g - 3, -5*q + 45 = -4*g. Which is smaller: 6 or q?
q
Let z = 0 + 0. Let h = -0.1 - 0.9. Let t = z + h. Which is greater: 0.1 or t?
0.1
Suppose -2*s - 4*i = 12, -2*s - i + 0*i = 9. Let b = 2 + s. Let r = 3 + -5. Is b at most as big as r?
True
Let q(w) = -w + 18. Let j be q(0). Suppose 3*p = -3*b + j, 0 = -3*b + 5*p - 3 - 3. Suppose 3*l = 3*f + 21, 0 = -5*l - b*f + 3. Is l <= 2?
False
Let p = -34 + 33. Is -2/65 at least p?
True
Let x(o) = -2*o - 9. Let v be x(-7). Suppose 0 = -2*w - 0*w - 3*t - 1, 0 = v*w + t + 22. Are w and -4 non-equal?
True
Let k(d) = -d + 1. Let y be k(-1). Let g be (-4 + 1)/(3/y). Suppose -4*b - 3*q + 0 = 11, 3*b + q = -7. Is g < b?
False
Let o = 5.2 - 0.2. Let m = 5.06 - o. Let c = -0.04 - m. Is c less than or equal to 1/2?
True
Let r = -1.2 + 1.34. Let o = 0.04 - r. Which is smaller: 0.1 or o?
o
Let d be 12/5 + 2/(-5). Let f(h) = -h**3 - h**2 + 2*h + 3. Let n be f(-2). Suppose -n*q + 6 = 3. Are d and q nonequal?
True
Let r be (-39)/5*(-76)/12. Let o = r + -49. Is o smaller than 1/2?
True
Let s be 8/80 - ((-6)/(-4))/3. Which is smaller: s or -15?
-15
Let s(r) be the first derivative of -r**4/4 + 2*r**3 - r**2/2 + 7*r - 2. Let a be s(6). Which is greater: 3/8 or a?
a
Let i = 4 - 2. Suppose -12 = -i*f - 0*f. Suppose -2 = -2*y - f. Which is greater: -3 or y?
y
Let l(c) = -c. Suppose -5*a - 8 = -a. Let g be l(a). Suppose -4*y + 2 = -g*y. Is 1 > y?
False
Let f be 4/((-352)/214)*6. Let b = 29/2 + f. Is b greater than 0?
False
Let o = -6.6 + 3.6. Which is smaller: o or 2?
o
Suppose -6 = -5*y + u + 3, u = -4*y + 9. Is y > 2?
False
Let w = 0.2 + -0.3. Which is bigger: -0.06 or w?
-0.06
Suppose 0*j = -7*j + 7. Suppose -6*h + 5*h - 5 = i, -2*h - 10 = 3*i. Do j and i have the same value?
False
Let u be (-7)/4*(-3 + -9). Let w = 17 - u. Which is smaller: -0.1 or w?
w
Let h be (-4)/2*2/6. Let v(i) = i**2 - 4*i + 1. Let u(m) = m**2 - 4*m + 2. Let k(n) = 4*u(n) - 5*v(n). Let q be k(5). Which is greater: h or q?
h
Suppose 7 = -k + 8. Suppose -3 = 3*z + 2*d - 5*d, 4*z - 2*d = 2. Suppose z = p - 0. Which is smaller: p or k?
k
Suppose -m - 3*p - 7 = -0*m, 0 = 3*m - 3*p - 3. Let j = 35 - 456/13. Is j > m?
True
Let n = 38 - 48. Is 3 >= n?
True
Let q be (1 - 3) + -1 + 9. Suppose 3*v - 3*t + q = 0, 3*t - 10 = -v - 2*t. Which is greater: 2 or v?
2
Let a be 24/(-9) - -3 - (-10)/15. Is -1/83 less than or equal to a?
True
Let f = -4.371 - -0.071. Let u = -4 - f. Let p = -1.3 + u. Which is bigger: p or -1/5?
-1/5
Suppose 0 = 4*x + 3*t - 5, 0 = -3*x - 0*t - 4*t + 9. Let g(r) = r**2 - r + 1. Let z be g(2). Suppose 4*j - 3*f - z + 1 = 0, -f = -j + 1. Are j and x nonequal?
False
Let p = 145/2 - 661/10. Is p smaller than 5?
False
Let c = 7/67 - 479/737. Which is bigger: -2 or c?
c
Let r be (0/(-3))/1 - 0. Is r not equal to 2?
True
Let k = -76 + 77. Is k > 2/37?
True
Let h(k) = 2*k**2 + k. Let q be h(1). Suppose q = -2*g + 13. Let x = g + -4. Is x < 0?
False
Let q be (-16)/(-10) - (-12)/30. Are q and -2 nonequal?
True
Let u be (-2 - 2)/((-5)/65). Which is greater: u or 105/2?
105/2
Let b = 0.9 + 0.1. Let u(f) = f**3 - 5*f**2 - 4*f - 14. Let q be u(6). Is q > b?
False
Let x(i) = 28*i**3 - 2*i**2 + 1. Let j be x(1). Is 27 < j?
False
Let p be -1 + (-3 - 609/36). Let u = p + 21. Is u at most -1?
False
Let v = 0.11 + -2.11. Let r = 9 - 5. Let p = v + r. Is p smaller than 1?
False
Let q be 0/3*2/(-2). Let d = -361 + 4691/13. Which is smaller: d or q?
d
Let p = -0.98 - 0.02. Let z = p + 1.1. Let c = 0.1 - -0.1. Which is greater: z or c?
c
Suppose -2*p - 36 = 4*g, -5*p - 30 = -4*g - g. Let s = p + 6. Let b = 4 - 7. Which is bigger: s or b?
b
Let l be 3 - -1*(-10)/4. Which is bigger: l or -1?
l
Let s be 4/8*-2 + 37*-1. Is -38 less than s?
False
Let g be (2 + (-1 - -1))/(-2). Let k = -2 + g. Is k at least as big as -5?
True
Suppose -g = -5, 6*a + 30 = a + 4*g. Let j(o) = -o**3 - o**2 + 4. Let b be j(0). Suppose b*r = -4*h + 2*h - 12, 0 = -h - 5*r - 12. Is a less than or equal to h?
True
Let h be (352/(-110))/((-4)/(-70)). Which is bigger: -54 or h?
-54
Let z = -0.21 - -0.31. Let o = -2.92 - -3. Is z at most o?
False
Let b(o) = o**2 - 11*o + 7. Let i be b(10). Is i not equal to -2?
True
Let r be 6/(-4)*(-4)/6. Let f be (2/r - 3)*1. Are -3/2 and f unequal?
True
Let m(l) = l**3 - 5*l**2 - 7*l + 3. Let z be m(6). Which is smaller: -2 or z?
z
Suppose -4*c - 22 = -2*c. Let r be (-2)/(-1)*c/110. Let l be ((-4)/(-6))/(10/(-15)). Is l less than r?
True
Let c = -5.6 - 3.4. Is 2 not equal to c?
True
Let u be 1/(-2) - 220/40. Which is bigger: u or -4?
-4
Let q be ((-9)/8)/((-3)/4). Let n be (-16)/(-20)*(3 - (-3)/(-6)). Which is smaller: n or q?
q
Let g = 0.26 - 4.26. Which is smaller: g or -0.3?
g
Suppose -5*u + 3 = 13. Is u at most -5?
False
Let y = -19847/49 - -405. Is y greater than or equal to 0?
False
Let n be (14/8)/(2/8). Which is smaller: n or 0?
0
Let f = -1 - -1.1. Let s = 17.9 - 18. Is f bigger than s?
True
Let h = -6 + 4. Let k be h/(-8) - (-11)/(-60). Which is greater: 0 or k?
k
Let g be (-10)/(-16) - 3/6. Let k be (4/(-6))/((-4)/(-18)). Let w be k*1/9*3. Which is smaller: w or g?
w
Let g(r) = r**3 + 5*r**2 + r + 4. Let b be g(-4). Is b at most as big as 16?
True
Let k be ((-2)/(-4) + -1)*-22. Is 88/9 > k?
False
Let o(w) = -w**2 + 9*w. Let b be o(9). Let x be 15/35 + b + 