t + 3*f - 270. Suppose 13*v - 16*v + 210 = 0. Let j = 14 - v. Which is smaller: j or t?
t
Suppose 2*d = -v + 81, 5*d - 31 = v + 189. Suppose -3*h + 3*b + 135 = -0*b, 0 = h + 2*b - 48. Which is smaller: h or d?
d
Let l be (-24660)/12332 + -1 - -3. Do 1 and l have different values?
True
Let l = -0.08 - -2.08. Let i = -34992 + 35007.879. Let p = -0.121 - i. Is p greater than l?
False
Let m = -3316.2 - -3316.3. Let t = -329.7 + 316. Let y = t + -0.3. Which is greater: y or m?
m
Let u = 68 + -42. Suppose -5*d + 45 = -5*f, -2*d + 3*f = 8 - u. Let p be ((-16)/132)/((-3)/d). Which is greater: p or -1/2?
p
Suppose -3*f = -12*f + 90. Suppose 5*o - f - 5 = 0. Let p be ((-2)/(-5))/(2/9). Which is bigger: o or p?
o
Suppose 0 = -8*k - 6*k - 40561 + 10881. Is k equal to -2121?
False
Suppose x = -x. Let r be 2 + (-17465)/8316 - 13/(-1716)*12. Is r < x?
True
Let i be 14/(-84) - (-22)/(-12). Let d be ((-12)/(-54))/(i/(-132)). Suppose -60 = -0*a - 4*a. Are a and d equal?
False
Suppose -12*p + 3*p + 1041 = 1050. Is 3/11720 at least as big as p?
True
Suppose p - 7*f + 10*f - 17 = 0, -2*f + 18 = 2*p. Suppose -p*c + 23 = 148. Is -24 greater than c?
True
Let i be (-2)/(-4)*20/18. Let g = 170 + -170. Let o be (g - -1)*(-20)/60. Which is smaller: o or i?
o
Suppose 0*f + 60 = 4*n - f, 3*n - f = 44. Let y be ((-3)/1)/(6/(-76)). Let h = y + -21. Is h < n?
False
Let f = 0 + -1. Let l be -717 + (9 - 4) + (0 - 4). Let k be l/(-359) - ((4 - 1) + -1). Is k less than f?
False
Let t(y) = 3*y - 13. Let v(x) = -16*x + 66. Let m(j) = -11*t(j) - 2*v(j). Let l be m(10). Is l equal to 1/35?
False
Let j = 105.9 - 107. Let c = j - -0.1. Is 25 equal to c?
False
Let x = 22413702042749/4371 - 5127820164. Let v = x - 750/31. Which is smaller: v or 0?
0
Let o be 0*((-10)/4 - -3). Let w be (o - -1)*(8 + -2). Suppose 0 = -w*l + 51 + 9. Which is smaller: 9 or l?
9
Let n(g) = g - 7. Let c be n(4). Let a be (c/15)/(0 - 2/(-1)). Is -2 at most as big as a?
True
Suppose -4*k - 4*c + 208 = 0, -3*c + 45 = 2*k - 60. Suppose 0 = 69*h - 159*h + 4500. Which is greater: h or k?
k
Let k be 10*1462/(-2365) + 6. Let c = 0.08 - -2.92. Let n = -4 + c. Which is smaller: k or n?
n
Suppose 223*y = 228*y. Suppose y = 17*a - a - 880. Is 55 >= a?
True
Suppose 44 = -4*h + 64. Let m be (10/(-34) + 1)*22/4. Which is greater: m or h?
h
Let s = 2834 + -2833. Which is smaller: s or 1/136?
1/136
Let k(w) = w**3 - 5*w**2 - 4*w. Let g be k(6). Let s be -2 + 1 + -9 + g. Suppose s*p = 5*p + 3. Which is greater: -1/5 or p?
-1/5
Suppose 0 = 120*m - 125*m + 4*n + 6, -4 = n. Which is smaller: m or -145/99?
m
Let o = 1.26 - 3.26. Suppose -4*k + 21 = -3*p, -3*p = -0*p - k + 21. Which is smaller: p or o?
p
Suppose -p = 2*b - 218, 0 = -2*b - 23*p + 18*p + 250. Which is bigger: 42 or b?
b
Let q = -123 - -120.72. Let a = -235.24 + 235.14. Is a equal to q?
False
Suppose 4*q - 25 = -5*v, 4*v - 26 + 6 = -3*q. Suppose q = -15*p + 524 - 89. Which is greater: 27 or p?
p
Let g = -215624/7 - -30918. Which is smaller: g or 116?
g
Let j(l) = 3*l**3 - 70*l**2 + 15*l + 33. Let w be j(25). Is 0 > w?
False
Let t = -573 - -2. Let r = 2283/4 + t. Is r at most -0.079?
True
Let v be (-31)/(-2542)*41 - (2 - 1/2). Which is bigger: 29/603 or v?
29/603
Let f(m) = -26*m**3 - 3*m**2 - 13*m - 3. Let u(o) = -13*o**3 - 2*o**2 - 7*o - 1. Let a(j) = 4*f(j) - 7*u(j). Let s be a(-1). Is 12 <= s?
True
Suppose -6*s + 5*h = -3*s - 86, -2*s + 48 = -h. Let u = -1594 + 670. Let o be 190/u + s/121. Is o > 1?
False
Let c be (-8)/(-3) - 1950/1872. Let b = -4 + 8. Suppose 2*a = 5*v - 18 + 3, 3*v + b*a = 9. Which is smaller: v or c?
c
Let d = -15 + 15. Suppose 25*b - 19*b + 12 = d. Let n be b - (154/158 + -3). Is n at least as big as 1?
False
Let x be 3 + ((-17)/(-68) - (-3)/(-1)). Let z be 1/(-2) - (-5)/(-10). Which is smaller: x or z?
z
Let k be ((-28)/(-3))/(56/(-210)*(-85)/(-34)). Are k and -3 unequal?
True
Let t = 757 - 771.42. Let a = -15 - t. Let f = a + 0.58. Is f greater than 11?
False
Let k = -1235/33859 - 3/691. Let f(w) = 1737*w - 6947. Let b be f(4). Does k = b?
False
Suppose 9 = 2*m + 3*r - 2, -5*m + 2*r = 1. Is m greater than 24/73?
True
Let f be (4 - 1050/(-49)) + (-3)/7. Suppose -5*h + 48 = -67. Suppose -h = -y + 4. Is y < f?
False
Let b = 0.008 - 47.008. Let s = b - -97. Let j = 48 - s. Is j at most -14/5?
False
Suppose 19*f - 9*f = 270. Suppose 2*z + f = 29. Is z >= 2/453?
True
Let a = 5290 - 5967. Is -678 at least a?
False
Let q be (-24696)/26 + (-28)/182. Let v be (-12)/6 + (-12382)/(-13). Let z = v + q. Which is smaller: -1 or z?
-1
Let r = -18063 + 12793. Is r at most -1?
True
Let z(m) = -7*m + 27. Let k(g) = -7*g + 30. Let a(n) = 6*k(n) - 7*z(n). Let x be a(-7). Is x less than or equal to -57?
True
Suppose -2*z = -j + 22, 2*z - z = -j + 19. Suppose 294*i + j = 296*i. Is i <= 27?
True
Let h be ((-12)/15)/((-12)/30). Suppose -10*z + 9*z - h = 0. Let l be (2 - z) + 132/(-34). Is 0 < l?
True
Let p = 12 + -23/2. Let v be 187/9 - 4/(-18). Let d = -14 + v. Is d at least p?
True
Let o = -0.5449 + -0.4551. Does o = -0.9084?
False
Let s = -3.2053 - -0.4053. Which is bigger: s or -0.11?
-0.11
Let p = -0.5342 - -0.9729. Let q = -2.3657 + p. Let i = q + -0.073. Which is bigger: -4 or i?
i
Let a = -0.93 - -0.95. Let w = -0.08 + 0.04. Let y = w - a. Is y not equal to -0.1?
True
Let x be (9/((-45)/2))/((-12)/170). Suppose 0 = -4*n + 158 - 130. Which is bigger: x or n?
n
Let j = 21.6 + -0.6. Let z = j + -24.3. Let b = -912 - -913. Which is greater: z or b?
b
Let r(k) = -16*k + 16. Let c be r(5). Let h = -9377/150 - -1/75. Let v = c - h. Which is bigger: 4 or v?
4
Suppose -4*u = 3*v + 110, 2*v + 0*u - u = -66. Suppose -3*l - 117 = 3*h, h - 9 + 63 = -4*l. Let p = v - h. Is p at most as big as 6/35?
True
Suppose -2*i - 107*d = -110*d - 26247, -2*d + 14 = 0. Is i at most as big as 13134?
True
Let b = -5085 - -4400. Is b >= -685?
True
Let w = 39.04 - 39.099. Do w and -1/14 have the same value?
False
Let w(l) = 125*l + 680. Let u be w(2). Is u less than 936?
True
Let c be (-1)/3 + (-23)/(-345)*-4045. Which is bigger: -272 or c?
c
Let q = -350 - -2195. Which is bigger: q or 0.11?
q
Let a = -0.94 + -0.5. Let h = a - -1.44. Let q = -54 - -58. Is q smaller than h?
False
Let u be 8/(-5) + (-8642700)/(-5398875). Which is bigger: u or -1?
u
Let k = 14745 - 101711011/6898. Which is bigger: k or 2?
2
Let l be (-64)/28 - (-6)/21. Suppose 0 = 4*v + 3*g + 25, 2*v - 19 = 3*v + 5*g. Let i be (v - l)*3/66. Does 1 = i?
False
Suppose -2*v = -3*b + 12, -b - 4*v = -6*v - 12. Is b at most -28/285?
False
Suppose 58*j - 162 = 49*j. Let t = 93 - j. Is t > 72?
True
Let u(o) = -3*o**2 - 19*o + 13. Suppose 90 - 251 = 23*i. Let j be u(i). Which is greater: j or -13/38?
-13/38
Let h(u) = 13*u**2 - 3*u - 5. Let n be h(-2). Let p = n - 53. Let m be p - (-6 - -4) - (0 - -1). Which is greater: m or -2/9?
m
Let u be (42/(-4))/7 + (-17)/(-2). Suppose -4*h = -u*h + 3. Let o = -391/8 - -49. Is h != o?
True
Let v(l) = -4*l**2 + 24*l + 10. Let r = 279 + -268. Let s be v(r). Is s greater than or equal to -210?
True
Let k(p) = 37*p**2 + 7*p - 5. Let o be k(3). Let q = o - 3842/11. Suppose r - 5*r - n = 1, 5*r = n - 8. Which is smaller: q or r?
r
Let s = -173.491 + 175.4. Let n = 0.091 + s. Is -15/11 less than or equal to n?
True
Suppose 7*a = -17 + 45. Suppose 100*p - a = 98*p. Let o = 1 - -17. Which is bigger: o or p?
o
Let x = 1175 + -1176. Let i be (-31 - -30) + (-21)/2. Which is smaller: i or x?
i
Let u(p) = 61*p + 60. Let j = 435 - 437. Let f be u(j). Is -62 greater than or equal to f?
True
Suppose 51*q + 3906 = 82*q. Is 62 not equal to q?
True
Let n(k) = -117*k - 197. Let h(q) = 176*q + 296. Let i(p) = -5*h(p) - 8*n(p). Let g be i(-4). Are -126 and g non-equal?
True
Let q = 8908 + -8177. Is 738 < q?
False
Let l be (-19)/(-17) + 390/(-3315). Which is bigger: l or -3/3599?
l
Let w be 10 + 8/(-12)*3. Suppose -39 = 15*x - 399. Suppose 0 = -25*i + x*i - w. Which is greater: -5 or i?
-5
Suppose -105*d + 93*d + 372 = 0. Let z be d/(-124) - (-1301)/4. Which is smaller: z or 324?
324
Suppose 4*r = -5*a - 1169, 314*a - 1486 = 5*r + 312*a. Which is bigger: r or -291?
-291
Let l = -68785.4 - -68783.4. Let o = 20 - 6. Which is greater: o or l?
o
Suppose 0 = -5*j - g - 3, -13*g + 9*g = -8. Let q be 2/5 - 5/(106100/8528)