 3*z - 3 + 12, 2*z = 5*i + 13734. Is -2747 equal to i?
False
Suppose 5*x - x = -5*y - 757, -2*x - 374 = -2*y. Let n = -111 - x. Let c = n - 65. Is c at least as big as 13?
False
Let r(c) = 2*c - 5. Let o be r(-5). Suppose 34*i - 269 = -99. Let m be ((-16)/i - -4)/(2/o). Are -9 and m equal?
False
Let c = -1342 - -2813/2. Let w be 3/(254/124 - 2). Let u = w - c. Do u and -2 have the same value?
False
Suppose u - 163 - 40 = 2*l, l - 4*u + 84 = 0. Which is bigger: -730/7 or l?
l
Suppose 100*b + 330 = 122*b. Let d be ((-175)/b - -10)*2/10. Is -33 >= d?
False
Let r(x) = 3*x**2 - 9*x + 4. Let v be r(3). Suppose 38*t - 36*t + v = 0. Let k be 40/(-6) - 5/15. Which is smaller: k or t?
k
Let t be ((-126)/(-28))/((-1368)/(-32)). Let a = 17 - -43. Which is greater: a or t?
a
Suppose 9453 = 2*v + 3*b - 21591, 4*v = -4*b + 62104. Which is greater: 15535 or v?
15535
Let l = -234681 - -234792. Let n = -11 + 17. Suppose 3*o + 330 = n*o. Which is smaller: l or o?
o
Suppose -3*r = -69 - 456. Let f = 176 - r. Is -2/153 < f?
True
Suppose -85 = -22*c - 19. Let o be -3 - (c - (-396)/(-81)). Which is greater: 0 or o?
0
Suppose 18 = -8*j + 6*j. Let q(l) = -l - 12. Let x be q(j). Let z be (2325/27)/(-25) + 4/9. Does x = z?
True
Suppose 0 = -2*f - 10, 4*s + 10 = -4*f - 230. Suppose -5*w - 14 = -224. Let u be (-14)/16*(-12)/w. Which is greater: s or u?
u
Suppose -11*a + 12 = -5*a. Suppose 0 = -n + 2, p - 53 = -a*p - n. Suppose 44 = -p*r + 16*r. Which is smaller: -43 or r?
r
Let n be 110/605 - (-42)/11 - 5*1. Suppose 0 = -2*p + 6*p + 12. Which is greater: p or n?
n
Let w be 1/(0 - 1)*-1. Let c(x) = -4*x + 55. Let z be c(13). Let a be 0/(5 - z) + 1/7. Which is bigger: a or w?
w
Let z be ((-107)/(-62))/(70/14511*3). Let j = z - 477/4. Which is greater: j or -1?
j
Let c(i) = 15*i**2 - 8*i**2 + i**3 - 4 - 6*i - 4*i**2. Let d be c(-4). Suppose -40*l = -44*l + d. Which is greater: -0.06 or l?
l
Let f be (-6)/(-2) + 11 + 5. Suppose 18*s - 74 = -f*s. Is 52/23 <= s?
False
Let g be 48*10/45*18. Let u = g + -344. Which is greater: u or -151?
-151
Let q = 1570 + -1569. Is -12/205 at most q?
True
Suppose -2*u + 157 = m - 4*u, 5*u + 470 = 3*m. Let c = m + -127. Is c equal to 30?
False
Suppose 78 = 2*l - 11*c + 53, 2*c + 110 = 3*l. Suppose -2*i + 7 = -b, -b - 3*i + 1 = -7. Let w(h) = -39*h. Let y be w(b). Is l bigger than y?
True
Let g = 41.135 - 0.135. Let j = -41.2 + g. Is 0.03 greater than j?
True
Let l = 0.885 - 0.485. Which is bigger: l or 2.41?
2.41
Let g = 2141710134571/498261 - 4298370. Let r = g - -981408073/4982610. Let w = -197 + r. Is -1 >= w?
False
Let m(a) = -2*a + 3. Let x be m(5). Suppose -118*s = 9*l - 116*s + 73, -2*l + s - 9 = 0. Is x smaller than l?
False
Let s = 12799/15 + -854. Let v be (-6)/10 + (-1)/(-5). Let a = v - s. Which is smaller: -6 or a?
-6
Let s = 19 + -11. Let t be (s/(-18))/(21/(-18)). Let r be ((-13 - -13)/3)/(-3). Is t equal to r?
False
Let n = -64 + 94. Let u be n/45 + 64/3. Let t be 0 + -4 - (-17 + u). Which is smaller: -10 or t?
-10
Let q be (4 + (-145)/25)/((-1)/5). Let v(h) = 1 + 7*h - h**2 + 0 + 15. Let t be v(q). Which is smaller: -14/5 or t?
-14/5
Let o be -21*(4 - 52/12). Suppose 2*w - 9 = o. Let i be -48*(w/(-12))/2. Is i less than 16?
False
Let k = 0.0366 - 0.1. Which is smaller: k or 2/13?
k
Suppose 4*q = f - 74, -10*q + 5*q - 5 = 0. Let c = f + -144. Is c > -1?
False
Let s = 3.98 - -0.02. Let k(f) = -9*f**2 - 68*f - 10. Let t be k(-10). Let q be -7 - (-5 + 470/t). Is q at least as big as s?
False
Let l = -0.1 - 4.9. Let y = -53562.56 + 53562. Which is smaller: y or l?
l
Suppose y - 4*y - 3 = 0. Let o be (-56 - -10)*(-1 + 0). Let j be 4/o + 72/230. Which is smaller: y or j?
y
Let s = 1035 + -1039. Let d be 233/(1/(s + 3)). Is -233 less than d?
False
Suppose 30*r = 13*r + 204. Let c = r + -13. Let a = -574 + 14929/26. Is a at least as big as c?
True
Let c = -138 + -97. Let j = c + 235.02. Is 16 <= j?
False
Let b = 950 + -857. Let w be 6/b + (-2820)/62930. Is 0 <= w?
True
Suppose 2*c + 2*b = -3*b - 69, -135 = 5*c + 5*b. Let y(d) = -d**3 - 12*d**2 + 14*d + 14. Let w be y(-13). Let s be (7 + -30)/(0 + w). Which is smaller: s or c?
s
Let o be (-11064)/(-2740) - (-4)/(-1). Let m = 77804/7535 + o. Let p = m - 967/88. Is p >= -1?
True
Let h be 121877/273447 + (-2)/18*(20 - 16). Which is greater: h or 1?
1
Let c = -2866 - -2859.865. Let d = c + -0.065. Let r = d - -5.5. Are -0.09 and r equal?
False
Let l be 12/20 - 7780/13175. Let s = l + 8914/4743. Which is bigger: s or 3?
3
Suppose 126 - 126 = q. Let p be (-3 + q)*(3 - (-1286)/(-426)). Is -1 bigger than p?
False
Let t = 13 - 25. Let o be 293/12 + (-3)/t. Let z(j) = 5*j**2 + 69*j + 133. Let r be z(-12). Is o < r?
True
Suppose -4*d - 129 = -3*c - 3*d, -79 = -2*c + 3*d. Suppose -c*a - 4 = -48. Let h be 8/38*1/(-46). Is a at most h?
False
Suppose 971*i + 11664 = 980*i. Is 1295 equal to i?
False
Suppose -8 = -4*f + 48. Let y(q) = 11*q + 18. Let k(l) = 3*l + 1. Let d(r) = -4*k(r) + y(r). Let x be d(f). Is x less than 2?
True
Let c = -2677 - -2267. Does -412 = c?
False
Suppose 0 = -9*p - 285 - 264. Let q = p + 64. Suppose 0 = 2*n + q*l - 63, 0 = -2*n - 2*n - 4*l + 124. Is 29 less than or equal to n?
True
Let l = -62 - -65. Suppose l*r + 0*r = -d - 21, -21 = 5*r - 3*d. Let b be (4/r)/(-5 - (-3535)/705). Is b bigger than -47?
False
Suppose -8*b + 10 = 2*b. Let p = 16275/4 + -4027. Let n = p - 42. Which is greater: b or n?
b
Let j(g) be the third derivative of g**4/12 + g**3/6 - 20*g**2. Let d be j(-1). Let c be ((-6)/4 + 1)*(-1 - -1). Which is smaller: d or c?
d
Let q be (-28)/(-6)*(-9)/6. Let t(i) = -i**2 + 2*i + 1. Let s be t(3). Let h be (-1 + (-3 - s))/(-2). Which is smaller: q or h?
q
Suppose 66*d + 61*d = -8728 + 28286. Which is smaller: d or 149?
149
Suppose 0 = -4*u + 5*r + 61 + 184, u = -r + 59. Which is bigger: 772/13 or u?
u
Let u be 12/(-3) - (-12 + -2). Let a be u/(-6)*(3 + 14/(-5)). Let k = -6.5 - -8. Are k and a unequal?
True
Let f = 549.61 - 552. Let z = f + 1.51. Which is bigger: z or -3?
z
Let q be 4/(-18) + (-539)/(-441). Is q greater than or equal to -9/1045?
True
Let h = -2/365 + 884/28105. Let r(i) = i**2 + 13*i + 22. Let j be r(-11). Is h at least j?
True
Let n(t) = 3*t - 13. Let m be n(9). Suppose -3*q + m = 5. Let z be (2/(-16))/(q/12*-6). Which is smaller: 0 or z?
0
Let o be (7 + -7)*6/252*6. Is o smaller than 6/4003?
True
Let u = -36.8 - -36.9. Which is bigger: 66 or u?
66
Let y(l) = -l**2 + 8*l - 3. Let s be y(7). Let h be ((-4)/(s*-9))/(4/15). Let b = -1/4 + h. Is -1 smaller than b?
True
Suppose -2598 = -59*z + 56*z. Let w be (-2)/8*((-14)/z)/(-7). Let c = -5261/112580 - w. Is c at least 0?
False
Let d be (-296)/1628 + 2426*(-1)/(-11770). Are 1 and d unequal?
True
Let k = 49096/44005 + 5/677. Which is smaller: k or 0?
0
Let g = -534.31489 + 0.31489. Which is bigger: g or 3/4?
3/4
Let m be ((-140)/50)/(1/5) + -6. Let a be 3/(-15) - (16/m)/(-4). Let n = 179/4 + -44. Is n greater than a?
True
Let i = -88502 + 88563. Suppose -3*z = 2*z - 300. Is z equal to i?
False
Let j = 3/29630 + -71389/119794090. Is j at most as big as 1?
True
Let z = 15097 + -15444229/1023. Which is smaller: z or 9?
z
Let f be -2 - 2/(-8)*(-2 + 2). Let g be f/(-7) - 4/(20020/1395). Let r = g - -64/143. Which is greater: r or -1?
r
Suppose -5*p - 3*q + 21 = 0, -2*p + 5*q + 44 = 17. Suppose -7 = p*u - 25. Suppose -3*f + 31 = -3*y - f, 5*y + u*f = -20. Is -5 greater than y?
True
Let d = 305 + 168. Let m = d - 486. Which is greater: m or 1?
1
Suppose 3*j + 305 = -2*u, 4*u - 4*j + 478 + 82 = 0. Let i be (-10158)/(-70) - 2/5. Let m = u + i. Is 1 greater than m?
True
Let t = -15 + 46/3. Let u = 995 - 943. Let p = u + -52.14. Which is smaller: t or p?
p
Let z be 6 + -3 - 2*-4. Suppose -2*u = -3*u + z. Let x = -804 + 816. Which is smaller: x or u?
u
Suppose 5*l - 57 = 3*i, -10*i + 9*i + l - 17 = 0. Let y(z) = z**3 + 15*z**2 + 15*z + 9. Let g be y(i). Is -55/9 greater than or equal to g?
False
Let l = 19060 - 5432108/285. Is l < 0.1?
True
Let p be ((-2231)/(-299) - 7)*837. Is p at least as big as 385?
True
Let k = -151.2 + 136. Let o = k - -12. Let b = -3.1 - o. Is 1 < b?
False
Let c = 180 - 181. Let g be ((-8)/(-20))/c - 440/(-225). Is g less than 1?
False
Let r be (2 + 0)*(-3)/6. Let y = 1/2482 - 5055/225862. A