lse
Let k be (-150)/(-105) - 213/7. Which is smaller: k or -49?
-49
Let y = -205 - -229. Suppose 124*b - 126*b = y. Are b and -112/9 equal?
False
Suppose 16701 = -33*v + 15843. Which is smaller: -473 or v?
-473
Let p(z) be the first derivative of 3*z**2/2 + 2*z - 165. Suppose 4*m - 4*o = 4, 0 = 2*m + o - 3 + 1. Let g be p(m). Is 4 bigger than g?
False
Let d be (-3)/(-1) - (-8 + 13). Let g(z) = -5*z**2 + z - 1. Let u be g(d). Let y(n) = 9*n**2 - 102*n - 95. Let w be y(12). Is w greater than or equal to u?
True
Let y = 36.6 + -74. Let h = 38.8 + y. Is -1.2 <= h?
True
Let q(p) = 237*p + 17463. Let z be q(-74). Let h be (4/2)/(3/(-114)). Which is bigger: h or z?
z
Let k(d) = -d**2 - 5*d + 1. Let c be k(-5). Let f = 8142/91 - 1164/13. Which is bigger: f or c?
c
Let g = -33801 - -33850. Suppose -3*z + 5 = -2*z. Suppose d + 52 = k, 2*k - z*d = 120 - 4. Which is bigger: k or g?
g
Suppose -17*f = 1866 - 1866. Does -113/144 = f?
False
Let a = -9370 - -9369. Is 25/57 at most a?
False
Let b = 10 - 11. Let p = -16727/239 + 70. Is b greater than or equal to p?
False
Let u = 15774 + -15529. Is 185 at most as big as u?
True
Let n(w) = 16*w + 211. Let l be n(-12). Suppose 3*b + 1 = 10. Suppose 3*f - 2*o = b*o + 46, -o + 52 = 3*f. Which is greater: l or f?
l
Let i = 24.88 - 85.88. Is i less than 63?
True
Let r be (-7 + 8)/(-1*3/51). Let u(a) = -2*a + 6. Let f be u(4). Let i be f/(-4) + 175/(-10). Is i <= r?
True
Let k = -893 - -915.48. Let y = 22 - k. Let t = y + -0.52. Is t at most -10/7?
False
Let q = 8/1205 + -20107/306070. Which is bigger: q or -1?
q
Let o = 2917/5 + -586. Suppose 3*u - 9 = 6*u. Let y be -1 - u*(-4)/4. Which is smaller: o or y?
y
Let g = -33141030567/560 - -59180481. Let k = g + -693/10. Is 1 greater than or equal to k?
True
Suppose -i = 8*i - 162. Let a = 20 - i. Suppose 0 = -4*t - 5*v - 8, 0*t + a*v - 29 = 3*t. Which is bigger: -8 or t?
t
Let m be ((-27)/36)/(1/(-296)). Suppose 135 + m = 17*j. Suppose 24*f - 150 = j*f. Is 49 less than f?
True
Let w(f) = 1 - 104*f - 108*f + 211*f. Let n be w(-2). Suppose -o + 1 = n*q, 2*q - o - 9 = -0*q. Which is smaller: q or 39?
q
Suppose 1 - 1332 = 5*o - 2*r, 2*o + 542 = 4*r. Let p = 3179/12 + o. Is p at least as big as -0.1?
True
Let z(l) = 81*l + 413. Let n be z(-6). Which is greater: n or -52?
-52
Let o be 9/(-81) - (-44)/(-9). Which is smaller: -215/56 or o?
o
Let s be (-252)/(-45) + 8/(-5) + 2. Suppose s*i - 280 = -i. Let o be 4/i*-4*10/(-18). Which is smaller: o or -1?
-1
Suppose -12 + 0 = -3*g. Let j = 1411 - 1409. Suppose g*m + 16 = j*m. Which is bigger: -5 or m?
-5
Suppose 4*i = -2 - 2. Let x be (-3)/(-21) - (320/(-14) - 3). Let a be (-48)/(-96)*(-4)/x. Is a less than i?
False
Let s = -85.977 - -12.977. Which is greater: s or -56?
-56
Let s = -61 - -14. Let j = 219 + -153. Let x = j + s. Which is greater: x or 0?
x
Suppose -149*k - 8016 = -143*k. Which is smaller: k or -1338?
-1338
Suppose -3*b - 7 = -76. Suppose 4*p + 1 + b = 0. Which is smaller: p or 1?
p
Let l(g) be the first derivative of g**3/3 - 6*g**2 + 52*g + 15. Let k be l(8). Which is smaller: k or 25?
k
Suppose -5*v + 2217 = -2*h, 3*v - 1324 = -782*h + 777*h. Is v smaller than 453?
True
Let h(z) = 2*z**2 + 43*z - 26. Let c be h(-22). Let w be 2/((3/(-7))/(78/c)). Which is bigger: w or 456/5?
456/5
Suppose -5*j + 64 = -y, -4*y - 4*j = 76 + 60. Let x be 24/14*(3 + y/6). Which is greater: -11 or x?
x
Let g = 26.75 + -20.94. Which is bigger: 1 or g?
g
Let f be -5*1 + (-637)/(-343). Let g = -21 + 23. Let y be (g/8)/(11 - 10). Do f and y have the same value?
False
Suppose -4*q - 831 = 1817. Let a = q - -6629/10. Is a bigger than 2?
False
Suppose -3 = -5*p + 17. Let d(g) = 10 + 5 + 3*g + 0 - p*g. Let o be d(16). Is o at most -2/19?
True
Suppose 3*u = 2*t - 39, -3*t + 9 = u - 77. Let k(h) = h**2 - 1. Let c(y) = 3*y**2 - y - 1. Let j(q) = -c(q) + 4*k(q). Let m be j(5). Is t equal to m?
True
Let o(j) = 4341*j**3 + 3*j**2 - 11*j + 9. Let f be o(1). Suppose -3802 - f = -16*r. Are 508 and r non-equal?
True
Let r be 3*(1 + -2) - -3. Let t = -549.1 - -576.31. Let x = -0.21 + t. Which is greater: r or x?
x
Suppose -w + 2*w = -5*r - 448, -3*r - 5*w - 260 = 0. Let m be (-54)/r*(-2)/4. Are m and 2/11 unequal?
True
Let i(j) = 14*j + 250. Let m be i(-16). Which is smaller: 34 or m?
m
Let r be (-87)/105 - (-3)/7. Let c = 67.71 - 68. Let v = c - 0.61. Which is smaller: v or r?
v
Suppose 0 = 3*m + 2*k, -5*m - 38 = 6*k - 9*k. Is -249/71 > m?
True
Let d be 383209/9435 - 4/3 - (-2)/17. Which is smaller: d or 38?
38
Suppose 0*u + u + 12 = 4*d, 20 = -5*u. Let q be 4 + -1 + d - 5. Which is greater: q or 45?
45
Let k(f) = -126*f + 3122. Let w be k(25). Let x be (-3)/3*(-333)/(-9). Which is smaller: w or x?
x
Let k = -50.43 + 48.43. Suppose q + 4*z - 21 = 0, 2*q + 4*z - 22 = -0*z. Let i be 0 - (q + 23/(-2)). Which is smaller: k or i?
k
Let j(z) = -z**3 - 9*z**2 + 19*z + 21. Let c be j(-14). Let d be 11844/c + (-2)/(-7). Which is greater: d or 17?
17
Let b be (219 - 38)/(1/(-43)). Are -7783 and b unequal?
False
Let r(s) = -s**3 + 5*s**2 + 9*s - 6. Let u be r(6). Let a be -72 + (0*4/u - -2). Is -69 equal to a?
False
Suppose 0 = 3*d - h + 2*h + 11, -5*h - 29 = 2*d. Let p(s) = -s**2 - 3*s - 2. Let v be p(d). Let i = 245/612 + 11/36. Is v > i?
False
Let z = -3510 + 3510. Are -3801 and z equal?
False
Let p = 0.5 + -0.3. Suppose 2*b - 80 = l, 5*b - 2*b = -2*l - 146. Do l and p have the same value?
False
Let o(j) = 6*j**2 + 55*j - 6. Suppose -20*a - 121 = -9*a. Let y be o(a). Which is smaller: y or 114?
114
Let n be ((-42)/(-8))/(2/8). Let f be (-3)/((13 + (-25)/2)*8/(-38)) + -9. Is f greater than or equal to n?
False
Let y(g) = -g + 7. Let x be y(8). Let r be 68/10 + (x - (-12)/10). Suppose -r*t = 53 - 11. Which is greater: -3 or t?
-3
Suppose 382*i - 270 = 388*i. Which is smaller: -65 or i?
-65
Suppose 11*j = 3 + 8. Let z be (-14)/35*((-15)/(-10) + j). Is -8/101 bigger than z?
True
Let b be (-10)/340*(4 - 2)*6. Is 5 bigger than b?
True
Let m be (1 - 398/(-6))/(35/(-105)). Let c = 1012/5 + m. Which is greater: -20 or c?
c
Let h = 573 + -569. Suppose -h + 12 = -8*l. Is 1/61 less than or equal to l?
False
Suppose 0 = 10*c - 21 + 1. Suppose -3*v + 2*h = 46, -6*h + c*h = 2*v + 52. Let y be (-88)/v - (9 - 4). Which is smaller: -12/5 or y?
-12/5
Let w = -42 - -45. Suppose 8*d = w*d + 90. Let s be (-3)/d + (-166)/(-132). Which is bigger: s or 2?
2
Let r = -1060 + 1057. Are r and -46/17 nonequal?
True
Suppose 2*j + 14 = h, -4*h - 8 = 2*j - 14. Are 220/81 and h equal?
False
Suppose 3 - 1 = -2*u. Let k = -1275 - -25499/20. Which is smaller: u or k?
u
Let z = -1002 + 4235. Is z > 3236?
False
Suppose 0 = -53*a + 60*a + 14. Let z be 532/(-286)*a + 16/(-88). Which is smaller: z or 4?
z
Let x be (4/6)/((-10)/(-225)). Let v be (2 - -3) + (-6 - x/(-5)). Is v at least 11/5?
False
Let g(n) = 5*n**2 - 68*n + 58. Suppose 9*l - 70 = -4*m + 6*l, -5*l - 86 = -4*m. Let j be g(m). Does 571 = j?
True
Let u(q) = 8*q + 38. Let z be u(-7). Let d be (1/4)/(z/8). Let n = 88 + -442/5. Which is greater: d or n?
d
Suppose -4*j - 10 = -2*t + 3*t, -8 = 2*t + 4*j. Suppose 11*b = -0*b + 66. Suppose -565 = b*a - 589. Which is smaller: a or t?
t
Suppose j - 5 = -2*i - 2*i, 19 = -3*j + 5*i. Let q = 475 - 531. Is j less than q?
False
Let r be (-27)/45 - ((-888)/(-20) + 4). Let o be -1 - r/(-150)*-3. Suppose 5*v = -0*v - 25, 3*v + 17 = -2*d. Which is smaller: d or o?
d
Let s = 17 - 37. Let q = s + 19.92. Let y = 455 + -455.2. Which is bigger: q or y?
q
Let l(i) = 5*i + 99. Let q be l(-6). Suppose 13*a + q = -321. Which is bigger: a or -5?
-5
Let d(h) be the third derivative of -5*h**2 - h**3 + 0 + 0*h - 1/24*h**4. Let x be d(-5). Which is greater: x or -3/11?
-3/11
Let x be (3 + 5)*(-99)/12. Suppose 0 = -4*q - 13*q - 1105. Is q > x?
True
Suppose 957*a - 649*a = 53284. Is a < 170?
False
Suppose 56*a - 59*a - 324 = 0. Let t = a + 109. Suppose h - t = -0. Is 5/3 at most as big as h?
False
Let y = 19377 + -17954. Which is smaller: 1425 or y?
y
Let u = -1058 - -1089. Which is greater: u or 2/97?
u
Let l = -7.491 + 7.6. Let c = 0.409 - l. Let w = 91 - 641/7. Which is smaller: c or w?
w
Suppose -158 + 158 = -v. Suppose -3*y + 3*n - 12 = v, 3*y - y + 23 = 5*n. Is y < 2/585?
False
Let u = 7675 + -7690. Is -13/5 at leas