ot equal to 1?
True
Let v be 1/(-2) + (-2)/(-6). Let t(f) = 3*f + 5. Let z be t(-4). Let q = z - -8. Which is smaller: q or v?
v
Suppose 0 = -5*g - 4*a + 291, 2*a = 4*g - 116 - 122. Which is smaller: g or 58?
58
Let i(s) = s + 5. Let j be i(-6). Let f be (1 - (j - -2))*-1. Which is greater: 1/2 or f?
1/2
Let x = -2/9 + -5/18. Which is smaller: x or -1?
-1
Let f be (-6)/(-8) - 4/(-16). Let a be 5/(-21) - f/(-3). Is -1 less than a?
True
Let v = -25/4 + 217/36. Suppose 0 = -4*s - 2 - 2. Are v and s equal?
False
Let s = -102 + 149. Let i = s + -31. Suppose f - i = -f. Which is bigger: f or 7?
f
Let z(v) = v + 6. Let p be z(-7). Let j = p - -6. Let m = 4 - j. Is m > -1/2?
False
Let d = -2.2 - -2.3. Is -2 greater than or equal to d?
False
Suppose 11*a - 4 - 7 = 0. Is 9/10 not equal to a?
True
Let u be (-6)/(-12) - (-2)/(-8). Let r be 0/(-2)*2/4. Suppose r = 5*j - 5. Which is greater: j or u?
j
Let f be 4/(-12) - (-7)/3. Let k be (-4 + f)*3/(-2). Suppose 0 = q, -3*b + 0*q + 12 = -q. Is k less than b?
True
Suppose 15*c - 11*c - 37 = -3*m, 0 = -3*m - 2*c + 35. Is m equal to 8?
False
Let b = 0 - 0. Is 1 less than b?
False
Let g = 35 - 35. Are 19 and g equal?
False
Let q = -11 - -6. Let k(z) = -z**2 - z - 3. Let h be k(-2). Are h and q nonequal?
False
Suppose 3*y + 16 = 4*c, 2*y + c - 2*c + 9 = 0. Let m be (-78)/42 + (-1 - y). Is 2 not equal to m?
True
Let x be 4/6 - 5/3. Which is bigger: -2 or x?
x
Suppose 0 = 5*t + 2 - 12. Suppose t*g + 1 - 5 = 0. Let a(n) = -n**3 + 5*n**2 - 2*n - 5. Let v be a(4). Is v equal to g?
False
Let w(c) = c**2 + 11*c + 12. Let l be w(-8). Let n be (-2 - -5)*20/l. Let m be n - (0 - (1 - -1)). Is -3 greater than or equal to m?
True
Let a = -67/806 - -3/26. Which is smaller: a or 0?
0
Suppose 62 + 18 = -8*a. Is a > -14?
True
Let q be -5*(4 - (-176)/(-90) - 2). Which is greater: q or -1?
q
Suppose 3*f = 5*x + 6*f + 21, 5*f - 15 = 0. Which is smaller: x or -7?
-7
Let t = 1.4 - 11.6. Let v = t - -10. Is v less than 1?
True
Let w(h) be the third derivative of h**6/20 + h**5/30 + h**4/8 + h**3/3 + 2*h**2. Let t be w(-1). Does -7 = t?
False
Let w(q) = 2*q - 3. Let f be w(4). Suppose -3*p - 2 = -4*l, f*l + p = 5 + 7. Let n be l - (-10)/4*-2. Does n = -3?
True
Let r = -86 + 108. Is r equal to 22?
True
Let u = -122 + 122. Let r be 14 + (0 - 1) + 0. Let k be (-2)/r*1 + u. Are 1 and k non-equal?
True
Let z(u) = -5*u**2 + 1. Suppose f + 2*k = -9, -f = -3*f + k + 7. Let q be z(f). Let x = -0.092 + -0.008. Is x != q?
True
Let w = 3.5 - 1.6. Let r = w - 1.97. Which is bigger: r or 1/2?
1/2
Let h = -414/295 - -12/59. Let y(m) = m**3 + 6*m**2 + m + 6. Let i be y(-6). Is h less than i?
True
Let k = 8 + -3. Suppose h + q = 9, -k*h + q + 9 = -3*q. Suppose h*x + 2 = -0*x + 2*g, -5*x = 3*g + 22. Is x at least -3?
True
Let j(w) = -4*w**3 - w**2 + w. Let r = -9 - -10. Let g be j(r). Suppose 0*h = 4*h - 4*m + 24, -2*m = -4. Does g = h?
True
Let k = -55581/163 - -341. Which is smaller: 1 or k?
k
Suppose 4*a + 2 = 2*a. Suppose 2*t = -4*u + 4, 0 = 4*u - 0*u - 4*t + 8. Suppose 0*c - 2*c - d = 0, -3*d = u. Is a at least c?
False
Let u = 14.3 + -14. Let l = u - 0.2. Is l > 2?
False
Let l be (24/(-32))/(1/(-12)). Let d be (2/10)/(30/50). Does d = l?
False
Let i(p) = p**2 - 20*p + 17. Let d be i(19). Let l = -398 + 2780/7. Is d not equal to l?
True
Let z = 0.041 - -0.959. Which is bigger: z or 0?
z
Let c = 1.04 - 1. Let f = -0.14 + c. Is f at least 7?
False
Suppose 7*t - 189 = -70. Is 0 at most t?
True
Suppose -2*m - 2*p + 25 = -5*m, -m - 2*p = -5. Is m equal to -5?
True
Let w = -0.4 - 0.6. Which is bigger: 0.5 or w?
0.5
Let v be (-48)/(-4)*1/3. Suppose v - 3 = y. Is 2/3 at least as big as y?
False
Let x be (114/25 - 4)*-5. Is x <= -4?
False
Suppose 0 = 3*d + 5*x - 5, 4*d - 4 = 4*x - 8*x. Let m be (3 + 35/(-10))/(23/(-4)). Is d smaller than m?
True
Let l = 17 - 3. Let h be (-46)/l - (-4)/14. Let p = -1 - h. Is 1 > p?
False
Let s = -3 - 7. Let x(q) = q**3 + 9*q**2 - 11*q - 12. Let y be x(s). Let o be y + 0 - (-22)/10. Is o > 0?
True
Suppose 4 = -4*f - 0, -3*r + 322 = 5*f. Are r and 109 non-equal?
False
Let c = 18 - 17. Are c and -1 nonequal?
True
Suppose 4*p - 15 - 5 = 0. Suppose p*i - 15 = -2*o, 0*i = -2*o + 2*i - 6. Do o and -1 have different values?
True
Let p = 10.3 - 10. Let q = 0.4 + 2.6. Let n = q + -2. Is n bigger than p?
True
Let o = 30 - 30. Let f be 1 + (-4)/(72/15). Is f < o?
False
Let j = -14 - -21. Suppose -4*v = -j*v. Let w be (1 + (0 - 2))*v. Is w >= 2/7?
False
Let a = -46 - -47. Which is bigger: -8/21 or a?
a
Let c = -4.9 - -5.1. Is -1/2 greater than or equal to c?
False
Suppose 4*i + 11 = -5. Let t be ((-6)/10)/((-42)/i). Which is smaller: 0 or t?
t
Suppose -3*g = -g + 2. Which is greater: g or 1?
1
Suppose -3*i - 2*n + 25 = -6*i, 0 = 5*n - 10. Are i and -7 unequal?
False
Let o be (42/(-49))/((-1)/7). Let y(b) = 2*b - 9. Let i be y(o). Is 3 at least i?
True
Suppose -2*t + a - 6 + 5 = 0, 2*a = 2*t. Let i be (-5 - t) + (-22 - -18). Which is greater: i or 0?
0
Let b(k) = 6*k - 3*k - 2*k - 3. Let n be b(4). Is -2/33 > n?
False
Let z(t) = -t + 2. Let u be z(3). Suppose 3*s + 12 = -4*y, -5*s - 12 = 3*y - 2*s. Is y at least as big as u?
True
Let n(i) = -i**2 - 6*i + 5. Let g be n(-7). Let k(l) = 2*l. Let u(r) = r**2 - 2*r - 4. Let s be u(3). Let m be k(s). Is g != m?
False
Suppose -12 = -3*v + v - 5*f, 2 = 4*v - f. Let m = 52 - 34. Let x be (-2)/(-6) + (-3)/m. Do v and x have different values?
True
Let u = -23 + 22. Which is bigger: u or 1/12?
1/12
Suppose t + 0*t + 1 = 0. Let a be 1*-9 - (-2 - -3). Let x be (-15)/a*(-8)/102. Which is smaller: t or x?
t
Let q = 0.2 + -0.4. Let p = q - -0.4. Let u = -0.6 + 0.5. Which is smaller: u or p?
u
Let p(w) = w**3 + 7*w**2 - 1. Let v be p(-7). Let q = -1 + 2. Let a be (-168)/(-82) - 2/q. Do v and a have the same value?
False
Let l = -1 - 0. Let h be 2*6/(-4) - l. Which is greater: -3 or h?
h
Suppose i - 4*h + 1 = -5*h, i = 5*h - 19. Let b(c) = -c**2 - 6*c - 3. Let w be b(i). Suppose 0 = -2*r + w*r. Which is bigger: r or 2/15?
2/15
Let v be (12/9)/((-2)/9). Let w = v - -4. Let u be 0 + (w - -2)*-1. Is u less than 0?
False
Let y be 4/(-1) - (3 + -7). Suppose y = 5*x + q - 29, q = -4*q + 20. Is 4 equal to x?
False
Let f = 6.13 + -0.13. Let g = -6 + f. Is 0 smaller than g?
False
Let j be (-1)/((80/(-6))/4). Let l = 1/5 + j. Is 0 at most as big as l?
True
Let h = -12.4 + 9. Let a = -3 - h. Let c = -0.6 + a. Are c and 1 equal?
False
Let c = 44 - 38.9. Let i = 5 - c. Is -2 less than or equal to i?
True
Let t = -10 - -11. Let u = 0.2 + -2.2. Which is greater: u or t?
t
Let f = 61/114 + -2/57. Let m(d) = -2 + 4*d - d - 2*d. Let k be m(3). Which is smaller: f or k?
f
Let p = -0.26 - -2.26. Does 17 = p?
False
Let h = 6/37 + -47/518. Let d be 2/2*2/(-2). Do d and h have different values?
True
Let s(u) be the second derivative of -u**4/12 + u**3/6 - u**2 + u. Let v be s(2). Let m be 2 + v/26 - 2. Is m < -1?
False
Suppose -3*d = 2*d. Let v be (-18)/45 - 47/(-5). Suppose m - 16 = -0*b + 3*b, d = -m - 2*b - v. Which is bigger: 2 or m?
2
Let w be (-1)/(1/(0 + 1)). Let d = -45 - -44. Do w and d have different values?
False
Let i(o) = -o**3 + 4*o**2 - 4*o + 3. Let u(z) = -z**2 + 8*z - 9. Let v be u(6). Let s be i(v). Let w = -34 - -33. Is s > w?
True
Let l = 38 - 11. Suppose 2*d = -d - l. Is -8 greater than or equal to d?
True
Suppose 0 = -s - 2*q - 5, 0 = 3*q - 2*q + 4. Suppose -s*g = -4*g + 2. Let m = 2 - g. Is m not equal to -2?
True
Let o = 26 + -26.1. Is 0 at most as big as o?
False
Let n = -6 + 7. Let k be (-44)/(-56) + n/(-2). Which is smaller: k or -5?
-5
Suppose 8 - 4 = 4*p. Let r be p/(1/(-3)) + 3. Is r > -3?
True
Suppose -11 = -g - 2*k, 2*k + 0 - 6 = 0. Let l(a) = -a + 7. Let t be l(g). Let r be t/(-6) + 9/(-27). Which is smaller: r or 0?
r
Let h = -0.12 - -0.06. Let p = 0.04 - 0.12. Let j = h - p. Is 0 >= j?
False
Let w = -2 - -1. Let v = 0.045 - 0.025. Which is smaller: w or v?
w
Let f be (-16)/24 + (-872)/(-1290). Let b = f - 436/645. Which is greater: b or 0.08?
0.08
Let a = 5 + -4. Let v = -730/9 + 81. Is v less than a?
True
Let u(h) = -h**2 + 10*h + 23. Let s be u(12). Which is bigger: s or 3/19?
3/19
Suppose 4*i - 114 = 3*o, 4*o - i = 56 - 221. Let q = 292/7 + o. Which is smaller: 4 or q?
q
Let r = -53 + 370