qual?
True
Let x(a) = 4*a - 6. Let p be x(1). Let y be (-322)/1352 - p/8*1. Are y and 0 non-equal?
True
Let q be ((-12)/(-14))/(81/126)*-3. Which is smaller: q or 116?
q
Let f = -31644 - -31644. Is -21445 at least as big as f?
False
Let d(q) = -q**3 + 3*q**2 + 8*q - 22. Suppose -17*v = -19*v + 12. Let z be d(v). Let y = 90 + z. Is y at most 12?
True
Let s(k) be the third derivative of 19*k**2 + 1/10*k**5 + 0 - 1/120*k**6 + 0*k + 1/6*k**3 - 1/3*k**4. Let f be s(4). Which is smaller: f or 3/7?
3/7
Let c be (4580/(-16))/((-1)/4). Which is bigger: 1146 or c?
1146
Let t = -0.10734 + 0.12834. Is -2/215 at least as big as t?
False
Let j = 25.413 - 24.413. Which is bigger: -0.1704 or j?
j
Let t be ((-6)/8)/((-9)/4644). Suppose -8*z - t + 2251 = 0. Is 232 > z?
False
Suppose -o + 17 = -31. Suppose 0 = -2*d - 19 + 21. Let n be 1/(45/(-94) + d/2). Which is greater: o or n?
o
Suppose g = -6*s + 2*s + 21, -3*g + s = -76. Suppose -26*a + 16 = -g*a. Let n be ((-2)/a)/((-6)/(-12)). Which is greater: -14 or n?
n
Let d be ((-36)/8)/((-6)/8). Let m be 2/(-4)*(444/(-75) + d). Suppose 0*t - 5*t = -t. Is m bigger than t?
False
Let l = -0.05778 + -47.40222. Let c = l + 47. Let n = c - -0.33. Is n greater than 1/3?
False
Let b(h) = 90*h**3 - 57*h**2 - h - 4. Let c be b(-2). Which is smaller: c or -951?
-951
Let l be -2*((-325)/(-182) - 6/8). Let d = l - -233/126. Let x = 15 - 7. Which is greater: d or x?
x
Suppose 0 = 4*i - 4, -3*i = -5*d + 2*d - 123. Let f be -5*(-20)/(-150) - d/6. Which is bigger: f or 41/6?
41/6
Let f(k) = -k**2 - 82*k + 2442. Let o be f(23). Which is smaller: 20 or o?
20
Let d(w) = 134*w + 128. Let r be d(-4). Do -406 and r have the same value?
False
Let k(q) = -q**2 + 11*q - 7*q**2 - 5*q + 4 + 0*q. Let j be k(-12). Let l be (j/14)/(-5) - (-9)/(-21). Which is bigger: 81/5 or l?
l
Let n = 844094 - 18451894837/21860. Which is greater: n or 0?
n
Let r = -3280 + 3466.9. Let v = 189 - r. Is v less than -0.1?
False
Let q = 126 - 123. Suppose -4*a = -4*u - 40, 4*a - 32 = q*u - 0*a. Are u and -8 equal?
True
Let w(l) = -l**2 - 12*l + 219. Let h be w(10). Let k be (-424)/618 - 12/(-18). Which is smaller: h or k?
h
Let o = -11.29 + 60.29. Is o greater than or equal to 49?
True
Let m(x) = 101*x - 103. Let o be m(1). Is -69/133 at least o?
True
Let o = -27492 - -27499. Is o > 89?
False
Let i be (-9)/(-3) - (-8)/((-12056)/4523). Let h = i + -4517/3014. Let a(g) = -g**3 + 4*g**2 - 3*g - 1. Let b be a(3). Is b >= h?
True
Let s = -121 - -112. Let q = -69 - -45. Let r = q - s. Is 0 at least as big as r?
True
Suppose 4*t + 394 = -s - t, t = 4*s + 1513. Let q = -580 - s. Let a = q - -385/2. Which is smaller: -8 or a?
a
Suppose q - 4*z = 3*q + 16, 20 = 4*q - 5*z. Let o be (6/(-3771))/((-4)/12). Which is greater: o or q?
o
Suppose 78 = -a + 4*x, 312 = -4*a + 3*x - 0*x. Let t(k) = -4*k**2 + 987*k - 3961. Let r be t(4). Which is bigger: r or a?
r
Let b = -35897/966 - -223/6. Let o = b + -165/644. Which is bigger: 22 or o?
22
Let r be 6/(-15) - 2*4607/(-30685). Which is smaller: r or -1?
-1
Let v be ((-4)/(-66))/(((-168)/(-9))/(-7)). Let r = -181/220 - v. Let x be 7 - (-6)/10*170/(-34). Are x and r nonequal?
True
Let c = -209 - -212. Let r be c*(-3)/12 + (-1573)/(-2236). Which is bigger: r or 1?
1
Let p be (5656/49 + 2)/(60/(-84)). Is p greater than -163?
False
Let s = -1975.1 + 1975. Which is smaller: -0.0367 or s?
s
Suppose 0 = -245*c + 244*c - 23. Let k = 15 + c. Which is smaller: k or -13?
-13
Suppose 199*w - 22816 - 163647 = 0. Do w and 933 have the same value?
False
Let v = -0.53 - -0.365. Let s = 0.035 - v. Is s smaller than -15.7?
False
Suppose 0 = 3*o + 3. Suppose -2*h + a + 0*a = 28, -h + a = 16. Let t be (-3)/h*(-2)/31. Which is bigger: t or o?
t
Suppose -15*w - 26 = 19. Let m be 0/(-3)*w/(-6). Which is greater: m or -4/165?
m
Suppose 15*a - 10*a = -875. Let w = a - -2623/15. Let z = -2.2 - -1.5. Which is greater: w or z?
w
Suppose 3*o + 2*o - j - 925 = 0, -5*o = j - 925. Suppose 0 = -19*n + 20*n - o. Is n > 184?
True
Let w = -381 - -408. Let d = w + -147. Is -241/2 at most d?
True
Let v = -11 - -31. Let q = 19.8 - v. Which is smaller: q or 11?
q
Suppose -201*s + 1274 = -188*s. Which is bigger: 1472/15 or s?
1472/15
Let o = -13 - -1. Let z be (-17)/(o/(-32) - 3/12). Let j = z - -2586/19. Which is greater: 0 or j?
j
Let a = 3902/3 - 3901/3. Let d(l) = -l - 7. Let o be d(6). Let f be o/70 + (-6)/(-21). Which is greater: f or a?
a
Let w = -276.2 - -832.1. Let o = 556 - w. Is 276 at most as big as o?
False
Let c(a) = a**2 - 4*a - 1. Let o be c(4). Suppose -t = -69*k + 71*k + 1, 2*t - 5 = 3*k. Is o less than k?
False
Suppose 3*u - 4*c - 594 = 0, 2*u = -3*u - 2*c + 990. Let t = 197 - u. Let n be 3*((-214)/106 + 2). Is t != n?
True
Let w be (-9 + 5 - 3) + 3487/11. Is 931/3 at least w?
True
Let i(w) = 5*w + 22. Let t be i(-14). Let g = 58 + t. Let o be (-1)/(-5)*-3*5/g. Are o and 0 non-equal?
True
Let x = 135 + -134. Is x smaller than -1/836?
False
Suppose l = 6*l + 30. Let r be 2/(-2)*(6 + 1 - 3) - (-1725)/(-552). Is r not equal to l?
True
Suppose -4*a = -1267 + 1239. Let m be a/(-3) + (-3)/(12/(-8)). Which is greater: -0.64 or m?
m
Let r(l) = 250*l - 1111. Let a be r(24). Which is greater: 4891 or a?
4891
Let c(v) = -v**2 - 3*v + 4. Let t be c(0). Let x be 0 + 0*1/t. Let g be (-2)/(2/4 - x). Is -5 greater than g?
False
Let f be (-17956)/(-12) - (-15)/9. Suppose 4*o + 346 + f = 0. Let n = o - -40105/87. Are n and -1 equal?
False
Let x be -2 - (7/(-14) + (-584)/(-48)). Is x greater than 86?
False
Let v = -1322.412 - -3.412. Which is smaller: v or 0?
v
Let z(l) = 9*l + 67. Let p be z(-16). Let j be 3/4 + p/99. Is j bigger than 1?
False
Let o(a) be the third derivative of 7*a**4/24 - 5*a**3/3 - 8*a**2. Let h be o(2). Is -2 at least h?
False
Let o = -50432717/251769 + 2159/1893. Let b = o + 1406/7. Is -0.1 >= b?
False
Let p = -499 + 511. Suppose -7*r = -5 + p. Is r less than -1/95?
True
Let u(m) = 13*m**3 - 43*m**2 + 253*m - 16. Let q be u(9). Do 16509/2 and q have different values?
True
Let n be -621*2/9*-6. Suppose 0 = -15*w + 3*w - n. Let v = 18 - 86. Is v equal to w?
False
Let u(v) = 31*v + 826. Let l be u(-24). Which is smaller: l or 1548/19?
1548/19
Suppose 0 = -4*k - k + 20, 11 = 3*u - k. Suppose -5*h + 4*v = -v - 710, -2*v = u*h - 724. Suppose 2*a - 4*b + 48 = 0, a = -4*a + 2*b - h. Is -30 > a?
False
Suppose -4*a + 12177 = 11869. Suppose p - 382 = -2*f - 3*f, -f + 82 = 3*p. Is a smaller than f?
False
Let x = -1499 + 58465/39. Let t be (-2)/4 - (-7)/2. Suppose 0 = -r - 2*r - t. Which is smaller: x or r?
r
Let w = 253983230933093/223792273976 - 295922333/260488. Let k = 696/6271 - w. Let l = k - -2/137. Is l at least as big as 2?
False
Let j(h) = 57*h**3 + 8*h - 6. Let o be j(2). Let n = o + -467. Is n < 2/301?
True
Let o(q) = -3*q**2 - 3*q - 17. Let t be o(6). Let g = -99 - t. Let j = 42 - g. Is j less than or equal to -3?
False
Let i = 12228/5 + -12242/5. Which is smaller: -9.34 or i?
-9.34
Let d be 66/(-44)*((-27325)/15 - 5). Is d greater than 2739?
True
Suppose 26*p = 21*p + 110. Suppose 13*i - p = 2*i. Suppose 0 = -2*o + 7*o + 3*t - 113, -5*o = -i*t - 133. Which is bigger: 1/4 or o?
o
Let n(g) = 6*g**2 + 23*g - 9. Let z be n(-4). Let t be 9 + (-11 - z - 2). Are 8/17 and t nonequal?
True
Suppose -g - 7*g = -864. Let j = -133 + g. Is j > -124/5?
False
Let z = -43 - -42.915. Let u = z + -23.115. Let o = 23 + u. Is o < -2/39?
True
Let z be 2 + (1 + 70 - -4). Suppose -d + 31 = -z. Let b = d + -112. Which is smaller: -40/11 or b?
b
Let s be (-15)/23*(-16)/(-10). Let r = s - -1151/1081. Is r smaller than -0.3?
False
Let p(i) = -3*i**3 - 22*i**2 - 32*i - 37. Let x be p(-10). Which is greater: 2163/2 or x?
x
Let d = 1608 + -265318/165. Which is bigger: -0.1 or d?
d
Let b = 24.9 - 27. Let t = -14 + 39. Let a = 25.1 - t. Is b < a?
True
Let s = -73148/73 - -1002. Suppose 53 = -q + 55. Suppose 4*g - 20 = -4*d, -d = -q*g + g + 3. Which is smaller: s or d?
s
Let d = 2609 - 2613. Which is smaller: -5/47 or d?
d
Suppose -20*k - 2450 = 50*k. Is k at least -143/4?
True
Let s = -339 + 387. Let x be -8*-3*6/s + -2. Is x at most 36?
True
Suppose 322*x - 233*x - 534 = 0. Which is greater: x or 269/37?
269/37
Suppose 71 - 71 = -391*g. Do g and -1/6430 have the same value?
False
L