hich is greater: -0.01 or c?
c
Let c be 2/(-6)*(-46 + 7). Let k = -2385 + 2401. Which is smaller: c or k?
c
Suppose 5*s + 5*u = 394 + 176, -s = 5*u - 126. Suppose -k - 295 = -4*x, 3*x + k - 341 = -s. Are x and 1 unequal?
True
Let l = 41553 - 29793491/717. Which is greater: -1 or l?
l
Let z be (-3)/(-5)*(-1265)/759. Do 3/2644 and z have the same value?
False
Suppose 0 = -11*z - 8*z - 399. Let j be (-19)/((-3)/9*z) + 3. Is j >= -58?
True
Let k(n) = 3*n - 75. Let j(c) = 1. Let w(m) = -j(m) - k(m). Let x be w(25). Is 1/106 less than x?
False
Let v = -6618 + 6623. Which is bigger: 538 or v?
538
Let c = -162.98 + 163. Let m = c + 1.98. Let z = 0.15 + -0.36. Which is smaller: z or m?
z
Let c be (3315/3 + -2 + 1)/(30/20). Is c != 733?
True
Let k = 34775 + -34795. Is k less than 26?
True
Let t = 41138 + -296399291/7205. Do t and 0 have different values?
True
Let i = 1364 - 1366.042. Let b = -1.17 - -1.128. Let m = i - b. Do 0.2 and m have the same value?
False
Suppose 0 = 4*v - v + 3. Let t = -26/543 - -1537/43440. Which is greater: v or t?
t
Suppose -52*v + 51*v - 8 = 0, -3*v - 48 = -3*i. Let l = 2 + -2. Let a be (-1 + 2)*11 - l. Which is greater: a or i?
a
Suppose -13*y + 4*y = -801. Let w = 110 - y. Let a be w/48*-2 + 3/(-3). Which is bigger: -3 or a?
a
Let s = -2252.8 - -2951.3. Is 2/5 greater than s?
False
Let s be (36/30)/(2/(-5)). Let i be (15/(-3) - s) + 36. Let g = -2.1 + 1.1. Which is smaller: g or i?
g
Suppose 0 = -0*w - 6*w + 12. Let y(f) = f**2 + 6 + 6*f + 5*f**w - 4*f**2. Let j be y(-2). Which is smaller: 2/7 or j?
2/7
Let b = 14162 - 14158. Let x = -327/77 + 75/11. Is x >= b?
False
Let o = 165/16 + -103327/10032. Which is smaller: -1 or o?
-1
Let c(o) = 28*o. Let z be c(1). Let m = 24 - z. Let t = -946/3 + 312. Which is smaller: m or t?
m
Suppose -132*h = -125*h + 798. Let m = -147 - h. Is m greater than or equal to 0?
False
Let g = -10545422/777 + 13572. Is -1 > g?
False
Let p(c) = 6*c + 254. Let k be (-16)/20*19*(-15)/(-6). Let y be p(k). Which is smaller: y or 19?
19
Let b be 2/10 + (-198)/890. Let s = 1957/26 - 511105/6942. Let w = b - s. Which is smaller: 2 or w?
w
Let n = 906.0815 + -1172.088. Let r = n - -0.0065. Which is bigger: -1/4 or r?
-1/4
Suppose -4*a - 5 = -2*d - 15, a - 19 = -5*d. Suppose 2*u - 4*j = -14, j + 2*j - 15 = 0. Suppose -37 = 5*z + d*t, 2*t + 11 + 12 = -u*z. Are 1/8 and z nonequal?
True
Suppose 5*l + 4*z = 15, -3*z + 6 + 3 = 3*l. Let v be (-12)/(-10*(-3)/15) - 432/(-52). Is v not equal to l?
True
Suppose -4*i + 4*l = 32, -3*i + 90*l + 32 = 94*l. Is i less than or equal to -4689?
False
Let g = -532.5333 + -0.0667. Let u = 274.5 + g. Let p = 248 + u. Which is greater: p or -0.1?
-0.1
Suppose -h = -0*h - 4, -2*p - 2*h - 12 = 0. Let a = 65014 - 65026. Is p equal to a?
False
Let p = -1873/305 + 338/61. Let z = -3 + 6. Let l = 3 - z. Is l at least as big as p?
True
Let m = 4331/3 - 238097/165. Which is bigger: m or 1?
1
Let s = -652 - -1399. Is s greater than or equal to 748?
False
Let u = -589 - -589. Which is smaller: 291 or u?
u
Let n = 0.1 + -0.2. Let k = 64043.986 - 64044. Is n > k?
False
Suppose -u = -2*b + 87 - 101, 4*u - 44 = 5*b. Which is bigger: -18/91 or b?
-18/91
Let m = -7 - -10. Suppose m*w - 2*w + 5 = 0. Let q be 1/(2/10) - 11. Which is smaller: w or q?
q
Let y be (2 - 74/2)/1. Let i be -2 + 5 - y/7. Suppose -5 + i = 3*l. Which is bigger: l or -2/33?
l
Let z = 149 + -151. Let p = -683/50400 - -5/288. Does z = p?
False
Let q = 777.137 + -779. Let p = -35.303 - q. Let s = p + 0.44. Which is greater: s or 0.1?
0.1
Let u = 394/15 - 80/3. Suppose 4*t - o = -46, -38*t + 36*t + 5*o + 22 = 0. Which is bigger: t or u?
u
Let b = 299/72708 + 5/996. Suppose 0 = -14*o + 3*o + 11. Which is smaller: b or o?
b
Let x = 2 - -1. Let h = x + -3.2. Suppose -5*v - 5*o - 55 = 96 - 191, 4*o = -12. Which is smaller: h or v?
h
Suppose -6*l + 135 + 249 = 0. Suppose -3*d - 124 = -5*z, d = -8*z + 4*z - l. Let m be 6/15 - (d/20)/4. Is m less than 0?
False
Suppose -892*r = -897*r + x + 4, 0 = 2*x + 8. Let h be (0 + 1)/((-45)/65). Which is smaller: h or r?
h
Let p = 1.73 + -1.6. Let f = -0.15 + p. Let k = -0.12 - f. Which is smaller: k or 0.09?
k
Suppose 3*z = -2*j - 1004, 2*z = 4*j - 278 - 418. Let u = -357 - z. Which is smaller: u or -184/9?
-184/9
Let v be (35 - (2 + 32))*-2*(-150)/4. Which is smaller: 69 or v?
69
Let m = 12018 - 12032. Do m and -17 have different values?
True
Let u(o) = -o**2 - 11*o - 20. Let f be u(-10). Let n = 11 + f. Which is smaller: n or 11/8?
n
Suppose 2*z + 3*z + 160 = 0. Suppose 0 = 28*b - 54*b - 832. Is z less than or equal to b?
True
Let j be 3*50/45*12. Let w be (568/j)/((-1)/12). Let d = -819/5 - w. Are d and 8 non-equal?
True
Suppose -4*w - 696 = -4*k, -4*k + 5*k - 5*w - 162 = 0. Suppose -26 = k*h - 179*h. Suppose -4*m + 74 = 18. Is m greater than or equal to h?
True
Suppose -176*x - 757*x = -578 - 355. Let m = -165.77 + -1.23. Is m >= x?
False
Suppose -105130 + 540188 = -2*k. Let b be (-2)/(-9) - (k/585)/(-29). Is b greater than or equal to -12?
False
Suppose 0 = 2*c + 4*p - 10, 28*c - p = 26*c. Do -58 and c have the same value?
False
Let t be (-4)/(-22) + 32/(1103872/(-6300)). Is t less than 1?
True
Let t = 737 - 735. Suppose 3*k - 243 = 2*j, -2*j - 162 = -t*k - j. Are k and 80 equal?
False
Let m(v) = v**3 + 13*v**2 + 45*v + 76. Let l be m(-11). Which is bigger: l or -1236/7?
-1236/7
Let p be (-2)/(-4)*(0 + 0). Let b be (4 + -6)*253/(-5). Let z = b - 102. Which is greater: z or p?
p
Let n = 7.04412 - 0.04412. Do 947 and n have the same value?
False
Let d(q) be the first derivative of -2/3*q**3 + 2*q - 5/2*q**2 + 14 + 1/4*q**4. Let h be d(3). Is h <= 5?
True
Let b(k) = 3*k - 2*k + k - k + 2. Let f be b(-2). Let y be -23*(-4)/(-19) + (-30 + -60)/(-18). Does f = y?
False
Suppose -5*p - 166 + 1371 = h, -464 = -2*p - 4*h. Let b = -160 + p. Does b = 81?
False
Let x = 79133/25 + -3157. Let g = 63207/7600 - x. Is -1 bigger than g?
False
Let g(x) = -102*x + 112. Let f be g(7). Let p = f + 4295/7. Let b be (-14)/3*54/(-21). Is b less than or equal to p?
False
Suppose -3*p - 56 - 55 = 0. Let o = -152/39 + 721/195. Which is bigger: p or o?
o
Let p(c) = 2*c + 43. Let i be p(14). Let t = 117 + i. Is 186 less than t?
True
Let f = -24 - -25. Let w be 26/(-910) - 1/(-5). Which is smaller: w or f?
w
Let k(c) = -7*c - 4. Suppose 0 = 6*w - 11*w. Let l be k(w). Let h(y) = -y - 21. Let i be h(l). Is i at least -3?
False
Let a(q) = 50*q + 221 + 57*q - 10*q + 22*q. Let p be a(-2). Let s = -6.3 + 6. Are p and s unequal?
True
Let n be (9352/52)/14 - (-4)/26. Suppose -n*v + 6*v = 0. Which is bigger: v or -6/95?
v
Let o = -5767 - -5743. Which is bigger: o or -40?
o
Let r(v) = -v**3 - 3*v**2 - 7*v - 7. Let f be r(5). Let l = 257 + f. Which is greater: l or 192/13?
l
Let d(u) = 53*u**3 + 7*u**2 - 4*u - 14. Let y be d(-1). Which is smaller: y or 9?
y
Suppose 7912 = -3*p - 5*m, -118*m + 121*m + 15 = 0. Which is bigger: -2630 or p?
p
Let o = 7 - -41. Let l = -54 + o. Let b be -5*4/(-50)*-15. Is l not equal to b?
False
Suppose -i = -2*i + 3. Let m be (3 - 42/30)/(1 - (-54)/(-90)). Is i greater than m?
False
Let t = -18056 + 17117. Is t less than or equal to -4694/5?
True
Suppose 10 + 30 = 10*q. Let o be 4 - q/(-2)*27. Let b = o - 58. Which is smaller: 1/13 or b?
b
Let u be (-693)/1176*-2*2/(-60). Which is greater: -1 or u?
u
Let y be (-664)/(-24)*2/130. Let j = -12323/39 - -316. Let h = y - j. Is -8 less than h?
True
Let u(y) = -15*y - 8. Let i be u(4). Let p be (-5 - (6 - 7))/(1/(-22)). Let q = p - 156. Does q = i?
True
Let g be ((-8)/21)/((-24)/(-4172)). Let b = g - -83441/1260. Is b smaller than 0?
False
Let z = 151 - 148. Suppose -z*g - 36 = 15*g. Are 32 and g equal?
False
Let n = 6497 + -6496. Which is smaller: 11/39 or n?
11/39
Let l = 15.9 - -0.1. Let x = l + -17.4. Let h = -45 - -46. Which is smaller: h or x?
x
Suppose -69*x + 96*x = 80514. Which is greater: 2987 or x?
2987
Let n(a) = 58*a**3 + a**2 + 4. Let q(l) = -59*l**3 - l**2 - 3. Let w(c) = -3*n(c) - 4*q(c). Let x be w(1). Let z = 1137017 + -1137016. Is x at least z?
True
Let t(p) = -5*p - 2. Let x(w) = w**3 - w**2 + w - 1. Let c be x(0). Let i be t(c). Suppose -i*u + 3 + 9 = 0. Is u bigger than 11/3?
True
Let c = 38145.3 + -38146. Which is smaller: c or -34.9?
