 or -1?
c
Suppose -2*f + 44 = -4*w, -377*w = -382*w + f - 52. Is -205/24 less than or equal to w?
False
Suppose t = -3*l + 7, -2*t - 5*l + 12 = -3. Suppose x = t*x. Which is smaller: x or -58?
-58
Let v be (-2 + (-10)/(-2))/((-3)/(-58)). Let i = -38 - v. Let u = -78 - i. Which is greater: 16 or u?
u
Let c = -0.4 - -0.2. Let l = -12944 - -12972. Is l equal to c?
False
Suppose -5*v = 4*v + 13*v - 4246. Which is smaller: 198 or v?
v
Suppose 2*s = 4*s. Suppose 4*w + s*w + 5*v - 34 = 0, 5*w - 5*v - 20 = 0. Suppose 12*f - 9*f = w. Is -3 greater than f?
False
Let w be 20/((-40)/6)*(-4)/44700. Which is bigger: 0 or w?
w
Let w = -669 + 573.1. Let i = 0.9 + w. Let s = 94.9 + i. Which is smaller: 1 or s?
s
Suppose 3*u + 69 = -4*b - 57, 0 = -3*u + 3*b - 147. Let f be ((-5)/30*-20)/(u/12). Which is smaller: -2 or f?
-2
Let f = 6701 - 6127. Which is greater: 3 or f?
f
Suppose -2*n = -4*n - 18. Suppose -14*a - 360 = 22*a. Let h = a - n. Which is smaller: -2 or h?
-2
Suppose 0 = 5*y + 2*a, 3*y + 2*a = -2*a. Let h = -8/133 - -542/13433. Which is smaller: y or h?
h
Let j(w) = -w**3 - 15*w**2 - 19*w - 269. Let g be j(-15). Which is greater: g or -5?
g
Let d(o) = -o**2 - 16*o - 60. Let w be d(-6). Suppose w = 119*l - 105*l + 2464. Does l = -175?
False
Let s = 0.2 + -0.2. Let c = -281/142 + 3473/284. Which is greater: c or s?
c
Suppose -2*b - y - 4 = -6*y, 5*y = 5*b - 20. Suppose -5*q - b = 2. Let h be (q/8*-2)/(16/(-320)). Which is smaller: -17/2 or h?
h
Let s be 121 - 72/(-9) - (-6)/(-1). Which is bigger: s or 121?
s
Suppose 0 = -26*v + 36*v - 120. Let x(r) = -r + 8. Suppose 4 + 2 = -2*s. Let h be x(s). Are h and v equal?
False
Let n be 348/40*9/(-18)*4*-10. Is n at least as big as 1224/7?
False
Let o = -3/1057622 + 283811806459/134317994. Suppose 4*h + 8427 = -8*i + 3*i, 3*h + 4*i + 6319 = 0. Let f = h + o. Which is smaller: -1 or f?
-1
Suppose -21 = 4*s - 9. Let q be (-905)/(-50)*(-4 + 2)*s. Let c = -109 + q. Is c bigger than 1?
False
Let y(p) = p**3 - 98*p**2 - 100*p + 100. Let u be y(99). Which is bigger: -5/5332 or u?
u
Suppose -b + 140 = -16. Suppose -2*z + 0*z = b. Let v be (z/6 + -4)/(0 + 1). Is -14 > v?
True
Let p = 82 - 93.6. Let k = -5.6 - p. Let s = 7 - k. Which is smaller: s or 18?
s
Let g be 2470/(-190) - (-1030)/78. Which is bigger: g or 9?
9
Let w = 188 - 194. Let a be 29 + 14*w/(-21). Do a and 232/7 have different values?
True
Suppose 14*c - 547 = -4*w + 17*c, w - 142 = -c. Suppose -384 = -4*x - 5*f + 151, -10 = 2*f. Which is greater: x or w?
x
Let p be ((-20)/8*4 + -171)/(5/425). Is -15385 > p?
False
Suppose 2*d = i + 3, -2*i + 36*d + 8 = 39*d. Let c = -8344/39 + 214. Is c less than i?
True
Suppose 8*k + 4*w + 6 = 10*k, -3*w + 8 = -4*k. Let y be (-2)/5 - (-16)/(-5). Which is greater: k or y?
y
Let g(i) = 7*i + 1. Let f be g(1). Let k = -26141/7 - -3743. Which is greater: k or f?
k
Let w(c) = -c**2 + 10*c - 6. Let l be w(6). Let g(s) = 2*s + 17. Suppose 0 = 5*q - 12*q. Let p be g(q). Is l at least p?
True
Let q = -193/5 - -41. Let w(z) be the first derivative of z**4/4 - 17*z**3/3 + 8*z**2 + 3*z - 11. Let l be w(16). Is l at most as big as q?
False
Let l = -226 + 480. Let h = -253 + l. Is 2/225 < h?
True
Let n = -2606.84 - -2608. Is n <= -0.4?
False
Let g = 1.841 + -1.541. Is 29 <= g?
False
Let u = 1481.7284 + 0.2716. Let k = u - 1461.025. Let b = k + -21. Is b less than or equal to -2/3?
False
Let l = 15.08 + -15. Let a = -0.02 + l. Let i = 1493/3 - 498. Which is bigger: i or a?
a
Suppose 13*l - 28 = 6*l. Suppose l*v + 19 = d, -5*d + 20 = -5*v - 0*v. Is 3/136 equal to d?
False
Let j be -11 - -1*-2*(2 - 4). Let q be (-6)/66*2 + 4/(-11). Is q at least as big as j?
True
Suppose 0 = -6*i - 10 - 8. Let l be -2 + (6*4)/i. Let q = -51/5 - l. Is q less than -5?
False
Let b = 6980 + -6979.1. Is b not equal to -129?
True
Let t(i) = 21*i**3 + 2*i**2 - 12*i + 18. Let m be t(6). Suppose r = -21*r + m. Which is smaller: 208 or r?
r
Suppose 7*d = 6100 + 2622. Let p be 2 + -5 - d/(-416). Let i = p + 439/4784. Are i and -1 nonequal?
True
Let b = -12602.6 - -12614. Which is smaller: -15/4 or b?
-15/4
Suppose -69*r - 4 = -67*r + 3*a, r - 5 = 2*a. Let u = -66705/92 + 725. Is r >= u?
True
Let w(q) = -q**3 - 6*q**2 + 7*q - 16. Let s be w(-7). Let d = -77 - -84. Suppose 54 = -d*t + 4*t. Which is smaller: s or t?
t
Let m = 771 + -772. Let v be 38/57*1/(m/588). Is -391 equal to v?
False
Let b(g) = -1630*g**2 - 22 + 11*g + 16*g + 1629*g**2. Let o be b(26). Is 28/11 not equal to o?
True
Suppose -59 = -2*l + 77. Suppose 62*a + 426 = l*a. Is 71 not equal to a?
False
Let l = -611 + 628. Suppose 5*i - 12 = -l. Which is bigger: i or 7/71?
7/71
Suppose -4*s + w + 1074 = 0, -3*w = 2*s - 49 - 481. Suppose -5*p - s + 153 = 0. Is -71/3 != p?
True
Suppose -3*z = 158 - 194, z - 22 = 2*k. Let d = -1083/259 + 12/37. Is d > k?
True
Let z be (1 - (-4)/(-10))*5740/6888*-2. Let c be (0 - -1) + (-200)/4. Is z >= c?
True
Let r be (-77476)/4*(-100)/700. Which is smaller: 2769 or r?
r
Let a = 15437.01332 + -15437. Is a < 0.1?
True
Let s = 51 - 40. Suppose -s*z + 29*z = 2988. Do 167 and z have the same value?
False
Let i(q) = 35*q**3 - 4*q**2 + q + 3. Let y be i(2). Let u = -269 + y. Is u less than -3/4?
False
Suppose 3*u + 22 = -0*f + 5*f, -f = -2*u - 3. Suppose -4*l = 2*a - 48, -8*l = -f*l + 6. Is a not equal to 29?
True
Let i be (-286903)/166760 + (-5)/8. Is -3 not equal to i?
True
Let c = -4640 + 4758. Which is bigger: c or 117?
c
Let a(w) = 10*w**3 + 5*w**2 - 634*w - 1276. Let v be a(-2). Let m(g) = 21*g - 8 + 1 - 9*g. Let r be m(-5). Which is smaller: v or r?
v
Let n(j) = -47*j - 7. Let z be n(-7). Let g be (14/(-60))/(-7)*-9668. Let x = g + z. Is -1 less than x?
True
Suppose -628 = 74*n - 33706. Which is greater: n or 453?
453
Let q = 45632 - 45631.961. Suppose 3*p = -w + 15, 0 = -2*p - w + 2*w + 5. Which is greater: q or p?
p
Let f be (((-27)/6)/3)/(-3) + 90/(-12). Which is smaller: f or 14?
f
Let w(l) = -2*l - 2. Let s(v) = -22*v - 128. Let k(u) = s(u) - 6*w(u). Let x be k(-16). Which is smaller: x or 4?
4
Suppose 4*t = 17 + 11. Suppose 7*b + t + 147 = 0. Which is smaller: b or -7?
b
Let l = 0.0051 - -133.7349. Let j = -132 + l. Let r = j + -0.74. Is r != 0.3?
True
Let v = 916105/7578 + -1088/9. Which is smaller: v or 0?
0
Suppose -w = 3*n - 16, -2*w + w = 2*n - 10. Suppose -n*l - 136 + 316 = 0. Which is bigger: l or 28?
l
Let b = 4044995611920302/836606206155 + 20/1535057259. Let j = -4835 + b. Which is bigger: j or -1?
j
Let t = -24.0217 - -0.0317. Are 0 and t unequal?
True
Let g = -12 + 17. Suppose p = -g*j + 557, -j - 3 = -2*p - 121. Suppose -9*t = -86 - j. Which is greater: t or 21?
t
Suppose 155 = 3*g - 5*q, -52 - 148 = -4*g + 5*q. Which is greater: g or 367/8?
367/8
Suppose 42*u = -187 - 149. Which is smaller: -51/7 or u?
u
Let i = 1625 + -1633. Let q be (-32)/20 - -2 - 0. Does q = i?
False
Let h be 22/8 - (-1)/(-4). Let z be (7*1/(-3))/(((-93520)/1440)/167). Does z = h?
False
Let d be 70/(-8) + 3/(-12). Let w be d/4 + (-3 - (-13)/4). Let l be (-12)/8*w + (-209)/69. Is l less than or equal to 0?
True
Let u(t) = 3*t**2 - 72*t. Let j be u(24). Suppose 0 = 6*q - q + 40. Let i(w) = -w**2 - 6*w + 17. Let z be i(q). Is j smaller than z?
True
Suppose 4*f - 2*n - 3*n = 2017, -n + 1508 = 3*f. Let s = f - 491. Are s and 79/6 non-equal?
True
Let p be -115*(-40)/1650 - 3. Suppose -1 = -7*q - 8. Is q at least as big as p?
False
Let v = 411 - 230. Suppose 7*p - 1881 = -607. Is v equal to p?
False
Let p = -734 + 734. Which is greater: p or 11/194?
11/194
Let q(p) = -37*p - 302. Let m be q(5). Let o = -458 - m. Which is greater: 248/9 or o?
o
Let g be 10/25 - (-164)/(-160). Let j = -73 - -46. Let d = j + 29. Which is greater: d or g?
d
Let l(i) = -65*i**2 + 377*i + 78. Let w be l(6). Let k = -1 - 2. Let p = -8/3 - k. Which is smaller: w or p?
w
Let t be 1111 + 17 + (-52)/13. Is t < 1124?
False
Let u = -167 - -168.1. Let k = -138 - -143. Which is smaller: k or u?
u
Suppose -8 = 2*v - 2*m, 0 = -4*v - 2*m + m + 9. Let b be 267667/(-202926) + 2 + 26/(-39). Let j = -2/1091 - b. Which is smaller: j or v?
j
Let k = -497.8445 - -0.0445. Let h = 498 + k. Let a = 0.4 - -15.6. Is h not equal to a?
True
Let p = 63.99 + -83.99. Which is smaller: p or 2/9?
p
Suppose -2*o + 22 = -5*y - 1220, -3*o = -2*y