qual?
True
Let g be ((0 - 0) + -2 + 2)*(112 + -111). Which is bigger: 1/372 or g?
1/372
Let y = -3/1100 + -5491/3300. Is 224 at most y?
False
Let z = 460/3 - 153. Let n = -990 - -1003. Which is smaller: n or z?
z
Let o be 4/(-6) - 2/(-3). Let z = 24.72 - 24.737. Which is greater: o or z?
o
Let m = 114.045 + -0.045. Let c = m - 82. Let a = 0.043 + -1.043. Which is smaller: a or c?
a
Let k be 18/(-3684)*(-100)/(5 - 0). Which is bigger: 1 or k?
1
Let c = -758 + 761. Does 20/13 = c?
False
Let k = 7 + -8. Let p = -36/3403 - -61846/6489521. Is p < k?
False
Suppose -35*s = -40*s + 20. Suppose -164 = -4*c + p + 3*p, -s*c = 2*p - 176. Let i = c + -42. Which is smaller: -1 or i?
-1
Let t = -128.36 - -111.36. Which is smaller: t or 0.2?
t
Let i = -4826 - -4827. Do i and 1/10663 have the same value?
False
Let m = 5.38 + 6.62. Suppose 0 = -123*l + 126*l - 6. Is l less than m?
True
Suppose 42*v - 23811 = 3*v - 5871. Is 462 equal to v?
False
Suppose -3*i - 3*j - 117 = 0, -i + 2*j - 38 + 2 = 0. Let z be 4/((6/(-4))/((-57)/i)). Is z smaller than -56/15?
True
Suppose -62*i = -74*i - 12. Let l be i + 6 + (-844)/116. Which is smaller: -2 or l?
l
Let n(z) = -6*z + 150. Let t be n(25). Suppose -3 = s - t*s + l, -3*l = 4*s + 7. Are s and 7 nonequal?
True
Let l = 13227.5 + -13228.5. Let i(s) = -3*s + 5. Let c be i(4). Which is smaller: c or l?
c
Let l be (((-450)/(-20))/15)/(3/8). Suppose -4*i - l*z = -20, -2*i = -z + 2*z - 5. Let g be (-2)/(-7) - 92/(-266). Which is bigger: i or g?
g
Let v = 506490503/1483 + -341531. Which is smaller: 0 or v?
0
Let v = -16 + 30. Suppose -6*s = -2*t - 4*s + v, -3*t + 21 = s. Suppose t*u = -u + 8. Is u equal to 3/11?
False
Let z(k) = -k - 10. Let b be z(-9). Let m = 0 - b. Let n = 1275 - 11489/9. Is m greater than or equal to n?
True
Let t = -94 - -94.236. Let l = 0.936 - t. Is l at most 17?
True
Let d = 3 - 39. Let s = d - -45. Let v = -6 + 12. Does v = s?
False
Suppose -3*u = 3*d - 12, 12 = -10*d + 5*d + 3*u. Are -4/45 and d equal?
False
Let l be 16/(-42)*2/(-104). Let y = -43295 - -43297. Is y < l?
False
Let k = 5.4 - 5. Let w = -0.8 - 178.2. Let q = 179.4 + w. Is k less than q?
False
Let d = -323 + 643. Let s = 317 - d. Is 1 at most s?
False
Suppose -2*j - v + 3 = 0, 22*j - 17*j + 5*v - 20 = 0. Which is greater: j or -1/3?
-1/3
Let j be (173508/95)/(189/(-70) + (-6)/(-2)). Which is smaller: 6089 or j?
j
Let y(w) = w**2 - 8*w - 28. Suppose 0 = 2*f + a - 17 - 5, -5*a - 58 = -4*f. Let b be y(f). Suppose 32*i = 28*i - b. Is i > -6?
True
Suppose u + 2 = 5. Suppose 4*k - 5 = 5*r, -2*k = -6*k + u*r + 3. Which is bigger: -1/208 or k?
k
Let b = -0.154 - -0.025. Let f = 2.829 + b. Which is smaller: f or -0.1?
-0.1
Let o = -11823329501/13764 - -3436015/4. Let m = o + 14/93. Is 1 at most m?
False
Suppose 0 = g + 3*o - 350, -23*g - o + 1050 = -20*g. Which is bigger: 351 or g?
351
Let u(z) = -11*z**2 - 59*z - 36. Let i be u(-12). Is -912 at least as big as i?
True
Let b be ((-1870)/(-8))/(-3 - (-11)/4). Let k = 17769/19 + b. Which is bigger: 1 or k?
1
Suppose 27 = 3*l - 0*l - 5*j, -2*l - 3*j = -18. Suppose 0 = l*i - 6 - 597. Is i != 67?
False
Let v = -4705 + 5105. Is v > 1599/4?
True
Let s be ((-27)/(-2))/((-3)/4). Let l be ((-15120)/(-5103))/(3/(-18)). Is l >= s?
True
Let d = -32585 + 32583. Let k = -2066 - -216928/105. Is d > k?
False
Let m be (-3)/2*(7 + 276/(-36)). Suppose 0*j - j + 166 = d, -5*d + 831 = 4*j. Let a = 2169/13 - d. Which is smaller: m or a?
a
Let c be 1 + -1 - ((-1)/1 - 2). Suppose b + 39 = c*q - 5*q, -4*b + 4*q - 132 = 0. Which is smaller: -34 or b?
b
Let n = 724 + -760. Let u = -111 - n. Which is smaller: u or -70?
u
Let l be (-5380)/(-130)*-55 - 4/(-26). Let f = -2990941 - -32925355/11. Let o = f + l. Does o = -2?
False
Suppose 57 = -16*k - 3*k. Let r = -0.963 - 0.057. Let a = -1 - r. Is a != k?
True
Let n(r) = -r**3 - 9*r**2 - 7*r + 18. Let l be n(-8). Suppose 4*h = 3*h + 5*j + l, 0 = h + j + 14. Let v be 4 - (4 - 5/h). Which is smaller: 10/3 or v?
v
Let r = -1.89 + -164.11. Let v = r + 169. Which is smaller: 33 or v?
v
Let q be -9 + 1 + (-7)/1. Let i be (14 + q)/(4/(-9)). Let d = -1 + 2. Are i and d nonequal?
True
Let d = 0.8312 + -0.9312. Suppose -360 = 8*o - 3*o. Which is smaller: o or d?
o
Let v(m) = 195*m**2 - 132*m - 260. Let n be v(-2). Are n and 3 equal?
False
Let r = -0.03 - 2.97. Let k(p) = 13*p**2 + 14*p + 8. Let t be k(-5). Let j = -275 + t. Do j and r have the same value?
False
Let m(h) = h**3 - 7*h**2 + 7*h + 8. Let b be m(6). Suppose -4*q - 4*n = -0*q + 448, 4*n + 220 = -2*q. Let v = -99 - q. Which is smaller: v or b?
b
Suppose -63*r + 4490 - 38006 = 0. Which is smaller: r or -530?
r
Suppose -2254 = -4*t + 2*j, 8*j - 35 = 3*j. Which is bigger: t or 571?
571
Let t = 63 + -63.091. Let w = -27.091 - t. Let v = 5/49 - 19/49. Which is smaller: w or v?
w
Let v = 143 - 139. Suppose v*y + y = 2*k + 35, -3*k - 3*y - 63 = 0. Is -144/7 > k?
False
Let f = 79.85 + -4.85. Let b = 31.9 - 32.9. Which is bigger: f or b?
f
Let p(b) = b**3 + 3*b**2 + 2*b. Let r be p(-3). Let x be -3 - (-3 - r)/1. Let j be (49/21)/((-3)/9). Does j = x?
False
Suppose 4*q - 8821 = 5*m, 2*q + 994 = 3*m + 6289. Are -1767 and m nonequal?
True
Let a = 448.9 + -448.7. Which is greater: a or -14.01?
a
Let t(g) = -g**2 + 3*g + 19. Let d = 139 - 133. Let z be t(d). Is -3/16 greater than z?
False
Suppose c = 3*s - 6 - 7, 0 = -s - 5*c - 17. Suppose -724 = -o - s*o. Are 181 and o equal?
True
Let v = -1 - 0. Let u = 13 - 1. Let p be ((-13)/70)/1 + u/42. Which is bigger: v or p?
p
Let i be 90/135*(-63)/(-6) + -6. Which is smaller: -3/455 or i?
-3/455
Let u = 7876 + -7927.968. Let s = u + -0.032. Let v = -52 - s. Which is smaller: 2/21 or v?
v
Let h = -569 + 14805/26. Let j be (-17)/117 + (-8)/(-36). Let t = j + h. Is 2 greater than t?
True
Let p = 66 + 357. Let q be 123/287 + p/(-7). Which is bigger: q or -63?
q
Let s be 1 + 29/2*-2. Suppose 36*k + 884 = 19*k. Let i be ((-507)/k)/((-12)/32). Which is smaller: i or s?
s
Let u(b) = 22*b**3 + 7*b**2 + 6*b + 2. Let y be u(5). Let i = 1014249/343 - y. Which is greater: i or 0?
0
Let x be (-27)/((-1701)/14) - 122/9. Let m = -32 + 32. Is m at least x?
True
Let d = -2/2443 - -6400/1849351. Is d at least 1?
False
Let x = 396 - 522. Let y = x - -125. Is 3/35 greater than or equal to y?
True
Let x be ((-3)/2)/((-168)/14392) + (-6)/4. Are 127 and x unequal?
False
Suppose -179*z + 181*z + 4 = 0. Let n be z*(6 - 355/(-10)). Does -83 = n?
True
Let x = 80375/47 - 1710. Let t = 7123/112 - 7095/112. Which is greater: x or t?
t
Suppose 5*b = 3*b + 94. Let o = 70 + -76. Let x be o*2*4/(-1). Which is greater: b or x?
x
Let v be ((-8)/(-144))/(2/6). Let b be 3 + 0 + -9*(-4)/12. Suppose -5 = -u + 2*t, 0 = -4*u + 5*t + b + 8. Is v greater than u?
False
Suppose 0 = 2*d - 7*d - 80. Suppose 6*w - 5*w = -0*w. Suppose -79 = 4*f - 5*c, w = -2*f + 4*f + 4*c + 20. Is f smaller than d?
False
Let o(d) = 12*d + 4 + 4 - 4 + 8. Let i be o(-1). Which is bigger: i or -48?
i
Suppose 4*u = 3*u + 7*u. Suppose u = -15*x - 27 + 57. Are -9 and x nonequal?
True
Let z be (-26)/650*-25*(1677 - -1). Do z and 1679 have different values?
True
Suppose 0 = 2*c + 5 - 9. Suppose 0 = -c*u + 5*u + 3. Let i be (0 - (u - 0)) + 0. Which is bigger: 8/31 or i?
i
Let l be ((-30)/(-90))/(2/48). Suppose 0 = l*j + 336 + 552. Are j and -112 nonequal?
True
Let r = 66005 - 7788653/118. Is -2 less than r?
True
Suppose 0 = -3*q - 4*l + 22, 41 - 13 = 4*q + 5*l. Let x be 2/(-24) - (0 + q/(-6)). Which is smaller: x or 9?
x
Let b = 1/1383 - -1091/403836. Let d be (0/(-8) - (1 - 3))/(-2). Is b less than or equal to d?
False
Let n = -76 + 76. Suppose -t = 3*w, n = -2*t + w - 5*w. Is t bigger than -3/82?
True
Let n = -237 - -238.028. Let x = n + -0.028. Is x less than 6.4?
True
Suppose -25 = -6*n + 83. Suppose n*j - 2109 = -561. Is 86 bigger than j?
False
Let m(w) = w**2 - 5*w + 7. Let g be m(4). Suppose -g*j = -4*o - 76, j - 5*o + 0*o - 7 = 0. Let k = j - 33. Which is smaller: -1/8 or k?
k
Suppose x + 61 = -13*d + 16*d, -2*x = 2. Suppose 122 = 2*o + d. Does o = 51?
True
Let j = -135 - -136. Let g be (76/(-6))/(j/((-24)/(-16))). Which is bigger: -17 or g?
-17
Let m be (-17)/((14 - 7)/28). Let k = -424 + 765. Suppose 0 = 5*n + v + k, 0*v = n - 4*v + 64. Is n != m?
False
Let z be (