ler: d or 1?
1
Let l be -2 - -1 - (-1 + -12 + -1). Let d be (-2)/1 - (-30)/l. Is d greater than -1?
True
Suppose 0 = -58*x + 74*x + 1120. Which is bigger: x or -65?
-65
Suppose 2*x + 5*v - 7 = 0, -3*x - 3*v = -x - 5. Let g be x - (3 + -3 - -2). Let c be 2/(-5)*(-10)/102. Which is smaller: c or g?
g
Suppose -158*p + 104*p = 0. Let r be (-69)/(-114) - 1/2. Is r != p?
True
Suppose -2*m - 3 = 21. Is 4 < m?
False
Let x = -2/103 - -268/3193. Let p(l) = -l**2 - 79*l - 1561. Let u be p(-40). Is x > u?
True
Let z be 1462 - -3*(-2)/(-3). Suppose -5*m - z = -174. Let h be (-98)/m + 3/(-9). Do h and 1 have the same value?
False
Let y(z) = -z**2 + 3*z + 3. Let m be y(3). Let v be 4/3 + m*(-6)/9. Does -1 = v?
False
Let j = -41 - -10. Let t = -30.4 - j. Which is smaller: -2/9 or t?
-2/9
Let j be (-2)/(-4) - 605/(-22). Suppose -t - t - j = -x, -x = -5*t - 73. Is -13 at most as big as t?
False
Let w = 15.288 - 0.188. Let g = w + -17.2. Which is greater: 0 or g?
0
Suppose 4*t - 16 = 4*d, -4*d = -t + 2 + 2. Suppose -4*l = 5*f - 13, -3*l = -d*f - 5*f - 36. Let r be (l - 12)*8/(-5). Which is bigger: 9 or r?
9
Let y = -253 - -250. Which is bigger: 48/7 or y?
48/7
Let c be (-3055)/4550 + 3/5. Let m = 0 + -1. Is m >= c?
False
Let h = -181 + 184. Suppose 10 = -5*b - h*u, 4*b = 2*u + 6 + 8. Let s = 1071/10 - 107. Which is smaller: b or s?
s
Suppose -2*k + 43 = -5*t - k, -2*k + 38 = -4*t. Let f be 5/(-35) - 169/(-7). Suppose 13*c + f = 9*c. Which is smaller: t or c?
t
Let v(k) = -k**3 + 16*k**2 + 13*k - 35. Let d be v(16). Let y = d - 105. Which is smaller: y or 69?
y
Let l(t) = -t**3 - 5*t**2 - 2*t - 10. Let n be l(-5). Let j be 96/12 + n/1. Let b be j/2 - (-414)/(-102). Which is smaller: 0 or b?
b
Suppose -a - 4*z = 3*a, 5*z + 5 = -4*a. Suppose 0*c - 2*k = -3*c, 3*c = -a*k. Let i = 36.91 - 37. Which is bigger: c or i?
c
Let c = -148 - -149. Is 4/9 less than or equal to c?
True
Suppose r + 2*r - 2*l - 46 = 0, l = -4*r + 76. Suppose r*j = 17*j - 8. Which is bigger: j or -6?
-6
Let a be -3*(4/3 - 2). Let g(f) = 0 - 2*f - f**2 + 2*f**a - 3*f + 1. Let n be g(5). Which is smaller: n or -0.2?
-0.2
Let j = -23 + 15. Let q = 10 + j. Suppose -q*m = m + 3. Is -6/11 greater than m?
True
Let x be (4 + 1)*(10 - (3 + 2)). Suppose -24*f + x*f = 0. Which is bigger: f or 14?
14
Let l be ((-3)/2)/((-138)/(-8)). Let f be (-4)/(-10) + (-1)/(25/(-15)). Is f greater than l?
True
Let k(a) be the first derivative of -a**4/4 + 5*a**3/3 - 3*a**2/2 - 3*a + 17. Let q be k(4). Which is smaller: q or 0?
0
Let j(c) = -c**2 - 3*c - 1. Let g be (-1 - 2)*(-2)/(-2). Let l be j(g). Let k be 1 - (-2 + (-66)/(-21)). Which is bigger: l or k?
k
Let h = 2.29 - 2.5. Let q = -3.21 - h. Let j = -0.1 + 0.2. Which is bigger: j or q?
j
Suppose 4*o = 6*o - 6. Suppose 2 = o*b - 4. Let g be (b/2)/(-2)*-2. Is g less than or equal to -3/20?
False
Suppose 4*u + 6 = 3*r - 38, r + 20 = -3*u. Let g(h) = -h**2 - 9*h + 10. Let n be g(u). Suppose -v = -4*b + 18, n - 2 = 2*v + 5*b. Which is greater: v or -1?
-1
Let a(x) = x**2 - 6*x - 3. Let b be a(7). Let q be 34*b/40 + -3. Is 2 at most q?
False
Let d = -29.6 - -2.62. Let i = d + -0.02. Let p = i - -26.9. Is -3/11 >= p?
False
Let h be -51*(3 + 39/(-9)). Suppose -g = 3*r + 2*g + 36, 0 = 5*r - 3*g + h. Let o be r/(-4) + 1 - 4. Which is smaller: o or 1.4?
o
Let z(x) = x**2 + 12*x - 2. Let f be z(9). Let t = 160 - f. Let y = 43 - 71. Which is greater: y or t?
t
Suppose 3*x - 39 = 3*g, -x - 2*x + 34 = -2*g. Let q = -2 - x. Let o be (-22)/q - (-3 + 2). Which is smaller: o or 2?
2
Let m be 3*(-40)/(-36) + -7. Let t be 4/(-18) + (-245)/(-9). Suppose 0 = -3*v + d - 11, 7 - t = 5*d. Which is smaller: m or v?
v
Let l = 37 + -43. Let h = 6.5 + -0.4. Let v = l + h. Are 1/9 and v equal?
False
Let f = -53898/49 + 1100. Let i = -629 - -630. Which is smaller: i or f?
f
Let r = -0.079 + 4.979. Let i = r - 6.9. Let z = 789/490 + -1/98. Which is greater: i or z?
z
Let t = 0.022 + 0.015. Let q = t + 0.763. Is 1/4 < q?
True
Let a = 159 - 158. Which is smaller: a or 101?
a
Let x = 6.18 + -8.18. Is 6 less than or equal to x?
False
Let i be (40/60)/((-2)/12). Let v be 2/(-9) - (-260)/(-45). Which is smaller: i or v?
v
Let x = -332/15 + 14231/645. Is x < 0?
True
Suppose 5*r + 4 = 9. Suppose -3*b - 7 = d - 0*b, -2*d - 9 = 5*b. Let g be ((-9)/2 - -3)*d/30. Which is greater: g or r?
r
Suppose 4*c - 17 = 4*p - 5, 4*p + 8 = 2*c. Suppose 5*g - 11 = -96. Let d = 16 + g. Is p equal to d?
True
Suppose -2*s + 56 = -6*s. Let p be (0/1)/(s - -12). Is 8/9 less than p?
False
Suppose 0 = l - 4 - 2. Suppose -5*b + l - 16 = 0. Let f = b + 8. Is f less than or equal to 5?
False
Let d = -51 + 24. Which is smaller: d or -23?
d
Let d(q) = 2*q - 5. Let l be d(8). Suppose -6*j + 19 = -l. Suppose -y = j*y. Which is greater: 1 or y?
1
Let a be (-3158)/(-1482) - (-6)/(-3). Let l be 2/(-3) - (-25)/39. Let t = a + l. Is 0 equal to t?
False
Let a = 12 + -12. Suppose a = 15*z - 14*z - 22. Let i be 1 - ((-165)/(-12))/5*-8. Is i >= z?
True
Let d = -52204 - -887778/17. Which is bigger: d or 17?
d
Let z = 0.009 - -1.491. Let q = z + 5.5. Which is bigger: 2 or q?
q
Let j = -0.12 + 0.12. Let t = j + 0. Suppose 1 = k, 4*n - 14 = -4*k + 2*k. Which is smaller: n or t?
t
Let s = -109 + 162. Let z = -70 + s. Is z at least -15?
False
Let u = -607/65 - -114713/12285. Is -1 > u?
False
Suppose -3*q - 2*q - 130 = -2*g, -q - 2 = 0. Let p be (-2)/4 + (-225)/g. Let d(v) = v**2 - 6*v + 3. Let u be d(2). Which is smaller: u or p?
u
Let g(a) = -a**2 + 7*a + 6. Let d be g(9). Let n be d/(-16) + 2/8. Let c = n + 9. Is 11 at least as big as c?
True
Suppose 0 = -6*g + 3*g + 9. Is g equal to 5?
False
Suppose 3*l = 61 + 122. Let u = l + -62. Which is smaller: 2/13 or u?
u
Let d be 0/1 + 0/(-2). Let g be -2 + 2 - 1124/418. Let z = -58/19 - g. Is z > d?
False
Suppose 0 = 5*a + v - 8, -2*a - 3*a + 4*v + 18 = 0. Suppose 8 = 2*d, 0 = k + k - a*d + 18. Let i be (260/(-16))/k - 3. Are i and -4/5 equal?
False
Let k = -874.8 - -967. Let w = 90 - k. Which is smaller: w or -0.1?
w
Let u be (1 + 8)*134/9. Which is greater: u or 136?
136
Suppose 76*o + 30 = 106. Is -4/787 at most as big as o?
True
Let v = 4 + 1. Suppose 0 = -9*g + v*g - 32. Which is greater: g or -7?
-7
Suppose j - 3*f = 1, 0*j - 5*j = 5*f - 25. Let c be 44/(-7) + (-2)/(-7). Let m be (-4)/j + c/14. Is -2 less than m?
True
Let x be (4/12)/((-1)/(-27)). Suppose 4*a = 3*r + x, 0 = 3*r + 3 - 6. Is a greater than or equal to -2?
True
Let w = 173 - 173.1. Let j = -21 + 39. Let d = j + 3. Is w equal to d?
False
Let l = 409 + -410.7. Which is greater: l or -7?
l
Suppose -b + 3*a = -26, -21*b - 200 = -26*b + a. Is 41 != b?
False
Let o = -217.1 + 217. Do -10.51 and o have the same value?
False
Let u = 57 - -13. Let z = -65 + u. Is 7 >= z?
True
Let l = -1/82 - 51/2542. Let x = -272 - -272. Is x not equal to l?
True
Let f(i) = -i**2 + 8*i - 3. Suppose p - 3 = 0, 2*o + 6 = 5*o + 2*p. Let d be 4 + o - (-60)/20. Let y be f(d). Is y less than 1?
False
Let j(a) = a**3 - 5*a**2 + 3*a + 4. Let r be j(3). Let i be r + (-2 - -4) - -25. Is 21 greater than i?
False
Let g = -43425 + 1519761/35. Is g < -2?
True
Suppose -16*b = -700 + 892. Is b at most as big as -25?
False
Let v(n) = 12*n + 41. Let a be v(6). Which is smaller: 112 or a?
112
Let i = -521 + 445. Is i greater than -1?
False
Let c be -3 + 3/(-1) + 1. Let m(r) = r**2 + 3*r. Let w be m(c). Suppose q = -0*q - w. Which is bigger: -9 or q?
-9
Suppose -k - 15 = 2*k. Suppose -c = -15*g + 18*g - 3, -3*c - 12 = 2*g. Is c greater than or equal to k?
False
Suppose -47 + 162 = -5*j. Which is greater: j or -20?
-20
Suppose 8726 = -8*v - 778. Which is greater: -1187 or v?
-1187
Let k = 0.001 - 0.028. Let w = k + -0.073. Let l(q) = -7*q**2 + q + 1. Let c be l(-1). Which is greater: c or w?
w
Suppose 3 = -d + 5. Suppose 0 = -d*v - 3*v + 15. Let l be 1/1*(-8 + 9). Is l > v?
False
Let q be (-3)/7 + 0 + 1169/1470. Is -1 <= q?
True
Suppose 0 = -5*m - 4*c - 6 + 9, -5 = 3*m - c. Let f be (38/(-2223))/((-1)/3*m). Which is greater: f or -1?
f
Suppose -53 = -3*o + 7. Let c be (4/10)/(2 - 38/o). Let t(z) = z**2 - 6*z - 1. Let h be t(7). Which is smaller: h or c?
c
Let b be (-2)/(-7) - 66/(-14). Suppose 3*n + 3*p + p = 36, -b*p = 3*n - 39. Suppose -n = h - 3. Which is smaller: -2 or h?
h
L