lse
Suppose -34*s - 3196 - 7310 = 0. Is s > -309?
False
Let q = 15325.84 - 15326. Is q smaller than -251?
False
Let i be (3 - 128)/25 - (-5)/1. Which is bigger: i or -71/158?
i
Let j = -1259.9 + 1239. Let d = -2.97 - -0.07. Let g = d - j. Is g < 2?
False
Let s = 5208 + -5208. Which is smaller: s or -13/252?
-13/252
Suppose 4*t - 232 = 3*z, 452*t = 4*z + 450*t + 306. Suppose -234 = u + 2*u. Is z < u?
False
Let u be ((-131468)/(-276))/(7/9 - 1). Does u = -2144?
False
Let r be (1 + 0 - 122)*53/((-4823)/(-112)). Is r > -149?
True
Let p be ((-33)/(-9) + -3)*3. Let f be (p/(-17))/(6 + -4). Let j = 155.3 + -156.3. Which is bigger: j or f?
f
Let q be (7/(-21)*-3)/(1/6). Suppose 6*c - 4*c = -k + 11, 0 = -k - c + q. Let t be 2/(-7) - (-208)/630. Are k and t unequal?
True
Let l(x) = -8*x + 24. Let b be l(-4). Suppose -5*h + b = -5*q - 249, -2*q - h - 125 = 0. Let w = -195 - -134. Is w >= q?
True
Let u(c) = 25*c**2 - 2*c - 5. Let d be u(-1). Suppose -k = d - 69. Is 47 < k?
False
Let n = 30 - 313. Let l = -2575/9 - n. Which is bigger: l or -2?
-2
Let z(o) = -5*o + o + 3*o**2 - 4*o - 6. Let m be z(5). Suppose 19*x - 454 = 78. Is x != m?
True
Let f be -4 + 38/9 + 6*6/(-162). Is 1/289 greater than or equal to f?
True
Let u(z) be the second derivative of z**4/12 + 2*z**3 - z**2/2 - 32*z. Let g be u(-12). Let v = -9 + 8. Is g smaller than v?
False
Let j = -4103183/368824 + 2/46103. Let a be -10 + (-2 - 0) + 1. Is a > j?
True
Suppose -2*c - 900 = -6*c. Suppose 10*a - 7*a = -c. Let m = a + 74. Is -8/5 at most as big as m?
True
Suppose 0*x - 3*x + 234 = 0. Let u be x/(-74) + (-15 - -16). Is u at most 1?
True
Suppose -g + 0*g = g. Suppose 2*p + 5*q - 13 = g, p + 0*p + 4*q = 5. Let t be 1/(-6)*(3 - p/6). Which is bigger: 11 or t?
11
Let a(o) be the second derivative of o**4/12 + 14*o**3/3 - o**2/2 + 30*o. Let j be a(-23). Let r = 112 + j. Which is bigger: -7 or r?
r
Let l(i) = i**2 - i - 6. Let g be l(5). Let b = g + -83/6. Suppose -11*q - 5*y + 2 = -7*q, 4*q + 16 = 4*y. Is b less than q?
False
Let n be 3/12 + (-130)/456. Suppose 3*b = 2*b. Let d be -1 + 0 + 1 + -1 + b. Is d >= n?
False
Let z(j) = -2*j**3 - j**2 - j + 2. Let n be z(1). Let m be (-414)/402 + (-2)/n. Let g = 218 - 218. Which is smaller: m or g?
m
Suppose -2*y + 15 = -u, -u - 3*y + 27 = 2. Let j be (-13)/9 - (-1 - 0). Which is smaller: j or u?
j
Suppose -659 = 5*i - 4*f - 688, 0 = -5*i + 3*f + 23. Do -3/559 and i have the same value?
False
Let s(j) = j**2 + 7*j + 1. Let m = 3 - 10. Let q be s(m). Let a be (-96)/14 + 21 + -14. Which is bigger: a or q?
q
Suppose -1950 = 198*n - 179*n + 2439. Does -3906/17 = n?
False
Suppose 6*q + 4*q + 6*q - 1200 = 0. Which is smaller: 57 or q?
57
Let k = -23 + 22.963. Let v = k - 2.963. Is 2.7 bigger than v?
True
Let z be (-7182)/357 - 4/(-34). Let b be (-75)/z + 5/4. Suppose -b*u + 29 = -u - 3*o, 2*u - 4*o = 22. Do 21/4 and u have different values?
True
Suppose -15*n + 1083 - 3498 = 0. Let t = -121 - n. Which is smaller: 44 or t?
t
Let g be (-22 + (-440)/(-30))/(((-8)/6)/2). Is -108 at most g?
True
Suppose 12*y - 2*k = 16*y - 78, -3*y + 69 = 5*k. Suppose 0 = -t - 4, 5*j + y*t - 19*t + 1886 = 0. Which is smaller: -376 or j?
j
Let x = -0.679 - -405.679. Let f = x + -411. Which is smaller: 23 or f?
f
Suppose -29 = -5*s + 2*t, -5*s + 0*t + 27 = -t. Let o be (-1)/(s/(-3)) - (-9)/(-15). Which is greater: o or 2/133?
2/133
Let w be ((-8)/(-3))/2 + 4544/(-24). Let t = w + 188. Let j be -1 + ((-9)/2)/(-3). Which is greater: j or t?
j
Let f = -13 + 13. Let u = -1137 - -1095. Is f smaller than u?
False
Let q be -1*(-1 - (1 - 1)). Suppose -y + t = -q, -4*t = 2*y - 0*t + 4. Suppose y = -5*l + 5*u + 10, -u - 8 = -3*l + 4*u. Are l and 1/14 equal?
False
Let q = -658 - -660. Suppose -3*p + 4*g = -23, -4*p - q*g = -0*g + 6. Which is smaller: p or -1/350?
-1/350
Let i(b) = b**3 + 13*b**2 - 13*b + 30. Let w be i(-14). Suppose 0 = -2*n + 2*t + w, 3*n - 22 = -2*n - 4*t. Is n less than 7?
True
Suppose 4*d - 89*u + 92*u = -495, -5*d = 4*u + 618. Is d at least -129?
True
Let r = -1.1683 + 1.1583. Which is smaller: r or 460?
r
Let o = 41537/54 - 1531/2. Is 3 >= o?
False
Let v be (-189 + -9)/9 - -21. Let k = -210630/233 - -904. Does v = k?
False
Let v be -35 + 45 + 10/(-2 - -1). Is v < 5/498?
True
Let a(f) = -f + 11. Let s be a(6). Suppose s*g - 12 = g. Suppose 2 = -2*m - y, -5*m + 5*y = g*y - 4. Is 3 smaller than m?
False
Let n(x) = -6*x**3 - 6*x**2 + 10*x - 7. Let k be n(1). Is k at least 153?
False
Suppose -171*y + 1094 + 1546 = -183*y. Is -4190/19 <= y?
True
Suppose o - 32 = 3*b + 62, 2*o = -4*b - 112. Is -3/8 bigger than b?
True
Let k be (1 - 49/63) + 582/(-2700). Suppose 0 = -2*z + 5*w + 12, 0*z = -5*z + 2*w + 9. Is k not equal to z?
True
Suppose -5*c - 3*r = -106, 2*c - 83 = -2*c - 3*r. Suppose 0 = 5*y - 17 - c. Let d(s) = s**2 - 45*s - 2243. Let w be d(75). Is w less than or equal to y?
True
Let v = -473 - -471. Let h be v/8 - 162/216. Do -5/122 and h have the same value?
False
Let k be 1*(-1 + 12/9). Let h = -2390.2 - -2324.2. Is h at least as big as k?
False
Let y = 8963 + -8963.03. Let i = -9.38 - -0.38. Is y greater than i?
True
Let i = -101.1 + 65.2. Let m = 36 + i. Which is bigger: m or 3/29?
3/29
Suppose -24*m = -20*m + g + 19758, -2*m - 9852 = 5*g. Is -4940 at least as big as m?
True
Let p be (903/(-45))/(-7) - 12/(-90). Suppose -28 = -p*i + 2. Is i < 29?
True
Let y(w) = 40*w + 1473. Let v be y(-38). Which is smaller: v or -46?
v
Let v(a) = a**3 + 2*a**2 - 32*a + 45. Let z be v(4). Suppose -2*r = 4, 0 = 5*w + 2*r - 6*r - 68. Which is smaller: w or z?
w
Let m(u) = u**2 + u - 17. Let p be m(4). Suppose p*y + 0*y - 2 = 2*o, 0 = -5*o - 3*y - 26. Let l be ((-203)/210 - 4/(-6))*o. Which is smaller: l or 0?
0
Let y be (0/(-6 - -2))/(-8). Is -7/1116 at most as big as y?
True
Let t(r) = -3*r**2 - 52*r - 12. Let k be t(-17). Let p be -3*(k + ((-142)/33 - 0)). Is p at most as big as -2?
True
Suppose 4145*x - 18480 = 4152*x. Which is smaller: x or -2639?
x
Suppose 4*v + 5*u - 29 = 0, 4*u = 3*v + 4 + 13. Suppose -2*j - 3*f + 4 = -v, 0 = j - 4*f + 14. Let h be 2*2 + (-56)/14. Is h greater than or equal to j?
True
Suppose 5 + 5 = -5*v. Let n be v + (-4983)/(-1638) + (-16)/56. Let g = n + -5/6. Which is bigger: 0.1 or g?
0.1
Let g be 1/(-1) + (5 - 3). Let r(v) = -69*v + 1. Let p be r(-1). Let s be (20/p)/((-16)/(-322)). Is g less than s?
True
Let p = -2044 - -2522. Is p < 475?
False
Let x(g) = 2*g - 1. Let v be x(3). Suppose 3 = d - 1, 0 = 2*i - v*d. Suppose 0 = -50*b + 17*b + 198. Which is smaller: i or b?
b
Let f be (81/6 - (-5)/5)*-14. Let t = f - -2231/11. Suppose 4*q + 5 = c + 3, q - 3*c = -6. Is t < q?
True
Let q = 469007 + -2323264/5. Let c = 4380 - q. Which is smaller: 26 or c?
c
Let x be 4/(-6) + 105/9. Let g = x - -7. Let q be ((-3)/(-10))/(g/(-24)). Which is bigger: q or 0?
0
Suppose -3*y - 3*o - 159 = 0, 0*y + o - 106 = 2*y. Is y smaller than -55?
False
Suppose 4*y + 2*x - 10 = -0, -2*x = 5*y - 15. Suppose 35 - 230 = -y*g. Suppose -133 - 1467 = -40*h. Does g = h?
False
Let m(s) = s - 1. Let k be m(1). Let h(o) = o**2 + o - 3. Let i be h(k). Let d be 14/18*3 + i. Is 0 less than d?
False
Let x = -21533 + 43271. Is 21739 less than x?
False
Let r(z) = -2*z + 10. Let q be r(-6). Suppose 3*i + 34 = 3*h - 11, 3*i = -3*h + 51. Suppose 2*o - 24 = h. Which is greater: q or o?
q
Let o = 0.0452 - -49.3248. Which is greater: -2 or o?
o
Let l = -651 + 49. Let g = -1890 + 1287. Which is smaller: g or l?
g
Let g = -46/17 - -632/221. Suppose -3*s + i - 100 = 0, 0 = 4*s + s + 5*i + 160. Let f be 7/22 - 6/s. Which is smaller: g or f?
g
Let i = -3059.8 + 3060.7. Let z = 1/9 - -2/63. Is i at most as big as z?
False
Let x = 173/345 + -1/690. Which is bigger: 92/17 or x?
92/17
Let v = -21946 + 21946.9427. Let r = v + 0.0573. Which is smaller: -0.04 or r?
-0.04
Suppose -10*h = -2*l - 6*h + 8582, -2*h - 8584 = -2*l. Which is greater: 4294 or l?
4294
Suppose -l - 41 + 335 = -u, -4*u + 882 = 3*l. Is 295 equal to l?
False
Suppose 0 = 30*w - 23*w + 49. Let z(t) = -5*t - 26. Let c be z(w). Which is bigger: 31/4 or c?
c
Let x = -42209/1820 - 3/364. Let l = -12 + 11. Which is greater: x or l?
l
Let z(c) = -12942*c - 285. Let k be z(1). Is k at least as big as -13226?
False
Let m = 491/300 + -29/75. Is -7 less 