lse
Let q = 0.6608 - 0.7838. Which is bigger: 4 or q?
4
Let s be 1/(6/5775)*50. Let c = -626495/13 + s. Let o = c - -67. Is 1 > o?
True
Suppose -72 = -5*l + 133. Suppose -d - 14 = -4*f, 2*f - 18*d - 6 = -17*d. Suppose l = -f*t + 129. Which is smaller: 21 or t?
21
Suppose 0 = b + 2*r - 738, 16*r = -5*b + 20*r + 3676. Is 2941/4 smaller than b?
True
Let d = -1.17 - -33.07. Let p = d - 32. Let a(v) = -v**2 + 5*v + 13. Let m be a(8). Which is smaller: m or p?
m
Let o be (0/(33 + -28))/(-5 - -1). Let g be -2 - 37/19*-1. Is o <= g?
False
Let b = 0.4164 - 0.3721. Which is greater: b or 0.1?
0.1
Let o be 3/(-6)*-2*(-24 + -9). Let a(j) = 8*j + 163. Let t be a(o). Is -99 greater than t?
True
Let s = 2184863194/11 + -140353426804814/706629. Let z = s + -2/1311. Is z bigger than 1?
False
Let l(b) = -b + 32. Let o be l(23). Let z be (-1)/(-2)*6/o. Which is greater: 1/347 or z?
z
Let n(t) = 26*t - 82. Let b be n(-29). Which is smaller: b or -835?
b
Let g be ((-4)/(-3))/(1/9). Suppose g = 3*s, 0 = n - s - 12 + 7. Is n < 5?
False
Let m = -56 - -75. Suppose -z + m*z = 36. Which is smaller: 6 or z?
z
Let j be (-1 + 3)/(32/48) + 13. Suppose k + j = 5*q - 0*k, -4*q + k = -13. Let z be (4/(-288)*-4)/(q/42). Which is bigger: 1 or z?
1
Let k be (1/2224)/(28/(-84)). Is k at most -1?
False
Let w = 11629 - 11627. Which is smaller: w or -687?
-687
Let d = 2.376 + -194.976. Let g = -192 - d. Which is greater: 1/7 or g?
g
Let h be 5/(-60)*-12*1. Do 62/189 and h have the same value?
False
Let o be 506/121 + 2/(-11). Suppose 20*y + o = 16*y + 3*s, 2*s = -5*y - 5. Let v = 4 + -3. Which is smaller: v or y?
y
Let s = -3.95 - 183.05. Let g = 186.8 + s. Which is bigger: g or -122?
g
Suppose 0 = -3*r - 5*w - 3462, 4*r - 13*w = -15*w - 4616. Is -1155 < r?
True
Let w = 1360359/505 + 4951/101. Let j = w + -2716. Is 28 greater than j?
True
Suppose -6*c = -11*c - 2*j + 5388, 3*c = 4*j + 3238. Let w be 14 + c/12 + (-2)/(-12). Which is bigger: w or 419/4?
419/4
Let a be (0 + 12/75)/(-2). Let d(w) = -3*w - 63. Let v(n) = -2*n**2 + 6*n + 15. Let p be v(6). Let c be d(p). Does c = a?
False
Let k = -5881 + 5914. Is 431/13 at least as big as k?
True
Suppose 17*f - 30 = 22*f, 0 = -w - 5*f - 27. Is w at least as big as 603?
False
Let a = -263167/60 + 4386. Let t be 1/(30/25) + 3/(-4). Let o = t - a. Which is smaller: o or -1?
-1
Suppose 0 = 4*l + 3*l + 25837. Let x = l - -14631/4. Let r = x - -33. Which is smaller: -41 or r?
-41
Suppose 980*y - 988*y + 272 = 0. Let c be (-9)/6 + 497/14. Is c not equal to y?
False
Let k be 12/32 + (-1 - 551103/26280). Let b = -108/5 - k. Which is smaller: b or 1?
b
Suppose 0 = -0*z - 2*z, 4*o + o + 1415 = 5*z. Which is bigger: o or 0.4?
0.4
Let x(n) = -7*n - 51. Let f be x(-28). Suppose -10*k + f + 315 = 0. Is 47 < k?
False
Suppose 3*y - l - 158 = 0, 11*y + 4*l = 14*y - 173. Let x be (-1815)/(-35) + 3 + (-60)/21. Which is bigger: y or x?
x
Let x be 1135/4830 + (-2)/12. Let z = x - -5/23. Are -1/3 and z nonequal?
True
Suppose 822 = 3*c - 990. Which is smaller: c or 607?
c
Let v = 18124.9 + -18125. Which is smaller: -14293 or v?
-14293
Suppose 2*u = 2*a - 2304, -10*u + 9*u - 3*a - 1128 = 0. Which is smaller: u or -1147?
-1147
Suppose -205*l = -203*l - j - 64, 3*j = -2*l + 72. Suppose 14*p = l*p + 361. Let i be (6/(-5))/((-2)/(-30)). Are p and i equal?
False
Let a = 18895 - 11193. Is a != 7702?
False
Let s be 8106/(60/80*(-2)/9). Let w be (24/s)/(2/3). Which is bigger: -1 or w?
w
Let a be (-7238)/(-141) + (-2)/(-3). Is a less than or equal to 2?
False
Let r be ((-935)/(-198) - 4/18)*(-9)/126. Which is smaller: r or 0?
r
Let y be ((-1980)/(-63))/11 + (20/(-35))/(-4). Which is smaller: 122 or y?
y
Suppose -10 = 5*u - 4*m, m + 20 + 9 = -4*u. Suppose 4*a - 16 = -6*z + 4*z, -a + 4 = -z. Suppose -7*t - 21 = -z*t. Are t and u unequal?
True
Let u be (((-20)/3)/(-2))/((-6)/(-9)). Suppose 4*j = 2*q + u*j + 1131, 3*q + 1716 = 5*j. Are -567 and q nonequal?
False
Let r be -4*(-4)/(48/(-33)). Let t be ((-25)/6)/(3*10/(-75)). Let l = r + t. Which is smaller: 0 or l?
l
Let n = -296142 - -31095269/105. Let x = n + -17/5. Which is bigger: 0 or x?
x
Let z be 1 + 30766/6152 + (-23)/((-391)/(-102)). Is 1 <= z?
False
Suppose 7*d = 98 - 525. Let g be (-7 - (4 + -12))/d. Are g and 0 equal?
False
Let a be (1/(4/9))/2. Let s(j) = -j**3 + 17*j**2 - 37*j - 63. Let u be s(14). Let c be (-35)/u - -2 - (1 + -4). Which is greater: c or a?
a
Let z = -17066/27 + 632. Suppose -304*p = -308*p + k - 48, -2*p + 4 = -4*k. Is p >= z?
False
Let o be 2087/15 + (-28)/210. Suppose -w - 2*w + 6 = 0, -i = -w + o. Is -135 smaller than i?
False
Let z(h) = h + 1. Let g be z(-1). Suppose 0 = 3*y + 7*y - 2080. Let w = y - 4360/21. Is w less than or equal to g?
False
Let r(v) = 2*v**3 + 27*v**2 - 30*v - 148. Let f be r(-14). Which is greater: f or 74?
f
Let f be (-2)/(-4)*25014/(-792). Which is smaller: -17 or f?
-17
Let r = -1656 + 1656.05. Suppose 0 = d + 2*d - 4*q + 10, -4*d + 4*q = 16. Which is bigger: d or r?
r
Let d(f) = f**2 + 4*f - 4. Let x be d(-7). Suppose 8 + x = -5*r. Let l = -10027 - -10019. Is r <= l?
False
Let y be (-1100)/(((-1767)/38)/31). Which is greater: 734 or y?
734
Let v = 5598 - 5598.5. Are v and 1.43 equal?
False
Suppose 0 = 16*j - 1182 + 510. Let c = -7 - -10. Suppose -12 + j = c*s. Which is bigger: 9 or s?
s
Let b be (-30065)/21*(-156)/20. Is b greater than or equal to 0.1?
True
Let h = -6641 + 1042641/157. Let t = h + -34/13659. Which is smaller: t or -3?
-3
Let n(m) = -414*m - 1880. Let u be n(-8). Is 1425 <= u?
True
Suppose -5*b = 3*b - 128. Suppose -5*w - 225 = -4*z, 0 = 5*w + 9 + b. Suppose -2*s - 36 + z = 0. Is s smaller than 3?
False
Let r = -19187 + 307093/16. Is 5 less than or equal to r?
True
Suppose 0 = 2*w - p - 72 + 73, 0 = 4*w - 5*p + 11. Which is bigger: w or -1/51?
w
Suppose -k + o = -2*o + 1, 0 = 5*k - 5*o - 5. Let q be k/8 - 186/600. Let v(l) = l**3 + 2*l**2 - 2*l. Let g be v(0). Is q at most as big as g?
True
Let h = 133 + -87. Let l = -46.061 + h. Let d = 25 - 25. Which is smaller: d or l?
l
Suppose -3*y = i - 2*y + 3, 12 = -2*i - 4*y. Which is bigger: i or 65/349?
65/349
Suppose 3*h = v + 134, -185 = 4*v + 4*h + 271. Let u = -151 - v. Which is greater: 1/3 or u?
1/3
Let n = 16312 - 16312. Let d be 1 + -1 + 28/24. Which is greater: d or n?
d
Suppose 0 = -3*w - 4*b - 6210, 3*w - 5*b + 455 = -5809. Which is smaller: -0.3 or w?
w
Suppose -26*w + 16*w - 100 = 0. Let z be -14 + w*(-2)/(-4). Which is smaller: z or 2/11?
z
Let u = -359 - -358.985. Let w = 6.015 + u. Is w less than or equal to 3?
False
Suppose -23*a - 131 + 16 = 0. Which is bigger: a or -26?
a
Let d = -87 + -335. Let q = -298 - d. Is 1 smaller than q?
True
Let v be 3/(7 + (-104)/16). Suppose 252 = -v*g - 936. Which is smaller: g or -197?
g
Suppose -4*a - 3 = -5*w, 16*a + 2 = 4*w + 13*a. Let b be (60/35)/(w/7). Which is smaller: b or -19?
-19
Let z = -20443 - -16129529/789. Is z smaller than 0?
False
Suppose m - 70 = -4*m. Let y(d) = -30*d + 20. Let u be y(-2). Suppose -34 = -2*r - 3*i, -6*r + r - 5*i + u = 0. Is m > r?
False
Suppose -3*x + 8*s = 5*s - 75, 0 = -3*x - s + 83. Suppose -x*b + 25*b - 5*j = -111, 2*j = 3*b - 138. Which is smaller: 45 or b?
45
Let g be 12*(-2)/8*2. Let n = 5 + g. Let z be 5642/882 + -7 - 7/(49/2). Do n and z have the same value?
False
Let q = -0.266 + 0.27. Which is smaller: q or 19?
q
Suppose -15*z + 5*x + 1689 = -13*z, 3*x + 847 = z. Which is smaller: z or 833?
z
Let p(r) = 34 - 3*r - 3*r**3 + 7*r**2 - 8 - 11 + 5*r**3 - 6. Let h(j) = j**2 + 4*j. Let s be h(-2). Let f be p(s). Is 4 bigger than f?
False
Let d = 334096/79 + -4229. Which is smaller: -1 or d?
-1
Let l = -22.13416 + 0.13416. Is 126 > l?
True
Let p = -144.694 + 142.8. Let n = p + -0.106. Which is bigger: n or 3/2?
3/2
Suppose 2*o + 3*h - h = -32, 3*h + 12 = 0. Let f be o/24*(-8)/2. Suppose 5 = f*s - 19. Which is smaller: s or 10?
10
Suppose 8 = 4*n, -2*d - 4*n = -n - 226. Suppose -r - d = -33. Suppose 108*l = 121*l + 1001. Are l and r nonequal?
False
Let r = 151.2 - 16.2. Let j be ((-4)/42)/(16 + 2145/(-105) + 4). Which is smaller: j or r?
j
Let d be 144848/242 - 12/22. Suppose 4*r - d = 5*g, -3*r + 3*g = -5*r + 310. Is r greater than 152?
False
Let t = -209.6 + 196.6. Let a = 0.7 + -3.7. Is t greater than a?
False
Su