lse
Suppose 2*q - 4*c = 26, 6*q - 5*c - 46 = 2*q. Let n = 115 - 78. Let r = n - 37.2. Which is smaller: r or q?
r
Let m = 6 - 0. Let d be (14 + -2)*(0 - -1). Suppose g + d = 3*g. Is m bigger than g?
False
Let y = -1 - -1. Let j(t) = -t**2 + 5*t + 2. Let b be j(6). Let k(c) = 3*c + 9. Let r be k(b). Which is smaller: r or y?
r
Let o = 55690 - 393051/7. Let t = o + 461. Which is bigger: -7 or t?
t
Let a = -0.017 + -26.483. Let z = a - -3.5. Let h = -22.97 - z. Are -1/4 and h nonequal?
True
Suppose -3*f + 23 = 5*v, 3*f - 6*v = -v + 13. Suppose -60 = -c + f*c. Is -8 greater than c?
True
Suppose 5*w + 6 = 1. Let x be (24/28)/(3/(-63)). Let f = 16 + x. Which is smaller: w or f?
f
Let l(u) = u**3 - 8*u**2 + 2*u. Let b be l(5). Let d be 1/5 + 2873/b. Let w = d - -130/3. Are 6/11 and w nonequal?
True
Let w be (0 - 0)*-1 - 0. Suppose -4*g = -w - 4. Let z be (-3)/36*22 + 3/(-18). Is g bigger than z?
True
Let d = 8966/31 + -289. Is d smaller than 0?
False
Let b = 48 + -78. Let p = b + 22. Let u = 8.1 + p. Is 2/11 smaller than u?
False
Let x be 4/(-8)*(-4)/1. Suppose -s - 2 = 0, x*y + 5*s + 12 = y. Let m be (-44)/(-55) - y/(-10). Which is bigger: m or 0?
m
Let b(d) = d - 2*d - 10 + 22 + 1. Let f be b(13). Which is greater: f or -3/16?
f
Let f = -9656 + 4190699/434. Which is bigger: 1 or f?
1
Let h = 27 - 15. Let t = h + -13. Is 1/9 at most t?
False
Suppose 3*o - 2*t - 42 = 0, -12*t - 63 = -4*o - 7*t. Which is smaller: 44 or o?
o
Let r be 3638/(-4) + 3/6. Let k be 102/(-423)*((-7545)/(-2) - 3). Let w = k - r. Which is greater: w or 1?
1
Suppose 3 = -0*p - p, -3*i = -3*p - 18. Is -23 greater than i?
False
Let d be ((-9)/4)/((-18)/48). Let k be ((-2)/(-9))/(d/(-9)). Suppose y - 23 = 4*y - 4*z, -3*z = -5*y - 20. Do y and k have the same value?
False
Suppose -b = -2*b + 4, 0 = -5*t + b - 24. Let d = t - -14. Let o = d + -15. Does o = -2?
False
Suppose 3*h - 2*w = 3, 0 = 4*h - 2*w + 5 - 9. Which is smaller: h or 1/175?
1/175
Let l = -21 + 57. Let z = l + -35. Which is bigger: z or -6/5?
z
Suppose -q + 91 = -4*h, h - 1 = -2*q - 17. Let g = h - -23. Which is greater: -2/9 or g?
g
Let l be (-8)/240 + -1 + 1. Let b = -1 - 0. Which is greater: l or b?
l
Let v = 20 - 10. Suppose -4*h + 4*z + 204 = -96, -h - 3*z = -95. Let r be (-2)/v + 56/h. Is r at most as big as 0?
False
Suppose -5*s + 54 = s. Suppose -72 = -9*m - s*m. Let w = 6 - 1. Which is smaller: w or m?
m
Let y(i) = -i**3 + 18*i**2 - 14*i - 51. Let a be y(17). Let h = 9/5 - 157/90. Which is greater: a or h?
h
Let h = -6.5 + 1.4. Let q = 5 + h. Let m be 2/(30/227) + (-24)/180. Which is bigger: m or q?
m
Let k(j) = -7*j**3 - 6*j**2 + 3*j + 7. Let o be k(2). Is o less than -8?
True
Let s = 650 - 648. Let a = 5 + -1. Suppose 0 = 7*q - a*q. Which is smaller: s or q?
q
Let b(z) = z + 6. Let u be b(10). Suppose -4*y + s = 2*s - 20, -5*s = -y - u. Which is bigger: 2 or y?
y
Let w be 0/(-1 + -1) - 26/(-6305). Let k = w - 553/16490. Let h(x) = -x**3 + 8*x**2 - 8*x + 6. Let p be h(7). Which is bigger: p or k?
k
Let v be (886/(-92) + 2)*56/4389. Let l = -2/19 - v. Which is bigger: 1 or l?
1
Let s = 34 - 30.2. Let o = -7.8 + s. Is o at least -3/8?
False
Let z = -0.028 - -1.328. Let r = z - -3.7. Let q = 2 + -2. Is q at most as big as r?
True
Let q = 126/11 + -915/77. Suppose 0 = -5*u + 20, 0 = -v + 5*v + 3*u + 32. Let t(n) = n**3 + 12*n**2 + 10*n - 10. Let h be t(v). Which is greater: h or q?
h
Let u = -184 - -216.1. Let r = -32 + u. Is -2/15 <= r?
True
Let j(w) = w**3 + 14*w**2 + 10*w - 18. Let s be j(-12). Let p = s - 156. Which is bigger: -7 or p?
p
Let b(d) = d**3 + 17*d**2 - 33*d - 24. Let s be b(-18). Let n be (s/237 - 1)*(0 + 2). Which is smaller: n or 0?
0
Let u(v) = 17*v - 23. Let k be u(7). Suppose -44*l + k = -41*l. Which is smaller: 31 or l?
31
Let i = -411 - -323. Is i at least as big as -90?
True
Let l = -28 - -28. Let r = -43 + 58. Are r and l unequal?
True
Let s = -6/302599 - 3255057341/5144183. Let u = -633 - s. Which is smaller: 1 or u?
u
Let v = 53 + 203. Let g = 456 - v. Let k be g/66 - (-3 - -6). Are k and -1 non-equal?
True
Suppose d + 3*d + c = 0, 7 = 3*d - c. Let n be (-2)/(-80) + (-10)/25. Is d > n?
True
Suppose 4*w - 4 = 16. Suppose 5*g + 40 = 5*q, 2*q - w*g - 37 = -2*q. Suppose -3*v - 9 = -3*k, -v + 1 - 16 = q*k. Which is greater: -5 or v?
-5
Let o(m) = -3*m - 31. Let y be o(-9). Let n be (-9)/(-2)*y/8*4. Which is greater: n or -12?
n
Suppose 7*z - 3*z + 344 = 0. Which is smaller: -87 or z?
-87
Let u = 1 + -1. Let b be 2556/(-1704)*-2*1/(-28). Is b < u?
True
Suppose 0*k = k - 4*g + 2, 0 = -3*g. Let t = -17 - -13. Let d be (t/12)/(2/6). Is d less than k?
False
Let n = 196/5 + -397/10. Which is bigger: -0.1 or n?
-0.1
Let w = 11.93 + -10.93. Which is smaller: -0.1362 or w?
-0.1362
Let d be -2 + 2/((-8)/(-28)). Suppose 0 = 5*n - 2*n - y - 20, 4*n + d*y = 33. Suppose -24 = -t - 5*q, -t = -0*t - 2*q + 11. Which is greater: n or t?
n
Let u = -9 + 13. Suppose u*z - 7*z = -6. Suppose -6*j - 20 = -z*j. Is -5 not equal to j?
False
Let l = 0.11 + 0.59. Let t be (-4)/((-48)/(-27))*(-24)/9. Suppose -t = -4*d - 2. Is l < d?
True
Suppose 10 = 2*v, 3*v + v - 13 = -h. Let s be 2/4*(-8 + 0 - -2). Which is smaller: h or s?
h
Let i be (13 - 7)*(40/(-6))/1. Let d be (36/i)/(42/35). Suppose -2*c - 5 = -1. Which is greater: d or c?
d
Let j(s) = -2*s + 4. Let g be j(4). Let f = g - -9. Let u be 5 - (10/25 - -5). Is u smaller than f?
True
Let s be -3*(2/(-3))/2. Let f be ((-2)/648)/((-28)/483). Let z = f + 1/48. Is z less than s?
True
Let v = 25/13 - 87/52. Which is bigger: 25.5 or v?
25.5
Suppose -2537 = -3*h - 2579. Let f be 14/((2 - 4) + 1). Is f > h?
False
Suppose 5*n + 5*o = -24 - 1141, -4*n + 5*o - 932 = 0. Which is greater: -230 or n?
-230
Let o = 83 - 96. Let i = -10 - -18. Let g = i + o. Which is greater: -1 or g?
-1
Let k = -31.6272 + -0.0728. Which is greater: k or -1?
-1
Suppose 2*s + 11 = v, 3*v - 4*s - 35 = -12. Let j = 6 + v. Is j at least 8?
False
Let c = 2 - 2. Suppose 3*i = -5 - 31. Let s be (-2)/(-4)*(8/i)/1. Is c less than or equal to s?
False
Suppose 31 = -5*s + 76. Let g(o) = s - 14*o + 3*o + o**2 - 3. Let u be g(7). Does u = 1?
False
Suppose -7*w = -8155 - 1330. Which is bigger: 1356 or w?
1356
Let m = -364 - -363. Which is smaller: m or -1/82?
m
Let g = 3.5 + -11. Let p = 8.5 + g. Which is smaller: 7/3 or p?
p
Suppose 1 = g + 3. Let q be -559*g/(-28)*-4. Let o = -160 + q. Which is smaller: o or -1?
-1
Let w(h) = -2*h**3 + 40*h**2 - 17*h + 5. Let k be w(20). Are -334 and k unequal?
True
Let b = 16967 + -16965.7. Let h(a) = 7*a**2 - 2*a + 1. Let f be h(1). Let z be 8/20*(-10)/f. Which is smaller: z or b?
z
Let m be (0 - 4/11)*212/(-424). Is m bigger than -53?
True
Let w = 16 - 142/9. Let v(s) = s**2 - 5*s - 3. Let a be v(6). Suppose 16 + 2 = r + 5*x, 0 = a*r - 4*x + 3. Which is greater: w or r?
r
Let s = -1.1 + 1.07. Suppose 0 = -2*q - 8 + 2. Let a be q - (-4 - 4/(-6)). Are s and a unequal?
True
Let q = -241 + 258. Is 10 equal to q?
False
Let a = 15 - 12. Let n be -3*(a + (-48)/15). Suppose o - 4 = 5*c + 4*o, 5*o + 12 = -3*c. Which is smaller: c or n?
n
Let s(g) = 3*g**2 - 3*g + 3. Let i be s(2). Suppose -j - 2*j = -i. Suppose -q = 2*z - 1, 0 = -0*z + 3*z - j. Which is smaller: q or 2?
q
Suppose 4*d + 6*d - 4*d = 0. Suppose d*u - 1 = -u. Is 1/22 smaller than u?
True
Let n(l) = -2*l**3 + l**2 - 1. Let o be n(-1). Is o equal to 7?
False
Let i = -284 + 128. Let f be (i/(-16))/(-13)*1/(-3). Let o = -1 + 0. Which is smaller: o or f?
o
Let y be 9*(-15704)/(-100815) - 7/5. Which is smaller: -1 or y?
-1
Let x = -6 - -23. Suppose -6 = f + x. Let o = -24 - f. Which is bigger: 2/13 or o?
2/13
Let x be (-3)/2 + 492/328*515/519. Let c be (-2)/7 + (-2)/(-7). Which is bigger: c or x?
c
Let k(t) be the first derivative of -t**4/4 - 8*t**3/3 + 4*t + 2. Let o be k(-8). Let r be (-2 + o)/((-27)/6). Which is greater: r or 0.1?
0.1
Let p(b) = -b**2 - 3*b + 26. Let f be p(-6). Let s be (6/8 + -8 + f)*60. Do s and 45 have the same value?
True
Let t = 1405/5652 + 2/1413. Which is greater: t or -132?
t
Suppose 20*f = 19*f - 6. Which is smaller: f or -69/11?
-69/11
Suppose -5*f + 20 = 3*p + 8, 0 = 2*f + 5*p - 20. Let i(v) = -2*v + 5. Let g be i(f). Suppose 2*k - k = 6. Is g bigger than k?
False
Let v be (-330)/(-1150) -