1 - -176. Let p = -13.6 - -0.6. Let b = p - z. Which is greater: b or -0.02?
b
Let j be (-2)/(-6) - 50/6. Let f(l) = -4*l**3 - 6*l**2 - 4*l + 19. Let g be f(-4). Suppose -g = -5*k - 250. Are j and k nonequal?
True
Let w(d) = 125*d + 1687. Let q be w(-14). Which is smaller: q or -10?
q
Let i = -9626 - -9625. Is i not equal to -2035/3?
True
Suppose 1570 + 17645 = -7*x. Let q = x + 551746/201. Which is smaller: q or -1?
-1
Let m = 315803/267069 - 16/24279. Suppose -2*n + 2 = y, 1 = n + 3*y - 7*y. Which is greater: m or n?
m
Let m = -16 - -13. Let i be m/(-5)*30/18. Let o be -4 + 130*(-6)/(-204). Is o > i?
False
Let w(a) = 7*a**2 + 588*a + 206. Let m be w(-84). Are m and 213 nonequal?
True
Suppose 5*o - b + 31661 = 0, 5*o + 3520 + 28177 = -3*b. Is -6334 less than or equal to o?
True
Let p be (-3)/((-2173)/(-5945) + (-2)/5). Which is bigger: p or 614/7?
614/7
Let v(x) = -x**3 - 3*x**2 + 5. Let o(m) = m + 1. Let h(t) = -t**2 - 3*t + 1. Let f(c) = h(c) + 5*o(c). Let k be f(-2). Let p be v(k). Is -2/17 < p?
True
Let l = 2633 - 1810. Is l != 822?
True
Let k = -4.957 + -0.043. Let q = k + 51. Let g = q + -47. Does g = 1?
False
Suppose 14 = j + 95. Let o = j - -92. Suppose -o*f + 19*f + 128 = 0. Is -49/3 <= f?
True
Suppose -a + 77 = -3*v - v, -4*v - 3*a = 57. Suppose -42*r + y - 37 = -39*r, 2*r - y + 27 = 0. Which is smaller: r or v?
v
Let z = 90 + -151. Let k = 46.04 + -1.04. Let r = k + z. Which is smaller: r or 0?
r
Let a = -3128.6 + 3125.6. Is a at most 854?
True
Suppose 0 = -5*d + 31*d + 26. Are d and 1/1972 equal?
False
Let q = 1592/3 - 11150/21. Are q and -1636 non-equal?
True
Let h(b) = 89*b**2 + 20*b + 93. Let g be h(-5). Is 2219 != g?
True
Let n = -2745 + 2045. Which is greater: n or -701?
n
Let u(s) = -2*s - 14. Let w be u(-14). Suppose -15*p = -w*p - 4. Suppose -49 = -h + p*h + 5*f, -h = 4*f + 21. Do -14 and h have the same value?
False
Let r be -3 + (-18)/(-8) - 28/(-56). Which is smaller: 5142 or r?
r
Let f = -393 - -392.96. Which is bigger: -2/55 or f?
-2/55
Let a(r) = -4*r**2 + 9 + 0*r**3 + 482*r - 486*r - 3*r**3. Let h be a(-4). Which is smaller: h or 152?
152
Suppose -57*u + 58*u - 3*y = 706, -u = -2*y - 708. Suppose 15*c - u = 38. Which is greater: c or 49?
c
Let l be 1/(0 - 1) - (15 + 6455/(-410)). Which is greater: -1 or l?
l
Let r(h) = -h**2 - 13*h - 22. Let j be r(-10). Let v be (62/j)/(1/4). Which is bigger: v or 30?
v
Let o = 3675 + -3674.9. Is o equal to 18/5?
False
Let v = 0.09357 + 0.00643. Which is smaller: v or -2.522?
-2.522
Suppose 4*p - 7*p - t - 16226 = 0, -3*t = -2*p - 10832. Is -5411 less than p?
True
Let u = 13377665559/80240 + -2834250/17. Let n = u + -2/295. Let r be (-2)/(-2 + 0)*(12 + -12). Is n equal to r?
False
Let d = 126 + -122. Suppose 0 = -6*h + 7*h - 5*s, -h = -d*s + 5. Is h not equal to -27?
True
Let m be 7/(308/(-180)) - (-4 - 0). Let l = 360 + -352. Is m less than l?
True
Let a be ((-14)/63)/((-68)/(-306)). Which is smaller: 7/156 or a?
a
Let r(p) = 5*p**3 - 4*p**2 - 6*p + 21. Let x be r(3). Let a = x - 11. Is 91 bigger than a?
False
Let i = 2.36454 + 14.62516. Let a = 0.0103 + i. Are a and -8 equal?
False
Let t = -1231 - -1226. Let o be ((-12)/2)/((-165)/(-100)). Is t greater than o?
False
Let q(i) = -i**3 + 9*i**2 - 24. Let s be q(8). Let a be s/90 - (29/9 + -3). Suppose -2*n + 3*k + 7 = 1, 2*n - 2*k = 4. Which is bigger: n or a?
a
Suppose 8*j = 3*j + 2*z - 14, -5*j + 5*z - 20 = 0. Let a(f) = 62*f - 13. Let p be a(j). Is -138 less than p?
True
Let b(n) = n**2 + 5*n - 4. Let m be b(1). Let u be (-78)/(-104)*(m - 76/102). Are u and 0 unequal?
True
Let o(u) = -8*u - 31. Let i = -231 + 227. Let m be o(i). Let p be (0 - 9)/(3/(-4)). Which is smaller: p or m?
m
Let p be 1*8/(-12) + 0 + 1460/(-6). Is -243 <= p?
False
Let m = 1419/3239 + -19/41. Let x(y) = -15*y - 38. Let k be x(-3). Suppose 3*b - k = -2*a, -3*a + a - b = -1. Is m at least a?
True
Let j = -0.3 - -0.96. Let r = 123.8 - 123.7. Is r at least j?
False
Suppose 5*j = -10*j - 2*j. Is j at most -2/5567?
False
Let w be (-208)/(-156) + 4/6. Suppose -11*h - w*h + 13 = 0. Do h and 1/131 have different values?
True
Let v = 9.4 - -155.6. Let c = -165.3 + v. Do c and -11/3 have the same value?
False
Let v be 5520/(-24354) - (-8)/36. Suppose 0 = -3*k - 2*k - b, -2*k + b = 0. Is k smaller than v?
False
Let p = -278 + 276. Let n be (-16)/12 - p/6. Is n less than or equal to -31?
False
Let y be ((-4)/(-190))/(1/30). Let s be (13 - 6) + -1*2. Suppose s*p + p - 2*p = 0. Which is smaller: p or y?
p
Let i(b) = -b**3 - 66*b**2 + 505*b - 227. Let s be i(-73). Which is bigger: s or 207?
s
Let d = -644 - -972. Is 1/51 less than or equal to d?
True
Let d be (-5)/2*32/(-20). Suppose -4*t + g + 81 = 0, -4*g - 41 = -d*t + 55. Which is bigger: -2 or t?
t
Let s be 1 - (-2 - -1)/(-1). Let j be -1*3 - 5773/(-1909). Let v = j + 75/332. Which is smaller: s or v?
s
Let k = -37578.4 + 37673. Do 0.01 and k have the same value?
False
Let d be 467 - ((-1)/(-4) + 15/20). Let m = 460 - d. Which is bigger: m or 3?
3
Suppose 6*g = 23*g + 38*g + 55. Let f be ((-1)/3)/(865/5). Is g at least f?
False
Suppose 61 = -77*s + 138. Is -11/169 greater than or equal to s?
False
Let c be (-22215)/4431 - (-5 + 0). Which is smaller: 1 or c?
c
Let h = -63 - -65. Let j be h + -1 + -3 - 61. Let f = -65 - j. Are -7/12 and f non-equal?
True
Let v be -2*(91/2 + -4 + 2). Let o = v + 64. Let w = o + -19. Is w > -43?
True
Let n = -63 - -66. Suppose -l + 4*l = 5*y - n, -5*y = -2*l - 2. Is -1/119 < l?
False
Let i = -18 + -4. Suppose 101 = -49*u + 3. Let d be (-11 + (-192)/(-18))*(u + 72). Is i greater than d?
True
Let o be 1/(3 + (5 - (14 + -7))). Which is bigger: 2/3011 or o?
o
Suppose -201*q + 81*q - 116*q + 8371864 = 0. Is q at most 35474?
True
Suppose 32*n + 284 + 25 - 53 = 0. Is -176/21 > n?
False
Let x be ((-712)/(-13706))/((-6)/21). Are -100/33 and x equal?
False
Let n be (1/(-6))/((-25)/(-129450)). Is -863 at least as big as n?
True
Suppose 4*j + 0*t + t + 45 = 0, 4*j + 49 = -5*t. Let h = 118 - 145. Let i be h/2 - 5/10. Which is smaller: j or i?
i
Let z = -1115 - -2111. Which is smaller: -1 or z?
-1
Let d be 8/(-12)*36*-1. Let z(q) = -q**2 + 20*q + 55. Let h be z(17). Suppose -11*w + h = -147. Which is smaller: w or d?
w
Suppose 2476 = -37*x - 373. Which is greater: x or -76?
-76
Let m = 37.6 + -54.5. Let p = 15.9 + m. Is p less than or equal to 16/11?
True
Let y = 5 + 104. Let m = 87 - y. Which is bigger: 2 or m?
2
Let n = 18 + -44. Let z = -100 + 79. Let s = n - z. Which is bigger: s or 1/3?
1/3
Let v = 222 + -30. Suppose 5*l = 4*c + 968, -3*l + 192 = -4*c - 392. Do v and l have different values?
False
Let l(q) = q**2 + q - 43. Let s be l(-7). Which is greater: -16115 or s?
s
Suppose -61*y + 60*y - 9370 = -3*p, 9*p = -81. Is -9397 greater than or equal to y?
True
Suppose 0 = 51*s - 67*s. Is s <= 3/4292?
True
Let y be 2/(-5) + 5/(50/354). Suppose 13 = 3*o - 2*x - 2*x, -2*x + 65 = 5*o. Let s be (y - 1)/(-13 + o). Is s at least as big as -17?
True
Let n = 297263/164502 - 527/342. Is n >= 1?
False
Let w(c) = c**3 + 6*c**2 + 5*c + 1. Let g be w(-5). Let o be -2 + (-7642)/1209 + (-14)/21. Let u = o - -116/13. Is g bigger than u?
True
Let y(s) = 6*s**2 - 12*s - 23. Let o(l) = 7*l**2 - 12*l - 21. Let f(v) = -4*o(v) + 5*y(v). Let g be f(8). Is g >= -1/66?
True
Let o(t) = 2*t**2 + 15*t + 31. Let q be o(-6). Suppose -q*i + 1200 + 308 = 0. Is 115 >= i?
False
Let r be ((0 - 2) + 351/26)*4. Suppose 0 = 2*h - r + 44. Suppose 4*c = -c + 210. Is h bigger than c?
False
Suppose 5*t - 1152 = -2*d, 1728 = -30*d + 33*d + t. Which is smaller: d or 580?
d
Let d = 22.7212 - -0.2788. Which is greater: 0 or d?
d
Let h = -1211.79 - -1283.841. Let v = -72 + h. Let o = v + -0.051. Is -38 <= o?
True
Let t = -3.2 - -74.2. Let x = -72.34 - 0.56. Let z = t + x. Which is bigger: z or 2?
2
Let u be 4/1641*(-4)/(-840)*21. Which is smaller: u or 1?
u
Let a(k) = -4*k + 51. Let r be a(-5). Let d be (-30)/(-4)*-10 - -2. Let l = r + d. Is -0.16 bigger than l?
True
Let u(g) = g**3 - 2*g**2 + g - 6. Let i be u(3). Let n be -5 + (-3 - -6) + 156/i. Are 23 and n unequal?
True
Suppose -t + 20 = t. Let f(i) = -5*i + 9328 + 9324 + i**2 - 18661. Let b be f(t). Is b equal to 42?
False
Let z be -2 - 1/(4/24) - 3. Let j(b) = -b**3 - 11*b**2 + b + 6. L