/(7/(-3)))/(-1). Let d be (-7)/3 - m/9. Let t be (-3 + d/4)*9/21. Which is smaller: t or 0?
t
Let u be 12/84 - 192/(-28) - 89. Which is bigger: u or -407/5?
-407/5
Let t be 1*(-7 - -13 - 4). Let i be (-94)/(-30)*10*t/4. Let a be 34/(5 + -3 + 0). Is a >= i?
True
Suppose 0 = t - 713*y + 710*y - 12, 4*t + 16 = -4*y. Which is smaller: -7/918 or t?
-7/918
Suppose 0 = -3*i - 2*h - 30 + 163, -3*h - 80 = -2*i. Let v(y) = -y**2 + 43*y + 90. Let w be v(i). Do w and 90 have the same value?
True
Suppose -y = -16*y + 210. Let d be (-1)/1*(-497)/y*6. Is 213 not equal to d?
False
Let c = 7/48 - -541/240. Let x = -58 - -89. Suppose -z = -5*j + 3*z + x, 0 = -3*z - 12. Is c less than j?
True
Let j(l) = -3*l + 59. Let i be j(22). Let g be i/(-35) - -519*(-4)/10080. Is -1 less than or equal to g?
True
Let t(i) = i**3 + 32*i**2 - 6*i - 9. Suppose -209 - 175 = 12*o. Let w be t(o). Is 183 > w?
False
Let i = -406.9567 - 0.0433. Let z = -407.1 - i. Is z not equal to 36/11?
True
Let d = -125 + 139. Suppose -435 = -d*q + 29*q. Which is bigger: -27 or q?
-27
Let z be (1/11)/(165/990). Which is smaller: 292 or z?
z
Let c = 21527.7 - 21508. Let j = -0.3 - 0.7. Is c at least j?
True
Let a(j) = j**3 - 15*j**2 + 4*j - 59. Let x be a(15). Let z be 30/(-135)*(x + -280). Which is smaller: z or -3?
-3
Let q = 2422 + -2800. Suppose -1114 = 3*h - 4*i, -h - i - 1139 = 2*h. Is h less than or equal to q?
True
Let q = -4262 + 4215. Which is bigger: q or 34?
34
Let i be 2/4*(-7)/(-21)*2334. Let c = i + -410. Which is bigger: c or 0.1?
0.1
Let j = -21 + 19.6. Let k = j - -1.42. Does k = 3?
False
Let o be 3*2 - 156/13. Let m be o/(-10) - 16/(-40). Which is smaller: m or -5?
-5
Let i = 11/103 - 14339/138123. Which is smaller: 0 or i?
0
Let d = -55 - -10. Let a = 18 + d. Let w = a + 30. Which is smaller: 2 or w?
2
Let s = 1124 - 1121. Suppose 3*l + 3 = -5*d, -3*d + 6*d + 3*l = -3. Suppose d = s*p - 8*p. Is p at most as big as -13/9?
False
Let c = 67 - 92.6. Let u = 25.4 + c. Which is smaller: -0.79 or u?
-0.79
Let s = 105 + -75. Let p = s + -84. Is p at most as big as 1?
True
Suppose -2*k - 86 = -4*k - 4*h, -2*h - 89 = -3*k. Let g be k/(-36) - (-2)/8. Let j be (95/(-60))/(-19)*-4*6/10. Which is smaller: g or j?
g
Let m be (14 + 16)/((-2)/(-3)). Let s = m - 44. Let r(f) = 19*f**2 - 3*f + 1. Let z be r(s). Which is smaller: z or 15?
15
Let k(u) be the second derivative of u**5/20 + 13*u**4/12 + 5*u**3/3 - 13*u**2 - 2*u. Let w be k(-12). Let i be (-9)/(-3) - (2 - w). Is -3 less than i?
True
Suppose 112*t - o = 110*t + 11106, 80 = -10*o. Is t >= 5551?
False
Suppose -4*w + 3*o - 6*o - 3395 = 0, o = 3*w + 2543. Let t be w/3262 + 32/112. Which is smaller: -1 or t?
-1
Let z = -3539 - -3630. Is 124 at least z?
True
Let a be 15/(-18)*(11 + 1492/(-60)). Suppose -j - 5 = -17. Are j and a unequal?
True
Suppose 207*x - 203*x + 388 = 0. Let q = -103 - x. Does 8 = q?
False
Let k = 7144 + -7155. Is -121/10 greater than or equal to k?
False
Suppose -43*w = -38*w + u - 14, w - 4*u - 7 = 0. Which is bigger: -9/35 or w?
w
Let u(t) = 7*t + 26. Suppose 0 = -2*k + 6*k + 80. Let m(x) = -x**3 - 20*x**2 - x - 28. Let y be m(k). Let r be u(y). Is r < -30?
False
Suppose n + 2 = -4*p, -2*p - 2*p + n + 2 = 0. Let b = 5 - p. Let x = -1193/65 - -91/5. Is x at least as big as b?
False
Let y = -422.8 + 423. Which is greater: y or 0.732?
0.732
Let j = 0.1 + -0.3. Suppose 2*b - 422 + 1170 = w, -3*w + 5*b + 2247 = 0. Let n = -757 + w. Are j and n non-equal?
True
Let f = -110 - -142. Let p be (-2)/85*(-5464)/f + -4. Is p != 0?
True
Suppose 15*r = 83710 - 86245. Is r less than 22?
True
Let s(d) = 7*d**2 + 8*d - 1. Let t(x) = -20*x**2 - 26*x + 2. Let c(k) = -11*s(k) - 4*t(k). Let p be c(-5). Is -4 > p?
False
Let g be 5 - (-3 - -5) - 6. Let x(l) = -l**2 + l + 12. Let b be x(g). Is b smaller than -1/47?
False
Let g be (-7)/(1155/(-187)) + 6/(-45). Is -1/11025 greater than or equal to g?
False
Let z = 137 + -192. Let n = -51.91 + 1.51. Let i = n - z. Which is bigger: i or 1?
i
Let f be (-52)/(-182) + 93/(-203). Let m = -1177/7163 - f. Which is smaller: 1 or m?
m
Let t(u) = 2*u**2 + 7*u - 2. Let v be t(-6). Let b be (-2)/8 - (-519)/12. Suppose f - b = -5*n, -n = f + 12 - 43. Is v at least f?
True
Suppose -2*n = r + 7, 3*n = 2*r - 16 + 2. Let u be (3/2)/(36/(-42))*n. Suppose -5*z - u*z = -168. Which is smaller: 1 or z?
1
Suppose 29*a - 25500 - 16764 = -12887. Which is greater: a or 1015?
1015
Suppose -8 = -2*x + 3*u - 2*u, -2*x = -5*u - 16. Suppose 4*v = 4*q - 152, 4*q - 93 = x*v + 61. Suppose 9*h = -q - 5. Which is greater: -9/2 or h?
-9/2
Let m(i) = i**2 + 36*i + 117. Let d be m(-45). Which is greater: d or 524?
524
Let i = -64 - -115. Let m = -2440 - -2492. Which is greater: m or i?
m
Let a(l) = -2*l**2 + 126*l + 535. Let c be a(67). Let k be ((-2)/(-6))/(326/12). Which is smaller: k or c?
c
Let v be (2 - 0) + -3 + -1 + -1. Let a be (-20)/20 + (v - -1). Is a > -24/7?
True
Let f(i) = 15*i + 39. Let t be 12/2 - (35 - 24). Let s be f(t). Do s and -36 have the same value?
True
Let r = -3.9734 + -0.1606. Let p = -0.134 - r. Which is smaller: p or 0.14?
0.14
Suppose 1681 + 912 - 893 = -50*l. Which is smaller: l or -104/3?
-104/3
Let g = -81 + 85. Let p = -1.1 + -6.9. Let o = g + p. Is 2/3 bigger than o?
True
Let t = 28719 - 28456. Suppose 4*h - 568 - 476 = 0. Are h and t equal?
False
Suppose -50*p + 45*p + 1145 = 0. Let y = 230 - p. Suppose -4*b + 3 - 26 = 5*w, 0 = w - b + 1. Does y = w?
False
Suppose -42*p + 40*p + 38 = 0. Suppose 79 - p = -20*w. Is -3.8 at most as big as w?
True
Let w(s) = 3*s**3 + 18*s**2 - 5*s + 20. Let b(l) = l**3 + l**2 - l. Let a(m) = 4*b(m) - w(m). Let x be a(14). Let k = -25 - x. Are k and -20 equal?
False
Let f be (-59)/(-3)*-1*-3. Let o be ((-536)/(-402))/((12/27)/((-413)/(-21))). Is o < f?
False
Suppose -5*c + 990 = -5*w, 13*c - 3*w = 11*c + 391. Suppose 11*n = 380 + c. Which is greater: n or 51?
n
Suppose 0 = -2*i + 39 - 21. Suppose -5*n - 356 - i = 0. Let q = n - -67. Is -6 less than q?
False
Let y = -21186 - -20580. Does -605 = y?
False
Let z = -22026.78 + 22025. Is -33 greater than or equal to z?
False
Let h be 55/((-1100)/(-360))*2/21. Let k = -8 - -4. Let c = k + 6. Which is greater: c or h?
c
Suppose 0 = 11*c - 10 + 98. Let l(z) = -2*z + 3. Let g be l(0). Let q = g + c. Which is smaller: q or 3?
q
Let x = -1.9 + 2. Let j = 136.1 - 190. Let c = j + 54.9. Is c != x?
True
Let w = 31483/50601810 - -2/34423. Let s = -1042/88935 - w. Is 1 at most as big as s?
False
Suppose 4*h = -h + 30. Let f = -88 - -220. Let w = 137 - f. Is h > w?
True
Let r = -9032 + 3797. Is 0 <= r?
False
Suppose 131*q - 162*q + 1519 = 0. Which is bigger: q or 858/17?
858/17
Let u(k) = 130*k**3 + 5*k**2 + 4*k - 1. Let s be u(-1). Is s < -2/9?
True
Let g = 30 - 31. Let h be (0 - 36/42) + (-144716)/(-168623). Which is smaller: g or h?
g
Suppose f - 13 = 6*f + 2*d, -2*f = 5*d + 22. Let c be 10/12*(f + (-63)/(-75)). Does c = 1/4?
False
Suppose 4*v + 14*p + 48 = 0, 15*p - 13*p = -4*v. Do v and 98/165 have the same value?
False
Let w = 6571/3 - 13343/6. Which is greater: w or -34?
w
Let g be (-198)/(-21) + -15 - -5. Is -0.0761 at most g?
False
Let a = -662 + 679. Suppose -5*t = -2*d, a*d = 13*d + 3*t. Which is bigger: d or -8/155?
d
Let p = 7759 + -62051/8. Let o be 6/(1 + -4) + 6. Is p <= o?
True
Let h(t) = 2*t**3 + 71*t**2 + 384*t + 68. Let x be h(-29). Is x > -140?
True
Let p(x) = -117*x - 584. Let i be p(-5). Which is smaller: i or 90/67?
i
Let d(w) = 12*w**2 + 36*w - 49. Let h be d(-4). Is h at least as big as -1/69?
False
Let t = 1224/77 + -110/7. Suppose 0 = 3*s + f - 17, -4*f + 2*f = -4*s + 26. Suppose s*n - 9*n = -12, 0 = -2*c + 5*n - 18. Which is smaller: t or c?
t
Let n(a) = -a**3 + 105*a**2 - 410*a + 31. Let d be n(101). Is d smaller than -571?
True
Suppose 0 = -t - 3*j - j + 155, 5*t - 751 = 4*j. Let k = -150 + t. Which is smaller: -56 or k?
-56
Let i be 15/6*(-2 - -4). Suppose -i*p = 3*c - 748, -c = 4*c + 3*p - 1220. Is 243 at least as big as c?
True
Let f = 13343/1162 + -80/7. Let y = 1151/15106 - f. Is y greater than 0?
True
Let n = 1857 - 1856. Which is bigger: 36.5 or n?
36.5
Let u(a) = a**3 + 17*a**2 - 12*a - 11. Let t be u(-18). Let l be ((12 + -6)/6)/(2/(-354)). Let d be (3 - (-35)/(-15))*l. Which is smaller: d or t?
