maller: -1999 or u?
-1999
Let z = 50617/2385 + -11/477. Let u = 16128 + -16107. Is u <= z?
True
Suppose 8*s = -10*s. Suppose 5*v + 4*g + 21 = 0, 3*g - 4*g + 1 = s. Is -6 >= v?
False
Suppose -2*u - 2*p = -14, u + p - 10 = -u. Suppose 2 = -u*d + 191. Suppose -5*w = -5*a + 345, 0*a - 5*w = -a + 89. Do a and d have the same value?
False
Let c = -553931/45 + 99142/9. Let t = 1298 + c. Is t at most -1/2?
False
Let y(f) = -f**2 + 6*f + 18. Let c be y(8). Suppose u + 6 = n + 15, -2*n = c*u - 22. Which is smaller: 88/9 or u?
88/9
Let l = 2554.0455 + -2553. Let c = l + -0.0455. Which is greater: c or -169/7?
c
Let s = 194.4 - 194.4. Which is greater: s or -2037?
s
Let b = -30.38 - -28.1. Let c = b + 2.18. Are 0.179 and c nonequal?
True
Let k = 40 + -28. Suppose 14*n - 10 = k*n. Suppose -n*r = 3*d - 92, 3*r + 93 = -d + 3*d. Which is bigger: d or 41?
41
Let y(o) = -o**3 - 2*o**2 - o - 2. Let v be y(-2). Suppose -4*n - 4 = -2*f, 3*n = -5*f + n + 10. Suppose 0 = 9*q + f*q. Is q at least v?
True
Suppose 4*b = 5*t - 549 - 414, b + 4*t = -225. Let d = b - -191. Suppose 3*q + s + 139 = 0, -1 = 4*s + 3. Is q greater than d?
False
Let g be (-6*(-8)/6)/2. Suppose g*s + s = f - 42, 4*f - 24 = 2*s. Let j be (7/14)/(20*(-16)/4864). Is j at most as big as s?
False
Suppose -15*z = 371 - 1841. Let r = z + -488/5. Is r equal to -6?
False
Let a be (-1)/(7/(-5)) - 1035045/12285. Are a and -85 non-equal?
True
Let q(b) = 10*b**3 - 19*b**2 - 69*b - 72. Let o be q(-3). Is -295 >= o?
True
Suppose 62 = -272*l + 274*l - 3*p, 2*l - 50 = -3*p. Which is greater: l or 42?
42
Let f be (-6)/8 + 2/(-8). Suppose 6*h + 111 = 69. Let y be (-1 - h) + 26500/(-4399). Which is smaller: y or f?
f
Let b = 9405/1612 - 191/31. Which is greater: 1 or b?
1
Suppose 2064 = 10*b - 3809 - 467. Is 636 greater than b?
True
Suppose 2*k - 7 = r, 3*k + 0*k - 15 = 0. Suppose 15 = -2*d - 5*c, d - r - 2 = -5*c. Let h = 36 + -55. Is d smaller than h?
True
Let v = -41335477/182631 + -2/60877. Let o = -224 - v. Let p = 0.2 - 0. Is o bigger than p?
True
Let u = -32.67 + 32. Let o = 397.33 - 396. Let w = o - u. Is w less than or equal to 45?
True
Let k = 0.05 - 0.1. Let a = 1.087 + -1.037. Which is smaller: k or a?
k
Let b be (-25)/1475*(1 + 6 + 1). Are 5 and b equal?
False
Let n = -129 - -136. Suppose -n = -x + 2*h + 9, 4*x + 3*h = 108. Is x greater than 23?
True
Let q = -5310 + 307929/58. Let z = q - -40/29. Is 1/20 <= z?
True
Let c = 259657/98648 - 3/5192. Which is greater: c or 4?
4
Suppose -2646 = 159*d - 177*d. Let y be (-6 + d/(-35))*(-2)/6. Which is smaller: 4 or y?
y
Let d(s) = s**2 - 7*s + 21. Let a be d(4). Suppose 26*u - 29*u - a = 0. Let k be (7/(-14))/(1/u). Which is smaller: k or -1?
-1
Suppose -2*b = -0 + 2. Let x = -13991 + 307793/22. Which is bigger: x or b?
x
Let z = 9 + -2. Suppose z*o - 83 = -216. Is -1 less than or equal to o?
False
Let q be (-81)/36 + 375/12. Suppose -32*r = q*r. Suppose 50 = 6*c - c. Which is bigger: r or c?
c
Let p be (-9*(-10)/(-90))/(2/(-2498)). Which is smaller: p or 1251?
p
Let g be (-28)/(-49) - 10/(-7). Suppose 0 = -z + g*u + 2*u + 11, -5*u = -3*z + 47. Which is bigger: 23 or z?
23
Suppose x + 7 = -2*k, -4*k - 3*x - 65 + 44 = 0. Which is greater: 2/55823 or k?
2/55823
Let l(m) = m**3 + 2*m**2 - 3*m + 4. Let g be -5*(8/(-20) + 1). Let q be l(g). Which is greater: 8/3 or q?
q
Let u(x) = 693*x + 463. Let t be u(-3). Which is smaller: t or -1615?
t
Let k(d) = 3 - 5 - d**2 - 3 - 9*d. Let x be k(-9). Let u be -6 - (1 + 2 + -5). Which is greater: u or x?
u
Let n = 1537 + -1044. Let y be ((-4421)/(-2))/((-9)/(-2)). Let j = y - n. Is -2 less than j?
True
Let r be (36/462)/((-4)/(-14)). Let m = 23.4 + -4.4. Let x = m + -18. Is r at most x?
True
Let m = 233 + -228. Suppose 6*o = m*o - 30. Which is greater: -32 or o?
o
Let y(s) = 7*s**2 + s - 1. Let q(h) = -h**2 + h + 2. Let x(n) = 6*q(n) + y(n). Let r be x(-5). Do -6/91 and r have different values?
True
Let q = -15300 + 13635. Are q and 1 non-equal?
True
Let d = 278 + -276.81. Let n = -11.09 + d. Let i = -1.1 + n. Is i equal to 0?
False
Suppose -o - 3*o = -2*x - 148, -2*x = 3*o - 118. Let r = -34 + o. Suppose -c + 38 = -v, 0*c = 4*v + r*c + 120. Is -34 <= v?
True
Let u = 416 + -412. Suppose -u*i = -2*a + 106, -4*i - 37 = 5*a + 90. Is -29 != i?
True
Let t = 0.2 - 0. Let l = -102.8 - -96. Let c = l - -3.8. Is t smaller than c?
False
Let j = -4927 - -4962. Is j at most as big as -16?
False
Let h = 1087/7 - 155. Let s be 154/(-2) + 468/9. Which is smaller: h or s?
s
Let f = -6 + 3. Let p = 17257 - 17256.93. Is p smaller than f?
False
Let z = -3391 + 20275/6. Let b(q) = 3*q**2 + 14*q + 3. Let p be b(-2). Are p and z nonequal?
True
Let z be (15 - 139)*(25/(-145) - 0). Which is bigger: 20 or z?
z
Suppose 27 = -4*z - 21. Let l(r) = r**2 + 12*r + 44. Let s be l(z). Suppose s = -3*o + 86. Which is bigger: 15 or o?
15
Let o be (-13105)/(-2190) + ((-88)/15 - 34/255). Are 1 and o unequal?
True
Let p be 4*(39/(-12) + 4). Suppose 2*f + 0 = 8, -p*a + 95 = -4*f. Which is greater: a or 39?
39
Let w be (-6)/10 - 6/(-210). Let i(y) = y**2 + 64*y + 293. Let l be i(-5). Which is smaller: w or l?
l
Let d = 3072 - 15362/5. Which is smaller: 5791 or d?
d
Suppose -u + 2*n - 6 = 0, u - 2*u = -3*n + 9. Let l be (0 + (-1)/1)*u. Let y = -5/162 - -241/810. Which is smaller: y or l?
l
Let f = 313 + -721. Is -407 less than or equal to f?
False
Let u be ((-6)/(-20)*-4)/(711/90). Is u at most 1?
True
Let f be (30 - (-9)/(-3))*8/6. Suppose 6*a + f = 18*a. Which is greater: 1 or a?
a
Let f = -1.91 + -173.09. Let n = f + 175.1. Which is bigger: n or -0.101?
n
Suppose -4*b + i + 18 = 0, -61*b + 2*i - 9 = -62*b. Which is bigger: b or 270/47?
270/47
Let t = -615 + 706. Let d = -17 + t. Are d and 75 unequal?
True
Let i = -11099 - -11032.23. Let h = -57.77 - -58. Let u = i - h. Which is smaller: u or 0.1?
u
Let z be (-26487)/(-108)*(-1)/(-3)*8. Which is smaller: 652 or z?
652
Suppose 0 = -p - 2*p. Let b = 282/31 - 5612/651. Is b less than or equal to p?
False
Let r = 486 + -206. Let c be (-3)/5 + 3448/r + -10. Is 3 at most as big as c?
False
Let n = 0.754 + -1.285. Let v = n - -0.331. Is v greater than or equal to -165?
True
Let a be (1977 - -1)*(-57)/(-722). Let t = -156 + a. Does t = -1?
False
Suppose 3*v + 16 = 2*q, -v = -7*q + 2*q + 27. Let h be (1 - q) + 8 - (1 - -3). Suppose -r + 7 - 10 = h. Are 2/13 and r non-equal?
True
Suppose -85*l = 7*l - 2668. Is 1168/39 >= l?
True
Let k = 26 + -2. Let y(r) = 638*r - 6356. Let i be y(10). Is i bigger than k?
False
Let u = 117.3 + -118.254. Let j = u - 0.046. Let v = -5.99 - 0.01. Which is smaller: j or v?
v
Let n be 5/((-50)/3555) - ((-7)/2 - -3). Which is smaller: n or -363?
-363
Let f(i) = -4*i**3 + 17*i**2 - 9*i + 18. Let c(x) = -x**3 + 2*x**2 + x - 1. Let y(d) = 3*c(d) - f(d). Let a be y(10). Is a >= 4/267?
False
Let i = 22 - 41. Let t be (-3 - 3)/(-3) + (-4 - -2). Suppose t = -4*c + 8*c + 64. Are i and c nonequal?
True
Suppose -4*k = k + 2*r - 36969, 2*k - 5*r - 14805 = 0. Does 7394 = k?
False
Suppose 15*x - 1 = w, 2 = 2*w - 4*w. Which is smaller: x or 8/1691?
x
Suppose -5*b + 13*b = 12*b - 2648. Is 661 equal to b?
False
Let a = -43 + 67. Let b be (4/(-6))/((-8)/a). Suppose 3*q - 36 = -5*k, -3*k - q = b*q - 18. Which is smaller: 1 or k?
1
Suppose 2*y = 367 - 359. Let f be (y*3/(-6) + 5)/3. Which is greater: -2/47 or f?
f
Let f(i) = -i + i - i + 2 - 7*i - i**2. Let o be f(-9). Let g = 1/12 + -35/6. Is g at least o?
True
Let x = 648647/252 - 2574. Let k = 8 - 7. Which is bigger: k or x?
k
Let a = -18 - -17.8. Let n = 4532.86 + -4533. Is a at least as big as n?
False
Let z = 215 + -125. Let f be 4 + ((-36)/z - 378/5). Is -69 equal to f?
False
Let q = -5.852 - -5.652. Which is greater: -35.1 or q?
q
Suppose -3*k - 1294 - 937 = 5*m, -2221 = 5*m - 2*k. Which is smaller: m or -450?
-450
Let x(h) = -h - 17. Let v be x(-11). Let q be (1 - v/(-4))*(-336)/14. Suppose -l + q = -2*l. Are -13 and l non-equal?
True
Let j = -48.7841 + -0.2159. Which is greater: j or -14?
-14
Let g = -539 + 71. Let c = g + 489. Which is greater: 9 or c?
c
Suppose 5*j - 4 = 4*j. Suppose -j*a + 20 = -0*a - 4*w, 4*a - 11 = w. Is a > -1?
True
Let s = 83987493/46165 - 24/6595. Is 1820 > s?
True
Let j = -3326/4983 + 4/4983. Let y = 2/89 + -1636/1513. Is j 