 be d(13). Suppose -r - o*x = -1 - 2, 3*x = 2*r - 6. Is 15/7 equal to r?
False
Suppose 0 = -m + 3*m + 2*r - 138, -2*r - 122 = -2*m. Let c be m/13 - -1*3. Let w be (c/9 - (-1 + 2))*-6. Is w != -0.039?
True
Suppose 4*n - 4*m = -18 - 106, 2*n + 65 = -m. Let c be -4 + n/12*-3. Suppose -c = -4*s + 8*s. Which is bigger: s or -2?
s
Let d = 7863 - 7864. Is -1/1984 < d?
False
Let d(l) = l**2 - 6*l - 6. Let v be d(7). Let f = -25 + 29. Let x be (-75)/12 + f + 2. Which is bigger: v or x?
v
Suppose -98 = -5*v + 3*t + 35, -129 = -5*v - t. Let m = -26 + v. Suppose -z = 3*q - 10, m = 2*q + z + z. Which is smaller: 6 or q?
q
Let q = 0.87346 - -0.12654. Which is smaller: -11216 or q?
-11216
Let o = 249 + -237. Suppose -5*y - 3*k = -y - 20, y = k + o. Is 8 bigger than y?
False
Suppose 75*w - 2*l - 11 = 78*w, 2*l = w - 7. Which is smaller: -15/179 or w?
w
Suppose -1485 = 4*f + 5*j, -3*f + f = j + 741. Let u = -42878 + 216272/5. Let n = u + f. Is n > 5?
True
Let i = -23144 - -23154. Which is smaller: i or 644/59?
i
Suppose 18*o + 5*o + 13598 = -3*o. Which is greater: o or -534?
o
Let s(u) = -u**2 - 11*u - 18. Let m be s(-9). Let t = 7/193 + -649/1930. Are t and m non-equal?
True
Let z = 99293/63 - 1576. Suppose -5*i + x + 2 = 0, -30 = 195*i - 200*i + 5*x. Is z equal to i?
False
Suppose 0 = -284*n + 307*n - 69. Let u be -10*(3 + -5 - -1). Let f be 2/u + 106/70. Which is bigger: f or n?
n
Suppose 0 = -45*f + 48*f + 12. Let q(m) = -2*m - 2*m + 3 - m. Let k be q(2). Which is smaller: f or k?
k
Let a(k) = k**2 - 5*k - 56. Let c be a(0). Let t be ((-227)/(-537))/(c/(-744)). Let n = t - 8/179. Which is bigger: 5 or n?
n
Let t = -17/384 + 13403/16512. Is 1 <= t?
False
Let l = 242 + -240. Suppose l*k = -4 - 12. Is k > -4?
False
Suppose -9*y = 46186 - 60046. Which is smaller: 3 or y?
3
Let p(u) = u**3 - 8*u**2 - 3*u + 30. Let a be p(7). Is -42 greater than or equal to a?
False
Let t(i) = -74*i**2 - 62*i - 553. Let s be t(-9). Is s equal to -5989?
True
Let u be 3*-1 - (-7 - -3). Let a(g) = g**2 - 1. Let b be a(u). Let q = 0.0537 + -0.1537. Which is greater: b or q?
b
Let a(h) = h**3 + 4*h**2 + 2*h - 8. Let k be a(-2). Let q(r) = -9*r - 38. Let t be q(k). Let n be (-217)/(-35) + (-2)/10. Is n at most t?
False
Let g = -846 - 614. Is -1460 at least g?
True
Suppose 0 = -5*c + 9*t + 43 + 54, -4*c - 2*t = -4. Let h = 1.8 + -1. Which is smaller: h or c?
h
Let x be (212/954)/(2/(-27)). Let h be -2 + (43 - (1 + -2)). Which is smaller: x or h?
x
Suppose 0 = 14*i - 19*i + 4*g + 1634, i + 4*g - 346 = 0. Let c be (-3)/(-21) + i/(-7). Is -50 at most c?
True
Let d = -15 + 28. Let t be ((-14)/(-56))/((-18)/(-16) + -1). Let k be 51/(-510) + (-2)/10*t. Which is greater: k or d?
d
Let x = 1077 + -1078. Let t be -1 + 1 + (-65)/208. Is t bigger than x?
True
Let f = -834/325 - -68/25. Let k = -14 - -14. Do f and k have the same value?
False
Suppose 28*b - 33*b + 3*t + 45 = 0, 3*b - t - 27 = 0. Suppose -4*s = 4*i - 48, 0*i + 5*i - s = 66. Which is smaller: i or b?
b
Let j be (180/(-274050))/(53/(-5)). Which is greater: j or -1?
j
Let s = 6932 + -6801. Which is smaller: s or -7?
-7
Let j(s) = s**3 + 2*s**2 + 8*s + 18. Let a be j(-2). Let z be 1/3 - (-4)/(-3). Is z > a?
False
Let r be 2/(-9) - (-830)/90. Let p = 81 - 85. Let k = -2 - p. Which is smaller: r or k?
k
Let y(d) = 5*d**3 + d - 3. Let r be y(-3). Suppose -3*v + 5*a - 431 = 0, 1847*a = v + 1846*a + 143. Which is greater: v or r?
r
Let x be 377 + 4/16*(-2 + -6). Which is bigger: x or 369?
x
Suppose -72*v - 50*v = -122. Which is smaller: -40/899 or v?
-40/899
Let v(t) be the first derivative of t**4/4 - 2*t**3/3 - 2*t**2 + 8*t - 49. Let u be v(2). Let o be -8*(-2 - (-38)/20). Which is smaller: o or u?
u
Let i be 1088/(-288) + (-2)/9 - -4. Suppose i = 4*v + 27*v + 31. Is v bigger than 2?
False
Suppose -3*h + 1081 = o + 1064, 6 = h. Which is bigger: o or 6/53?
6/53
Let j = -27 - 36. Let r = j + 63. Suppose r*w = 2*w + 26. Is w bigger than -13?
False
Suppose 0 = 4*i - 8*t + 11*t - 844, 0 = 5*i - t - 1074. Which is smaller: i or 638/3?
638/3
Suppose -2*z + 57 = 5*g, -z + 0*z = 5*g - 56. Suppose -g*x - 136 = 40. Suppose -4*c = -0*c + 68. Is c < x?
True
Let i be 0/(8/24*-3). Let f = 1.4 + 2. Let o = f + -2.2. Which is bigger: i or o?
o
Suppose -n + 134 = -2*r, 0*r - 2*r - 4 = 0. Let l = 126 - n. Are l and -1/9 equal?
False
Let z = -305330/21 - -43070/3. Let a = z - -183. Which is bigger: a or -1/2?
a
Suppose a + 10 = -4*a. Suppose -589*x + 591*x + 2*s = 12, 5*s - 10 = 0. Let i be (-2)/x*(0 + (-2 - a)). Is 1/19 at most as big as i?
False
Let z(r) = r**3 - 25*r**2 + 2*r - 47. Let j(o) = 3*o**3 - 74*o**2 + 6*o - 140. Let n(h) = -6*j(h) + 17*z(h). Let v be n(19). Which is bigger: 12/7 or v?
v
Let k = 16 - -38. Let t = -54.028 + k. Let s = -0.072 + t. Is 1/6 at least s?
True
Let w be -3 + (4 - 17094/56*3/909). Is 0.2 smaller than w?
False
Suppose 6 = 3*s - c, -15*s - 3*c = -19*s + 13. Which is smaller: -9/500 or s?
-9/500
Suppose 170 = -51*u - 340. Is -123/14 greater than or equal to u?
True
Let q(o) = 4*o + 65. Let u be q(-15). Let y(a) = 2*a**2 + 5*a - 58. Let i be y(u). Which is greater: i or 18?
18
Let t = -19134 + 19134. Let s be (-8)/76*(-3)/(-26). Which is smaller: t or s?
s
Let h = 103 - 99. Let a be (5 - h)*(62 + -3). Which is bigger: a or -2?
a
Let r be (4 + -3)/(1 + (-24)/22). Let m = 16 + r. Let g = -14 + m. Is -9 at least g?
True
Let h(n) = 3*n**3 + 75*n**2 - 35*n - 262. Let y be h(-21). Is 5764 bigger than y?
False
Let y = -33 + 21. Let w be ((-144)/(-40))/(y/(-40)). Are 8 and w equal?
False
Suppose -78*p + 1750 = -253*p. Let j(v) = -v + 4. Let t be j(4). Suppose t*m = -m - 9. Which is smaller: m or p?
p
Let b = 41 - 129. Let p = b - -50. Which is bigger: -157/4 or p?
p
Suppose -22*r + 23*r + 142 = 0. Let v = 114 + r. Do -30 and v have the same value?
False
Suppose 4*x - 431*b = -434*b - 13, 0 = -b - 3. Is -38/29 >= x?
False
Suppose 11 = -j + 3. Let g be (-20)/(2 - -3) - j. Let i be g/(-8) + 22/4 - 4. Are i and 9/10 non-equal?
True
Let k = 4865 - 4868. Which is smaller: k or -159?
-159
Let j(i) = 4*i**2 + 13*i - i - 3*i**3 - 7*i + i**3 + 2. Let n be j(3). Which is smaller: n or 1/70?
n
Let k = 8777/11 - 797. Suppose 3*c - 2*s + 1 = 0, 4*s - 2 = -18. Let j be (-2)/c + (3 - 15/9). Which is greater: j or k?
j
Let d be 72/192 + 123/(-8). Let h be (35/d - -2)*-249. Which is smaller: 85 or h?
h
Suppose 2*k = 2*z + 10, 0*z + 2*k - 12 = 4*z. Suppose -5*b - 3*b = 184. Let g be 6/(-4 - (b + 2)/(-1)). Which is smaller: g or z?
z
Let i = 5.4 + -5.79. Let b = -0.0902658 + 0.0202658. Which is smaller: i or b?
i
Let z = 20 - 15. Suppose 0 = z*t - 6 - 4. Suppose 2*y + 2*y + t*p + 2 = 0, -3*y = p - 1. Which is smaller: y or 4/5?
4/5
Suppose 3*u - n - 788 = 0, 6*u + 2*n = 9*u - 781. Which is smaller: u or 281?
u
Let y = 121 - -25. Let p = y + -1316/9. Let r = 396 + -395. Are r and p nonequal?
True
Let n(s) = 3*s - 20. Let l be n(6). Let x be (9/l)/(966/56). Let d = 1 - 1. Which is bigger: d or x?
d
Let k = 15714 + -64600257/4111. Is 1 less than k?
False
Let g = -153.13 - -154. Let w = g + -2.87. Which is greater: 0.2 or w?
0.2
Let v(x) = -x**2 - 41*x - 78. Suppose 140 = -4*b - 4*o, 3*b - 42 + 155 = -o. Let s be v(b). Is -11/32 equal to s?
False
Let b = -4.2 - -4.018. Let i = 0.272 + b. Does i = -7?
False
Suppose 1 = -3*b + 4*p - 28, 0 = -2*b - p - 1. Let d be (30/40)/(-55 - -51 - 242/(-64)). Which is smaller: d or b?
d
Let o = 241 - 236. Suppose -3*k + o*k - 34 = 0. Is 86/5 < k?
False
Let b = -151 + 155. Suppose 5*y = 5*h + 70, y + b*y - 3*h = 72. Suppose -x + 28 = x. Which is smaller: y or x?
x
Let i = 4432/55 + -9/110. Which is greater: 80 or i?
i
Let q = -81 - -75.8. Let y = q - -7. Is 2 > y?
True
Let a(f) = -f**2 - 9*f - 17. Suppose 5*g - u = -30, g + 5*u - 8*u = -6. Let t be a(g). Which is greater: -1/453 or t?
t
Let v = -287 - -289. Suppose -4*j = v*j - j. Is 2/111 equal to j?
False
Let x = -142/9 - -1936/117. Let d be 0/(-1) - (-20)/30. Is x >= d?
True
Suppose -17*y + 19*y + 3*n = 1028, -y = -2*n - 507. Let c = -602 + y. Which is greater: c or -88?
-88
Let k = 30.75 - 36.75. Is k less than or equal to 124?
True
Let b be (-1)/2*(287/(-98) + -4). Is 2 at least b?
False
Let o(g) = -g**3 - 48*g**2 + 22*g - 1322. Let n be o(-49). Which is bigger: n 