lse
Suppose -34*l + 37*l = -300. Let q = 99 + l. Is q less than -2?
False
Let b = 1382 - 2428. Which is bigger: -1041 or b?
-1041
Let r = 3/836 + -3353/2508. Which is smaller: -9 or r?
-9
Let u = -3698.9 - -3856. Let b = u - 157. Which is bigger: -2 or b?
b
Let v(j) = 2*j**2 - 9*j - 1475. Let q be v(-25). Suppose -2*i + 2 = 3*p - 23, -2*p + 38 = 4*i. Which is smaller: q or i?
q
Let w = 320 - -5351. Is w at least as big as 5672?
False
Let m = 111 + -67. Let i be 1*(-2 + 4*(-3)/(-6)). Suppose 143 = -i*h + 3*h + 2*k, 2*h + k = 94. Is h != m?
True
Let h(w) = 19*w - 16*w - 22 + 3*w**2 + 23*w. Let a be h(-9). Which is smaller: a or -14?
-14
Let q(v) = -25*v**2 - 37*v + 21. Let r be q(4). Are -4730/9 and r non-equal?
True
Suppose -212 + 221 = 3*z. Suppose -2*d - 2*l + 2 = 0, -1 = z*d - 3*l + 2. Which is bigger: d or 4/17?
4/17
Let y = 7825 - 6945. Which is smaller: y or 881?
y
Suppose 5*l + 1 = 2*b, 6 = -4*l - 5*b + 4*b. Let w be (-4*1 - (1 + -5)) + l. Is w bigger than 0?
False
Suppose 5*i + c + 10 = 0, 5*i = -c - 2*c - 20. Let f be (-10)/(-40) + i/4. Suppose f = -2*g + 34 - 2. Is 15 less than g?
True
Let z be ((-1 - 2)/(-3))/(-9*26/25038). Let t be 9/(-6)*(-633)/(-9). Is t at least z?
True
Suppose 6 - 26 = 4*u. Let r = u + 14. Let f be (-4898)/(-711) - (-1 + (-8)/(-9)). Which is greater: r or f?
r
Let w(s) = -2*s**2 + 20*s - 11. Let g be w(-4). Let c(y) = 20*y + 16. Let p be c(-7). Which is smaller: g or p?
p
Let z be ((-13)/13 - (-1)/2)/((-22)/19668). Is 4467/10 at least z?
False
Suppose 228*i = 231*i - 51. Suppose -2*p - 7 = -s, 4*p + p = -10. Suppose 20 = n + s. Is n smaller than i?
False
Let a(j) = -28*j - 4*j**2 + 1 - 4*j**2 + 3*j**2 + 4*j**2. Let q be a(-28). Which is greater: q or 6/43?
q
Let c be (-8)/(-44) + 3*(-27)/(-99). Are -2/775 and c unequal?
True
Let c = 8821 - 8833. Is c != 7/2?
True
Let x = 86874/116565503 + -8/24049. Which is bigger: 0 or x?
x
Let t = 2.43 + 10.628. Let m = -68 - -68.058. Let z = t - m. Is z at most 2/3?
False
Suppose 69 + 29 = 14*f. Suppose 333 = f*s + 4. Let z(x) = -x**3 + 7*x**2 - 2*x + 7. Let n be z(5). Is n smaller than s?
False
Let m(l) = 2*l**3 - 17*l**2 + 16*l - 64. Let r be m(8). Let h = -866 + 233819/270. Are h and r nonequal?
True
Let r be (7/707)/((-2)/12). Let z = 90 + -90. Do r and z have different values?
True
Suppose 2*c - 3 = 1. Suppose 1 = -c*s + 5. Suppose -20*x = -26 - 34. Which is smaller: s or x?
s
Let z = 1.031 + -0.069. Let f = 0.038 + z. Do 175 and f have different values?
True
Let m(n) = -n**3 + 8*n**2 + 111*n - 887. Let s be m(8). Is 3/2141 less than s?
True
Let x = -6725/684646 + 9/817. Is x at most as big as -1/2?
False
Let m = 12381 + -12390. Let y be ((-15)/(-9))/((-1)/6). Let a be (y/(-3))/((-1)/3). Is a smaller than m?
True
Suppose -204*m + 209*m = 3*b - 221, -3*m - 7*b - 115 = 0. Is m > -0.05?
False
Let t be ((-720)/20 - -14) + -1318. Which is greater: t or -1339?
-1339
Suppose h - 227 = -10*q + 13*q, 651 = 3*h + q. Suppose -6*d - 580 = h. Is -133 at least as big as d?
True
Let o be 3*7/(-24542)*(-20)/135. Is o < -1?
False
Suppose 0 = -4*s + 3*s. Suppose q + 2*q - 6 = 0, 0 = o - 5*q + 11. Let m be ((-1)/(-188))/(o/(-4)). Are m and s equal?
False
Let i be (-6 + -5 + -144)/(-8 + 9). Let a be 2/2 - 980/(-4). Let g = a + i. Which is smaller: 90 or g?
90
Suppose l - w - 5 = -0*w, -2 = -l + 2*w. Suppose 0 = l*j + 3 - 19. Which is smaller: j or 7/10?
7/10
Suppose -3*r + 4*l = -95, -r - l - 3*l = -21. Let n be ((-8)/(-6))/((-676)/(-2535)). Suppose 4*h + 32 = -n*z - 5, -2*h + z - r = 0. Is h greater than -55/4?
True
Let h(p) = -p**3 - 6*p**2 + 8*p + 7. Let a be h(-7). Suppose 3*d - 3*t - 1 - 2 = a, 5*d + 3*t = -3. Suppose d = -2*n + 7 - 13. Is n < -5?
False
Let n be 35/((-2695)/(-14)) - (-4914)/77. Let s = 19 - 28. Let p be 3/s - 196/(-3). Which is bigger: p or n?
p
Suppose -5*m - 46 = -4*s, 37*m + 3*s - 30 = 40*m. Let z be m/13 - (-97512)/(-7072). Suppose 40 - 1 = -3*u. Which is greater: u or z?
u
Let q be 6/(-8) + 21/60. Let m = 51 - 48. Suppose m*d - u + 0 - 5 = 0, -5*d = -u - 7. Is d greater than or equal to q?
True
Suppose 0 = 40*i - 292 + 12. Which is smaller: 252/41 or i?
252/41
Suppose -2*w + 0*w - k = -463, 4*k = -20. Let l be 2356/w - (-2)/(-9). Let q = -10 + l. Is q less than 2?
True
Suppose -n - 1927 = -v, -5*v + 9638 = -3809*n + 3807*n. Which is greater: 1933 or v?
1933
Let w(d) = -d**3 + 5*d**2 + 121*d - 690. Let h be w(6). Which is greater: -87/82 or h?
h
Let q = 1532/323 + -2863289/603687. Is -1 greater than q?
False
Suppose 68*z + 33 = 79*z. Let x be 6/(-15) + ((-27915)/(-8225) - z). Which is greater: -1 or x?
x
Let w be (4/6)/((-16)/(-264)) + 3. Suppose -4*q + 69 = -5*x, -5*q + 4*x = -33 - 51. Let t be (2/(-28))/(4/q). Which is bigger: w or t?
w
Let j be 44/(-6)*(-1)/(-2). Suppose 45 = -3*d + 11*n, 195*n + 7 = -d + 196*n. Are j and d nonequal?
True
Suppose -3*p + 53 = 47. Let d(h) = -21 - p*h - 19 + 35 + h. Let q be d(-1). Is q at least -22/5?
True
Let o = 4.66158 + -4.56158. Let f = 1.5 - 1. Let u = f - 9.5. Which is bigger: o or u?
o
Let t be (-25)/(-2)*2142/17. Suppose 644 = -7*j - t. Which is smaller: -318 or j?
-318
Suppose -8*m - 109 = 44 + 759. Do m and -116 have the same value?
False
Let m = 19615/2 - 134343139/13698. Is 1 at most as big as m?
False
Let q be 48919/(-24424) - (-1 + 2 + -3). Let n be (-3 + 3 + -1)/(-1). Are q and n unequal?
True
Let s(o) = -o**2 - 10*o - 16. Let v be s(-2). Is -2/2083 at least as big as v?
False
Let c be (-32)/64 + 29/2. Suppose -6*d - 8 = -c*d. Is -136 at most d?
True
Let c = -0.6 + -0.4. Let r = -1935 - -979. Let d = r + 1019. Are d and c nonequal?
True
Let h = 112 + 10. Let n = 209.9976 - -1.0024. Let z = n - h. Which is bigger: -1/3 or z?
z
Let n(i) = -i**2 - 7*i + 1. Let x be n(-3). Let t = -25 + x. Suppose -139*a + 136*a + q - 58 = 0, -q - 26 = 3*a. Which is smaller: t or a?
a
Let b(f) = 5*f**2 - 3*f + 15. Let g be b(6). Suppose 0 = -13*p + 16*p + g. Let i = p - -60. Which is smaller: i or 5/13?
5/13
Let x = 12 - 0. Let n be x/(-7) + (-2)/7. Suppose 0*s - 4 = 4*s. Which is greater: n or s?
s
Let m(g) = 21*g**2 - 3*g + 39. Let b be m(10). Is b less than 4219/2?
True
Let y = 46 + -37. Let l = y - 62. Let m = l - -54. Which is smaller: 36 or m?
m
Let j = -70/71 - -3919/4047. Suppose 4*d - 11 = 1. Suppose -2*r - d = -5. Which is greater: r or j?
r
Suppose -2*p - 2 = -3*w - 3*p, 0 = w - 5*p - 22. Suppose 0 = w*m - 197 + 45. Let y = -53 + m. Which is smaller: y or 24?
y
Let j = 6466 - 6466.09. Suppose 3*q + 14 = 2. Let b = q + 4. Which is smaller: j or b?
j
Let d = 2337 + -7013/3. Which is bigger: -18 or d?
d
Let t be ((-6)/(-3) + -7)/(-3 - (-4700)/1565). Is t less than or equal to -6263/4?
False
Suppose 51 = -4*t - 2*j + 199, 2*t - 98 = 5*j. Is 3 greater than or equal to t?
False
Let w = 25 + -4. Suppose -w*t = -26*t + 175. Let r = -36 + t. Which is smaller: r or -2?
-2
Let t be 1295/245 + (-24)/(-14) + -2. Suppose 0*d = -3*d + 3, -t*w = 2*d + 858. Are -171 and w nonequal?
True
Suppose 0 = -x - 3*x - 4, 0 = -5*d - 4*x + 16. Let m be ((-3)/8)/(35*d/80). Which is greater: 0.1 or m?
0.1
Let o be ((12/3370)/2)/(101/(-4545)). Which is bigger: 0 or o?
0
Let w = -1638 + 1716. Is w greater than 80?
False
Let h = 286/903 - 4/129. Let z = 10.1 + -9. Let q = z - 1.21. Which is smaller: h or q?
q
Let i(p) = -p**2 - 11*p + 241. Let c be i(-21). Let o(m) = 13*m - 400. Let a be o(c). Which is smaller: 50/19 or a?
50/19
Let d = 17 - 16. Let z be (2 + 3/(-2))/((14915/(-57))/(-5)). Which is bigger: z or d?
d
Let q be (-217184)/18096 - -6 - (0/(-1) + -6). Which is smaller: q or -2?
-2
Let l(d) = -23*d + 1234. Let h be l(52). Are 262/7 and h non-equal?
True
Let o = -6.94 + 8.74. Let a be 10/30 + 136/6. Let d = 68/3 - a. Is o at least d?
True
Let m be (-48)/(-10)*((-3008)/288)/47. Is m greater than or equal to -55?
True
Suppose -384*c = -386*c - 340. Let a = 162 + c. Suppose 31 = -5*i + 1. Is i at most a?
False
Let y(l) = -l + 10. Let h be y(7). Let c(m) = -20*m + 13*m - h + 6*m. Let b be c(-3). Are 1/19 and b unequal?
True
Suppose 17*i + 0*i = 6052. Let g = i - 1067/3. Is g >= 195?
False
Suppose 704*z = 710*z - 2466. Let t(u) = -41*u - 41. Let v be t(-11). Which is bigger: v or z?
z
Let t be (6 + 132/(-21))*3313/(-2). Let x = t - 471. Which is gr