+ 125. Which is smaller: 27 or a?
27
Let f = 986 - 986. Do 6/185 and f have different values?
True
Let u be 6*3/((-6588)/(-8)). Is u less than -1?
False
Let t(c) = -3*c - 4. Let l be t(-1). Let k be (5 + -5)/(0 - (l + -1)). Is -3/97 at least as big as k?
False
Let z(s) = -3*s**2 + 3*s. Let y be z(0). Let a be y*(38/(-10) + 4). Is 34/3 at most as big as a?
False
Suppose -4*d - 2 = 2. Let x be d*(1 - 1)*1. Suppose s - 5*s = x. Which is bigger: s or 7/6?
7/6
Let a be -1 - 4 - 0/2. Let p = a - -5. Let u = -0.6 + -1.4. Which is smaller: u or p?
u
Suppose 0*a + 595 = -5*a. Let h(i) = 220*i + 760. Let k be h(-4). Which is smaller: a or k?
k
Let k(y) = -3*y - 24. Let a be k(0). Let l be ((-36)/(-16))/((-45)/a). Is 2 smaller than l?
False
Suppose 8*j - 4988 = 1308. Let g = j - 1609/2. Is g at least -18?
True
Let c = -17342/5 + 3482. Is c != 15?
True
Let f be 2/3 + 2/6. Let h be (-13 - 692/(-48)) + -1. Which is smaller: f or h?
h
Let u be ((-12)/18)/(4/6). Let t = -8 - -8.4. Let f = -6.6 - t. Which is smaller: u or f?
f
Let g(x) = -x**3 - 13*x**2 + 32*x + 29. Let o be g(-15). Which is greater: -3/29 or o?
-3/29
Let p = 5 + -8. Let o be 64/(-34) - (p - -1). Let v(u) = u**3 - 11*u**2 + 28*u. Let d be v(4). Which is greater: o or d?
o
Let r = -0.3 - -0.9. Let z = r + -0.9. Let q be -2 + 0 - 8/(-6). Which is smaller: z or q?
q
Let p = -2 - -8. Suppose 0 = 3*w - p*w - 3. Is w bigger than -1?
False
Let x = -1/104 - -2603/312. Let r = x - 9. Let i(y) = -4*y - 15. Let g be i(-5). Do g and r have different values?
True
Let f be (2104/(-70))/2 + 3/7. Which is greater: -16 or f?
f
Let c be (1*1360/45)/(-2). Which is greater: -15 or c?
-15
Let n = 15 + -14. Let r = 13.3 - -0.7. Let k = -13 + r. Are k and n unequal?
False
Suppose 5*k + 32 = 7, 2*r - 25 = -5*k. Suppose 3*c + 2*c = -r. Which is smaller: -10 or c?
-10
Suppose 122 + 74 = 14*j. Is j greater than 13?
True
Let b(y) = -y**2 + 3*y + 3. Let h be b(3). Suppose 2*a = j - 18, 4*a + 7 = h*j - 27. Is -9 <= a?
False
Let a = 62/3 - 688/33. Do -2/89 and a have the same value?
False
Let a(t) = 3*t**3 - 3*t**2 + 2. Let m be a(1). Let l be (9/3 - -3)/2. Suppose 5 = m*v + l*v. Which is bigger: v or 1/14?
v
Suppose 4*w = 4*z - 7*z + 13, -z - 3*w = -6. Suppose t + c + 0 = -1, z*t = -2*c - 4. Let n be (-2)/5 - (-78)/(-105). Are n and t unequal?
True
Let x = -227 - -223. Which is smaller: x or 2?
x
Let p(u) = 3*u**3 - 35*u**2 + 20*u + 18. Let k be p(11). Is -9/2 not equal to k?
True
Let g(r) = 11*r + 23. Let q be g(-2). Let b(z) = z**2 - z - 5. Let a be b(0). Let f be 1*a*q/(-2). Which is smaller: f or 4?
f
Let x(f) = -f**3 - 6*f**2 - 20*f - 14. Let g be x(-8). Which is greater: 273 or g?
g
Suppose 13 - 102 = -y. Suppose 0 = 6*f - 3*f - 5*p + 136, -y = 2*f - 3*p. Is f bigger than -37?
False
Let j be (3/2)/(2*-3). Let s(p) = -8 - 9 + 30 + 2*p. Let o be s(-6). Is j less than o?
True
Let i = -263.4 + 231. Let g = i + 33. Which is smaller: -0.1 or g?
-0.1
Let x = -26 - -26.1. Which is smaller: x or 457?
x
Let c be (-1)/3 + (-38)/(-150). Let w be ((-36)/(-14))/(225/42). Let z = w + c. Which is greater: -1 or z?
z
Let j = -655.13 - -652. Which is bigger: j or -0.1?
-0.1
Let r(s) = s**3 - s**2 + 18. Let h be r(0). Let t be 8/28 - 124/(-7). Are h and t non-equal?
False
Let k(o) = 6*o**2 + 2*o - 2. Let d be k(-2). Suppose -36*n + 19 = -35*n. Is n >= d?
True
Let l(y) = y**3 - 9*y**2 + 12*y + 3. Let v be l(8). Suppose 5*i - 213 + 33 = 0. Is v greater than i?
False
Let d = 342 - -389. Suppose -10*n = d + 29. Is n at least as big as -76?
True
Let w = 0.1 - -0.9. Let c = w - -13. Let g = 4163 - 4162. Is c greater than g?
True
Let g = -3638 + 10685/3. Let c = g + 77. Is -0.31 greater than c?
False
Suppose -5*o = q + 16, 5*q = -0*q + 5*o + 10. Let t be -4*4/(-18)*q. Which is smaller: -2 or t?
-2
Let k be ((-3)/5)/(12/60). Let v be (k + 0)*32/48. Let x = 129 - 519/4. Which is smaller: v or x?
v
Suppose 0 = -56*q + 57*q + 4. Let c(f) = -f**2 - 3*f. Let p be c(q). Suppose 2*d = 3*t + 22, -5*d + 40 = -5*t - d. Do p and t have the same value?
True
Let s be (-2)/(-3)*3*(-986)/(-68). Suppose 36*n - s*n = 7. Does -2 = n?
False
Let h = -1315 - -599. Do h and 0 have different values?
True
Let p = 17 + 1. Let r be 40/p - 2 - 2380/504. Which is smaller: r or -6?
-6
Let h be -17*9/(-87) + -3. Let l = -4070/603 + 1607066/192357. Let k = h + l. Is k > 0?
True
Suppose -4*d = 16, -2*s + d + 31 + 43 = 0. Let k be ((-80)/48)/(40/(-816)). Is s > k?
True
Suppose -3*d + 7 = -4*s, s - 5*d = -s - 7. Let r be (-1 + 7 + -4)*(s + 0). Are r and -6/7 non-equal?
True
Suppose 7*q = 3*q + 20. Let y be (-3)/q + -1 + 2. Let r = 11 + -17. Which is smaller: y or r?
r
Suppose -2*b = 3*b - 80. Suppose i - g = 5, 4*g = -6*i + i + b. Is i equal to 4?
True
Let a = 125 + -65. Let f = a + -102. Is 1/4 smaller than f?
False
Suppose -4*y = f + 2*f - 18, -4*f - 8 = 0. Suppose -4*a = -y*a. Let l = -407 + 6107/15. Do l and a have the same value?
False
Let m be (48/(-18))/(2/(-3)). Suppose 5*t + c = -0*t - 12, 0 = -m*t - c - 10. Let p be t + -1 + 124/36. Is 1 >= p?
True
Let y(w) be the second derivative of w**5/20 + w**4/4 + w**3/6 + 2*w**2 - 9*w. Let p be y(-3). Let t be p*-2*50/80. Which is bigger: -1 or t?
-1
Let f be 18/(-6) - (73 + -1). Let i be (12/(-36))/((-1)/f). Is i < -26?
False
Let w(h) = 5*h. Let a(b) = -b. Let n(i) = -11*a(i) - 2*w(i). Let p be n(2). Suppose p*d = 2*x - 12, 0 = -x - 5*d + 2*d + 6. Which is smaller: x or 5?
5
Let h = 88 - 60. Suppose 7 + h = 5*j. Suppose -5*q = j + 8. Is q greater than -5/3?
False
Let t = 1515/49 - 5442/49. Is -81 at most t?
True
Let a = 15129 + -15103.042. Let t = a + 0.042. Which is greater: t or -0.1?
t
Let o be 1/(-6) - (-973)/2310. Let b = 5/11 - o. Suppose -f + 2 = 1. Which is bigger: b or f?
f
Let j = -1 + -2. Suppose -201*s = -200*s + 6. Are s and j non-equal?
True
Let x(l) = l**3 - 3*l**2 - 5*l + 6. Let u be x(4). Let g be (7 + -5)/(u/11). Suppose -4*q - 4*d = -64, d = -4*q + 3*d + 34. Is g less than or equal to q?
True
Let r be (11/((-22)/12))/(13 + -12). Which is bigger: r or -75/14?
-75/14
Suppose j = -j - 5*g - 8, 4*g + 8 = 0. Which is smaller: -50 or j?
-50
Suppose 2*i + 2*d = -48, 7*d - 12*d = -5. Are i and -76/3 nonequal?
True
Let j be (-1 - 8)*(-1)/(2115/(-6)). Do j and 1 have different values?
True
Suppose 2*u = 3*u. Let x(l) = 2*l**3 + 12*l**2 + 23*l + 51. Let c be x(-5). Is c less than u?
True
Let s be 2 + 1*(-1 - -3). Suppose 0 = 4*y + s*z + 60, -z + 90 = -4*y + z. Let o be ((-15)/10)/((-27)/y). Is o equal to -1/2?
False
Let f be (138/238)/3 + (-39)/91. Which is smaller: f or -0.1?
f
Let p(m) = 5*m**2 - 4*m**2 + 4*m**2 + m**3 + 1 - 4*m**2. Let v be p(0). Is -2/49 < v?
True
Let c be 40/24*9/30. Is c smaller than 0.243?
False
Let v be (-72)/(-7 - 23/(-3)). Which is bigger: -109 or v?
v
Let m(k) = k**2 + 4*k. Let p be m(6). Let v = 77 - p. Which is greater: 18 or v?
18
Suppose -2*y - 70 = 3*y. Let c(x) = -16*x + 4*x + 11*x + 15*x. Let o be c(-1). Is y not equal to o?
False
Let i(v) = v**2 + 3*v + 2. Let s be i(-2). Let w be 1 + s + -24 + 3 + 1. Which is smaller: w or 1?
w
Let s be 20/18 - (-321382)/(-290637). Is s not equal to 0?
True
Let d = 2388 + -231638/97. Suppose -3*p - 3 = -3*x, -5*x + 2 = -3*x - 4*p. Which is greater: d or x?
x
Let i = -3 + 9. Let k be (7 - i)/((-16)/14). Is -2 greater than k?
False
Suppose -5*l + 27 = -3. Suppose 149 = l*b + 59. Is b > 13?
True
Suppose -61*g + 65*g - 931 = o, 0 = -o + 5*g - 931. Which is smaller: -932 or o?
-932
Suppose -4*l = h - 57, 0 = -2*l + l - 2*h + 16. Let x = l + -11. Do x and 9/5 have different values?
True
Suppose 0 = -12*y + 69 - 81. Which is greater: y or -6/47?
-6/47
Let v = -27939/122 + 229. Is 1 bigger than v?
True
Let y be 5/(10/(-4)) + 54. Is y at least 51?
True
Let k = 89/72 + -9/8. Let w(v) = 5*v + 51. Let p be w(-11). Let r be (10/p)/5 - 8/(-16). Which is smaller: r or k?
r
Suppose -201 = -4*s + 5*t - 2*t, -2*s = 5*t - 107. Let l be s + -3*1/3. Let w be (l/(-52) + 1)*4. Is 1 bigger than w?
True
Suppose -6*i + 2*i - r = -589, 3 = 3*r. Which is smaller: 146 or i?
146
Let y be (-5 - -1)/12*12/(-472). Which is smaller: y or 1?
y
Let r be (-249)/(-42) + 4/8. Let a = r + -2032/315. Which is bigger: 1 or a?
1
Let f = 1172 + -3472/3. Is f less than or equal to 15?
Tr