44. Do w and 231/4 have different values?
True
Let p be (-30)/4*(-4)/12. Let v(n) = -2*n**2 + n + 4. Suppose 3*s = 5*s. Let f be v(s). Is p at least f?
False
Let q(a) = a**2 - 2*a - 12. Let c be q(5). Suppose 3*j + 0 = -18. Let o be (-7)/j + c/18. Which is greater: o or 0?
o
Let l = -28 + 118. Let r = l - 90.2. Is 1 less than r?
False
Let p = -4296587/19019 + 2485/11. Is p greater than or equal to 0?
False
Let a be 1/4 + (-15)/12. Let s be (-2 - a)*1/(-4). Let z = 207.3 - 207. Do s and z have the same value?
False
Let u = 22 - 36. Let w = -4/27 - 721/54. Which is smaller: w or u?
u
Suppose -4*c + 300 = -0*c. Suppose c = -3*l - 2*l. Let x be l/12*8/3. Which is greater: x or -2?
-2
Let r = -2.9582 - 0.0418. Is 89 greater than r?
True
Let d be (20/(-6))/5 + (-30)/63. Suppose -2*q + 0*q = 4. Is q < d?
True
Let t(f) = f**3 + 2*f**2 + 3*f - 3. Let l be t(4). Are 106 and l equal?
False
Let z = -96.1 + -14.9. Which is greater: z or -4?
-4
Let q(p) = -p**2 - 3*p + 28. Let l(w) = -w - 1. Let i(n) = 3*l(n) + q(n). Let m be i(4). Which is greater: m or -12?
-12
Let d be (1*(-4)/8)/((-10)/(-4)). Is -17 at most as big as d?
True
Let g be (-3)/(-4) + (-3710)/4840. Let k = 125/242 + g. Is k at least -5?
True
Let r be ((-2)/4)/((-44)/(-3608)). Which is smaller: -40 or r?
r
Let n(d) = -17*d - 714. Let t be n(-40). Let c(k) = -k**2 + 4. Let g be c(6). Is t bigger than g?
False
Suppose z - 1 = -11. Let h be (-2 + 6/2)*z/25. Which is smaller: -0.1 or h?
h
Let w be (-6280)/(-50) - -10 - 1. Which is smaller: 134 or w?
134
Let a = 1 - -4. Let r(t) = t + 12. Let n be r(-7). Suppose a*q + 1 = -n*o - 19, 5*o = -q + 12. Which is smaller: -7 or q?
q
Let d be 1 + -4 + (-1055)/(-355). Which is smaller: -1 or d?
-1
Let x be (-6)/(-9) + 10/(-15) + 0. Is -2/361 greater than x?
False
Let q = 105 - 68. Let j = -42 + q. Is 0 < j?
False
Let n be (-1782)/627 - (-8)/(-2 - -4). Which is bigger: n or 1?
n
Let t be (1 - 6)*-4 - 2. Let n be 9/(2/(-3 - -7)). Do t and n have the same value?
True
Suppose 19*t = 14*t + 20. Suppose -9 = -t*j - 49. Which is smaller: j or -9?
j
Suppose -2*s - 2*u = -4*u - 12, -5*s + 4*u = -26. Suppose 0*g + 2*d = -2*g + 30, -4*g + s*d = -42. Let f be g/(-4) - (-57)/21. Is f at most as big as -1?
False
Let n = -388/7 - -98968/1785. Which is smaller: 0 or n?
0
Let w be (-39 + 44)*(-1)/5. Is w >= -3.6?
True
Let m = 443 - 531. Is m >= -89?
True
Suppose -5*t - 3*l = 2*l - 50, 5*l - 20 = 0. Let y be (1/2)/(t/132). Let c be 3 - ((-108)/y)/(-4). Which is smaller: c or 1?
c
Let i(m) = -m**3 - 12*m**2 + 22*m - 37. Let b be i(-11). Is b smaller than -399?
True
Suppose -5*t = -l - 19, l + 0*l - 9 = -2*t. Let s(n) = 3*n**2 + 5*n + 2. Let x be s(-2). Let v be ((-32)/14 + x)/((-8)/(-28)). Which is smaller: v or l?
l
Let z be -4 + 8519/1218 + -3. Which is bigger: 0 or z?
0
Let b(y) = -y**3 + 4*y**2 + 4*y + 1. Let i be b(5). Let k be 24 + -26 - ((-18)/i)/(-3). Which is greater: -1 or k?
k
Suppose 44*y + 445 = 489. Does y = 6/505?
False
Let m(w) = w + 6. Let f be m(-5). Let g = -2396011/259 + 9251. Is g > f?
False
Let x = 11 + -7. Suppose x*l = -20 - 60. Is l smaller than -1?
True
Let v = -3433/4 + 858. Which is smaller: v or -12.9?
-12.9
Suppose 4*g + 28 = -52. Suppose -341*j = -339*j + 38. Is g >= j?
False
Let d(m) = -m**3 - 33*m**2 + 33*m - 35. Let s be d(-34). Which is smaller: 511 or s?
s
Let o = 37.4 - 37.9. Does 2/9 = o?
False
Let x(f) = f**2 - 6*f + 1. Let d be x(6). Let w = -15166/11 + 1379. Is w greater than or equal to d?
False
Suppose 5*k = 3*v + 97, 3*v - 2*v - 81 = -4*k. Suppose 0 = -s + 5*n - k, s = n - 0 - 4. Is -21 at least as big as s?
False
Let f = -265 - 19. Is 0 equal to f?
False
Suppose -1244 = -5*i - 64. Let h be (-2 + 9/6)*16/i. Do 1 and h have the same value?
False
Let x = -3433/141 - 15/47. Which is smaller: -25 or x?
-25
Let h be -1 - 1*7/(-9). Let r(w) = w**3 - 3*w**2 + 4*w - 4. Let p be r(0). Which is greater: p or h?
h
Let d be (36/15)/((-2023)/(-70)). Which is greater: d or 1?
1
Let g = -0.1 - -0.1. Let x be 1510/(-4) - 1/2. Let z be x/90 - (-4)/(-5). Is z at most as big as g?
True
Let n be ((-42)/9)/((-160)/240). Let a(k) = k**3 - k**2 + 8. Let v be a(0). Which is greater: v or n?
v
Let i be (6 + -5)*(-1 + 1). Which is greater: -2/643 or i?
i
Let o(i) = i**3 - i**2 - 4*i. Let n = -43 + 46. Let f be o(n). Is 1 < f?
True
Suppose -425 + 263 = -9*p. Is p >= 38?
False
Let h = 18 + -14. Suppose 3*a - h = 5. Does 1 = a?
False
Let h be (1/12)/(((-144)/(-54))/2). Let c = 1 + 1. Suppose y - 7 = -2*q, -4*y + 4*q - 2*q = c. Which is bigger: y or h?
y
Let i(g) = 3*g - 4. Let r be 2 + (2 + 2)/4. Suppose 4*q + r*k = k + 18, -4*q - 3 = -5*k. Let y be i(q). Does y = 4?
False
Let z(f) = -f**3 + 18*f**2 - 15. Let p be z(18). Which is smaller: -17 or p?
-17
Let u = -0.92 + 0.98. Are 1/16 and u unequal?
True
Let h(y) = -y + 5. Suppose x + 2*x - 2*q - 7 = 0, -11 = -2*x - 5*q. Let r be h(x). Which is bigger: r or -16?
r
Suppose -d + z - 3 = 0, d + 3*d - 2*z = -8. Let h be ((-52)/(-72))/13 - 0. Which is smaller: h or d?
d
Suppose -5*h - 72 = -82. Let z = 0.2 - 0.6. Let s = z + 0.2. Is s less than h?
True
Let h = 13996031767/17860282 + -1173753/1502. Let a = h - -2/1081. Are a and 3 equal?
False
Suppose -4*g = g - 355. Let k(h) = -5*h + 142. Let a be k(14). Which is smaller: g or a?
g
Let u be ((-57)/190)/((-12)/10). Is u not equal to 1?
True
Let b = -2017 - -2015. Which is bigger: 282 or b?
282
Let j = -55/2 + 29. Let t(b) = -b**3 + 5*b**2 + 8*b - 7. Let d be t(6). Suppose l - 5*a - 37 = -3*l, 0 = -a - d. Is l at most j?
False
Let h = 160 - 225. Let i = 65 + h. Which is bigger: i or -0.1?
i
Let u be 1/(-36) + (-2)/(-8). Let q = -966 - -966. Which is bigger: q or u?
u
Let q = 206 + -104. Is -1 greater than or equal to q?
False
Suppose 30 = 2*d + 2*d - h, d + h = 10. Suppose -28 + d = -u. Which is smaller: u or 19?
19
Suppose -2*a + 18 = -4*a. Let w be -14 + -1 - 2*-2. Is w < a?
True
Let i = 1053 + -1056.944. Let h = i - 0.056. Is 0.3 at least as big as h?
True
Let i be ((-5)/(-8))/((-3)/4). Let g be (-1 - -2) + (1 - 2). Suppose g = b - 2*b. Is b at least as big as i?
True
Let g = -23 + 30. Let t = g + -7.2. Suppose 3*l = -2*l. Which is bigger: l or t?
l
Let q = 2.0966 - 0.0966. Is q > -23?
True
Let b = -346 + 348.33. Let w = 2.3 - b. Is 0 < w?
False
Let y = 26 + -26. Let l be 10/(-25) + 1 + y + -1. Are 16 and l unequal?
True
Let w = 109 - 106.8. Which is bigger: w or -2.9?
w
Let x = -101 - -91.6. Let m = x + 10. Let r = -38 + 40. Is r < m?
False
Let r(h) = h + 4. Let s be r(-5). Let i = -90 + 101. Let o = 11.08 - i. Is s >= o?
False
Let a = 17544/11 + -1596. Let x = 0.022 - 0.158. Let y = 0.036 + x. Is a smaller than y?
True
Let y = -0.112 + 89.112. Let s = -102 + y. Which is smaller: s or 2/9?
s
Let w = 123.5 - 124.5. Let p = 2.1 - -22.9. Let u = p + -41. Which is smaller: u or w?
u
Let p be 1/3 + 35/3. Let s be (-1 + (-6)/(-15))*p/(-81). Is s < 1?
True
Let u(n) = n**3 + 22*n**2 + 83*n - 35. Let f be u(-17). Let w(c) = c**3 - 5*c**2 - 3*c + 4. Let g be w(4). Which is greater: f or g?
f
Suppose 2*n = 2*x - 670, 0*x + 4*x - 1671 = 5*n. Let h = n + 12911/39. Is h at most as big as 0.1?
True
Let g = -21.19 - -0.19. Let d = 201 - 215. Let o = d - g. Which is smaller: 0 or o?
0
Suppose 355*m - 354*m + 803 = 0. Which is smaller: -804 or m?
-804
Let h = -9 + 8.96. Let a = 0.06 - h. Let o = -1 - -1.06. Which is greater: a or o?
a
Let u = 22.69 - 22.59. Is u at most 2.3?
True
Let y(s) = 2*s - 24. Let w = 22 - 10. Let i be y(w). Is i at most as big as 4?
True
Suppose 21*d - 10 - 137 = 0. Is d smaller than 72?
True
Let n be ((-4)/26)/(162/(-1377)). Is n <= 1?
False
Let u be (1*2)/(0 + 27)*39. Let k be (4 - (-26)/(-6))/((-3)/36). Which is greater: k or u?
k
Let i(h) = -3*h - 22. Let o be 12 - (4 + -4 - -2). Suppose 3*z - o*z = 70. Let a be i(z). Is a at most 8?
True
Let f = -9514238/63 + 151012. Let g = 45/7 + f. Which is smaller: g or -1?
g
Let o = 0.2 + -0.3. Let y = -0.9 + o. Let m = 139.9 + -140. Is m less than y?
False
Let g(c) be the third derivative of c**4/24 - 7*c**3 - 10*c**2. Let s be g(16). Is 0 at least s?
True
Let i = 7 + -9. Let b = 2 - i. Which is bigger: -3 or b?
b
Let q = -52837/11 - -4795. Which is greater: -9 or q?
q
Suppose -11 = -4*g - 67. Let z be (-4)/g 