
Let k = 16 - 23. Let v = 2/5 + -9/10. Is v greater than or equal to k?
True
Suppose -3*d + 11 = 5*j, 3*j = -2*d + d + 5. Which is smaller: d or 3?
d
Let i(a) = a**2 - 4*a + 3. Let s be i(2). Is s smaller than -1?
False
Suppose m - 2*c - 13 = 0, 5*m - c + 0*c = 56. Do m and 12 have the same value?
False
Let v be 1*3 + 0/(-1). Let q(s) = -s**2 + 4*s + 7. Let i be 6/4*30/9. Let m be q(i). Is m < v?
True
Let i = 1 - 2. Let f = i + -2. Let c be (-2)/(2/f - 0). Do c and 3 have the same value?
True
Suppose -5*t = -t + w + 5, 5*t = w - 4. Is -1 less than t?
False
Let n be (-2)/(-10)*(-10 + 8). Which is bigger: n or 0.7?
0.7
Let w = 0.3 + -0.2. Let d = -14 + 8. Is w != d?
True
Suppose -4*r - 3*h = 4, -3*r - h = 2 - 4. Suppose n - 2*n + 5*o - 4 = 0, 5*o = -r*n + 7. Which is bigger: -2/7 or n?
n
Let y = 3 - 1. Suppose y*l - 35 = 9. Suppose -3*c - s - 7 = 0, 2*c + s + l = -4*s. Is -2/9 != c?
True
Let m = -5 - -8. Suppose -3*f - 4 - 5 = -3*t, 0 = 2*f + m*t + 6. Is -4 at most as big as f?
True
Let u = 18 + -7. Which is bigger: u or 12?
12
Let r be (-42)/(-22) + (-1 - 1). Let q be (-66)/88 - (11/(-4) - -1). Which is bigger: r or q?
q
Let c = 0.07 - 0.17. Is c greater than or equal to 39?
False
Let p be 34/24 + (64/(-12))/8. Is p at most as big as 3/5?
False
Suppose 0 = 4*d - 3*d - 1. Is d at most as big as 2?
True
Let c(q) = -q**2 - 8*q - 6. Let m(s) = s - 7. Suppose 3*x = 4*x. Let z be m(x). Let u be c(z). Which is bigger: -2 or u?
u
Let t(p) = 2*p**3 + 3*p**2 + p + 2. Let i = -8 - -4. Let g be (4 + -1)/(6/i). Let l be t(g). Are l and -3 equal?
False
Let k = -3.93 - 0.07. Let q = k - -2. Are 2 and q non-equal?
True
Let v be 21/((2 - 0)/(-2)). Suppose l = 4*w - 34, -17 + 36 = -l - w. Is v at most as big as l?
False
Suppose -5*k + 3*l = 34, 0 - 26 = 2*k + 5*l. Which is bigger: k or -20/3?
-20/3
Let k be 1/(-2) + (-1)/(-4). Let c(h) = -h**2 - 3*h + 4. Suppose 0*y + 3*y - 5 = 5*v, 2*v - 2*y = 2. Let w be c(v). Is w at least k?
True
Let q be (-3)/(-5) + 18/45. Is -1/4 less than q?
True
Let i(f) = -2*f + 15. Let v be i(13). Which is bigger: v or -10?
-10
Let z(s) = s**2 - 14*s + 8. Suppose 2*w = 6, -20 - 1 = -5*l + 3*w. Let a be z(l). Let o be a/18 - (0 - 2). Is o > -1?
True
Let w be 3 + -6 - -2*3. Let v be (-215)/w*(-6)/(-8). Let p = -54 - v. Which is smaller: -0.1 or p?
p
Suppose -w - 37 = -9. Is -28 < w?
False
Let l = -25 + 26. Which is smaller: l or 7?
l
Let q = -4 - -3.8. Which is bigger: 3/10 or q?
3/10
Suppose -11*l + 16*l - 245 = 0. Is l less than 49?
False
Let o = -129/5 + -27/10. Let q = -509/18 - o. Which is bigger: q or 0?
q
Let t = -22420/29 + 773. Are -1 and t nonequal?
True
Let b(c) = -c**3 + 10*c**2 + 11*c. Let s be b(11). Let g = 32/273 + -6/91. Which is bigger: s or g?
g
Let z = -66 - -328/5. Are -28 and z non-equal?
True
Let q be 4/(-4) - (-396052)/(-4642). Let l = -240/211 - q. Let p = l + -85. Which is greater: 1 or p?
1
Let w(n) be the second derivative of n**5/10 + n**2/2 + 3*n. Let r be w(1). Let p(a) = -a**3 + 3*a**2 + 2*a - 3. Let q be p(r). Are q and 5 equal?
False
Let q be (1/6)/(6/(-27)). Suppose -w - 4*w + 5*x + 5 = 0, 2 = 3*w - 4*x. Let i = -2 + w. Which is greater: q or i?
i
Let a be ((-9)/(-18))/(2/20). Suppose 3*z = a*z - 2. Which is bigger: z or 2?
2
Let p = 17 - 15. Which is smaller: 1 or p?
1
Let v = -154/3 + 3844/75. Which is greater: v or -1?
v
Let p = 0 + 3. Suppose -3*i + 4*i = 2*l + 7, 4 = -p*i + l. Is i at least -3?
True
Suppose -4*q = 5*j + 34, -q - j = -5*q - 22. Which is bigger: 8 or q?
8
Let p = -421 - -421. Let h be (3 + -1)*(-1)/23. Is h less than p?
True
Let t(r) = r**3 + 5*r**2 + 4*r - 4. Let m be t(-4). Let n = -5 + 0. Are n and m equal?
False
Suppose -4*n + 7 = -1. Let j be -3*-2*n/84. Suppose 3*d - 8 + 5 = 0. Is d not equal to j?
True
Let c be (-1)/(-1)*(-8)/10. Let v = -49 + 48. Are c and v equal?
False
Suppose w - 4*w - 27 = 0. Let q be w/6*6/(-9). Suppose -p = -0*p. Is p greater than q?
False
Let p = 20 + -7. Let k = -43/3 + p. Which is bigger: k or -2?
k
Let z = 5 - 5.3. Let n = 4.44 - 4.44. Do z and n have different values?
True
Let i = 17 - 9. Let l = i - 8. Let r be (-1)/2*6/5. Do r and l have the same value?
False
Let y(v) = -11*v + 5*v - 11 - v**2 - 3*v. Let r(u) = -2*u**2 - 7*u - 4. Let o be r(-4). Let j be y(o). Are j and -3 equal?
True
Suppose 3*c + 7 = 3*b + 4*c, 0 = 4*b + 2*c - 12. Which is bigger: 2/7 or b?
b
Let r(x) = 9*x + 9. Let c be r(-8). Let f = -11 - -5. Let l be f/c*(4 - 1). Which is greater: -1 or l?
l
Let t(h) = h**2 - 6. Let n(b) = b - 1. Let j(r) = 5*n(r) - t(r). Let s be j(5). Which is bigger: -0.1 or s?
s
Let t(w) = w + 13. Let x be t(-6). Let p be (-7 + 2 + -2)/1. Let b(z) = z**3 + 8*z**2 + 6*z - 1. Let n be b(p). Is n less than x?
True
Suppose 5*w - 5 = -4*h - 3, -3*w + h + 8 = 0. Let b = w + 1. Suppose 0 = b*m + m. Are 0.1 and m unequal?
True
Let u be 6/21 + (-18)/14. Let c be 2/(-15)*6/(-4). Which is bigger: u or c?
c
Suppose a + 0*a + 4*j = -15, 0 = -j - 4. Let l be (6/4)/(78/(-8)). Are a and l nonequal?
True
Suppose -m = 5, -2*b = -3*b + m + 6. Let i be -2*(-1)/6*b. Let v = -4188/13 - -322. Which is bigger: i or v?
i
Let d be (7 - 1)/(15/(-90)). Is d less than -0.1?
True
Let w = -12 - 22. Are -35 and w nonequal?
True
Let p = 1.89 + -0.09. Let b = -2 + p. Which is bigger: 1 or b?
1
Let h = 116/495 + 14/45. Is h not equal to 2?
True
Suppose -2*u = 4*k - 3*k - 10, -3*k + 5 = u. Suppose -4*j + 3*a + 20 = 0, 5 - 23 = j + u*a. Are j and 3 non-equal?
True
Let x = -9.9 + -0.1. Let t = x + 3. Let o = 5 + t. Is o bigger than 0.1?
False
Let w(d) = d**3 - 3*d**2 + 2. Let r be w(3). Let g(t) = -t**3 + 3*t**2 + 2*t + 2. Let k be g(3). Suppose -8 = -4*s + k. Is s at most as big as r?
False
Let d = 1.5 + -1. Let p = d - 1.5. Let m = -0.08 + -2.92. Which is greater: m or p?
p
Let m = -4.17 + 4. Let g = -0.07 - m. Is g greater than 1?
False
Let p = -1 + 3. Suppose -7*t = -2*t + 30. Let s = t - -8. Is s at most as big as p?
True
Let y = 20 + -5. Which is bigger: 0.2 or y?
y
Let w be -6 - -6 - ((-1)/(-6))/(-1). Which is greater: w or -2/5?
w
Let t be 3/6*0 + -9. Are -11 and t nonequal?
True
Let w be ((-33)/9 + 4)*-1. Let j(s) = -s**3 - 6*s**2 - 6*s + 7. Let u be j(-5). Suppose 2*k + 4*b + u = -2*k, -8 = 2*b. Is k <= w?
False
Let d = -5 - 0. Let z = -553 - -549. Is d less than z?
True
Let u be (32/(-6))/(-4)*15. Let b be 6/(-15) + u/(-75). Which is bigger: -2 or b?
b
Let x(d) be the first derivative of -d**4/4 - 5*d**3/3 - 2*d**2 + 1. Let r be x(-4). Is r less than -0.04?
False
Let m(p) = p**3 + 6*p**2 - 6*p + 7. Let h be m(-7). Let r be 2 - (-3)/15*-9. Are r and h unequal?
True
Let a = -15 + 11. Let h = 4 + a. Is h > -2/3?
True
Let q be 105/(-10) - 1/(3/6). Which is smaller: q or -12?
q
Let s(p) = p**2 - 10*p + 8. Let r be s(9). Let d = 35/114 + 1/38. Which is greater: d or r?
d
Let w = -29.5 + 28.9. Let x = 0.9 - -0.1. Let s = 1 - x. Which is bigger: s or w?
s
Let z = -0.43 - -2.43. Which is smaller: z or 9?
z
Suppose 0 = -5*z + 19 + 1. Let p be (-1924)/(-16) - 1/z. Let i be p/(-54) + (-4)/(-2). Which is greater: i or 0?
0
Let i = 7 + -1. Let b be (-2)/i + (-2)/12. Is -1 less than or equal to b?
True
Let q(u) be the second derivative of -3*u**5/20 - u**4/6 - u**3/6 - 3*u. Let m be q(-1). Suppose -5 = m*w - 7*w. Which is smaller: 1/5 or w?
1/5
Suppose 2*w - 4 - 2 = 0. Suppose 4*m + 0*k - 4 = -2*k, 13 = -m + w*k. Which is greater: m or -2?
m
Let c = 0.07 - -0.73. Which is bigger: -0.3 or c?
c
Suppose j - 95 = 3*h - 8*h, 64 = 3*h + 2*j. Let c be (-3)/(-12)*6*h. Let u = c + -55/2. Do -2 and u have the same value?
False
Let b be (-6)/4 - 7/(-14). Which is greater: b or -1/21?
-1/21
Let f(x) = x**3 + 2*x**2 - x - 4. Let q be f(-3). Which is smaller: q or -11?
-11
Suppose m + 6 = -m. Let w(b) = -b**2 - 3*b. Let y be w(m). Let l = 113/55 - 16/11. Is l bigger than y?
True
Let q be 2/5*1/(-4). Let u(x) = x**3 - 6*x**2 + x - 6. Suppose 12 = -4*i + 6*i. Let f be u(i). Does q = f?
False
Let g = -20 - -19.7. Do g and 1/4 have different values?
True
Let s be (-136)/70 + (-4)/(-2). Let b be ((-4)/(-2))/((-8)/52). Let y = b - -14. Which is bigger: s or y?
y
Suppose 2*x - 4 = 4. Suppose 16 = x*j + 4. Which is bigger: j or 2?
j
Suppose -2*s + s + 4*r = -22, 3*s + 3*r + 9 = 0. Suppose -7*f + 32 = -3*f. Supp