?
j
Suppose 0 = -3*a - u + 27 - 2, -4*u = -4. Suppose 18*i = a*i - 690. Which is smaller: i or -70?
-70
Let g = 922 - 698. Let s = 223.9 - g. Is 0.364 != s?
True
Suppose 4*i + 21 + 63 = 0. Let u = i + 37. Is 17 at most u?
False
Let y = 419.2 + -416.2. Are y and -50 non-equal?
True
Let z = -85 + 120.9. Let p = z - -0.1. Let d = p - 37. Is 0.1 < d?
False
Suppose 515 + 346 = 21*t. Is t != -0.05?
True
Let a be (1 - 0/10) + (-77450)/76024. Let l = -8/221 - a. Is 1 at least as big as l?
True
Let r = -0.1 + 0.1. Let v(w) = 26*w + 13. Let l be v(8). Let q be (-34)/l - 198/(-273). Are r and q unequal?
True
Let s = 5 + -12. Let k = s + 4. Let l = 64695 - 64699. Which is smaller: l or k?
l
Suppose 27*i - 13892 = -67*i + 396. Let s(x) = -4*x**3 + 3*x**2 + x - 2. Let o be s(-2). Let r be i/30 + o/(-8). Which is smaller: 0 or r?
0
Let d(u) = -u**2 + 43*u + 192. Let f be d(38). Which is bigger: f or 383?
383
Let h = -2.11 - 2.04. Let p = -213.15 - h. Is -2/7 smaller than p?
False
Suppose 90*b - 186*b = -90*b - 1140. Is 180 bigger than b?
False
Let s be 66/44 - 5265/10. Which is greater: s or -527?
s
Suppose 2622*c - 2629*c = -98. Which is smaller: 29 or c?
c
Let u be (-18)/168*4 + 165/(-7). Let x(o) = -o - 13. Let r be x(-18). Let i be (-92)/(-6)*(39/(-6) + r). Which is smaller: i or u?
u
Let z = 23 - 20. Let f be z + (-22 - (-2 + -1)). Let r be 1/3*-2*(-6018)/(-272). Which is bigger: r or f?
r
Let x(d) = -3*d**2 + 6*d - 2. Let q be 3/12*6/12*8. Let l be x(q). Which is bigger: 4/11 or l?
l
Let w = 23 + -20. Suppose 0 = -3*d + 3*m - 9, -9 + 2 = 5*d + w*m. Let i be (3 + -21)*(-1)/d. Does i = -9?
True
Let f be 4 - -3 - (-396)/(-55). Suppose b - 22 = 4*k, 4*b + 0 = 3*k + 23. Suppose -4*h + h + 14 = -b*w, -5*w = -4*h + 21. Is w at most f?
True
Let n be (((-78)/3088)/(-13))/((-1)/(-15)*9). Which is smaller: n or 0?
0
Let x be ((-8)/(-3) - 2)*582/(-388). Which is greater: x or -102?
x
Let z(l) = -37*l + 2971. Let r be z(75). Let y be (-1 - 0)/((-2)/392). Is r greater than y?
False
Suppose 21*d - 19*d = 4*z - 10896, -5*z = 2*d - 13584. Is 2720 <= z?
True
Let i be (9/(-6))/(3/(-6)). Let k = 304 + -164. Suppose -b + 2*b + 95 = -4*u, -i*b + k = -5*u. Is u at least as big as -24?
False
Suppose -3*a + 2*n + 7 = 0, -n = 5*a + 4*n - 20. Suppose 4*k + 7 = 4*f + a, 0 = k - 3*f - 5. Let u be 2/11 + 2 + 39/(-33). Which is bigger: u or k?
u
Let c be (-3)/1656*(-4 - -98). Let i = c + 2/23. Suppose -3*h - 2*q = -2, 5*h + q + 1 = 2. Which is smaller: i or h?
i
Let t(d) = 31*d - 119. Let q be t(6). Suppose -72*o - 390 = -q*o. Is o not equal to -79?
True
Suppose -24 = 4*n - 5*h - 0*h, 2*n + 22 = 5*h. Let o = 405558/55 - 7374. Which is bigger: n or o?
o
Suppose 65*b + 931 = -49*b - 19*b. Is b <= -420?
False
Let p be (-224)/784 + -6*12/(-7). Let m(s) = 2*s**3 - 21*s**2 + 8*s - 23. Let v be m(p). Which is bigger: -4 or v?
-4
Let a be 20/(-18) + 2546/(-171). Is -116 != a?
True
Let u be (-2)/6 - (-9 + 7 + 1002/936). Is u not equal to 1?
True
Let t = 262 + -262.1. Let z = 6167/15 + -411. Which is greater: z or t?
z
Let r be (34/(-32) + 1)/5. Suppose 0 = 16*z - 11*z + 20*z. Which is smaller: r or z?
r
Let u be ((-34)/(-6) - (-6)/(-12)*12)/1. Which is smaller: 2228 or u?
u
Let c = -0.07 + -0.13. Let u = -130.666 + -5.384. Let h = u - -136. Which is smaller: h or c?
c
Let j = -2654/36925 - 12/1477. Which is smaller: j or 0?
j
Let p = -169.07 + 168.97. Which is smaller: -3597 or p?
-3597
Let w(f) = 55*f - 50. Let q be w(1). Suppose 0 = -3*j - z + 33, -17*j + 55 = -13*j + q*z. Is j > 15?
False
Let w(p) = -p**2 - 3*p + 13. Let b be -4 - (4 - -36)/(-5). Let y be w(b). Let f be ((-24)/y)/(10/175). Which is smaller: 27 or f?
27
Suppose -18*u - 30303 = 57 + 45240. Is u at most -4200?
True
Let w = 749.34 - 742.54. Let s = -61/6 - -10. Is s greater than w?
False
Let n be 296/4 - -3 - 2. Suppose -i + 4*i + n = 0. Suppose 3*l = 6, 35 = -v + 26*l - 21*l. Is i >= v?
True
Let m be (-4)/18 - (1956/(-54) - -6). Let o be (-3)/(5*((-36)/m)/2). Which is smaller: 90 or o?
o
Let d = -996 + 962. Suppose 5*z + 116 = -4*r - 74, 14 = -z + 4*r. Are d and z unequal?
False
Let b(i) be the third derivative of -i**5/60 + i**4/8 - i**3/2 - 8*i**2. Let s be b(3). Let o be (-8)/(-12)*-3*s/(-6). Is -1/43 smaller than o?
False
Suppose -73*q - 1755 = -112*q. Let s be ((-58)/4)/(((-2)/3)/2). Is q not equal to s?
True
Let n = -136 + 290. Let l = n - 154.032. Is 4 >= l?
True
Let a be (7 + (-8 - -1))/(-3). Let c be (3 - (-76)/(-24))*2*a. Is c smaller than 1/16?
True
Let t = 0.8043 + -0.6043. Are 4/29 and t equal?
False
Let f = 166 - 160. Suppose 2*s = -3*h - 10 - 0, 0 = 3*h + f. Suppose 2*n = -3*n - 15. Which is greater: n or s?
s
Suppose -2399*c + 289 = -2416*c. Which is greater: -309/19 or c?
-309/19
Suppose 1 = 3*o - 11, 2*d - 1496554 = -2*o. Let f = d - 1564638997/2091. Let p = -5/51 - f. Which is greater: p or 1?
1
Suppose 3*w + 1386 = 3*n, -8*n + 4*w + 2305 = -3*n. Suppose 3*h - 278 - n = -3*g, 20 = -4*g. Suppose 13*r = -h - 75. Which is greater: r or -26?
r
Let r be (-31 + 377/12)*(-6)/340. Is r at least 0?
False
Let m = 33 + -26. Let u be 1/((1/5)/(m/1)). Let y be (4 + u)/(4 - 1). Are 61/5 and y unequal?
True
Let q = -481 - -342. Let c = 3755/27 + q. Are c and 0 equal?
False
Let c(r) = 4*r**2 - r + 25. Let q be c(7). Let h = q + -2143/10. Which is smaller: 0 or h?
h
Let b = -27134.13 + 27367. Let p = b - 236. Which is smaller: p or 0.1?
p
Let h(k) = -k**3 - 14*k**2 + 16*k + 17. Let a be h(-15). Let t(n) = -11*n + a*n - 9 + 5 - 14 - n**2. Let r be t(-6). Which is bigger: -10/9 or r?
r
Let n = 71.088 + -0.088. Let g = n - 68. Let v = -0.017 - 0.153. Which is smaller: v or g?
v
Let a(h) = -h**2 + 7*h - 1. Let f be a(7). Let u be 3366/605 - (-5 - -11) - 8/(-10). Which is smaller: f or u?
f
Let s = 74077 - 105707858/1427. Is s > 1?
False
Let x = -7686721/62 - -150651838295/1215138. Let g = -5354783/141 + 37977. Let r = x - g. Which is smaller: -2 or r?
-2
Suppose 0 = 2*x + x - 333. Suppose -74 = -0*g - 2*g + 4*p, x = 3*g - 4*p. Let a be ((-96)/20)/(17/(3570/(-28))). Is a bigger than g?
False
Suppose 80*h - 1069*h + 30955 + 23440 = 0. Let z be (-2)/(-3) - 308/(-6). Is h at least as big as z?
True
Let o = -48495/17 + 2853. Which is bigger: o or 65?
65
Let x(h) = h**2 - 15*h + 34. Let c be x(12). Let k be c/(-8)*8 - (-1 - -3). Suppose k = 143*t - 142*t - 1. Is -1/121 bigger than t?
False
Let v = -0.083 + -0.57. Let w = 79484 - 79484. Is w bigger than v?
True
Suppose -11*q = -13*q - 130. Let z = 0.019 - 47.019. Let p = z + 46. Is p not equal to q?
True
Let q(c) = -c + 4. Let f(h) = -2*h - 3. Let n(u) = 3*f(u) + 6*q(u). Let d be n(-1). Which is smaller: 33 or d?
d
Let k be -1 + (-24)/36*(-3)/2. Suppose 2*u + n = 6*u + 5, -u - n = k. Which is greater: -1/16 or u?
-1/16
Let a be ((-54)/(-24) - 8/32)/(684/(-14)). Which is greater: a or 0.3?
0.3
Suppose -5*o - 5*v + 18914 = 5424, -v - 5378 = -2*o. Is 2691 less than o?
True
Let s be (-8)/(-18) - 1288/(-504). Let f = 11 + -6. Suppose -12 = 5*m + 3*a, -8 = -m + f*a - 3*a. Do m and s have different values?
True
Let n = -2510 - -2532. Let s = 0.33 - -18.67. Let t = s - n. Is t at least 10?
False
Let h = 43/18 + -8/9. Let l = 7271 + -7270.96. Is h > l?
True
Let g = 2/57 + -290/1767. Suppose 2*b - 59 + 61 = -j, b = 2*j - 1. Which is smaller: j or g?
g
Let j = 11738/3 - 3706. Let h = -700/3 + j. Which is bigger: -26 or h?
-26
Suppose 90*d - 192*d + 131057 = -19*d. Is 1582 not equal to d?
True
Let c = 1520 - 39509/26. Is -1 < c?
True
Let p be 0*(-7 - (-15)/2). Which is bigger: -32/65 or p?
p
Let q = -83 - -83. Suppose -6*y + 4*y + 86 = q. Suppose y*c - 22 = 41*c. Is c less than or equal to 4?
False
Let t = -3118 - -3122. Which is smaller: -0.0185 or t?
-0.0185
Let n = -10535 + 10541. Which is bigger: -498 or n?
n
Let q be 621/12*391240/4925. Let x = 4111 - q. Which is greater: 0 or x?
x
Let w(s) be the second derivative of 13*s + 0 + 1/2*s**2 - 1/12*s**4 - 1/6*s**3. Let j be w(0). Which is greater: j or -7?
j
Let w be -2*3/(-264)*42. Suppose -b = -196*v + 199*v + 25, 4*b + 19 = -3*v. Is b at least w?
True
Let z = 25 + 570. Is 598 >= z?
True
Let p = 211 - 228. Let o(h) = 8*h + 137. Let i be o(p). Let d be (-76)/(-217) - (-4)/(-14). Is d != i?
True
Suppose 10*b - 8290 = 2850. Suppose -1111*d 