qual to 2?
False
Let u be 27788/10398 - 2 - (-57)/((-5814)/68). Which is smaller: u or 0?
0
Suppose t + 2*x = 98, t = 5*t + 4*x - 400. Let c be (2/2)/(6/612). Is c at least t?
True
Suppose 207*f + 106*f = 106*f. Which is smaller: f or 1/34446?
f
Let o = 266343/5 - 53810. Let g = o - -538. Which is greater: g or -2/15?
-2/15
Suppose 24*f - 12 - 18 = -6. Is f at most as big as 42/785?
False
Suppose 9*k - 61 = -16. Suppose 2*i - 26 = -k*w - 5, -5*i + 3*w = -6. Let g(p) = -p**2 + 5*p - 1. Let a be g(5). Is a at most as big as i?
True
Let m be 2 - (-90)/(-28) - -1. Suppose 0 = -356*k + 355*k - 5*v + 15, -4*v + 12 = k. Is m >= k?
False
Let d = -16937/77 + 2418/11. Is 2109 at most as big as d?
False
Let o = -171 + 171. Suppose -5*k + j - 2 + 3 = o, 3*k = -j - 1. Which is smaller: -2/895 or k?
-2/895
Let c be 6/33 + ((-1350)/165)/(-10). Do -5/152 and c have the same value?
False
Let l be 39 + (0 + -2)/2. Let o(y) = -17*y - 252. Let u(a) = -15*a - 317. Let s be u(-20). Let g be o(s). Which is smaller: g or l?
g
Let z = -290 + 299. Is 1/11 at least z?
False
Let p(u) = -u**3 - 12*u**2 - 37*u - 15. Let a be p(-7). Is a greater than -18/535?
False
Let u = 2.95 + -3. Let w = 21903 - 21911. Which is bigger: u or w?
u
Let x be (40/8 - 11)*428/6. Is x < -437?
False
Let x(z) = z**2 - 2*z - 3. Let d be x(8). Let a = -47 + d. Let o be a/(-9) + 1898/(-2223). Which is greater: o or -2?
o
Let i(o) = o + 1. Let n(f) = 8*f - 9. Let b(s) = 6*i(s) - n(s). Let u be b(7). Let r = 1 + u. Which is greater: 13/6 or r?
13/6
Suppose 0 = 2*c + 17 - 11. Let d = -0.39 - -0.42. Is c smaller than d?
True
Let b be 72/(-16) + 9/(-6). Let d(i) = -2*i**2 - 23*i - 56. Let y be d(b). Suppose 4*t = 35 + 9. Is y less than or equal to t?
True
Let n(x) = -3*x**2 - 4*x + 4. Let h be n(-3). Let k be 2/(-7) - (-652)/28. Let w = 12 - k. Is w bigger than h?
False
Suppose 4*t = 0, -10*r + 9*r + 3*r - 1050 = -5*t. Is r at least 525?
True
Suppose 8*l + 3*w - 556 = 4*l, -2*w = 3*l - 418. Suppose l*n - 141*n - 76 = 0. Is 373/5 <= n?
True
Let r be 4/(-138055)*(-7)/6*9255/4319. Is r at most as big as 1?
True
Let h = -97 - -92. Let r = 2 + h. Suppose -2 = -5*o - 3*m, 2*o - 3*m + 24 = 2*m. Is o <= r?
False
Let h = 7.8156 - -0.1844. Which is smaller: -1/8 or h?
-1/8
Let b(n) = -n**3 - 6*n**2 + 6*n - 6. Let r(u) = 2*u**2 - 21*u + 20. Let h be r(9). Let x be b(h). Suppose 3*p + 4 = x. Which is smaller: 1/62 or p?
p
Suppose -228 = -0*b + 19*b. Let j(k) = -k**2 + 8*k - 16. Let q be j(4). Suppose -t + q*g = 5*g + 24, 2*t + 2*g + 32 = 0. Is b at least t?
True
Let h(f) = 20*f - 42. Let w be h(6). Let v be (4 + w/(-24))/6. Which is smaller: 1 or v?
v
Let p = 24.5 + -32. Let j = -6.78 - p. Let h = j + -22.72. Is 1/4 bigger than h?
True
Let c = 1725.74 - 1750. Let j = c + 2.26. Is 0.1 less than or equal to j?
False
Suppose -19 = -5*z + 4*f, f + 4*f = 2*z - 11. Suppose 125 = -z*u - 70. Is u greater than -68?
True
Let f = 193 + -149. Let g = 29 - f. Let s = 26/87 + 1/29. Which is greater: g or s?
s
Suppose 4*h = -l - 116012, -3*l + 144998 = -12*h + 7*h. Let o be -10 - h/2821 - (-2)/(-7). Are o and 1 equal?
False
Let k be 15 + -136 + 0 + (2 - 4). Let t = 69 + k. Let c be (10/15 + -1)/(3/t). Are c and -2/31 non-equal?
True
Let h be 0 - 2/(3 + -2). Let b(x) = 13*x**2 - 2*x - 1. Let v be b(h). Let c be ((-27)/(-45))/(1/v). Which is bigger: 32 or c?
c
Let z = -91 + 97. Suppose z*m + 952 = 2254. Is 218 at least as big as m?
True
Suppose 5*c = 5*t + 60, 5*t - 46 = 4*c - 97. Is c > 0.1245?
True
Let i(x) = -17*x**3 + 48*x**2 - 105*x + 6. Let a be i(12). Is a less than or equal to -23718?
True
Suppose -157*u - 166*u + 6 = -326*u. Which is bigger: u or 2089?
2089
Let v = 64064999/3750 + -17084. Is 0 smaller than v?
False
Let f(s) = 2*s**2 - 34*s + 23. Suppose 6*m - 135 = -3*m. Let z be f(m). Let u = -53 - z. Is u at most as big as -15?
True
Let h be (0 - 4)*((-14)/8 + 2). Let d(o) = 14*o**2 + 3*o + 2. Let y be d(h). Suppose 0 = -4*u + 2*g + 44, 6*u - 2*g - 36 = 34. Is y greater than u?
False
Suppose -9 = 3*k, -16*u + 21*u - 12 = 4*k. Which is smaller: u or 1850?
u
Let i = -10762 + 6797. Which is smaller: i or -3964?
i
Suppose -3*q - 10*q - 267 = -1203. Let i be (-8)/(-10)*(-370)/(-4). Which is smaller: i or q?
q
Let q = -268111/8 - -33502. Let g = 9 + -21. Which is bigger: q or g?
q
Let u = 1922879040207/25827802 - 69307762/931. Let p = u - 5/2134. Are 6 and p unequal?
True
Let t = 5 + -1. Suppose 111*k = 97*k - 546. Let r be (-21)/(-7) + k/t. Which is smaller: -6 or r?
r
Suppose 8666 = -12*a + 8330. Suppose 2*m + f + 50 = -10, 4*m + 128 = -4*f. Is m > a?
False
Let n be ((-57666)/(-11154) - 5) + (-4)/22. Suppose -l - 1 = -4*l - m, 4*m = 4*l - 28. Suppose -2*v + o - l = 0, 2*o = -1 + 9. Is n greater than v?
False
Let u(b) = b**3 - 7*b**2 - 12. Let n be u(8). Suppose -3*h - 119 = n. Let s = -57 - h. Which is smaller: 4 or s?
s
Let s be ((4/(-307))/1)/(360/(-60)). Let p = s + 608/2763. Is p at most -8/3?
False
Let w = 165235 + -165227.4. Suppose -5*f - 3 = 2. Which is smaller: f or w?
f
Let a be 32/(-165) - (-2)/(-6). Let d be 531/(-693)*(-111)/(-15). Let c = a - d. Is 4 greater than or equal to c?
False
Let l = 416.95 + -341. Let x = 76 - l. Is 1/3 > x?
True
Let d be (-1)/(-1 - ((-27)/(-6))/(-9)). Suppose l - 53 = 4*n, 0 = -d*n + l - 4*l - 9. Are 2 and n non-equal?
True
Let o(k) = k**3 - k**2 + k. Let z be o(0). Suppose -4*d + 2*c - 16 = -2*c, -5*d + 3*c - 24 = 0. Let r be (2 - 0) + -2 - (-1)/d. Is z >= r?
True
Let n(y) = y**2 + y + 42. Let d be 0/(-5 + 3 - -1). Let r be n(d). Let k = r - 44. Which is greater: k or -3?
k
Suppose 14*b - 18 = 15*b + 2*p, 2*p = 2*b + 6. Let j be b - (1 + -7 + -2). Which is smaller: j or -17/30?
-17/30
Let k = 27 - 29.1. Let q = k + 2.18. Is -1 at most as big as q?
True
Let x be 0 - 4 - (-431 + -15). Let o be 2/23*(-26)/x. Is -1 bigger than o?
False
Suppose 13 - 1 = 2*y. Let q = -69 - -26. Let c = q + 51. Which is smaller: c or y?
y
Let h = 41/440 - 3/44. Suppose 0 = 3*n + 22*n + 6375. Let p = n - -256. Which is smaller: p or h?
h
Let d be 1*(-1 - -2) - 2. Let s = -265 + 250. Let y be (5/(-150))/(72/s + 6). Is y at least d?
True
Suppose 65*r + 8 = 4*g + 66*r, g = 4*r - 15. Which is smaller: 3/860 or g?
3/860
Let a = -0.05166 - 0.94834. Which is smaller: a or 0.9543?
a
Suppose 0 = -7*j - 38 + 59. Suppose -1884 = -j*d + 3*u, d = 2*d - 2*u - 631. Is d at most as big as 625?
True
Let n be 802/((2 - -1) + -4). Let t = n - -29676/37. Let d be (-3)/(-6)*8 - 4. Is t at most d?
False
Let d = -248 - -28. Let s = d + 355. Which is smaller: 137 or s?
s
Let t be 2/3*(48/4 + -9). Suppose 5 = w + 2*i - 5, -t*i - 26 = -5*w. Suppose 10*s = w*s - 192. Is s greater than -50?
True
Suppose -42*z + 180 = -38*z. Let w be 2*z/(-288) - (-2)/8. Which is greater: 0 or w?
0
Suppose -4*t + 4 = -3*q - 0*t, 0 = -5*q - 3*t - 55. Let m = q + -8. Suppose 41*j - 38*j = 5*g + 100, -3*j = 4*g + 53. Is g less than or equal to m?
True
Let d(t) = 4*t - 3. Let r be d(2). Suppose 5*m - 5*j = -20, 4*j + j = -r*m. Suppose a = 1, 9 - 2 = -4*v - 5*a. Is m <= v?
False
Let c = -237 + 237.07. Let q = c - -0.93. Which is bigger: -0.17 or q?
q
Let y be ((-90)/(-54))/(3/57) - (-6)/(-9). Is y less than -378?
False
Let a(c) = c**2 + 27*c - 161. Let d be a(6). Which is greater: 36 or d?
d
Let s be 2 - (6 - -2)/(-4). Let k be (-14)/s*(-459)/630*2. Which is greater: k or 4?
k
Let i be 1 - 0 - (-76)/(-4). Let g be 3/(81/(-15) + 6)*3. Let n be (-8)/(-40) + i/g. Is n <= -3/4?
True
Suppose -36*t + 38*t + 4 = 0. Let v = -196 - -186. Which is greater: t or v?
t
Let v = 104 + -86. Suppose -v*g + 20*g = 20. Let y(o) = -3*o + 33. Let k be y(g). Which is bigger: k or 16/5?
16/5
Let x = 827755/1764 - 1877/4. Is x less than 0?
True
Let p be -2 + (-51)/(-15) + 10/(-25). Let i = -114 + 110. Let z be (-7 - i) + (3 - (-6)/123). Do p and z have the same value?
False
Let f = 81 - 46. Suppose -45*u + 1240 = -f*u. Which is smaller: u or 126?
u
Suppose 2*g = -w - 231, 4*g = -3*w + 9 - 470. Is -103 not equal to g?
True
Let p = 67/24 - 517/168. Which is bigger: p or -74/5?
p
Let f = -87 + 92. Suppose 0 = f*r - 3 - 7. Let w be 224/20 + r*-1. Which is bigger: 8 or w?
w
Suppose -9*c = -1000 + 568. Let f be (-1)/(-10)*20*c/(-128). Does f = -5/7?
False
Let l(s) = s**3 - 11*s**2 +