lse
Suppose 4*t - 315 = -2*m + 453, -2*m + 2*t = -732. Is -2/3 at least m?
False
Suppose -2*r + 4*j = -14, 10*r - 11*r - 13 = 3*j. Let i = 3/48482 - 13189849/44361030. Let o = i - -10/61. Which is bigger: r or o?
o
Let d(s) = 37*s - 28. Let v be d(9). Let h = v - 4577/15. Is h greater than -5/8?
True
Let z be (-23)/(-5) - (-4 + (-69)/(-15)). Suppose d - 2*d - 10 = 3*j, 0 = -z*d - 16. Let r be 11/(-28)*-2 + 1/j. Is 0 greater than or equal to r?
False
Suppose -2551 = 14*d + 1271. Let r = 98 + d. Which is smaller: -174 or r?
r
Let q be (0 + 3)*((-64)/8 - -3). Let b(f) = -f**3 - 16*f**2 - 31*f + 9. Let c be b(q). Is c smaller than 249?
False
Let c(p) = -34*p - 2008. Let d be c(-59). Is 222 greater than or equal to d?
True
Let t = -90 + 164. Let j = t + -73.89. Is j at most as big as -7/5?
False
Suppose 1034*y - 900 = 1019*y. Is y < 5?
False
Suppose q + 1 = -3*t + 4, 5*q - 3*t = 15. Let c(m) = 4*m - 2. Let s be c(1). Suppose -4*d + 156 = -0*n + 4*n, q*d + s*n = 116. Which is smaller: d or 0.1?
0.1
Let h = 2355 + -2350.093. Let b = h + -0.067. Let g = 1.16 + b. Is -1 > g?
False
Suppose 2*s = -0*s + 3*j + 1, 0 = -4*j + 4. Suppose -33 = p + s*p. Let z(y) = -y**2 + 38*y - 309. Let o be z(27). Which is smaller: p or o?
o
Let b = -8 + -22. Let x be (-2)/b*(9 - 4). Is 234 at most x?
False
Let k(n) = n**2 + 3*n. Let i be k(-4). Let x = i - 1. Let g = 69490 + -138977/2. Which is bigger: g or x?
x
Let i = -403 - -621. Let j = 2350 + -2133. Which is greater: j or i?
i
Let m = -34.16 - -35.96. Which is smaller: 120/17 or m?
m
Suppose 4*j - 2*u - 3*u + 105 = 0, -3*j - 78 = -4*u. Let g be (-306)/140 + -6 + (-177)/j. Is g at most as big as 1?
True
Let j = 14/65 - 8/13. Suppose -u = 5*x - 36, -64 = -2*u - 0*x - 2*x. Which is smaller: u or j?
j
Let b(o) = -o**2 - 6*o - 5. Let g be b(-6). Suppose a = -14 - 3. Let q = a - g. Is q smaller than -1/4?
True
Let h be 4/(-6) + 24/(-18). Let t(i) = -i**3 - 25*i**2 + 396*i + 3. Let u be t(11). Let y be (0 - u) + 253/51 + h. Is -1 greater than or equal to y?
False
Suppose 3*m - 5*w + 355 = -m, 4*m + 361 = -w. Let x = m + 98. Suppose 922 = x*v + 338. Is v greater than 72?
True
Let y = -14/865 - -14461/626260. Is 1 less than or equal to y?
False
Let o be ((-624)/(-310))/4 - (-124)/(-310). Which is bigger: 1 or o?
1
Suppose 13*m = 8*m + 30. Suppose -3*h + 3 + m = 0. Let w be -1 - (-4 + h) - (-12)/(-46). Which is smaller: w or 1?
w
Let x = -5506 - -5467. Which is greater: x or 31?
31
Let q(a) = a**3 + 31*a**2 - 28*a + 127. Let m be q(-32). Is 5/246 <= m?
False
Let i = 144.71 + -144.8. Let a = -0.32 - -4.32. Which is bigger: i or a?
a
Let c be 1/(-20)*731/918*-12. Which is smaller: -1 or c?
-1
Let r be (-75)/5*(-9)/495. Let q be (-48)/63 - 2/(-6). Which is smaller: r or q?
q
Suppose 2*g + 3 = 7. Let v = 4 + 20. Let q be v/36*(4 + -1). Is q <= g?
True
Let x be -2*(-7)/6 + 1/(-3). Suppose 0 = -v - 4*k + 25, -k + x = -2*v + 7. Suppose -v*y + 3*s + 20 = 0, -2 = 4*y + 3*s + 9. Is y <= 2/91?
False
Let h be (-5*78)/3*(-2)/4. Let y = h - 51. Let u be 9 + -11 + y/3 - 3. Which is smaller: 5/7 or u?
u
Suppose 7*k = 24 + 11. Let f(h) = h - 5. Let z be f(k). Let w = 75105/37 - 2030. Which is smaller: z or w?
w
Suppose -158*b + 104*b + 211302 = 0. Is 3913 equal to b?
True
Suppose 10 = -x + 12. Suppose -11 = -l + 2*j, -x*l - 3*j = -l - 16. Let n be 3/6 + l/(-30). Is 1 greater than or equal to n?
True
Suppose -4*d + 34 = 6*n, 3*n + 13 = -d + 29. Which is greater: 2/41281 or d?
d
Let w = 0.7895 - 0.8255. Let j = 120.536 + -120. Let i = j + w. Which is smaller: 1 or i?
i
Let u(n) = n**3 + 7*n**2 - 9*n - 3. Let m be u(-8). Suppose m*h + 210 = 5*l, -39 = 2*h - l + 49. Is -46 less than h?
False
Let r = 123 - 120. Suppose 4*k = r*t + 5, 2*t + 2*k = -t + 7. Which is smaller: 8/19 or t?
8/19
Let h be (266/95)/(2/(-215))*(-10)/7. Does h = 430?
True
Suppose -4*x + 10 = -46*c + 48*c, -2*c + 2*x - 8 = 0. Is c greater than 3/391?
False
Let u be (72/2)/(1/(8/(-12))). Let i be 2/3 + (-8)/(u/103). Let z be (-14)/(-4)*(-100)/i. Which is bigger: z or -7?
-7
Suppose 4*c = 3*i + 6, -4*c + 7 + 1 = -2*i. Suppose -20 = -c*v + 5*v. Let p = 74/35 + -396/35. Is p > v?
True
Suppose -3*y = -2*z + 17, 0 = 3*z - 2*y - 6 - 7. Let d(j) = j**2 - j + 2. Let f be d(-7). Suppose 1 = 3*h + f. Does h = z?
False
Let l be -4 + (-69)/3*2. Let b be (((-21)/15)/(-1) - 1)*l. Let m = b + 14. Which is smaller: m or -7?
-7
Suppose -51*t + 161 = -44*t. Suppose 0 = 2*x - 10, -4*x + t = 5*d + 3. Is -1/438 at least d?
False
Let o(z) = z**3 - 13*z**2 - 15*z + 14. Let n be o(14). Suppose -5*u - 108 = -2*d, n = -5*u - 4*d - 57 - 27. Which is smaller: -4 or u?
u
Let q(d) = d**3 - d**2 - d. Let b = -79 + 78. Let w be q(b). Which is smaller: 2/1017 or w?
w
Let y(n) = n - 2. Let o be y(-2). Let a be 0 + 9 + o - 2. Suppose 0 = 2*s + s - a. Is -3/13 equal to s?
False
Let b = -2180/21 - -23987/231. Let q = 16 + -15. Is b equal to q?
False
Let n = 690 - 424. Let u = -380 + n. Is -113 > u?
True
Suppose 0 = 4*n + 3 - 11. Let c = -146 - -23. Let k = -122 - c. Is k smaller than n?
True
Let r = 12512 - 12511. Is -2/18611 bigger than r?
False
Let m = 20/2461 - 122297/15957124. Which is smaller: m or -1?
-1
Let w = 10.96 - -3.14. Let r = w - -1.9. Let a = 1456 + -1456.1. Which is smaller: a or r?
a
Let f = -3308 + 3307. Which is greater: f or -17/42?
-17/42
Let r = 37.1 + -7.1. Let x be ((-135)/(-27) + -6)*(0 - -1). Is x < r?
True
Suppose -1 = 13*c - 41 - 12. Suppose 5*a - 4*l = 80, -2*a + 0*l - 3*l = -55. Suppose -c*f + 2*f = -a. Do f and 8 have different values?
True
Let z = -368 + 383. Suppose 38 - 23 = z*u. Which is smaller: u or -5/43?
-5/43
Let d = 24809797/1419 - 17484. Which is smaller: 1 or d?
d
Let g = 6 + 82. Let k = g + -87. Let q be 11/4 + -1 + -1. Is k smaller than q?
False
Let q(u) = -u**2 - 9*u + 10. Let g(l) = -2*l**2 - 5*l + 6. Let j be g(-6). Let o = 26 + j. Let y be q(o). Which is greater: y or 0.3?
0.3
Let g be ((-450)/(-54) + 3)*-252. Do g and -2857 have the same value?
False
Let m(d) = -d**3 - 2*d**2 - 3*d + 2. Let c be m(-3). Let h(l) = -l**3 - 2*l**2 - 5*l + 26. Let k be h(3). Let j = k + c. Which is greater: -12 or j?
-12
Let w = 218505 + -447789/2. Is -5390 > w?
False
Let n = -1 - -26. Suppose 23*a - 28*a - n = 0. Let w = a - 0. Is w at most -17/4?
True
Let u = 6 - 2. Suppose -u*f = -5*j + 37, 2*j - 20 = j + 5*f. Suppose 4*l - w - 20 = 0, w - 6*w + 20 = 0. Are l and j unequal?
True
Suppose -31279 - 29374 = 131*h. Which is greater: -4 or h?
-4
Let q = 0.4736 - -170.5264. Are q and 17 nonequal?
True
Let q(b) = -b**3 - 7*b**2 + 2*b. Let p be q(-7). Suppose 5*z - 8 - 2 = 0. Let u be 7/p*(-1 + z). Is 0.07 <= u?
False
Suppose 7*f - 4*a - 238 = 10*f, 5*a = -5*f - 395. Is f greater than -89?
True
Let m be 12 - 1 - 10230/990. Which is smaller: m or 3531?
m
Let v = -0.1149 + 463.1149. Let z = -463.26 + v. Is z greater than or equal to 0?
False
Let d(u) = 3*u**2 + 63*u + 96. Let c be d(-17). Which is bigger: c or -107?
-107
Suppose -2*g - 10 = -7*g. Suppose -n - n = g. Let b be (5/(-18))/(760/684). Is n less than b?
True
Let z = 24615521073871/160 + -153847681637. Let r = z + 3369602/5. Let p = 1005 + r. Is p less than 1?
True
Let b(t) = 2*t**2 - t**2 + 19 - 2*t**2 - t. Let w(a) = -3*a**2 - 275*a + 652. Let s be w(-94). Let d be b(s). Which is bigger: -9 or d?
-9
Suppose -3*v = -9*v. Let l be -8 + (v/1 - 2). Let c be (-15)/l*(-4)/6*41. Which is bigger: -42 or c?
c
Suppose 28*b - 37*b - 103 = 2*l, 50 = -4*b - 3*l. Let d = 33/2 + 37/6. Let c = -23 + d. Which is greater: c or b?
c
Let p = 918/11 - 792102/9493. Which is smaller: p or -1?
-1
Let o be -4 - (42/(-3) - -3 - -5). Suppose 0 = o*x + 2 + 8. Is -43 <= x?
True
Let u = -166/141 + 23099/19740. Let r(d) = d**2 - 8*d - 8. Let g be r(9). Is u less than or equal to g?
True
Let j(y) be the third derivative of -y**5/60 + 11*y**4/12 - 4*y**3/3 + 16*y**2. Let s be j(21). Let u be ((-13)/s)/(25/(-13) - -2). Is u at least as big as 1?
False
Let p = 1342 + -1341. Is 1/101 greater than p?
False
Let f = -24.73 + 24.73. Let r = 5.18 - 0.08. Let o = r - -0.9. Is f >= o?
False
Suppose -4*r + 103 = -c, -2*c - 2*c = -20. Let u be 3/r*-3 + 17/39. Which is greater: u or -1?
u
Let a be 1228*(-13)/(-2470)*-10. Which is bigger: -66 or a?
a
Let m be ((-1)/(-6))/(9/5