- 44. Is 19 equal to d?
True
Let l be 6/((-9)/6*1). Let r = 6 + l. Let v = -59 - -121/2. Which is smaller: v or r?
v
Let f = -1.13 + 0.13. Which is smaller: f or 1/7?
f
Let w = 0.3 + -1.3. Let j = 1 - w. Let c = -1.8 + j. Which is bigger: 0 or c?
c
Let d = 15 + -10. Let v = -6 + d. Is 1/5 greater than v?
True
Let z = 49/3 - 16. Let k = 36.072 - 0.072. Let q = k + -36. Which is bigger: q or z?
z
Suppose 0*n + 3 = -3*n. Is -4 greater than n?
False
Suppose a - 112 = -6*a. Do a and 16 have different values?
False
Suppose -2*m = -5*o + m + 14, -4*m - 17 = -5*o. Let c = -6 - -8. Suppose 0 = -c*w - 3*w. Which is greater: w or o?
o
Let d = -17/60 - 1/20. Does 1 = d?
False
Let c be (-2)/4 - 145069/(-290142). Let l = -18133127/108513108 + c. Let z = l - 1/68. Is 1 bigger than z?
True
Suppose z = 2*z + 16. Which is bigger: -17 or z?
z
Let w = -5.13 + 0.13. Let x = w - -6. Which is greater: 5 or x?
5
Let f = -1368/55 + 123/5. Which is smaller: 0 or f?
f
Let r = 26.5 - 24.51. Let m = 0.01 + r. Which is smaller: -1/3 or m?
-1/3
Let k be ((-171)/(-6))/((-1)/(-4)). Suppose -2*n - 70 = l, k = -2*n + 2*l + 38. Let b = n + 145/4. Which is bigger: b or -3?
b
Suppose -2*t = -5*t - 9. Which is smaller: t or -10/3?
-10/3
Suppose -5*o + 5 = -5. Is o less than -1?
False
Let r = 2/45 - -28/45. Let v be (-6)/(-2) - (5 - 6). Is r smaller than v?
True
Let s = 359917615/539 - 667750. Let j = 7/11 - s. Which is smaller: 1 or j?
j
Let p = -0.83 + 0.53. Is -10 at least p?
False
Let d(g) = -g - 63. Let c be d(0). Let x = 194902/9 + -21719. Let p = c - x. Is p at most -1?
False
Let p be (-10)/25 + 24/10. Suppose -3*j = 5*s + 28, 3*j - p*s - 1 = 6. Which is smaller: -2/29 or j?
j
Let w = -4 - -5. Let b be ((-2)/6*0)/w. Which is smaller: b or -1?
-1
Let o = 122/68889 - 386007515/12675576. Let f = -245/8 - o. Are f and -1 nonequal?
True
Let h be 1/4 + (-249)/(-12). Let z be 4/(-3) - (-34)/h. Which is greater: z or 0?
z
Let m be 6 + 3 + -3 - 1. Suppose 0 = -m*u + 10. Let p(h) = 2*h**3 + h**2 - 1. Let a be p(1). Does u = a?
True
Suppose -y - 6 = y. Suppose -1 = t - 6. Suppose 5*k = -5*o + 15, -t*o + o = -4*k + 28. Is o equal to y?
False
Let h = -6 + 2. Let z = h + 6. Is 5/3 at most as big as z?
True
Let q(z) = z**3 - 6*z**2 + 6*z - 6. Let b be q(5). Which is greater: 0 or b?
0
Suppose -4*h = 5*h + 729. Is h > -83?
True
Let t = 30 - 50. Is t less than or equal to -20?
True
Let a(v) = v**3 + 6*v**2 - 7*v + 3. Let z be a(-7). Is z greater than 13/5?
True
Let a = 22 + -18. Which is greater: 1/4 or a?
a
Let w = 1756/15 - 117. Which is smaller: w or 0?
0
Let z = -15/2 - -41/6. Which is smaller: 0 or z?
z
Let m = -1.3 + 1. Which is smaller: m or 2?
m
Let m = 15 + -13. Suppose -3*b + 60 = -5*g - 8*b, m*b = 3*g + 11. Is g greater than -2?
False
Let u be -5*(1 - (-14)/(-10)). Let c(j) = j**3 - 3*j**2 + 4*j - 3. Let t be c(u). Suppose k - 2 = -9*p + 4*p, -11 = 4*p + 5*k. Are p and t equal?
True
Let d = 0.32 + -0.02. Let j = d - 0.3. Let k = 0 - j. Is k >= 0?
True
Let a = -24 + 28. Are a and 1 equal?
False
Let c(v) = v**2 + 7*v + 1. Let q be c(-6). Which is smaller: q or -6?
-6
Let b = 8.5 + -9. Does 0.5 = b?
False
Suppose 3*q + 2*q - 45 = 0. Let g(v) = -v + 10. Let k be g(q). Let w(n) = -n + 1. Let o be w(1). Which is smaller: o or k?
o
Suppose 6*a = 3*a + 9. Suppose 4*j = 4, o + 4 = a*j - 2. Is 2/5 >= o?
True
Let d be (7/3 - -2)/(5/(-15)). Is d at least -13?
True
Suppose -2*w + 5*l + 45 = 3*w, 9 = 2*w + l. Suppose -b - w = 2*b. Which is bigger: -3/2 or b?
-3/2
Suppose 15*r = 17*r. Is -3 greater than or equal to r?
False
Let v = -138 - -142. Which is bigger: v or 17?
17
Let x(r) = -r**3 + 2*r**2 - 1. Let i be x(1). Suppose 0 = -i*k - 4*k. Let j = -0.013 - -6.013. Which is smaller: j or k?
k
Let t be (-1 - 1) + (-6 - -4). Let v be t/6*(-21)/14. Let d = 227/12 + -19. Is v at least d?
True
Let t(o) = -2*o + 32. Let l be t(13). Is 7 less than or equal to l?
False
Let a be (9 - 11) + 0 + 1. Let o = 0.7 - -0.3. Let i = 1.1 - o. Which is smaller: a or i?
a
Let d = 12 - 12.04. Is d at least as big as -0.1?
True
Let k be 1407/(-1421) + (-1 - -2). Let f = k + -1031/1624. Let l = f - -1/2. Is -1 smaller than l?
True
Suppose -s - 4 = -2*s. Suppose -f - 4 = -z + f, 0 = -2*z - 2*f + 2. Which is smaller: z or s?
z
Let q = -8 + 0. Let g = 10 + q. Suppose -g*a = -3*t - 5, 2*t + 4*a + 11 = t. Is -2 less than or equal to t?
False
Let b = -7 + -7. Which is smaller: -11 or b?
b
Let t = 1 - 0. Let a = t - -1. Let n be ((-1)/a)/((-5)/(-30)). Is 0 greater than n?
True
Let u = 5827/3 + -1862. Let v = 1937/24 - u. Is v <= 1?
True
Suppose 0 = 2*n - 7*n + 5. Suppose -n + 61 = -4*h. Which is greater: h or -16?
h
Let p be 6/42 - (-104)/7. Which is bigger: p or 16?
16
Let l(t) = 2*t**3 - 7*t + 10. Let w be l(3). Which is smaller: w or 44?
w
Let c = -4 - -4. Let k(t) = t**2 + 18. Let i be k(c). Let z be -2 - (-69)/i - 2. Is z less than -1?
False
Let h be (-133)/9 - 4/18. Let a be (-6)/h - (-22)/(-5). Which is bigger: -3 or a?
-3
Let k = 0.04 - -0.16. Let t = 0.17 - 2.97. Let v = k - t. Which is greater: -2 or v?
v
Suppose 3*h - 1 = 17. Suppose -h*b + 5 = -b. Is b greater than or equal to 2/11?
True
Let t be 212/(-60) + 4/(19 + 1). Let f be (-1)/(1 + 0) - 2. Is t at least as big as f?
False
Suppose 2*d - 2 = -4*q + 6, 0 = -5*q - 5*d. Suppose y - q*y = 15. Let t = -7 - y. Which is smaller: -1 or t?
t
Suppose -2*z + 6 = -3*c + 3*z, -z = -3. Is c greater than 3?
False
Suppose -9 = 46*p - 43*p. Which is smaller: -9/5 or p?
p
Let u = -10 - -6. Let o = u + 2. Suppose -q - 9 = 2*q. Is q at most o?
True
Let c = 2/17 + -25/68. Suppose -15 = -0*p - 3*p + 5*n, -3*n = -p + 5. Suppose -2*o - p = -7*o. Which is bigger: c or o?
o
Let x be (-9)/6 + (-1)/(-2). Let z be (-1)/x - (-2 + 2). Suppose -f - 4*f - 5 = 0, -2*j + 4*f = 0. Are z and j non-equal?
True
Let n be 43/5 - (-4)/10. Let m = 7 - n. Is -2 equal to m?
True
Let b be (7 - -3) + 7 + -5. Let v = -17 - -27. Which is smaller: v or b?
v
Let f be 1*(-3)/1 - 12/(-6). Is -2/33 less than f?
False
Let s = 19 + -19.26. Is 1 greater than s?
True
Let g(f) = -13*f - 117. Let o be g(-11). Which is bigger: o or 28?
28
Let n be ((-27)/6)/9*2. Is -1/71 at most as big as n?
False
Let c = 65 - 64.6. Is c at least as big as 3/16?
True
Suppose 3*y + 8 + 4 = 0. Let j(n) = -n - 7. Let g be j(y). Which is smaller: -2 or g?
g
Let d be 9/51*(-4)/(-6). Let g(i) = 10*i - 19. Let s be g(2). Which is bigger: s or d?
s
Let j = -7822/17 + 460. Which is bigger: 1 or j?
1
Let r be (-136)/(-48) - 6 - (-6)/2. Is r smaller than -1/13?
True
Let i = -14 + 15. Let l = -1/27 - 14/351. Is l at most as big as i?
True
Let k be (2 - (-6)/(-4))*4. Let c = k - 1. Let u be (c/2)/((-1)/2). Is u >= 0?
False
Let j(c) = -9*c + 1. Let s be j(-1). Suppose -s = 5*h, -z + 2*h + 6 = 2. Suppose 3 - 2 = 5*o - f, -3*f = -3*o + 3. Are o and z equal?
True
Suppose 0 = -5*o + 85 - 10. Is 13 smaller than o?
True
Let y(h) = -h**3 + 2*h**2 + 13*h - 6. Let q be y(5). Let z = q - -16. Is -3/8 greater than or equal to z?
False
Let a = -0.12 + -0.02. Which is smaller: 1 or a?
a
Let i(a) = -a - 12. Let r be i(-12). Is 2/109 >= r?
True
Suppose 5*o = 2*a - 48, 0*o - 4*o - 2*a = 24. Let b be ((-1)/1)/(2/(-12)). Let n be b/o - (1 - 2). Are 2/7 and n unequal?
True
Let l be ((-4)/13)/(1 + (-2)/(-2)). Which is smaller: 0.2 or l?
l
Suppose -3*i - i = 0. Let o be 0/(-4 - -2) + i. Suppose 4*j - 4 = -o*j. Which is smaller: j or 1/6?
1/6
Suppose 0 = 3*g + s - 1, -3*s + 5 = 2*g + 2. Are g and 2/49 nonequal?
True
Suppose -6 = 5*q + 4, 20 = 5*v - 5*q. Let r = -49 - -79. Suppose -4*c = 5*s + r, 4*s - v = 2*c - 0*s. Is c > -5?
False
Let k = 158/5 + -1753/55. Which is bigger: k or 1?
1
Let a be (-1 - -3)*1/10. Suppose 0 = -5*s + 10 - 0, -3 = -3*w - 3*s. Which is smaller: w or a?
w
Let q(x) = 33*x**2 + x - 1. Let v be q(1). Suppose -5*z + v = -2*n, z + 12 = 2*n + 5*z. Let s be (-10)/(-9)*12/(-5). Is s less than or equal to n?
False
Let x be 6/(-4) - 10/4. Let p be (-2)/7 + x/(-14). Which is greater: p or -1?
p
Suppose 10*p = 3 + 7. Do p and 2/27 have different values?
True
Suppose -3*v - 9 = -0*v. Is -3 not equal to v?
False
Let y be -2 + 3 + (-8)/10. Which is smaller: y or -2?
-2
Let l = 71.7 - 75. Let c = l + 21.3. Which is greater: -1/2 or c?
c
Suppose 3*g - 28 = 3