qual?
True
Let u be 5/(15/(-238))*((-780)/(-104) - 12). Which is smaller: u or -0.2?
-0.2
Suppose 3*z - 102 - 17 = 2*m, -52 = m + z. Let i be (((-57456)/(-10))/7)/((-74)/m). Let d = i + -610. Which is smaller: 0 or d?
0
Let u = -11/2 + 899/164. Let i = u - -47/328. Which is smaller: i or -1?
-1
Let q = 189 + -179. Suppose q*z - 561 = 519. Is 110 < z?
False
Let q = -575 + 574. Which is smaller: q or -1.604?
-1.604
Let k(q) = 17*q**2 - 2*q**2 - 10*q**2 - 2*q - 41*q**3 - 6*q**2 + 4. Let l be k(1). Is l smaller than -37?
True
Let c be (17 - -3) + (1 - (10 + -12)). Which is smaller: -219 or c?
-219
Let g = -1846 + 2751. Are g and 905 equal?
True
Suppose 16 = 4*d, -n + 0*d = 4*d - 229. Let s be 30/165*n*(-3)/3. Is -39 > s?
False
Let u = 4 + 9. Let w be 66/4 - (3 + 5 + 39/(-6)). Is u smaller than w?
True
Let h = 8028 - 8028. Is 1.608 greater than h?
True
Let q = -10348760 - -237983408/23. Let m = 1655 + q. Which is smaller: m or 1?
m
Suppose -273 - 299 = -4*m. Suppose 3806 = 62*k - 5184. Does k = m?
False
Suppose 0 = 12*f - 7*f + 5. Let c be f/(((-270)/(-145))/(-6)). Which is smaller: c or -1?
-1
Let h(d) = 2*d**3 + 18*d**2 - 43*d + 10. Let t be h(-11). Which is greater: t or 16/1205?
16/1205
Let s(a) = -a**2 + 18*a - 32. Let m be (-1)/(256/(-84) + 3). Let d = m - 5. Let f be s(d). Which is bigger: -2/11 or f?
f
Let h(x) = x**3 + 4*x**2 + 2*x - 6. Let w be h(-9). Let n = 510 + w. Which is bigger: 78 or n?
n
Let j = -17189 - -17189.2. Is -3135 smaller than j?
True
Suppose 4*w = -2*j, 23*w = 18*w - 3*j - 1. Which is greater: w or -67/188?
w
Suppose -179*n + 19854 = 71406. Which is greater: n or -281?
-281
Suppose 3 = 2*i + 3*f, 6*f - 2*f + 13 = 3*i. Let j be 70 - ((-4)/6 - (-3)/9). Let q = j - 2261/33. Which is greater: q or i?
i
Let l = -0.0526 + -4394.9474. Which is bigger: 1 or l?
1
Let d = 12.0427 + -0.0427. Which is bigger: d or 4?
d
Let r = 82 - 77. Let m = 74 + -67. Is m less than or equal to r?
False
Let h = 48/5 - 187/20. Is -199 not equal to h?
True
Let l = 7.0588 - 0.0588. Does l = 27?
False
Suppose 2385 = -3*f - 5*y, 3*f - 9*y + 2385 = -13*y. Let b be 0 + (3 - 805/f*-3). Which is smaller: b or -8?
-8
Let h(q) = 496*q - 473. Let x be h(7). Which is smaller: 2997 or x?
2997
Suppose -5*d - 1 = -3*o, -d + 3*d - 10 = -4*o. Let r(u) = 5*u**3 - 2*u**2 + 2. Let f be r(d). Suppose -f*t + 0*t = -0*t. Is t greater than or equal to 1/9?
False
Let t = 406 - 217. Let k = t + -189.1. Are k and -5/4 unequal?
True
Let p = -323 + 874.1. Let k = 546 - p. Which is greater: k or 2/11?
2/11
Let s be 11/(-10538)*(-3 + -4 + 4). Which is greater: s or 1?
1
Let v = -9855 - -39423/4. Which is bigger: -796 or v?
v
Let p = 11856 + -11306. Which is bigger: 552 or p?
552
Let r = 79.724 + -80. Let n = -5261/17 + 36793/119. Which is greater: r or n?
r
Let a(k) = -3*k**2 + 133*k + 91. Let r be a(45). Is r smaller than -10/413?
False
Let f = 20826 + -20830. Which is bigger: f or -284?
f
Let x be (-4)/10 - 42/(-60). Suppose s + 5*l - 19 = 0, -4*l + 5*l = 0. Suppose 0*p - 9 = p - 2*y, p - 4*y + s = 0. Is p smaller than x?
False
Let l be 14/49 + (2 - 2). Which is smaller: l or 94?
l
Suppose -2*y + 1748 = -3*s, 2*s + 2*s - 2*y + 2328 = 0. Let k = s + 595. Which is smaller: 11 or k?
11
Let w = 97 + -95. Suppose t + 0*t = w. Suppose 2*g + t = 28. Is 12 greater than or equal to g?
False
Let f be 16 + 24856760/(-1515650) - 4/(-10). Does f = 0?
False
Suppose 0 = -3*h - 2*h - 420. Let y be 135/126*-62 + -19. Which is greater: h or y?
h
Let i = -14 + 18. Let f = -0.6 + -5.4. Let a = i + f. Are 0.08 and a equal?
False
Let s = -5295 + -21520. Let j = s + 5443460/203. Let h = 2/29 + j. Is h greater than 0.01?
True
Let p = 97 - 98. Let q be (-5 - p)/(2/(-9)). Suppose 20*m - 18*m + q = 0. Is m at most -31/3?
False
Suppose 4*x + 5049 = -5*z, 4*x - z + 2719 + 2372 = 0. Is -10175/8 bigger than x?
False
Let i = 295 + -294.8364. Is 2 greater than i?
True
Let r = -3382 + 3732.1. Do r and 1 have the same value?
False
Let b = -11646.4 + 11977. Which is bigger: b or 2/3?
b
Let b = -20 + 20. Suppose 5*u + 3*m = -b*m - 111, -5*u = -m + 123. Suppose 4*s = 2*r + 5*s + 42, -5*r - 106 = 2*s. Is u bigger than r?
False
Let q = -11280.62 + 8.62. Which is smaller: q or 0?
q
Let n = -7/5756 + -11295/178436. Which is smaller: -0.798 or n?
-0.798
Let m = 229.645 - 229. Let p = m + 0.055. Which is greater: -16 or p?
p
Let g = 3417 + -3296. Is g at least -2/15?
True
Let l(r) = -4*r - 6. Let j be l(-3). Let o(d) = 4*d - 2. Let u be o(j). Suppose 5*g - 4*z + 7*z = -42, -3*g = 5*z + u. Which is bigger: g or 0?
0
Let c = -31 - -61. Let z = -363/4 + 733/12. Let x = c + z. Is x less than 9?
True
Let y = 492 + -691. Let f = y + 206. Which is smaller: f or 31/5?
31/5
Let k = 256 + -280. Suppose 2*v = v + 35. Let x = 10 - v. Is k less than or equal to x?
False
Suppose 3*k + 0 = 3. Suppose -283*d - 1070 + 166 - 511 = 0. Does d = k?
False
Let x be (1 - 0)/((-7)/(-5)). Let j be (1 + 3)*5*5/50. Is x <= j?
True
Suppose -4*c + 452 = -5*g, -2*c - 377 + 5 = 4*g. Which is greater: -88 or g?
-88
Let k = -960.9 + 960.889. Which is greater: k or -0.19?
k
Let x(s) = -6*s**3 - 3*s**2 + 29*s + 86. Let d be x(-3). Let r be 8/6*2010/20. Let g = d - r. Is g > -1/128?
True
Let l(a) = a + 4. Let o be l(-2). Suppose 4*d + 5*t - 35 = 0, 0 = 2*d - 0*t + o*t - 16. Let m(w) = 4*w - 18. Let b be m(d). Which is smaller: -4 or b?
-4
Let u be -397 - -1 - (-6)/3. Let k be 9/2*-140*14/(-105). Let o be u/k + (-12)/72. Which is greater: o or -6?
o
Let t be (-17)/(-45) + (-7)/((-105)/(-6)). Suppose -4*h + 9 = -3. Suppose -2 = -h*r - 5. Which is bigger: t or r?
t
Let f(o) = -2*o**2 - 112*o - 137. Let j be f(-81). Which is smaller: -4186 or j?
j
Let p(o) = o**2 + 5*o + 7. Let l be p(-3). Suppose -15 = -k + 15. Let w be 10/15 + (-23)/k. Do w and l have different values?
True
Suppose 26*s + 21 = 19*s. Let a be 2 + 4/(-8)*(s - 0). Suppose c - 4 = -0*c. Which is greater: c or a?
c
Let d = 5504/29 - 56229/290. Suppose 7*r = 2*r - 3*o - 28, -5*r = -5*o + 20. Which is greater: r or d?
d
Suppose x = 5*p + 126 + 340, 0 = -5*p + 2*x - 462. Is p <= -93?
True
Let c be 6/(2/(-16)*-26). Let z = -341 - -353. Suppose 2*j + a - 4 = 0, -4*j + 7*a = z*a - 2. Is c equal to j?
False
Let f = -0.58 - -2.58. Let a = 26 + f. Which is bigger: a or 0.3?
a
Let h(t) = -1409*t + 4227. Let u be h(3). Which is smaller: 1/5597 or u?
u
Let p be 21/14 + 1326/(-845). Does p = 0?
False
Suppose 273 = -2*f + 3*g, g + 0*g + 725 = -5*f. Is f at most -431/3?
True
Suppose -3*t - 750 = -5*r, 0*r - t + 300 = 2*r. Let h = r - 153. Let s(q) = -q + 3. Let m be s(6). Is m greater than h?
False
Suppose 2*f - 3*f + 5*y = 123, 4*y - 20 = 0. Let w = 198 + f. Let s = w - 101. Which is bigger: s or -4/15?
-4/15
Suppose 0*c - 5*c - 10 = 0. Suppose 3*q = 5*y - 481, -4*y + 7*y - 309 = -5*q. Let i be (y/(-21))/((-4)/(-2)). Is i <= c?
True
Let k = 459564602/4279 - 107400. Which is greater: -1 or k?
k
Let n be (-2080)/(-208) - (3 + 6420/32). Is n not equal to -195?
True
Suppose -6*b = -8*b - 2. Let o be 57/(-19)*(-1)/127. Which is smaller: b or o?
b
Let s be (-7)/(14/4) + 24. Suppose 27 - 120 = -20*k + 407. Which is greater: s or k?
k
Let q be (54/4)/(9/6). Suppose -36 = -0*r + q*r. Is r less than or equal to -9/2?
False
Suppose 2*b - 29 = -0*b - 7*y, 25 = 5*y. Is 23 >= b?
True
Let h(u) = -7*u**2 + 1. Let k be h(2). Let c = 80128 - 320513/4. Which is greater: k or c?
c
Let v = 0.5 + 4.5. Let r = 4.94 - v. Let q(p) = 33*p**2 + 62*p - 2. Let n be q(-2). Is r > n?
False
Let x = 1095.8422 + -0.8422. Which is smaller: -6 or x?
-6
Suppose -3*p - v = -55, 0*v - 16 = -p + 2*v. Suppose -q = 2*q - p. Suppose -2*u = -q*u + n - 194, 5*u - 3*n = -239. Is u <= -50?
False
Let b = 3.593 + -3.6. Let r = b - -37.007. Let q = 32 - r. Which is smaller: q or -0.3?
q
Let a = 44.22 + 0.78. Let q = a - 45.073. Let d = q - -30.073. Which is bigger: -2 or d?
d
Let j be 276/115*(-7)/28 - (-68236)/113735. Which is bigger: j or 0?
0
Let b = -7.22 - -3.16. Let k = 5.56 + b. Which is greater: 9 or k?
9
Let d = -15369/8 + 1915. Which is smaller: d or -7?
-7
Let x(l) = l**2 - 4*l + 3. Let d be x(-9). Suppose 368*o - 579 = -5*j + 370*o, j - 2*o - 103 = 0. Which is smaller: j or d?
j
Let g = 21868 - 21863. Is g at most as big as 418?
True
Let k be