(-117)/(-4329))/(1/15). Which is smaller: t or 0?
0
Suppose 8*n = -138 - 94. Let y = n - -35. Is y greater than -0.06?
True
Let c = -1086.59 - -1088. Are 7 and c nonequal?
True
Suppose -3*x - 2*u = -2*x - 57, u = 3*x - 171. Let v be 0/(-6) + (-9)/x. Which is smaller: 0 or v?
v
Let d = -99 - -94. Does -5 = d?
True
Suppose -52*s + 49*s - 19 = -4*g, 5*g + 2*s = -5. Do g and 1/152 have different values?
True
Let t be (-2)/16*-1 - 0. Which is bigger: 1 or t?
1
Suppose 4*t + 33 = -23. Let d = t + 18. Is 2 > d?
False
Let r be (2527/342 + -9)/((-4)/6). Do 0.2 and r have the same value?
False
Let q be (-4)/(-11) + (-24)/66. Are q and -1/962 nonequal?
True
Let s(p) = -p**2 - p. Let h(m) = -m**3 + 17*m**2 + 17*m + 12. Let g(y) = -h(y) - 5*s(y). Let w be g(13). Let t be -14 - -16 - (w + -1). Is 9 <= t?
False
Let p(j) = j**3 + 6*j**2 - 8*j + 8. Suppose d = 3, 4*h + 0 = -2*d - 22. Let n be p(h). Let q = -18 + n. Is q greater than -2?
False
Let r = -20.8 + 2.8. Let m = 6 + r. Which is greater: 0 or m?
0
Let z(s) = 2*s**2 + 17 - s - 24 + 4*s. Let b be z(2). Are 0 and b equal?
False
Let m = 0.5 + -2.5. Let x = m + 1. Let o be (6 - 224/35)*5. Which is bigger: x or o?
x
Let y be 2 + -8 + 1072/(-80). Which is smaller: y or -18?
y
Let d be (6/(-9))/(2/(-6)). Suppose -4*r = 5*b - 4, -r = -d*b - 0*b - 14. Let l be r/8 + 7/28. Are -2/25 and l equal?
False
Let p(x) = x**3 - 8*x**2 + 7*x + 5. Let g be p(7). Suppose -z = -a - g - 0, -25 = 4*z + 5*a. Is z >= -1/3?
True
Let k = -32299/1281 - 170/183. Let n = 199/6481 + -29776134/1134175. Let p = n - k. Is 1 less than or equal to p?
False
Let v(y) = 4*y**2 + 3*y - 3. Let x be v(3). Let u be 0 + 1*(-1)/(3/x). Is -13 smaller than u?
False
Suppose k + 118 - 109 = 0. Let x be (-4)/(-3)*(4 - 10). Is k at most as big as x?
True
Let m be 5/20 - (-17714)/(-40). Let d = -447 - m. Which is smaller: 0.2 or d?
d
Let i = -25 + -44. Which is greater: i or -67?
-67
Suppose -27*a - 2240 = -19*a. Is a <= -280?
True
Let n be (-2*(-11)/165)/(73/(-3)). Are n and -1 nonequal?
True
Suppose 10*r = 15*r. Let s be (0 + 1 - 2)*r. Is s >= -1?
True
Let j be (55/77)/(3 - 1172/390). Let w = j + 139. Is w less than -1/3?
False
Let v = 1 + -9. Let q be 4/(-3) - v/(-12). Suppose 0 = -3*c - 3*o, -5*c + 3 = -o + 21. Is c less than or equal to q?
True
Suppose 0 = 13*i - 17*i - 252. Are -63 and i equal?
True
Suppose 19 + 13 = -2*y. Let w = 965 + -981. Are w and y unequal?
False
Suppose -3 + 6 = 3*y, -5*p - 2*y - 3 = 0. Let f = -8.62 - 46.38. Which is smaller: f or p?
f
Suppose -8*i + 2 = -7*i. Suppose 4*g - 5*o + i = 22, -4 = -5*g + o. Suppose 0 = -g*h - h. Is -3/11 < h?
True
Let t = 0.5 + -4. Let x = -4 - t. Let g = x + 1.5. Which is smaller: 2/37 or g?
2/37
Suppose 0*u = -6*u. Suppose -3*j + 2*x + 14 = u, -5*x - 25 = -10*x. Let l be (-6)/(-4)*(-39)/(-9). Is l < j?
True
Let s = -3041 + 848444/279. Let p = -301/32364 + s. Let n = p - 355/812. Which is bigger: -1 or n?
n
Let i = 598 + -599. Let h = -5.4 + 5. Let a = 0.1 - h. Which is smaller: i or a?
i
Let k be 18/12*64/(-3). Let n = k + 20. Is n greater than or equal to -11?
False
Let p = -23/2 - -11. Suppose -2*l = -4*g - 5 - 3, -4*g - 4 = -3*l. Let f be (-2)/2 + (l - -7). Which is bigger: p or f?
f
Let i be (-118)/4 - 1/2. Let b = 29 + i. Which is smaller: b or -1/5?
b
Let r = -1 + 0. Let y = 955 - 1373. Let z = -2934/7 - y. Which is greater: r or z?
r
Let m = 157 + -158. Which is greater: m or 1/65?
1/65
Suppose 72*f - 54 = 66*f. Is f >= 7?
True
Let y = -4040 - -1523079/377. Is y greater than or equal to -1?
True
Let q = -0.4248 - -0.5648. Let o = 1 + -1. Which is bigger: q or o?
q
Suppose 0 = 2*b + 7 + 11. Suppose 7*i = 2*i + 20. Let u be (-83)/9 - i/(-18). Do u and b have the same value?
True
Let q = 0.4 - -1.6. Let a = 70.22 - 0.22. Let u = a + -69.9. Which is smaller: u or q?
u
Let d = -24.75 + 23. Let w = d - 0.25. Which is bigger: w or -0.04?
-0.04
Let r(l) = 4*l - 245. Let d be r(23). Is d < -153?
False
Let s be 0 - (-5 + -1 - 1). Suppose i - 44 = -3*i - 3*q, 2*i - 5*q = 22. Let w be (1 - 4) + 0 + 0 + i. Is s smaller than w?
True
Let q = -428 - -429. Are q and 0 equal?
False
Let z be (-146)/(-6) - 1/(-1). Suppose 4*c - 58 = 46. Which is smaller: z or c?
z
Let a = -6 + 10. Let h = 29 + -35.6. Let s = 10.6 + h. Is a >= s?
True
Suppose -171 - 764 = -5*g. Let p be ((-5228)/28 + 0)/(-1). Let l = p - g. Is l not equal to -4/7?
True
Suppose 0 = 5*t + 5*q - 15, 0 = -0*t + 4*t - 2*q + 18. Let b be 4/7 - (2 - (-1 - t)). Which is smaller: -1 or b?
-1
Suppose 11*v = 9*v. Is v bigger than 28/31?
False
Suppose -35*s + 28*s = -2716. Which is greater: 387 or s?
s
Let y = -143 - -65. Let h be 13/(y/108) + (0 - -4). Which is greater: -11 or h?
-11
Let t = 617 - 175847/285. Is t smaller than 0?
True
Suppose -3*c - 5*l = 18, 5*l = -0*c - 4*c - 19. Which is greater: 1/63 or c?
1/63
Let q(p) = -4*p**2 - 36*p - 240. Let z be q(-7). Is -184 less than or equal to z?
True
Let m be 16/11 - (-28)/(-42). Are m and 1 equal?
False
Suppose 4*w - 4 = 8. Let f = -34 + 4. Let a be f/w*4/(-10). Are a and -2/5 non-equal?
True
Let p = -65/18 + 10/9. Let o(t) = -t**3 + 4*t**2 - 3. Let h be o(3). Suppose -2*s = -4, 18 - h = -u + 4*s. Is p <= u?
False
Suppose -3*m - 7 - 2 = q, -3*m + 4*q = -6. Let o be (7/6 - 1)*(-2 - 5). Is m equal to o?
False
Let h(w) = -9*w - 79. Let r be h(8). Which is smaller: r or -150?
r
Let o = 0.14 + -0.15. Let x be 2553/(-2220) - 1/((-8)/6). Which is smaller: o or x?
x
Let r = -365 + 363. Which is smaller: -10/9 or r?
r
Let t(s) = s**2 + 5*s + 3. Let q be t(-4). Let u = 349 - 2448/7. Do u and q have the same value?
False
Let u be (-20)/6*18/10. Let i be ((-2)/u)/((-4)/12) - 51. Which is smaller: -51 or i?
i
Let q = -153 + 134.3. Let k = q + 19. Suppose -j = 2*o + o + 5, -2*o - 6 = 2*j. Which is greater: j or k?
k
Let a(b) = -b**3 + 9*b**2 + 11*b - 3. Let n be a(10). Suppose -4*t = 3*k - 19, -5*k = -5*t + 2*t + n. Is 0 smaller than k?
True
Suppose -i + 28 = -2*i. Let t = 29 + i. Is t < 1?
False
Suppose 22*a + 1 = 23*a. Which is bigger: 12/31 or a?
a
Let q = 4.9 + -6.9. Are q and -19 equal?
False
Let g = -24 - -5. Let v = 17 - g. Is v less than 37?
True
Let f = -8 - -7.93. Let z = -0.05 - f. Let q = 0.58 + z. Is q less than 1?
True
Suppose 0 = o + 3*o - 4*q + 56, o + 22 = 3*q. Is -11 not equal to o?
True
Let m(h) = h**2 + 13*h + 18. Let q be m(-13). Let n = q + -15. Suppose -y - n = -4. Is y at least as big as -1/4?
True
Let d(l) = 7*l - 3*l - 5*l - 9. Let n be d(-5). Let x be 18/7 - n/(-7). Which is smaller: x or 3?
x
Let a = 6 + -5.95. Let t = -0.06 + a. Let s = 1.1 - 1. Which is greater: t or s?
s
Let i(f) = -f**3 + 2*f**2 - 3*f + 1. Let z be i(1). Let q be (0 + z)/(9 + -8). Which is greater: -1/25 or q?
-1/25
Let a(b) = -b**2 + 1. Let d be 3*(10/(-6) - -2). Let y = 0 + d. Let x be a(y). Which is smaller: x or 1?
x
Let z = -9/16 + 111/112. Let r = 706 + -702.095. Let v = -0.095 - r. Which is smaller: z or v?
v
Suppose 4*y = 2*y + 8. Suppose -3*s - 85 = 2*s - 5*t, 43 = -y*s - t. Which is smaller: s or -14?
-14
Let q be (-10)/(-15) - 41/3. Suppose -3*w = -2*z + z + 16, 5*z = -3*w - 46. Let i = w - q. Which is greater: 4 or i?
i
Let g(p) = 8*p**2 - 1. Let k be g(1). Suppose 4 = -l + k. Suppose 5*c = l*c + 5*a + 12, 5*c + 4*a = -3. Which is smaller: c or -2/45?
-2/45
Let z = 383 - 382. Which is smaller: -38 or z?
-38
Let h = -40363/69 - -585. Which is greater: -1 or h?
h
Let q be 36/(-16)*8/(-3). Let u = 9 - q. Suppose 3 = -3*g + 5*w, -5*g + u*w = -w + 5. Do -3 and g have different values?
True
Let h(o) = 3*o. Let r be h(-3). Let j(b) = b**3 + 10*b**2 + 8*b - 8. Let q be j(r). Suppose 2*x + q = -s, 3*s = 6 - 3. Which is smaller: 3/7 or x?
x
Let x be -43 + 0 + (-5 - -2). Is x at most as big as -46?
True
Let f be 24/288 - (-6614)/(-78792). Which is bigger: 1 or f?
1
Let k be (-7)/(-56)*2 + 2629599/1060. Let j = k + -2481. Is -1 equal to j?
False
Suppose -168 + 44 = -4*m. Suppose -w = -i - 8, w - m - 21 = 5*i. Which is smaller: i or -13?
-13
Suppose 13*d = -386 + 386. Is d greater than or equal to -2/1645?
True
Let g be 7/4 + 8/32. Suppose x - g*x = 4*r, 4*x = -2*r. Which is bigger: 2/3 or x?
2/3
Suppose 0 = t - 3*a + 126, a = -t + 55 - 161. Which is bigger: t or -109?
-109
Let x(b) = b**3 + 4*b**2 - 10*b + 11. Le