aller: 8 or g?
g
Let l = -6769 + 6769. Which is greater: -577 or l?
l
Let s = -149 - -595/4. Let t = -0.657 + -375.343. Is s greater than t?
True
Let g = -120 + 117. Which is greater: g or -22/5?
g
Suppose -30 = 32*a - 37*a. Suppose -a + 32 = 2*f. Suppose 7*t + f = -8. Is -8 not equal to t?
True
Let s(f) = -6*f + 220. Let t be s(0). Let o = t - 220. Which is smaller: 1/5 or o?
o
Let b = 8857 + -11359. Which is bigger: -0.1 or b?
-0.1
Let d = 177 + -179. Let x be 3*d - 80/(-20). Are x and -26/19 non-equal?
True
Let j be ((-11)/(264/64))/(-32*19/(-3648)). Suppose -5*m = -m + 8. Let s be -15 + 0 + 0 + m. Is j <= s?
False
Let n = 2/56661 - 26630684/396627. Is -66 != n?
True
Let b = -122.16 + 125. Let x = b + 0.16. Let d = -0.198 + 2.398. Which is smaller: d or x?
d
Let u be (87 - 18)*(0 - -1). Let j = -61 + u. Suppose 0 = 2*c + 5*k - 27, 5*c - j*k - 15 = -3*k. Which is smaller: c or 1/2?
1/2
Let h(u) be the third derivative of -5*u**4/24 - 4*u**3 - 25*u**2. Let f be h(-5). Which is smaller: -2/861 or f?
-2/861
Let l = 49 + -48.44. Let n = 84 + -84.06. Let o = l + n. Which is greater: o or -1?
o
Let z = -4 - -2. Suppose -215 = 4*d - 59. Let x = d - -46. Which is smaller: z or x?
z
Let g = -278 - -304. Suppose -11*z = 7 + g. Let r be -2 - (2 - 2)/1. Is r <= z?
False
Suppose 0 = -5*r + 22*r + 4182. Let x be (-12)/(-30)*-10*(-3)/r. Which is bigger: 1 or x?
1
Let v = -255.4 + 287. Let a = v - 31. Let p = a - -7.4. Is -1 at least p?
False
Let p = 85.36 - 85.46. Which is greater: p or 4/1561?
4/1561
Let a = -86 + 88. Suppose 5 = h + a. Which is smaller: 32/15 or h?
32/15
Let u = -3.894 - -3.894. Which is smaller: u or 251?
u
Suppose 161*z = 165*z + 16. Let u(p) be the second derivative of 2*p**3/3 + 2*p**2 + p. Let o be u(z). Which is greater: o or -13?
o
Let x = -7325/7 + 1047. Which is greater: 100 or x?
100
Let f(n) = 183*n + 550. Let a be f(-3). Are 72/43 and a equal?
False
Suppose -4*a + 2 - 8 = r, 3*a = -r - 5. Let v be (-1)/(a*3) + 20/(-15). Suppose -2*o + 11 = -3*l - 6, 3*l + 15 = 0. Is v not equal to o?
True
Let b be 170506/(-1995) - (6*-1 - 2). Which is bigger: -77 or b?
-77
Let s be 0*15/(-15) - (24/93)/2. Let f = 1 + 0. Is f < s?
False
Suppose 0 = 6*h - h - 2*s - 46, 5*s = -15. Suppose 3*k + 5*t - 31 = 0, -5*k + t + 27 = -3*t. Suppose 15 = -5*z - 5*v, 5*z - v + k = 22. Is z greater than h?
False
Let q be (-3)/((-69)/(-23) + (-114)/37). Suppose -q*n = -42*n - 2*i - 10, 3*n + 20 = -4*i. Which is smaller: n or 10/27?
n
Let i = 39 - -4.9. Let q = i - -7.1. Let k = q - 50.9. Is k smaller than -9.2?
False
Let o be ((-78)/91)/((-1)/(-7)). Let a(d) = -18*d - 105. Let q be a(o). Is 13 less than or equal to q?
False
Suppose 108 = -f - 5*v, -v = 4*f + v + 486. Let l = f + 160. Which is greater: l or 36?
l
Suppose -18*d - 12 = -21*d. Suppose -4*g = -d*n + 12, n - 2*g - 11 = 4*n. Are n and -2/759 unequal?
True
Let x be -39*(0 - 139)*(-54)/162. Which is smaller: -1808 or x?
-1808
Suppose 4*o + 135 = 3*x, 0 = 2*x + 5*o - 39 - 28. Which is smaller: -23 or x?
-23
Let q = -2099879 + 590753. Let v be (-2)/5 + q/(-530). Let m = -2847 + v. Which is smaller: 0 or m?
0
Let g(m) = -4*m**2 - m. Let q be g(1). Let w be (-13 - (3 + -11)) + (1 - 10). Which is smaller: w or q?
w
Suppose 3*a - 13 = -4*p, p + 1575*a = 1573*a + 7. Is p at most as big as 2/6619?
False
Let b be (-4)/(-10) - (39/(-15) - -1). Suppose -z + 2*v + 5 = 0, 5*z + 0*v = b*v + 9. Let k be -2*z - 30/(-135). Is k less than -3?
False
Let j = 40 - 35. Suppose 0 = g - 5*f - 12, 0 = -g - 2*f - 0*f + j. Suppose 0*x - x = -g. Which is smaller: 5 or x?
5
Suppose 0 = 3*r - g - 2, 3*r + g - 1 = 3. Let t be r - 1 - -1 - 4. Let s be (12/(-8))/(((-18)/176)/t). Is s < 2/5?
True
Suppose 6*s = 8*s - 2. Let k be ((-2)/s)/(48/(-9)). Are k and -1 nonequal?
True
Let j(n) = -n**3 - 9*n**2 + 13*n + 8. Let o be j(-11). Suppose -o = -4*w - 151. Are -11 and w equal?
True
Let z be 16/(-2) + (-1 - -3)*-566. Which is smaller: -1 or z?
z
Let p = -0.1631 - -0.0631. Let l = 201 - 3817/19. Let a = l - 1/190. Do a and p have different values?
True
Let k = -65 + 69. Suppose k*z = -2*d, 0*z = 4*z - 4. Let b = -47/3 + 244/15. Are d and b unequal?
True
Let h(s) = -10*s - 44. Let c be (-6)/(-12)*8/(-1). Let x be h(c). Which is smaller: x or -23/6?
x
Suppose -l - 1216*m = -1219*m - 40, 5*l + m - 200 = 0. Which is smaller: l or 109?
l
Let k = 18561 - 15485. Which is greater: k or 1?
k
Let l = 9.6 + -9.662. Are 1/61 and l unequal?
True
Let o(w) = -w**2 - 7*w + 17. Let a(b) = -b**2 + 26*b - 57. Let s be a(24). Let x be o(s). Which is bigger: x or -4/49?
-4/49
Let n = 13686 - 13689. Is n at most 846?
True
Let z be -60*-4*(-2)/(-12). Let y be z/(-16)*12/(-15). Suppose -2 = -y*u + 6. Is u <= 2?
False
Let w = 17 + -438. Let k = 456.7 + w. Let h = k - 38. Which is smaller: -0.2 or h?
h
Let j be (-133 + 135)/((-2043)/(-51)). Is 1 > j?
True
Let v = -8272 - -74396/9. Which is greater: 0.14 or v?
0.14
Suppose 5*o + 4*m - 13 = -4*o, m = 5*o - 4. Is o bigger than 7/18?
True
Let v = 16 + -15.8. Let d be ((-18)/340)/((-609)/(-1015)). Which is smaller: d or v?
d
Let x(c) = c**3 + 7*c**2 + 12*c + 2. Let z be x(-6). Let m = -34 - z. Suppose m = -l - 0*l. Are -2/179 and l nonequal?
True
Let b(z) = -5*z**2 - 128*z - 4. Let n be b(-4). Let s be (98/196)/((-2)/n). Are s and -106 equal?
False
Suppose 293645 + 91048 - 1121 = 133*j. Is j at most 2881?
False
Let m(q) = q**2 - 9*q + 12. Let p be m(3). Let t(y) = 2*y**3 + 14*y**2 + 12*y. Let w be t(p). Let h = -1/666 - -6673/8658. Is w >= h?
False
Let l be -84 - (-12)/((-4)/1). Let p = -10397 + 10311. Which is greater: p or l?
p
Let r(y) = 2*y**3 + 13*y**2 - 8*y - 3. Let o be r(-7). Suppose 3*n = -u, -4*u + o*n = -3 - 77. Suppose 0*l - u = 3*l. Is -2 bigger than l?
True
Let h = 34.3 + -34.89. Let z = 3.41 - h. Which is greater: -26 or z?
z
Suppose 305*c = 296*c - 711. Let k = -58 - -58.2. Which is greater: c or k?
k
Let m be (-731)/(-9) + (-6)/27. Let j be 136/(-6)*m/(-18). Suppose -2*p = 2*s + 56, -2*p - 2*p - j = -s. Is p greater than or equal to -25?
False
Let p = 120 + -697. Let w = 617 + p. Which is greater: w or -2/9?
w
Suppose -3*u = -3*q + 807, 0 = 5*q + 15*u - 10*u - 1325. Let c = q - 3027/11. Which is greater: c or -8?
-8
Let f(w) = -113*w**3 - 2*w - 1. Let u be f(-1). Let z be 26/(-4)*u/(-19). Let d = -42 + z. Is d smaller than -1/5?
True
Let o be (-3)/(3*3/(-6)). Suppose k = -o*y + 2, -4*k = -y - 14 - 3. Let x = 273 + -4646/17. Which is smaller: y or x?
y
Let t = 0.74 - -34.26. Let a = t - -2. Let h = 50 - a. Which is smaller: 2 or h?
2
Let j = 4914 + -4916. Is j equal to 2984?
False
Suppose 0 = 2*f + 2*v + 58, 24*v + 145 = -5*f + 27*v. Are f and -21 non-equal?
True
Let y = -421.87 + 422. Suppose -5*o + 6 = -2*f + 27, -5*o = -f + 23. Which is smaller: y or f?
f
Let i = -168 + 189. Let q be (-6)/i*(-42)/(-54). Let u be ((-6)/(-20))/(-1)*-4. Which is smaller: u or q?
q
Let s = 552 + -477. Suppose -2545 + s = 26*m. Is m less than or equal to -95?
True
Let f = -105.02 - -104. Let x = f + -39.98. Let t = x - -30. Which is greater: t or 0.1?
0.1
Let c(d) be the first derivative of 39*d**2/2 - 247*d + 214. Let p be c(5). Which is smaller: -49 or p?
p
Let q = 3477 + -4888. Let c = q - -1368.15. Let k = 43 + c. Which is bigger: k or -0.1?
k
Let t be 1 + -1 - (0/2)/6. Which is greater: t or -75/376?
t
Let m(p) be the first derivative of p**4/4 + 4*p**3/3 - p**2/2 + 21*p - 47. Let a be m(-5). Which is greater: 7.83 or a?
7.83
Let n = -54268/43261533 + 2/25433. Is -1 not equal to n?
True
Suppose -4*u + 239 - 229 = -2*p, 25 = 3*u - 5*p. Is 2/27855 at most u?
False
Let p = -983 - -815. Is -168 <= p?
True
Let g = -975 - -981. Suppose 0 = g*n - 37 + 37. Which is smaller: -676 or n?
-676
Let f = 9502.2 + -9502. Is f != -2930?
True
Let r = -54 + 65. Suppose -12*j + r*j + 28 = 0. Let h = 27 - j. Is h smaller than 4/27?
True
Let n be (5/2 + -2)/(26/1040). Let t be (-2*2/n)/((-21)/(-42)). Which is bigger: 1/4 or t?
1/4
Let v = 8899 - 7566. Which is smaller: v or 1335?
v
Let p be (-432087)/(-365)*-1*1/1602. Let b = p + 1/178. Which is greater: -2 or b?
b
Let z be 1*(-339 + 6 + -2 + 6). Let l = z - -341. Which is greater: 14 or l?
14
Let o(k) = 4*k + 22. Let d be o(-12). Let a be (-44)/286 - (-152)/d. Let q be (a/12)/((-2)/(-