and u have the same value?
False
Let l = 10427 + -16466. Let n = l - -42360/7. Which is smaller: n or 12?
12
Let d = 375/16 + -1117/176. Let u = -4678/275 + d. Which is greater: 1 or u?
1
Suppose 21*o - 19*o - 6 = 0. Suppose 3 = -4*s + 7, -u + 52 = o*s. Which is greater: 146/3 or u?
u
Let s be (-1)/(-10) + 22729/1910. Which is bigger: 20 or s?
20
Let j(o) = -o + 4. Let m be j(4). Let v be -18*26/234 + -3 + 243/48. Which is bigger: m or v?
v
Let b = -1934.9 + 1932. Is b > -2/53?
False
Let i = -12737 + 11548. Which is smaller: -2 or i?
i
Let m = 527775 - 163082471/309. Suppose 5*b = 4*b. Which is smaller: b or m?
b
Let y(j) be the second derivative of -j**4/12 + j**3/3 + 4*j**2 + 14*j + 4. Let w be y(0). Which is bigger: w or 130/17?
w
Suppose -9*r + 14*r + 2275 = -5*v, 0 = -2*r + 3*v - 880. Is r greater than -451?
True
Suppose -32*b + 2*n = -31*b - 2, -4*b + 8 = 5*n. Suppose -h - 5*x = 4, -3*x + 37 - 16 = -b*h. Is -6 equal to h?
False
Let d be (12 - 0)*74/30. Suppose 72 = 2*l - 3*i, 2*l - 27705*i + 27708*i = 48. Do d and l have different values?
True
Let n be (-2)/4*(-2)/(-4). Let z(l) = -2*l**2 - 10*l + 545. Let f be z(-18). Which is smaller: f or n?
n
Suppose 6*k + 0*k - 1881 = 5*k. Which is bigger: k or -0.2?
k
Suppose 0 = -4*n - 4*t + 2596, 3*n - t = -3*t + 1951. Let f = -656 + n. Which is smaller: f or -5?
-5
Suppose -5*n - 5 = -3*r - 3*n, 5*r = 2*n + 11. Let g be (-107)/(-70) + 52/91. Which is smaller: r or g?
g
Let y be -4 + 16/(-6)*(-6)/8 + 610. Is y greater than -7?
True
Let p = 33 - 33. Let d = -1194040/203 - -5882. Let r = -1159/4872 + d. Which is bigger: p or r?
p
Suppose 1141*m = 1157*m. Let s(a) = -a**3 + 7*a**2 + 10*a - 5. Let j be s(8). Which is bigger: j or m?
j
Let m(o) = 23*o + 1. Let q be m(2). Let y = -0.24747 + 0.04747. Which is bigger: y or q?
q
Let l = -119 - -126. Let u = 19 - l. Is u >= -0.01?
True
Let q = 10/3077 - 437044/33847. Which is greater: q or -14?
q
Suppose 0 = 37*d - 176*d + 13473 + 5848. Is 136 less than d?
True
Let w be (-4)/18 - 249/(-27). Suppose -27*k + 152 + 145 = 0. Suppose -8*t + 29 = -k. Which is bigger: t or w?
w
Suppose 2*t = 4*t. Let b be (8 - -66 - -4)*-8. Let h = 48044/77 + b. Is h at least as big as t?
False
Let o(j) = j**2 + 14*j - 21. Let t be o(-15). Let s be 6*-9*6/9. Let v be (t/(s/(-10)))/((-3)/(-2)). Which is greater: -2 or v?
v
Let d = 63 + -60. Let o be -21 + 0 + d - (-3)/(-1). Let j be 1/7 - 963/o. Are j and 47 nonequal?
True
Let m be 892 - (96/(-12) + (-30)/(-6)). Which is smaller: m or 896?
m
Let o be ((-2)/(-6))/(15/(-18)). Suppose -j - 209 = 5*w + 222, -2*w - 166 = 2*j. Let c = w - -84. Is o smaller than c?
False
Let n be (-46)/(-391) - 234/(-34). Suppose -n*z - 2*c + 13 = -10*z, -5*c = 4*z - 21. Which is smaller: z or -1/167?
z
Let i be 3/(-18)*-21*30/21. Let l be -4 - (i + 23/(-5)). Which is greater: l or 4/5?
4/5
Let z be 927 - (-2 + 6 + -10). Is z < 932?
False
Let q(p) = p**3 - 2*p**2 - 3*p + 9. Let z be q(4). Suppose -z - 11 = -8*h. Suppose 2*a = -3*a + h. Do -1/9 and a have the same value?
False
Suppose -14*k + 15*k = -3*l - 4, 0 = l + 4*k + 16. Is 11/53 > l?
True
Let s = 220 + -204. Let k be 4/(-9)*(-12)/s. Is -62 >= k?
False
Let t be 108/162 - (-485)/6 - (-2)/4. Is 86 < t?
False
Let w = -134 - -144. Let o = w - 32. Is o != -4?
True
Let k be (176/(-110))/((924/30)/7). Are -103/3 and k non-equal?
True
Let x be (266 - -2)*4/8. Suppose 0 = 3*n + c - x, -c - 1 = -n + 37. Is n at most as big as 45?
True
Let q be ((-60)/(-40))/((-18)/8). Which is greater: q or 0?
0
Let t(n) = -6*n**2 + 53*n + 724. Let o be t(-12). Is o less than -775?
True
Let z = 13891 - 9755. Let t be 6/(-4) + 6220/z. Which is bigger: t or 0?
t
Let v(d) = d**3 + 28*d**2 - 217*d + 17. Let h be v(8). Is h >= 585?
True
Let p be (4/(-35))/(8/(-20)). Suppose 4*g = -5*x + 577, 710 = -5*g + 10*g - 5*x. Let z = g + -145. Is z >= p?
False
Suppose 3*w - 106 = -34. Suppose -25*h + w*h - 14 = 0. Let g = -18 - h. Which is smaller: -21/5 or g?
-21/5
Suppose 2*u - 19 = 31. Suppose 0 = -u*w - 0*w + 1450. Are 59 and w equal?
False
Let t = -841961/434 + 1940. Which is smaller: t or -1?
-1
Let d(r) = 5*r**2 - 27*r - 29. Let u be d(-9). Which is bigger: 621 or u?
621
Let v = 1103502/511 + -16263/73. Is 1936 smaller than v?
True
Let z = 46 - 42. Suppose -3*t + 6*y - z*y - 185 = 0, t + 56 = -5*y. Which is bigger: t or -60?
-60
Suppose 56*s - 57*s = 5*m + 161, 0 = m - 3*s + 29. Let q be (-1)/m*(-19 - -15). Let j = -4.88 + -0.12. Is q bigger than j?
True
Let h = 80151999779/75795 - 1057484. Which is smaller: 0 or h?
h
Let x = -3408 + 1916. Is -1490 > x?
True
Suppose 3*d = -0 - 3. Let q be (-4)/10*(d + -94). Let a(x) = -2*x**3 + 73*x**2 + 116*x - 38. Let m be a(38). Is q < m?
False
Let h(v) = 5*v - 2. Suppose 4*s + 3*b = -0*s + 13, 5*b - 14 = s. Let w be h(s). Let x be (-14 + 13)*(-1)/w. Is x smaller than 26?
True
Let a(m) = -m**2 - 18*m + 42. Let r be a(-20). Let p be (-4 - (r - 5))/(-1). Let h be -2*(-2)/156*p. Is 0 != h?
True
Let c be (-2)/4*(-1707 - 67). Which is smaller: 888 or c?
c
Let d be (330 - -522)*(-1)/(-27). Let j be -24*2*10/(-15). Is j greater than d?
True
Suppose 638 = 3*w + 620, -2062 = 5*h + 3*w. Which is smaller: -430 or h?
-430
Suppose u - 3*i + 7 = 0, 2*u + 69 = -101*i + 96*i. Suppose -2*z - 3*q = 2*q + 24, -5*z - 75 = 5*q. Let o be z + -3 + -3 + 1. Is o bigger than u?
False
Let g = 2761328184/1339 - 2062232. Let i = 4/103 + g. Let b = 1 - 1. Is i equal to b?
False
Let v be (1/(-2) - 0)/(5/(-50)). Suppose -s - 2*s = -v*p - 15, 3*s = 4*p + 12. Is -1/37 at most s?
True
Let n = -223 - -465. Let u = n + -256. Is -0.04 at most u?
False
Suppose -3*p - 4*h + 2 = 16, 11 = -2*p - 3*h. Suppose 0 = 7*c - p*c - 5650. Let z = c + -53107/47. Which is greater: z or 1?
1
Suppose -242*m - 25 = -237*m, 132 = 3*v + 3*m. Which is bigger: v or -3/8?
v
Let f(c) = -2*c**3 - 40*c**2 - 8*c - 3. Let z be f(-19). Which is smaller: z or -569?
z
Let a = -3920 + 3934. Is -43/3 at most as big as a?
True
Let y(a) = -12*a**3 - 5*a**2 + 5*a - 27. Let h be y(5). Is -1627 >= h?
True
Let n be (-928)/58 - (-20715)/1296. Which is smaller: 1 or n?
n
Let n = 1840707 + -33122015/18. Let v = -595 + n. Which is greater: v or -22?
v
Let d be -342 + 356 - 5*3. Let v(h) = -h**2 - 15*h + 6. Let z be v(-8). Let y be z/57 - (-2)/(-3). Which is smaller: y or d?
d
Let b(r) = r**3 + 5*r**2 + 4*r - 4. Let v be b(-4). Let x be (-26)/(-8)*(v - 0). Suppose -235*q + 386 = -927*q - 7918. Which is smaller: x or q?
x
Suppose -2*c = -65928 + 65608. Is 152 at most c?
True
Let z = 2664.23 - 2644. Let j = -20 + z. Let p = 0.27 - j. Is 2 greater than p?
True
Let z be 23 - (930/24 + -16). Which is smaller: -68/5 or z?
-68/5
Suppose 48*x = -743 + 9047. Is 80 <= x?
True
Let d be 64/(-640) - 6801/(-10). Let w = 460 - d. Which is greater: w or -219?
-219
Suppose 6 = 14*m - 11*m. Let d be (2/(-4))/(m/12). Suppose 3*b = -16 + 1. Which is smaller: d or b?
b
Let f = -9270 + 9534. Which is smaller: f or 48?
48
Let h = -440 + 1351. Let u = h + -897. Which is smaller: u or 12?
12
Let l = -38040 + 16488. Is l > -21551?
False
Let c be 4/88042 + 0/(7 + -18). Which is greater: c or -1?
c
Let h be (-6)/(10 - 4) + 16152/(-32). Is h smaller than -507?
False
Let h = -113 + 53. Let l be 228/h - 1/5. Suppose -2 = g - 2*r - 2*r, r = -2*g - 13. Is l equal to g?
False
Let m = -135 - -140. Suppose -m*v - 5 = 5. Which is smaller: -1 or v?
v
Let u = 162424/5 + -32356. Let c = 129 - u. Let i = -1.4 - -1. Which is smaller: c or i?
i
Let c = -42983 + 42982. Let y = -59/50 - 1/50. Which is bigger: c or y?
c
Let a = -1085 + 1085.2. Is a greater than or equal to 0.662?
False
Let l = 8731 - 8661. Is -13 equal to l?
False
Suppose -4*v + g + 766 - 938 = 0, -2*v = -5*g + 86. Is v less than or equal to -64?
False
Let w = -266 - -583. Let m = w - 3489/11. Suppose 0 = -z + 3 - 2. Which is smaller: m or z?
m
Let u = -143 - -78. Let p = u - -65.039. Let z = 2.039 - p. Do 22 and z have the same value?
False
Let x = 0.0113 + -30.3113. Let f = 29.3 + x. Is f less than or equal to -2/5?
True
Let g = 3434 - 3392.7. Does 1/4 = g?
False
Let r = 448937/37242 - -2/2069. Which is smaller: 12 or r?
12
Let y = -486535085/7 - -69846201. Let l = -340556 + y. Let x = l - 630. Which is bigger: 3 or x?
3
Let j be (-1 + -3 - -1180) +