-5*d + 14 = 34. Let z be 4/18 - (d - 3455/45). Let m = z - 82. Is 8 < m?
False
Let j be ((-1410)/8)/(16/(-64)). Let x = -5647/8 + j. Let c(q) = -q**2 - 7*q + 7. Let v be c(-8). Is v greater than x?
False
Let t = 5550 + -10889/2. Let d(z) = 12*z**3 - 3*z**2 - z + 1. Let j be d(-2). Let p = j + t. Do p and 114 have the same value?
False
Let h be 7*(18*40/(-105))/2. Let n be 36/((-2)/((-20)/(-15))). Is n not equal to h?
False
Suppose 256 = 2*o + t - 517, -3*o + t = -1167. Suppose -u - 3*h - 475 = -6*u, 4*h = 4*u - o. Which is smaller: u or 95?
u
Let u(t) = 33*t - 18. Let n be u(5). Suppose 0 = -7*r - n + 7. Let j be 2 + ((-64)/r)/(-2). Which is greater: j or 2/11?
j
Let g be (3 - -3)*(-26)/4 + -3. Let x be ((-70)/49)/((-3)/g*-2). Let z be ((-4)/x)/(((-4)/(-25))/4). Is z at least as big as -7?
False
Let z = -55 + 66. Let q = z + -10.79. Let p = q - 1.61. Which is greater: p or 1?
1
Let t be 1680/((-2)/(-16)*6). Are t and 2240 equal?
True
Let d = 13 + -10. Let g = -19 - -18. Let j = g - -0.9. Which is bigger: d or j?
d
Suppose -9*s + 7*s = 5*n - 126, 2*s - 102 = -4*n. Which is bigger: 34 or n?
34
Suppose 0 = -4*f + 23 + 25. Suppose -f = 18*x - 12*x. Let y be -6*4/18*(-3)/x. Is -1/2 equal to y?
False
Suppose s - s + 172*s - 516 = 0. Is 5522 at most as big as s?
False
Suppose -7*g + g + 348 = 0. Suppose -4*x = 14 - g. Suppose -4*d = x*d + 705. Are -47 and d unequal?
False
Let h(b) = -b**2 + 30*b + 73. Let m be h(32). Let k be (-6)/(-10) + (648/45 - m). Let o = 5 + -1. Which is smaller: k or o?
o
Let f be (-16854)/260*(-296)/222. Let p = f - 436/5. Which is bigger: p or -0.03?
-0.03
Let y = -1371071/9 + 152165. Which is smaller: y or -176?
y
Let f be 131*(-63)/(-18)*4/14. Suppose l - 2*z + 16 = 54, 4*l - z - f = 0. Which is smaller: l or 29?
29
Let m be ((-91)/(-7) + -24 + 11)/(2/(-2)). Let s = 3/125 + -79/2250. Let l = s - 77/1170. Which is smaller: m or l?
l
Let v = 0.1 - -0.9. Let j = 316 + -352. Let k be 1*3 + (-288)/j. Which is smaller: k or v?
v
Let m = -12.66 - -14.66. Are m and -1654 equal?
False
Let z(w) = -10*w**3 + 38*w**2 + 9*w + 2. Let y be z(4). Let v be (-3 - y/(-4))*56/(-2814). Which is greater: -1 or v?
v
Let w = 587 - 452. Suppose 2*v - 4*t = 156, -14 = -2*v - 3*t + w. Are v and 224/3 equal?
False
Let r(f) = 9*f**2 + 8*f - 3 + 2*f + 2*f**2 - 12*f. Let c be r(-1). Suppose 5*m + 3 = 43. Which is smaller: c or m?
m
Let b(s) = -5*s**3 + 105*s**2 - s + 22. Let r be b(21). Let f be ((-4)/(-8))/((-1)/(-32)). Let z be (2 - f) + (r - 3 - -5). Which is smaller: z or -12?
-12
Let w be (-70)/244*20/(-25). Suppose 0 = 4*p + 5*c + 35, -p + 21 = -33*c + 30*c. Which is smaller: w or p?
p
Suppose -8323 = -25*v - 93*v - 1951. Let l(m) = 7*m**2 + m - 6. Let u(s) = s**2 - 8*s + 9. Let t be u(6). Let g be l(t). Is v > g?
False
Let x = -1142/15 - 3701/30. Which is smaller: -201 or x?
-201
Let x be ((-28)/(-8))/(-7)*-10. Let m be x - (4/10)/(24/285). Let t = 0.07 - -3.93. Is m at least as big as t?
False
Let d = 110257 - 444733/4. Which is smaller: d or -926?
d
Let x = 3304 + -3253. Let j(h) = -7*h - 4. Let r be j(-8). Which is smaller: x or r?
x
Let t = 0.14 - 0.54. Let q = 4.2 + t. Let k = q + -4. Is 0.03 greater than k?
True
Let p be -14*((-36)/(-56) + 0). Which is greater: p or -602?
p
Let t be 0 - ((-108)/(-8))/(-3). Suppose 611*m = 627*m - 96. Is m greater than or equal to t?
True
Let c = 45 + -43. Let x be (1*c/4)/((-31)/20). Suppose 2*i = 3*k - 10, -5*i - 22 - 3 = 4*k. Does k = x?
False
Suppose -59*h + 206 = 147*h. Let k be 2 - (0 - 31/(-16)). Which is bigger: k or h?
h
Let n = 0.25155 - -117.55945. Let p = 2.289 + n. Let j = 120 - p. Which is smaller: -1/5 or j?
-1/5
Let d = 8.95 + -6.18. Let g = -2.73 + d. Is g not equal to 12?
True
Let i(b) = -b**3 + 4*b**2 + 4*b + 7. Let j be i(5). Suppose 18 = -j*n + 458. Is 220 at least n?
True
Let g = -125 + 74. Let j = 24 + g. Which is smaller: 2 or j?
j
Let r = 463 + -462.9. Let p = -7.518 - 0.082. Let j = -8 - p. Which is smaller: r or j?
j
Let w be (2/(-4)*2)/(327/97446). Which is smaller: w or -311?
-311
Let h = -185.4 + 177. Let s = -9.4 - h. Which is smaller: -113 or s?
-113
Let m(u) = 53*u**2 - 8*u - 67. Let t be m(8). Is 3261 equal to t?
True
Let t = -3549.5 - -3550. Is -1.2 less than or equal to t?
True
Let q be -9*(-8)/(-16) + 8/2. Which is smaller: q or -54?
-54
Let z = -24.94 + 25.04. Let u = 154 + 37. Is u greater than z?
True
Let u(j) be the first derivative of -5*j**2/2 - 147*j + 10. Let y be u(7). Is -183 greater than y?
False
Let n = -111.57 - -98.87. Let o = 356 - 341.3. Let x = n + o. Is -3.9 smaller than x?
True
Let a(w) = -4*w**2 + 49*w - 16. Let h be a(12). Let p be (-4)/(3 - (-75 + h)). Is p greater than or equal to -1?
True
Let y be (-65)/(-15) - 4 - (-88)/6. Let j = y + -14. Let r be ((-2 + 24)/(-2))/j. Is -11 not equal to r?
False
Suppose 3*z - 4*f = 313, -239 = -100*z + 98*z + 5*f. Let d = 2/3587 + 1230333/14348. Which is greater: z or d?
z
Let s be (16518/25)/((-168)/560). Let p = -2190 - s. Is 11 smaller than p?
True
Let g be ((-26)/(-52))/(1*1/(-3330)). Let m be (-108)/(-270) - ((-656)/g)/1. Is m equal to 0?
False
Let a = 373833 + -499814353/1337. Let q = 2/191 + a. Which is bigger: q or -31?
q
Let x = -0.93 + -49.07. Let f = x - -65. Which is greater: f or 0.5?
f
Suppose -247 = -33*r + 50. Let a(o) = 14 + 1 - 2*o + 3. Let y be a(r). Are -1/84 and y equal?
False
Let k = -46948 - -46979. Let p(l) = l**3 - 5*l**2 - 9*l - 4. Let r be p(7). Is k < r?
False
Let b(j) = 1001*j - 12583. Let d be b(22). Is 9440 > d?
True
Let d be 22992/(-56)*((-15)/6 - 1). Does d = 1435?
False
Let p be (-45)/(-75)*-111*-1. Is 0.1 <= p?
True
Let d be (-1216)/80*3/4*-5. Suppose 10*b = 9*b - s - d, 5*b + s = -273. Is -56 bigger than b?
False
Let d(g) be the third derivative of g**4/12 - 5*g**3/3 - 14*g**2. Let w be d(13). Let y = -15 + w. Do 2/3 and y have the same value?
False
Let z = 3.31 - 4.31. Does z = -391?
False
Let z = -2.973 + -0.127. Let m = z - 25.1. Let x = -28 - m. Are x and 2/5 equal?
False
Let v(w) = -246*w - 4305. Let k be v(8). Which is greater: -6272 or k?
-6272
Suppose 0 = -4*k - 22*k + 234. Let u(z) = -z**3 - z**2 + 87*z + 13. Let v be u(k). Let f = -3 - 13. Which is greater: v or f?
v
Let s = 3.9 + -12.2. Let f = -8.4 - s. Is f <= 0?
True
Let p(q) = 3 + 4 + q**3 - 6 - 30*q + 13*q**2. Let d be p(-15). Let u be 326/(-994) - 4*d/(-14). Which is smaller: 0 or u?
u
Let x = -0.63 - 29.37. Let y = -54 - x. Let b = -17 - y. Which is smaller: 0 or b?
0
Let c be (1 + -7)*291/9. Suppose 29*v + 7357 - 1760 = 0. Which is smaller: c or v?
c
Suppose 6*w = 4*w. Suppose -5*x + 55 + 50 = w. Let h(a) = a**3 + 7*a**2 + 2*a - 20. Let i be h(-4). Are x and i equal?
False
Let h be 1 + -11 - 106/8*(-27)/36. Let a be 2/(-3) + (-164)/(-84). Is a less than h?
False
Let p = -197315 + 3549887/18. Let a = p + 195/2. Which is greater: a or -1?
-1
Let n be 1 + 3 + 3392/(-944). Let g = n - 279/1121. Let x = -93 - -94. Is x >= g?
True
Let g = -58.8 + 59.91. Is 1/45 less than g?
True
Let y = 21160 - 21302. Which is smaller: -1578/11 or y?
-1578/11
Let i = 109342 + -109342.3. Suppose 64 = -4*r + 316. Which is smaller: r or i?
i
Suppose -12*v + 13*v + 1 = 0. Let l be (-704)/(-10) + v + (-18)/(-30). Let t be (5 - (-46)/(-10)) + (-128)/l. Which is greater: 0 or t?
0
Let b(f) = f**3 - 5*f**2 - 5*f - 15. Suppose -21 = -5*v + 14. Let u be b(v). Suppose 2*s = 4*s - u. Which is smaller: -0.1 or s?
-0.1
Let o = -2.04 - -1.952. Let t = o + 0.188. Is t equal to -34?
False
Let z be ((-8)/26)/((-4774)/(-4433)). Which is smaller: z or -1673?
-1673
Let g(f) = 93*f - 2265. Let t be g(24). Which is smaller: -25 or t?
t
Let f be (5/15*-6)/((-4)/2). Let i be 120 - (-5 - -2) - f. Which is greater: i or 123?
123
Let d = 55785 - 55556. Let p be 1826/8 - (-6)/(-24). Is p < d?
True
Let z be 74 + -79 - (1 + (-3 - 1)). Let c be z - (336/(-66) + 4). Suppose -t = 2*t + 6. Is c at least as big as t?
True
Let d(y) = -136*y**2 + 66*y + 98. Let c be d(7). Is c greater than or equal to -6102?
False
Let l = -57.74 + -13.26. Let p be (-2 - 264/5)*-2. Let a = 110 - p. Which is greater: a or l?
a
Suppose 39*b = -94*b - 136192. Is -1024 bigger than b?
False
Suppose -3*r = -4*r - 5*t - 9, -5*r + 5*t = 105. Suppose 0 = -k - 14*v + 16*v + 9, -4*v - 20 = 0.