se
Let l(t) = t + 14. Let x = -67 - -62. Let b be l(x). Suppose -b = 3*o - 3*j, 7*o + 48 = 3*o - 5*j. Is -10 at most as big as o?
True
Let o = -3383/7358 - 1/566. Let t be (11 - 9)/((-2)/(-3) + 0). Suppose t*b = 4*b + 1. Which is smaller: b or o?
b
Let f = -14 + -82. Let g = f + 70. Let j(w) = 25*w - 1. Let x be j(-1). Is g at most x?
True
Suppose 8 = 4*r, 31*r + 242 = 4*l + 30*r. Is l greater than 89?
False
Let s be (-2)/(-1) - 161/196*3. Let t = s - -3/4. Which is smaller: t or 14?
t
Let f = 75 - 71. Suppose 133 = -f*m - 31. Which is bigger: m or 0.3?
0.3
Suppose 0 = -q + 5*s + 19464, 0 = 2*q + 45*s - 47*s - 38856. Is 19418 > q?
False
Suppose -228 = -4*b - 4*x, 0 = -4*b + 3*x + 187 + 6. Let j(p) = p**3 + 4*p**2 + 6*p + 7. Let o be j(-5). Let m = o - -101. Which is bigger: m or b?
m
Suppose -2*m + 0*m + 4*d = 26, m + 4*d = 5. Let w(j) = -j**3 - 5*j**2 - 14*j - 34. Let a be w(-5). Let s be (-100)/a + (-2)/9. Which is greater: m or s?
s
Let v = -8026625 - -11068716452/1379. Let h = -1048235/197 - -5321. Let u = v + h. Is -1 smaller than u?
True
Let l(q) = 385*q + 451. Let h be l(-11). Is h < -3786?
False
Let g = 356 - 325. Suppose 0 = -g*f + 75*f. Is -1/129 less than f?
True
Suppose 3188 = 2*u - 4*h, h - 7568 = -3*u - 2779. Which is greater: u or 1595?
u
Let t = 61.021 - 0.021. Let h = -63 + t. Let k be (-8)/18 + (-10)/45. Do h and k have the same value?
False
Let p = -77 + 77. Let w be -20 - -19 - (p - 0). Is w <= -1/45?
True
Suppose -932 = -124*o + 5392. Which is bigger: 77 or o?
77
Suppose 1 = -3*s + 22. Let l(p) be the third derivative of p**4/24 - 25*p**3/6 - 4*p**2 + 2. Let q be l(s). Is -20 != q?
True
Let t be (-756)/(-1890) - (-788)/5. Is t greater than -10?
True
Let f = 1370 + -1362. Which is smaller: 147 or f?
f
Let i = -281/3 + 16561/177. Suppose 4 = r, 3*t - 4*r = -11 - 2. Which is smaller: i or t?
i
Suppose -70*c - 1288 = 205 - 23. Let v = -22 - 2. Are v and c unequal?
True
Let b = 1726 + -1725.939. Which is smaller: 0.17 or b?
b
Let z be (-39*(-2369)/598)/((-6)/4). Let y = -0.9 + 1. Which is greater: y or z?
y
Let k(x) = -42*x + 47. Let o be k(1). Suppose 2*b + o*g = 2*g - 89, -46 = b + 2*g. Is -43 greater than b?
False
Suppose -4*v + 220 = 4*i, 0 = 3*v - v + 5*i - 104. Let o = 86 + 35. Suppose 5*g - 159 - o = 0. Is v equal to g?
False
Let s be 10/(5/((-55)/(-2))). Suppose b - 84 - 134 = -4*w, -10 = 5*b. Let l = s - w. Is l <= 2/43?
True
Let a be (12/(-15))/(-2*(-1)/(-10)). Suppose -3*n = -w + 10, -5*w + a*n - 2*n = -24. Let z be ((-2)/w)/((-15)/(-430)). Are z and -13 non-equal?
True
Let v = 12012 + -12708. Which is greater: v or -686?
-686
Let b = -674/51 + 1701901/128775. Which is greater: 0 or b?
b
Suppose -4*i + h - 137 = 0, -i - 43 = -h - 11. Is 13 at least i?
True
Suppose -2*d + 1450 = 4*k, -3*d + 57*k + 2180 = 58*k. Is 726 > d?
False
Let y be (-2 + 12/5)*15. Suppose -q + 6 = y. Suppose q = -2*g - 5 + 5. Is g bigger than -1/10?
True
Let r be (-3)/5 - (-78013)/1105. Which is greater: r or 19?
r
Suppose -4*u = j - 2*u + 38, -j - 3*u - 39 = 0. Let b be (84/j - (0 - 2))*-27. Let f(w) = -3*w + 20. Let m be f(b). Which is smaller: m or -8?
-8
Suppose 0 = -a - 5*a - 792. Let f be a/10 - (7 + -11)/20. Let t be (f - -13)/(1*(5 - 2)). Which is smaller: 9 or t?
t
Suppose 5*g - 4 = 2*n, 0*n - 4 = 5*g + 2*n. Let y = -408 + 279. Let l = 103 + y. Is l >= g?
False
Suppose u = -2*g + 8, -2 = 221*g - 222*g. Is u at most -9?
False
Let p = 14110/7 + -2016. Which is smaller: 67 or p?
p
Suppose -11*p + 110 + 0 = 0. Suppose v = -2*k - p, 3*k - 4 = 7*k - 2*v. Let f be (12/k - 25) + 3. Is f smaller than -28?
False
Let z be 48/(-30)*15/(-6). Suppose -3*u = z*g - 3*g + 4, -4*g - u = 5. Let s be (g - -1) + (-9)/((-9)/10). Is s not equal to -3?
True
Let d be 640/25 - 5*9/5. Which is smaller: 16 or d?
16
Let n(r) = r**3 - 19*r**2 - 56*r - 11. Let d be n(23). Let s = d + -25345/31. Is s equal to -2?
False
Let t be (320 + -2)*(-26)/(-11 - 67). Is t < 106?
False
Suppose -10*h + 6*h + 708 = 0. Let z = h + -177. Which is smaller: -2/641 or z?
-2/641
Let h = -7 + 3. Let p be ((-48)/(-4))/h + -6. Let c = 2.87 - 3.17. Is c not equal to p?
True
Let m = -139.36 - -1.36. Let p = m + 64. Let s = p + 73. Which is greater: 3 or s?
3
Let r be 3/(44/46 + -1). Let x = 97 + r. Let m = -60566 - -60593. Which is smaller: m or x?
m
Suppose -3*d - 4 = -d, 3*i + 468 = 3*d. Does -159 = i?
False
Let f be (((-84)/(-30))/(-1))/(51/(-1870)). Let c be -52*3/(3/(-2)). Is f less than c?
True
Let c = -176662/89 + 1985. Let o = -14 - -14. Which is greater: c or o?
c
Let s(c) = 133*c + 32. Let j be s(2). Let z = -337 + j. Which is smaller: -45 or z?
-45
Suppose 169*g + 24*g = 177367. Is 917 <= g?
True
Let j(s) = -s**2 + 22*s - 120. Let l be j(10). Let a be 322 + (-76)/95*(5 + l). Which is greater: a or 319?
319
Let h = -1572.1 + 1571.1. Let f = 4/65 - -821/390. Which is smaller: f or h?
h
Suppose 9 = -3*x + i, 396*i = x + 399*i - 17. Let m = 23089/48 + -481. Is m at least x?
True
Let t = 3306 - 4944. Which is bigger: t or -3277/2?
t
Let t(w) = -6*w**3 - 4*w**2 + 2*w + 6. Let y be t(-4). Let k = -357 + y. Which is bigger: k or -36?
-36
Let c(k) = 12*k - 2 - 6 + 3 - 11*k. Let h be c(9). Suppose -5*p - 9 = -h*g, 6*g = 4*g + 2. Which is smaller: -7/10 or p?
p
Let y be (-526)/(-148) + 98/(-28). Let z(w) = -3*w**2 + 0*w - 2 + 2*w + 3 + 4*w**3 - 3*w**3. Let x be z(2). Is y not equal to x?
True
Let j = -5147/3 + 1716. Is 2/2355 greater than j?
False
Let l(p) = -390*p + 387. Let h be l(1). Does h = -6.97?
False
Let n(m) = -4*m. Let w be 2/15*9*5. Let r be n(w). Let q = 25 + r. Which is greater: -1/71 or q?
q
Let k = -51650 - -188729099/3654. Which is smaller: k or -1?
-1
Let j = -11870 - -11628. Do j and -239 have the same value?
False
Let r = 118703/1500 - 273300383/2341500. Let u = r + 263/7. Is u smaller than -1?
False
Let y(d) = 59*d**2 - 3*d + 2. Let g be y(-1). Which is smaller: 57 or g?
57
Let p(c) = -c**2 + 211*c - 3872. Let k be p(189). Are 6546/23 and k equal?
False
Let g be (-2 - -4)/((-8)/12)*(-32)/12. Which is smaller: -43 or g?
-43
Suppose -5*p = 2*w + 8, -12*w + 51*p - 48 = 56*p. Let x = -0.04 + 3.04. Is w greater than x?
False
Let q = -15186 + 15124.112. Let d = -6.5 + 6.388. Let s = q + d. Is s at least -0.1?
False
Suppose d - u + 88 = -290, 5*d + 1897 = 4*u. Which is smaller: d or -386?
-386
Suppose 0*m - 24*m = -13392. Let h be (m/992)/((-21)/(-4)). Which is bigger: h or 1?
1
Let g = -2553 - -2583. Which is bigger: g or -76?
g
Suppose -11*s + 324 = -2118. Let x = 346 - s. Suppose -10*t - 56 = x. Is -18 < t?
False
Let p be (4/8)/(3/30). Suppose -5*b - 25 = 0, 5*b + 4 = -2*n - p. Is n < 71/10?
False
Let m(t) be the second derivative of -17*t**4/6 + t**3/3 - 3*t**2 - 5*t. Let g be m(2). Let j = g - -42. Which is smaller: -95 or j?
j
Suppose 6*o - 11*o = 290. Let i be 3/18 - o/12. Suppose r - 1 = 3*b, -2*b + 5*r + i = 3*b. Which is bigger: -6/7 or b?
-6/7
Let o be -97 + 0 + 9 + -12. Let m be 2/7 + 3/(-84). Which is smaller: m or o?
o
Suppose 2*p - p - 3*p = 0. Let u = 30 + -30. Let a be ((-2)/(-183))/(u - 2/6). Is a at most as big as p?
True
Let m be 14 - 1*(0 + 1). Suppose -413*z + 421*z = 40. Suppose z*b = 3*j + 59, -9 = 3*b + 4*j - 56. Are b and m equal?
True
Let d(z) be the second derivative of 2*z**3 - 17*z**2/2 + 19*z. Let n be d(2). Suppose 5*y - n = -2*u, 1 - 53 = -2*u + 4*y. Is 50/3 at most u?
False
Suppose 587*d - 584*d + 2628 = 0. Which is smaller: d or -875?
d
Suppose 13*s - 19193 = s - 37517. Is s < -1527?
False
Let b be 32292/195 + 3/(-5). Let o be (-1771)/b - 4/(-12). Let t be (33/6)/((-1)/2). Is o not equal to t?
True
Let b(u) = -10*u + 796. Let q be b(77). Let f be (-22)/(-20) - (0 - (-1)/2). Which is smaller: q or f?
f
Let r be (1279592/(-213264) - -6)/(8/(-32)). Which is smaller: 1 or r?
r
Suppose 14*i - 15*i - 4*o + 39 = 0, -o = -16*i + 884. Is 268/5 less than or equal to i?
True
Let x be 1*-1*21/((-12)/4). Suppose 0 = n - 5 + x. Let z be (0 + (-1)/n)*(-46)/23. Which is greater: 1/74 or z?
1/74
Let j = -602.2 - -683. Let v = j - 81. Do -61 and v have different values?
True
Let j be (23 + -2)*(-16)/(-8 + -8). Suppose -3*l + 3 + 3 = 0. Suppose j - 1 = -l*i. Is i less than or equal to -10?
True
Let j be 9/(54/12)*(0 - -28). Let s be ((-45)/(-6))/(7/j). Suppose