 11. Let c be x(3). Suppose 5*v = c - 1. Is 11 >= v?
True
Let w = -32 - -30. Let x = w + 1.9. Suppose -i + 21 = 2*i. Which is greater: x or i?
i
Let f = 2.8 + -3. Let y = 19429 + -19455. Which is greater: y or f?
f
Suppose -7*r = 105 - 14. Is -3/10 equal to r?
False
Suppose -2*l + 11 = -0*r + r, 3*r - l = 33. Suppose 0 = 2*u - z + r, 3*z - 5 = u + 2*z. Which is smaller: -9/2 or u?
u
Let j = -17 + 25. Suppose -3*b = 5*b + j. Is b less than or equal to -1/36?
True
Let f be ((-5)/(-440))/(60/(-16)). Does f = 0?
False
Suppose 3*k = 4*k + 2. Let l be (-56)/(-10) + (-4)/(-10). Let x = k + l. Which is smaller: x or 3?
3
Let l = -38 + 38. Suppose 4*q = 5*f - 9 + 2, -q = -5*f + 13. Let x be (8/(-20))/(l - q). Which is bigger: x or -1?
x
Let q be 2500/(-626) - ((-12)/(-4) - 7). Which is bigger: q or -1?
q
Let x(w) be the first derivative of -w**3/3 + 4*w**2 - 15*w - 5. Let y be x(5). Which is greater: y or 1/7?
1/7
Let d be (1 - 28/20) + 6514/10. Let t be (-237)/d + 21/49. Is 0.3 greater than t?
True
Let k = 11 + -10.6. Let p = k + -0.45. Which is bigger: -0.1 or p?
p
Suppose -7*l - 5549 = 24*l. Is -179 >= l?
True
Let n = 1424.06 + -1424. Which is bigger: n or -0.2?
n
Let n(d) = 126*d + 119. Let k be n(-2). Is k at most as big as -133?
True
Let u be (-4)/(-1) + -1 + -4. Which is bigger: 3/7 or u?
3/7
Let q = -461 - -461. Is 13/40 at least as big as q?
True
Let m = 0.225 - -0.225. Is 0.1 less than or equal to m?
True
Suppose n - 22 = 4*o, -2*n + 14 = -o - o. Suppose 5*r + 105 = -2*a - n*a, -r - 3*a - 21 = 0. Is r > -22?
True
Let y be -2 - 95*(-30)/(-21). Let u = -138 - y. Is u not equal to -13?
True
Let v = -104.118 - -0.118. Let s = -104 - v. Is 2/3 greater than s?
True
Let y be (-1)/((-15)/9 + 2). Let u be (0/(-2))/(7 + y). Suppose 14 = -2*v - u*v. Which is bigger: -6 or v?
-6
Suppose -2*r - r - 12 = 0, 2*v - 20 = 5*r. Is 8/251 != v?
True
Suppose 686*m + 30 = 671*m. Let f = 61 - 56.7. Let x = -0.3 + f. Is x less than or equal to m?
False
Let h = 6 - 5. Let m be (1/(-1))/((-1)/h). Let l = 728 + -726. Is m less than l?
True
Let o = 185.3 - 198. Let c = o - -12.6. Is -34 at least c?
False
Suppose 53 = 3*o + 5*c, -2*c - 33 = -2*o - 3*c. Let q = 7 - o. Let p(v) = -v**2 + 25*v - 30. Let m be p(24). Is q < m?
True
Let d = -4 + 1. Suppose 4*b + 10 = -3*l, l + 4*l - b = 14. Let r be (l/8)/(20/(-176)). Which is bigger: d or r?
r
Let l = -209197/3010 - -1/1505. Let a = -663/10 - l. Which is bigger: a or 4?
4
Let q be -173*(-57)/(-38556) + 14/49. Let g = -1/459 + q. Are g and -1 equal?
False
Let v be (-26)/(-65) - (-16)/10. Suppose -2 + 4 = -5*g - 2*j, 4*j + 4 = v*g. Is -2/81 less than or equal to g?
True
Let m(h) = h + 16. Let j be m(-16). Let x = -50049/422 - 1/2110. Let n = x - -119. Which is smaller: j or n?
j
Suppose 5*i + 85 = r, 2*r + 4*i - 56 = 44. Let k be r/(-45) + (-61)/(-39). Which is smaller: k or 0?
0
Let t be 5 - 21/9 - 15. Which is greater: -12 or t?
-12
Suppose -2*b + t = -5*b - 8, -5*b + 5*t = 0. Let w = 1 + b. Let j be w + (0/3)/(-1). Are j and -2/11 nonequal?
True
Let j = 149 + -107. Let t = j - -6. Is t not equal to 50?
True
Suppose -3*g + 3*r + 45 = 0, -2*r = 2*g - 7*r - 42. Suppose -a = -c + 9, -3*c - a + 5*a = -25. Is c at most g?
True
Let m be (-2)/(-3)*39/20. Let u be 306/(-120) - (-3)/4. Let r = u + m. Is 2/15 less than or equal to r?
False
Let i be (-6)/(-5)*15/9. Suppose 0 = 3*q + i*u + 3, 1 = 2*q + 4*u + 3. Are 1/8 and q nonequal?
True
Let z be 3*(-4)/12*0. Suppose -10 = -z*h + 5*h - 4*j, 5*h - j = -25. Let m be (1/h*-9)/(-6). Do 0 and m have different values?
True
Suppose -2*t = 4, 8*g + 3*t = 5*g - 12. Let v = -27/2 + 49/4. Which is bigger: v or g?
v
Let t be -6 - ((-6)/8 - (-203)/116). Are -80/11 and t nonequal?
True
Let c(p) be the second derivative of -p**3/6 + 6*p**2 - 13*p. Let s be c(13). Which is smaller: -2/3 or s?
s
Let q be (-88)/(-6) + (-6)/9. Let f = 11 - q. Let c be (1/2)/(f/6). Which is greater: c or 1?
1
Suppose 10 - 65 = -5*d. Suppose 56 - 1 = d*n. Which is bigger: 4 or n?
n
Let d = 0.026 - 12.026. Let r = d - -10. Which is greater: r or -18?
r
Suppose 0 = -6*i + 4*i + 70. Is i at least as big as 34?
True
Let k = -3487/5 - -695. Let l be (2/4)/((-1)/2). Which is greater: l or k?
l
Let t(r) = r**3 - 4*r**2 - r. Let a be t(3). Suppose 0*l - 3*l - 36 = 0. Let o = l - a. Which is smaller: o or 1/6?
o
Suppose 4*b - 5*b = -2*t + 35, -4*b = -4*t + 124. Let h = -15 + b. Let n be (27/h)/((-1)/(-2)). Which is smaller: -1 or n?
n
Let c = 2.593 - 2.45. Is 1/4 >= c?
True
Let o(i) = 0*i**2 - 6*i**2 + 3*i**3 - 4 - 2*i**3 + 5. Let x be o(6). Let m be (3 - 20/8) + 0. Which is smaller: m or x?
m
Suppose 4*v - 353 = 3*x, 0 = -68*x + 70*x + 6. Is 0 less than v?
True
Let i(t) = t**3 + 6*t**2 + 5*t + 4. Let x be i(-4). Suppose -4*n - x = 3*v, 0 = -5*v + 6*v - n - 4. Let o = 4/51 + -46/153. Is v greater than o?
True
Let m = 49 - 28. Let p = -51 + m. Let w be 28/35*p/(-4). Is 6 >= w?
True
Let y be 533 - (-9 + 19 - 19). Is 544 less than y?
False
Let r = 1.67 - -0.13. Let y = r + -2. Which is bigger: 0.02 or y?
0.02
Let h be (-6)/(-9)*75/(-250). Which is smaller: 2.26 or h?
h
Let b = 0.146 + -317.146. Which is smaller: b or -0.3?
b
Let h(t) = 5*t**2 - 4*t - 24. Let j be h(-3). Is j greater than 36?
False
Let r be (1 + 2)/(-7 - 6). Does r = 9?
False
Let l = -23.4 + 22.29. Let b = 0.89 - l. Let v be (-2)/6 + (2 - -1). Is v > b?
True
Let p = 168 - 167.947. Is 0.1 bigger than p?
True
Let g(n) = -n**3 + 20*n**2 + 15*n + 11. Let t be g(21). Let l = 122 + t. Are 7 and l equal?
True
Suppose h - 85 = -h + 5*m, 0 = h - 4*m - 44. Which is smaller: 49 or h?
h
Let m be 2*(-4)/(-512)*1/2. Is -1 > m?
False
Let u = -41.52 - -41. Let f = 0.48 - u. Is f greater than 4?
False
Suppose 24 = -4*v + 5*d, 0 = 21*v - 19*v - 4*d + 12. Which is smaller: v or -156/31?
v
Let z(h) = 4*h**3 + 9*h**2 + 4*h. Let o = -31 + 28. Let x be z(o). Which is smaller: x or 0.1?
x
Let t = 130 + -127. Let q be (-268)/(-44)*t/3 - -1. Is q at least 6?
True
Suppose 7*r = 8*r - 2. Suppose 0 = a + 4*m - 30, 2*m - 60 = -3*a - r*a. Let t be 2/a + 51/(-105). Which is bigger: t or -0.1?
-0.1
Suppose -2*z + 8*z = -3726. Let u be (z/12)/9 + -2. Which is smaller: -8 or u?
-8
Suppose -11 = -3*w + 4. Let p be w*(-8)/19 - -2. Suppose 4*t = -9 + 13. Which is smaller: p or t?
p
Let i = -16.07 + 16. Let u = -84.83 + 85. Let t = u + i. Which is bigger: t or 0?
t
Let k = 1 - -3. Suppose -24*x = -26*x + k. Which is bigger: 4 or x?
4
Suppose 2*s + 2*c - 14 = 0, s + 3*c + 10 = 25. Suppose i + s*i - 96 = 0. Which is bigger: i or 23?
i
Let g = 28.85 - -0.15. Let m = g - 26. Which is greater: -0.1 or m?
m
Let b = -41 + 53. Let f(g) = g**2 + g + 2. Let y be f(-3). Suppose 6*u - y*u = -26. Which is smaller: b or u?
b
Let p = -13 + 12. Let x = 5 - p. Let d be 0 + -1 - 0/x. Do d and -2 have the same value?
False
Let u be -2*15/18*-3. Suppose -u*s = -s - 108. Suppose 2*r = -5*t + s, -r - 25 = 3*t - 6*t. Which is bigger: 8 or t?
8
Let z = 2.9 - 4.7. Let j = z + 1.8. Is j at most 2?
True
Let p = -39.75 - -0.75. Let b be (-8)/((-24)/21) + (-9 - -2). Is p less than or equal to b?
True
Suppose 3*s + 15 = 3, -x - 19 = 4*s. Suppose -5*r = 4*a + 13, 0*a + 4*r = 4*a + 4. Is a < x?
False
Suppose -98 = 3*d - 4*v, 0*v = 2*d - 5*v + 56. Let u = d - -32. Are -4 and u nonequal?
True
Suppose 0 = -4*y + 6*y - 2*b - 46, -3*b + 57 = 3*y. Let i be 6/(-15) - 42/(-5). Let f be (-2)/i - y/(-112). Which is smaller: -1 or f?
-1
Let y = -1136.959 - -1137. Is y > 0.09?
False
Let b be (-2)/(3 - 5) - -4. Let t be (1/29)/(b/(-10)). Let o be -3*(3 + 20/(-6)). Is t smaller than o?
True
Suppose 2*f = -t + 4 + 6, 5*f - 35 = -5*t. Let b be t/(-30) + 523/(-15). Is -34 less than b?
False
Let k(v) = -v + 12. Let c be k(11). Let p(a) = -16*a**2 + 2*a - 2. Let y be p(c). Let o(l) = -15*l**2 + l - 1. Let h be o(1). Is y > h?
False
Let u = -1465/8 + 183. Which is smaller: u or 2/57?
u
Let b = -46 + 16. Let q be (8/(-220))/((-2)/b). Is -2 < q?
True
Let l = -1080 + 14059/13. Which is smaller: 0 or l?
0
Let f(j) = -20*j + 141. Let o be f(5). Which is greater: o or 40?
o
Suppose -4 = -2*t - 2. Let c be (t + -2)/(98/(-8)). Let r = -412/245 + c. Which is greater: 1 or r?
1
Let z be (-1 + (-6)/(-8))/(10/8). Let a(b) = 2*b - 7. Let x be a(5). Suppose x = -2*s +