 -19 + 1, t = 3*f + 3*r. Let g = -4 + 6. Which is greater: g or f?
f
Let o(p) = -1674*p - 6813. Let r be o(4). Is -13510 < r?
True
Let f = 1754 - 1753. Is 3/1574 not equal to f?
True
Let m(f) = 3*f**2 + 10*f + 20. Let p be m(-5). Let r = p + -45. Which is greater: 2/215 or r?
2/215
Let d = 591 - 421. Let k = d + -166. Is 1/31 equal to k?
False
Let n = 159 - 103. Let v be (n/42)/(4/246). Suppose -14*y - 142 - v = 0. Are y and -16 unequal?
False
Suppose 5*w - 10 = b, -w - 3*b + 2 = 16. Suppose -14*p = -w + 71. Which is smaller: 11 or p?
p
Let c be 15/(-20) - (-6 + (-61100)/16). Is c > 3823?
True
Let q = 2896.014 + -2896. Is q >= -0.94?
True
Let l be (28 + 1)/(7/21). Let g = -6686 + 6773. Is g <= l?
True
Let l = -256 - -235. Let t(p) = p**3 - 7*p**2 + 3*p + 18. Let z be t(6). Let k = l - z. Is -21 < k?
False
Suppose -16*v - 13472 - 11000 = -44*v. Is 872 <= v?
True
Let o(d) = 5*d + 2*d**2 + 3*d - 9*d**2 - 9 + 2*d**3 + 4*d**3. Let n be o(-7). Let g be n/720 - (-3)/(-8). Which is smaller: g or -4?
-4
Suppose -f - 2*c - 12 = 0, 0*f + 5*f = c - 82. Let i be (-1*2 + f)/(990/(-24)). Let s = i - 676/1045. Is 0 greater than s?
True
Let n be -3*(-1)/((-24)/3592) - 5/(-1). Is -444 != n?
False
Let u be 36/(-176)*78/(-117). Is u > -39?
True
Let l = 16283 + -16282. Is -1/58145 bigger than l?
False
Let s be 79557*36/409104 + -1*(1 + 6). Which is bigger: 1 or s?
1
Let b = 27 + -1. Let c = b + -76/3. Let g = -0.054 + 1.654. Which is greater: g or c?
g
Let g = 88 + -87. Let v = -213 - -38. Which is smaller: v or g?
v
Let p = -121.95731 - 0.06669. Let y = -44 + 166. Let q = p + y. Which is smaller: -1/4 or q?
-1/4
Let c = -491 + 535. Let m be 7*c/231*6/(-970). Is m smaller than 0?
True
Let k be (-22364)/6 + (2 - 4). Let o = k + 3802. Let x = -73 + o. Are -0.11 and x equal?
False
Let o be (-8 + (25 - 23))*((-66)/(-4) - -2). Let a = -335 + 224. Is o bigger than a?
False
Let g(b) = -41*b + 2. Let r be g(1). Let o be (-2 - (-11 + -184))/(-5). Which is greater: r or o?
o
Suppose 5*y = -5*x + 11240, 20*x - 2250 = 19*x - 3*y. Is x not equal to 1/4?
True
Let q(u) = 3*u**2 + 4*u - 1. Let o(v) = 5*v**2 + 3*v + 1. Let d(x) = 2*o(x) - 3*q(x). Let k be d(5). Which is bigger: k or 1/533?
1/533
Suppose 10 = 14*l - 9*l. Let n be l + (-2)/3*9/6. Suppose -u - 4 = n, a - 4*u - 39 = 0. Which is smaller: 20 or a?
a
Suppose -17*p + 18*p = 2*v - 7, -2*v - 5*p = 23. Which is bigger: v or -2/12513?
v
Let d = 1 - -4. Suppose -4*u + 0*u = -4*i, i = d*u - 12. Which is smaller: u or 4?
u
Let l = -60 + 78. Let m be (-136)/(-153) - (-2)/l. Is -25 greater than or equal to m?
False
Let d = 2262/31 - 66405/868. Which is smaller: d or -5?
-5
Let n be (-4)/6 + (146440/(-7608) - -20). Are n and 0 non-equal?
True
Let u be 3/60 - 34381/20. Which is bigger: u or -0.1?
-0.1
Let i(c) = -16*c + 176. Let k be i(11). Which is greater: -1/1900 or k?
k
Let q = 746 - 741. Suppose q*i = -5*p + 5, -i + 2*p + 135 = 140. Which is smaller: 4/403 or i?
i
Let r be (-6)/18*(2*-37 + 2). Let v(h) = 2*h + 4. Let w be v(-3). Let s be (-2*(r/(-14) - w))/(-2). Is s not equal to 1/30?
True
Let x = 18.01 - 18. Suppose -3 = 3*h - 3*m, -2*m - 12 = -21*h + 26*h. Which is greater: x or h?
x
Suppose -4 = 4*k - 8. Let l be 2/68*304/24. Let x = l + -12/17. Is k > x?
True
Let o(c) = -3*c**3 - 8*c + 21. Suppose -4*a - 3*t = -18, 5*a - 22 = 5*t - 17. Let b be o(a). Which is bigger: b or -248/3?
-248/3
Suppose -2*d + 3*w - 108 = -w, -d - 54 = w. Let g be (-1)/1*(-5 - d). Let r(o) = -2*o**2 + 6*o + 30. Let b be r(8). Is b <= g?
True
Suppose 6*d = -2*m + 11*d + 18, 4*m - 8 = -4*d. Suppose -v + 6*f = 3*f - 6, -4 = -v + 2*f. Suppose 3*w - 3 = m*o - 8, v = -4*o + w - 1. Is o at least -2/9?
False
Let j(h) = -123*h + 190. Let p be j(5). Which is greater: -424 or p?
-424
Let f = 45 - 34. Let n = f - 6. Suppose 3*l = 2*d - 2*l + 44, 0 = -n*d - 4*l - 77. Which is smaller: -15 or d?
d
Let f = 15004.914 - 14644. Let x = 361 - f. Which is bigger: 0.2 or x?
0.2
Suppose g = -50 + 63. Suppose 5*p + 13 = 3, -5*n = -4*p - g. Let w be (0 + n)*4/(-12). Do -13 and w have the same value?
False
Let u be ((-1)/36)/(179530/1040). Which is bigger: -1 or u?
u
Let z = 0.0453 + 0.3467. Is -2/19 not equal to z?
True
Let x(y) = -5*y**3 - 7*y**2 - 6*y - 12. Let s be x(-5). Let b = 430 - s. Is -42 less than b?
True
Let i be ((10/5)/(-6))/(2/(-1842)). Suppose i = 6*p - 1355. Is 277 at least p?
True
Let a be 6/24*-10*58. Let s = 133 + a. Let b be s/54 - (-794)/9. Which is smaller: b or 87?
87
Let m(u) = u**3 + 12*u**2 + 11*u + 7. Let n = 4 + 18. Suppose 5*f = -5*l - 55, -2*l - n = -0*l + 5*f. Let d be m(l). Is d at least 7?
True
Let x = -0.39 + 0.09. Suppose 3*w + 2599 = 2608. Is x at least w?
False
Let t(n) = -762*n - 889. Let y be t(-2). Does y = 3/5?
False
Suppose -3*t - 2*a = 3 - 17, -t + 22 = 5*a. Suppose -t*c - 14 = 4*u, 5*c - 4*u + u = 30. Suppose 0 = -3*h - 3, 3*q + 94 - 7 = c*h. Is -29 greater than q?
True
Let z = 639.1362 + -0.1362. Let t = z + -641. Which is greater: t or -36?
t
Let h = -42.79 + 39.6. Let q = h + 2.19. Which is smaller: 1 or q?
q
Let v be (2/7)/(15/(-35))*(-36 - -153). Is -1466/19 at least as big as v?
True
Let z = -3702.5 - -3702.7. Which is bigger: -8376 or z?
z
Let i be (-4)/8*4/2. Let z be ((-17)/4 - -4) + (-134)/8. Let k be ((-38)/34 + 1)*1/z. Do i and k have different values?
True
Let i = 19 - 28. Let t = i + 13. Let s be t/6*36/(-24). Is -8/5 equal to s?
False
Let j = 33 - 97/3. Let m = 43 + -17. Let l = m + -26. Which is greater: l or j?
j
Let s(b) = b**3 - 23*b**2 - 45*b - 41. Let y be s(25). Suppose -14*g = 168 - y. Which is bigger: -0.7 or g?
-0.7
Suppose 0 = 3*r + 828 + 3168. Does 1 = r?
False
Let l = -486.7 - -1140.7. Which is smaller: 0.2 or l?
0.2
Let w be (-3)/(-9) + 443524/(-12). Let d be (w/(-8))/((-41)/(-6)). Let f = -676 + d. Which is smaller: f or -1?
-1
Let r be ((-3)/(-9) - 4/6)*0. Let s = -70695958/1919 + 36840. Let c = s + 3748/86355. Which is smaller: c or r?
r
Let b = -5353 + 5301. Which is smaller: -53 or b?
-53
Let p(i) = -2*i**2 - 13*i - 10. Let a be p(-6). Let v(d) = -7*d**2 - 15*d - 4. Let l be v(a). Which is smaller: 1 or l?
l
Suppose 11 = -3*o + 3*s - 34, 5*s - 42 = 2*o. Let w = 12 + o. Let x = -15571/6 - -2595. Which is bigger: x or w?
w
Let p(b) = -2*b - 8. Let s be p(-4). Let t be -1 + -4 + 8 - (0 + s). Suppose 5*h - t*i = -36, h + 14 = -0*i + 4*i. Which is smaller: -8 or h?
-8
Let w be (15/(-10)*1)/((-37)/88*6). Which is bigger: -0.2 or w?
w
Let s(f) = f**3 - 16*f**2 - 13*f - 89. Let l be s(17). Let q = -190 - l. Is q != -169?
False
Let g be ((-120)/(-28))/(3/126*3). Let h = -27 + g. Let d(v) = v**2 - v - 6. Let j be d(3). Which is bigger: h or j?
h
Let c = 8490 + -8489. Is c less than 4672?
True
Let m = 416.5 - 399.5. Which is smaller: m or -23?
-23
Let q = 280 + -152. Suppose 12*i + 4*i + q = 0. Let y(v) = v**2 + 5*v - 24. Let m be y(i). Is m >= 13?
False
Let n be (2/3)/(-1)*38097/(-166). Let u = n + -85. Is u not equal to -0.1?
True
Let u = -339.19 - -8.19. Let l = -328.9 - u. Which is bigger: l or 0.2?
l
Let p = 6.3745 + -0.0245. Let b = 3.35 - p. Let d = -0.11 + 5.11. Are b and d equal?
False
Let j = 0.074 + -0.024. Let z = 201.9 - 202. Which is smaller: j or z?
z
Let h = 604.419 - -19.581. Is -7 > h?
False
Suppose 2*g - g = 3*m - 461, -m + 5*g + 135 = 0. Let i be (-156)/260*20/18. Which is smaller: i or m?
i
Let l = -13181 + 3914731/297. Let x = -28111/1188 + l. Which is smaller: -25 or x?
-25
Suppose 0 = 3*s + 1 - 16. Let l be 4/(-3)*(-18)/(-15)*s. Let h be l/(-44) - 324/1540. Which is smaller: 1 or h?
h
Let d = -106.3 + 967.4. Let g = d - 861. Are g and 0.03 non-equal?
True
Let m(g) = -210*g**2 + 6*g + 7. Let x be m(2). Which is bigger: x or -819?
-819
Suppose -3322*j - 37076 = -3368*j. Do 797 and j have different values?
True
Suppose 2*k + u - 5*u = -4, -2*u = 3*k - 10. Suppose -5*w = -k*w - 84. Suppose -5*d - r = -60 - 110, r + w = d. Is d < -2/5?
False
Let l be (1001 - -2)*(-2)/2. Let f = -13057/13 - l. Which is greater: -1 or f?
-1
Let q(h) = -2*h**2 - 8*h. Let c be q(-3). Let t be (-8)/12*(-27)/c. Let g be t/(27/6)*(33 - 0). Which is smaller: g or 21?
21
Let p(a) = -3*a**3 - 21*a**2 - 31. Let c be p(-8). Suppose 0 = -48*u + 41*u + c. Is u at most 15?
False
Let d = 159 + 131. Let b = 32/9917