)/106 + n). Which is bigger: t or 1?
1
Let z(y) = -67*y - 430. Let s be z(-17). Which is greater: 710 or s?
710
Let g be (-16 - -11)*4/10. Let f = -5239/3265 - -3/653. Is f <= g?
False
Suppose -518*x + 514*x - 180 = 0. Does -46 = x?
False
Let m = 0.01 + 0.39. Let i = -7912 + 7914. Which is smaller: m or i?
m
Suppose 2*s + 5*k - 174 = 0, 2*s + 261 = 5*s + 2*k. Is 86 greater than s?
False
Let i = -22 + 5. Let r = i + 17.1. Let l = -0.2 - r. Do l and -0.1 have the same value?
False
Let g be 72/60*(-40)/(-12). Which is bigger: -148 or g?
g
Let c = 18 - -6. Let v(t) = -6*t + 15 - 6*t + 13*t - 3. Let a be v(13). Which is smaller: a or c?
c
Suppose 0 = -l - 2. Let b = -3 - l. Suppose 0 = -16*u + 9*u + 3*u. Is u less than b?
False
Suppose 0 = 8*z - 9*z - 47. Let y be -43 + 11/(11/(-2)). Which is greater: y or z?
y
Let k = 258.56 + -258. Which is smaller: k or -0.2?
-0.2
Suppose -33 = 2*y - 37. Suppose -5*b + 32 - 2 = 0. Let a be (y/b)/(7/(-14)). Which is greater: a or 3?
3
Suppose 5318 = -8*u - 642. Do -745 and u have the same value?
True
Let o = -1.946 - -2.046. Which is greater: -2/217 or o?
o
Let m be (-10735)/8094 - 4/(-3). Are -1 and m non-equal?
True
Let t(n) = 35*n + 207. Let l be t(-6). Which is smaller: l or -17?
-17
Suppose -2*l - 1 = -5. Suppose 3*k = -l*m + 6, 5*k - 12 = 5*m - 52. Let v be 4/(-2) + -5 + m. Is 1/4 at least v?
True
Suppose 4*j - 5*c = -12 + 43, 2*j + 3*c - 21 = 0. Which is bigger: 7 or j?
j
Let t = -1 - -1. Let j be 0/(12/14 - (-21)/147). Is t greater than j?
False
Let k = 0.24 + -0.22. Suppose -6 = -5*v - 1. Is k at least v?
False
Let q = -0.9 - -1.92. Let i = -0.92 + q. Let o = 59 - 175/3. Do i and o have the same value?
False
Let b be 1/((-20)/65)*-8. Let s be (444/b)/(-3) + (15 - 11). Which is greater: -3 or s?
s
Let s(b) = b**3 + b**2 + b + 14. Let o be s(0). Suppose 3*k + 3*h + o = -h, -4*k + 2*h = -18. Let n be k/((-6)/3)*0. Which is smaller: n or 7/3?
n
Let p(o) = -8 - 2*o - 2 + 7*o. Let c be p(-5). Is -36 greater than or equal to c?
False
Let w = -2017 + 2926. Which is smaller: 910 or w?
w
Let c(q) = -32*q**2 - 3. Let g be c(-1). Is -33 less than g?
False
Let a = -3.97 + 94.97. Which is greater: -1 or a?
a
Let n = -0.1351 - 0.2019. Which is smaller: n or -2/3?
-2/3
Let p = -0.65 - -0.7. Let v = 0.511 - 0.531. Which is smaller: v or p?
v
Let o = 38 + 7. Is 43 smaller than o?
True
Let f = -445384/9 + 49591. Let g = -104 + f. Which is smaller: g or -0.2?
-0.2
Let h = 0.21 - -2.79. Let u = 3.1 - h. Is u not equal to 3?
True
Let v = 1.32 - 1.32. Let m(b) = -b**3 + 9*b**2 + 10*b + 7. Let u be m(10). Is v smaller than u?
True
Let o be (-4)/(-63) - 2/(-27)*3. Let p be (4 - -2)*(0 + 1). Which is greater: o or p?
p
Let t = 4 + -8. Let z be 80/(-10)*1/4. Which is bigger: t or z?
z
Let f = 70 + -109. Let p = -37 - f. Do -0.1 and p have different values?
True
Let h = 1 + 2. Let r = -3.1 + h. Let g = 11.3 + -11. Is g smaller than r?
False
Suppose 19 + 1 = 5*s. Let l be -3*s/(-6) - -5. Which is smaller: l or 6?
6
Suppose -5*v = -321 - 79. Is 79 >= v?
False
Suppose 11*m - m + 450 = 0. Let t = -49 - m. Is t at most -4?
True
Suppose 5*a + 46 = -2*c, -3*c = -a + 3*a + 58. Let z be c/15*(-80)/(-12). Is -8 less than or equal to z?
True
Let f be (2/1 - 6) + 1. Suppose 2*o + 4*s = 22, o = -o - 2*s + 16. Suppose -9 = o*d + 16. Which is greater: d or f?
f
Let y = 182 - 315. Let k = -154.91 - y. Let b = k + 22. Which is bigger: -2 or b?
b
Let c = 0.04 + 1.96. Let l = -83.6 + 82. Let q = l + c. Is 2/5 <= q?
True
Let v = -431/55 - -238013/30415. Which is smaller: v or -1?
-1
Suppose -7*f = -16*f. Suppose -p - 2*w = -29, 4*w - 39 = -f*p - p. Is p >= -2/3?
True
Suppose 3*h + 5*z = -13, 5 + 10 = -2*h + 3*z. Let t = -0.292 + 0.322. Is h less than t?
True
Let d = 88 + 121. Which is bigger: d or 210?
210
Let t(k) = k**3 + 6*k**2 - k - 4. Let j be t(-6). Let r be -2 + ((-2)/j - -4). Is r less than or equal to 6/13?
False
Suppose -2*f = n, -22*n = -23*n + 5*f. Is n <= 20/87?
True
Suppose -3*n - i + 1853 = 0, 0 = -2*n + 4*n + i - 1237. Let a be n/120 - (-4)/(-30). Suppose -2*r = -6*r + 20. Is r > a?
False
Suppose -5*o - 306 = -3*h, 0 = -2*h + 2*o + 217 - 9. Is h bigger than 3?
True
Let j = -54 - -54. Suppose -4*q = -5*p - 7*q - 3, 2*p - q + 10 = j. Is -3 smaller than p?
False
Let t = 56 - 64. Which is smaller: t or -9?
-9
Let t be 4*(-2 + -59)*3/12. Is -58 at most as big as t?
False
Let w = 64 - 63.56. Let h = w - 0.16. Is h smaller than 1?
True
Let u be 5/(2/(-2) + 2 - 2). Let p = 121/3 + -269/6. Which is smaller: p or u?
u
Suppose -4*j + i + 101 + 48 = 0, 5*i - 91 = -2*j. Is j equal to 34?
False
Let c = -445 - -438. Do c and 17 have the same value?
False
Suppose t = 3*x - 126, x + t - 38 = -0*t. Let p = 41 - x. Is p less than 1/3?
True
Let d be 4*(1 + 5/10). Let v = -33 - -41. Which is smaller: v or d?
d
Let r = -212/77 - -12536/1309. Which is greater: r or 6?
r
Let b(h) = 5*h**2. Let l(a) = -4*a**2 + a - 1. Let s(c) = -3*b(c) - 4*l(c). Let u = -2 - -5. Let v be s(u). Which is bigger: 3/7 or v?
v
Let j(p) = -p**2 + 11*p - 9. Suppose -4*x + 5*q - 1 = -3*x, 3*q = 2*x + 23. Let y = x - -27. Let w be j(y). Are -7 and w non-equal?
True
Suppose 25 = 6*t + 7. Let h be 130/507 + (-1)/t. Which is bigger: h or 1?
1
Let l = -1715 + 1714. Is l bigger than -1/383?
False
Let v = -1650 + 1650. Which is smaller: 8/197 or v?
v
Let w be (((-5)/(-30))/(-1))/(1/(-6)). Let a(d) = -d + 7. Let l be a(6). Suppose -4*s + l = -5*s. Is w smaller than s?
False
Let m = 12 + -9. Let z = m - 3.16. Let n = z - -0.16. Which is greater: 3/7 or n?
3/7
Let i = -1.09 - -0.79. Let f = -25.3 + 3.3. Which is bigger: i or f?
i
Suppose h = 4*h - 6. Let x(a) = 0 - 1 + a - 4 + h. Let g be x(8). Are g and 5 equal?
True
Suppose -2*m - 198 = d, -4*m + 3*m - 2*d = 96. Which is smaller: m or -103?
-103
Suppose 0*a = -2*g + 4*a + 10, -5*g - a + 14 = 0. Suppose 5*p - 15 = -5, 0 = t + g*p - 21. Which is greater: t or 27/2?
t
Let g be 1/874*352/968. Are g and 0 nonequal?
True
Suppose -13*g = -343 + 382. Is -10 greater than or equal to g?
False
Let x = 23 - 11. Let l = x + -19. Let u be (-7 - -5) + l/(-3). Which is smaller: 2 or u?
u
Let v = -444386/235 + 1891. Which is greater: v or 0.2?
0.2
Let m = 120 + -125.7. Let y = -4.7 - m. Which is smaller: y or -0.4?
-0.4
Suppose -2*h = -3*m + 143, 3*m - 5*h - 146 = -0*h. Suppose 2*z + 5*n = m, 5*z = -2*n - 0*n + 149. Is 31 != z?
False
Let y be 2/(-2 - (-8)/2). Suppose 2*s - s - y = 0. Suppose -123*c + 6 = -129*c. Is s > c?
True
Let k = 495 + -1997. Which is smaller: k or -1?
k
Let s(z) = -13*z - 21*z - 24*z + 22*z. Let v be s(-1). Let j be ((-3)/(-9))/(3/v). Is 5 < j?
False
Let u be 1304/(-489)*13/(-6) - 2/(-9). Let h = -16/39 - -79/13. Is h >= u?
False
Let b(z) = z**3 - 2*z**2 + 2*z - 1. Let y be b(1). Suppose y*h + 18 = -3*h. Let n be (-110)/12 - 1/h. Is -7 at least n?
True
Let z(t) = -t**3 + 5*t**2 + 4. Let b be z(5). Suppose 5 - 13 = b*u. Let r = 17 - 18. Which is smaller: u or r?
u
Let l be 2/12 - 62/12. Let o be 24/84 + 5/((-420)/507). Which is smaller: l or o?
o
Let j(l) = -17*l + 418. Let v be j(26). Is -12 greater than or equal to v?
True
Let a(r) = 4*r - 63. Let w be a(6). Suppose -3*q + 2*p - p - 109 = 0, 3*p + 205 = -5*q. Is w at most q?
True
Suppose -2*u - 20 = -0*u. Let o = u + 21. Which is smaller: o or 10?
10
Suppose 3*h + 5*q = 18, -3*h - 3 = -3*q + q. Is -3/272 greater than h?
False
Let g(z) = z**3 + z**2 - 265. Let d be g(0). Let a = d + 3443/13. Is 0.8 != a?
True
Let o(l) = -4*l + 1. Let z be o(-2). Suppose -z = -2*n - 7. Is n at most as big as -1/3?
False
Suppose u - 5 = 0, -3*l + u - 4 = 2*u. Let v be 0 + (-6 - l) + 63/(-35). Which is bigger: -5 or v?
v
Let k = 1.7 - 1. Let s = 438.3 - 438. Let w = k + s. Which is smaller: w or 3/8?
3/8
Let b = 26/87 - -1/29. Let m(i) = -i**2 - 12*i + 12. Suppose h = 2*h + 13. Let l be m(h). Is l > b?
False
Suppose -3*o = -y - 8, 4*y - y = 2*o + 4. Suppose 14 = o*g + 10. Which is smaller: g or 4/21?
4/21
Let j(p) = 4*p - 8. Let a(x) = -4*x + 9. Let g(l) = 6*a(l) + 7*j(l). Let b be g(1). Let d be b - (-27)/21 - 3. Which is greater: d or 0?
d
Let l be (18 - -2) + (-2 - 0)/1. Suppose 2*c + 10 = -d, -c + d = c + l. Is c bigger than -7?
False
Suppose 3*c = -4*l - 3 + 27, 3*c + 21 = l. Let x be l*(-4)/(-2