+ (7 - -54)). Do u and -66 have the same value?
True
Let r = 3376 + -3474. Is -11 bigger than r?
True
Let v = 4036 - 4035. Which is smaller: -2808 or v?
-2808
Let s = -53032 + 160604/3. Is s bigger than 502?
True
Let t(m) = 268*m + 3892. Let n be t(-15). Is -8 < n?
False
Let a = 10119 - 10061. Which is smaller: 19/5 or a?
19/5
Let v(s) = -s**2 - 2*s - 1. Let n be v(6). Let j = -41619 + 41567. Which is greater: j or n?
n
Suppose 4*y - 92 = -72, 5*k + y + 960 = 0. Is 12/7 at most k?
False
Let c = 371.61 + -370.61. Which is smaller: c or -92?
-92
Suppose -2*c + 6 = -l + 3*l, -5*l = -5*c + 25. Suppose -4*t - 5*h + 31 = 13, 4*t - 20 = -c*h. Let m = 19 + -11. Which is smaller: t or m?
t
Suppose 10695 - 10699 = 4*p. Let h be 1*6 + (-514)/86. Which is bigger: h or p?
h
Let j = -725 + 1019. Which is bigger: j or 307?
307
Suppose -2*v = -8, -2*l + 5*v - 26 = -0*l. Let h be (-6)/(-10)*l/99. Suppose r + 2*t - t = -3, -12 = -4*r + 4*t. Which is smaller: h or r?
h
Let o = 117 + -170. Let y = 0.183 - -0.017. Which is smaller: o or y?
o
Let n = -115.3 - -138. Let f = 26275/2 + -13137. Which is greater: n or f?
n
Let j = -5 - -4.969. Let f = j - -11.031. Let o = 8 - f. Which is smaller: o or -1/3?
o
Let q = 3658 + -3659. Which is bigger: -3/856 or q?
-3/856
Let d = 88 - 25. Let j be (d/35 + -2)/((-1)/5). Let s be (-36)/(-128) - (-1)/(-4). Is s greater than or equal to j?
False
Suppose 9*x - 17849 = -17885. Are x and -186/55 non-equal?
True
Suppose -80 - 396 = 4*a. Let x = 250 + a. Which is smaller: x or 130?
130
Suppose -6*r + 166 - 136 = 0. Let z = r - 4. Which is bigger: 2/219 or z?
z
Let h(x) be the third derivative of x**6/120 - x**5/4 - 3*x**4/2 + 11*x**3/2 + 4*x**2 + 2. Let l be h(17). Let s be 8/112*(-7)/60. Which is greater: s or l?
s
Let m = -16.8343 + 16.66. Let o = 0.0257 - m. Is o != 2.9?
True
Suppose 650 = -15*v + 10*v. Let i = v - -130. Which is smaller: i or 1?
i
Let q = -3911 + 3175727/812. Which is smaller: q or 1?
q
Suppose -2151 + 2044 = 107*g. Which is smaller: -13/366 or g?
g
Suppose -1141 = -10*a - 401. Let w = -69 + a. Suppose w + 3 = -c. Does -27/4 = c?
False
Suppose -4*r = 4*k - 10 - 2, -4*k = r - 9. Let y be (-27)/k*(32 + -2). Which is greater: y or -406?
y
Let m = 239 + -239. Suppose u - 1 = -6*y + 4*y, u - 2*y = 1. Is u <= m?
False
Let x = 707 + -706.9. Let i = -0.8 - -0.3. Is i at least as big as x?
False
Let d be 3/14*4242/441*-7. Is d < -15?
False
Let l be 72/63 - 1512/980. Which is greater: l or -730?
l
Suppose 12*t - 1157 = -29. Let w = -104 + t. Let h = 5 + -16. Is h smaller than w?
True
Let d = 0.387 - -207.613. Let l = d + -161. Which is bigger: l or 0.1?
l
Let s = -0.34 + 0.34. Let n be (-1164)/108 + 11 + (-317)/1386. Which is greater: n or s?
s
Let v = 22271/4 + -5528. Suppose s + 3*r - 24 = 0, 0 = -54*s + 57*s + 2*r - 107. Which is greater: s or v?
v
Let r(x) = 4 - 7*x - 4*x + 0*x + 12*x. Let t be r(-1). Let c(g) = 2*g**3 - 8*g**2 + 5*g + 3. Let w be c(t). Which is smaller: w or -10/23?
-10/23
Suppose -84*y + 230*y - 76*y = 75*y. Is y bigger than 4/2417?
False
Let q be 5 - (-1 - (1 + -9) - 4). Let o be (-7 - (-44)/8)/(1/q). Which is greater: -16 or o?
o
Let l be (-66)/(-14) - (-2)/7. Let a be l + (6 - 7) + 1 + -3. Which is smaller: a or 8?
a
Suppose -8*s + 274 = -4*s + 2*x, x = -5*s + 335. Let l = 66 - s. Let n be (-6)/15 + 36/105. Which is smaller: n or l?
n
Let n be 13/(-52) + (-113)/(-4). Let v = n - 26. Suppose 4*a - 8 = 0, v*x + 0*a - a = 2. Which is bigger: -4 or x?
x
Let l(m) = 20*m**2 + 22*m - 17. Let n(d) = 11*d**2 + 11*d - 9. Let q(o) = -6*l(o) + 11*n(o). Let u be q(5). Are u and -23 equal?
False
Let a be (31/(-66247))/(2/(-10))*8/(-10). Are -1 and a equal?
False
Suppose 3*t - 2*r - 9 = 0, 16 = 2*t + r + r. Let w be (-2)/((0 - 3) + 2 + t). Is w greater than -54/5?
True
Let o be 13508/517 + -14 + -12. Which is greater: 1 or o?
1
Let d = -8.02 + 8. Suppose -8 = -3*t + 4. Suppose -t*m - 2*w = -4*w - 6, 45 = 5*m + 5*w. Is m smaller than d?
False
Suppose -6*a + 315 = 45. Let j be (10/a)/(4/18). Is j smaller than 17/14?
True
Suppose -4*d = a + 240, -30*a + 138 = -2*d - 35*a. Which is smaller: -1012/17 or d?
-1012/17
Suppose -2*r + 1 + 3 = -u, 3*u + 37 = r. Let j be ((-1)/2)/((-7)/u). Let n be 238/(-678) + (-95)/(-285). Is n < j?
False
Let y be ((-7)/(-21))/(2/138). Let j = y + -30. Which is bigger: -3 or j?
-3
Suppose 0 = -5*y - 0*y. Let a = 2/1223 + 4854/23237. Let o = a + 11/38. Is o <= y?
False
Let b be (380/16)/19*(-10)/(-225). Suppose -k - 2 = -6. Let y be (-1 + 10)*k/12. Which is smaller: y or b?
b
Let a = 10 - 19. Let c = a - -11. Let w be ((-20)/(-5))/(c/7). Is w < 14?
False
Let s = -6313 - -7137. Is 824 at least s?
True
Let i be 1911 - (4/1 - 7 - (3 - 1)). Is 1916 >= i?
True
Let m be -4 - (4 - (-11 - -7)). Let k be (-75)/6*m/15. Let l(s) = -s**3 - 3*s**2 + s - 2. Let f be l(-4). Is k less than or equal to f?
True
Let o be (-2)/(-5 + (-65)/(-15)). Suppose -o*v = -3*v + 9*v. Which is smaller: v or -3/116?
-3/116
Suppose -19*n - 183214 = 183*n. Let b = -2359/74 - 130443/148. Let s = n - b. Which is smaller: 5 or s?
5
Suppose 3*a - 123 = 6*a. Let d = a + 51. Suppose d*h = 3*h + 42. Which is smaller: 36/5 or h?
h
Let l be (-45)/180 + -3 + 112/35. Suppose 0*d = 5*d - 3*u + 7, d + 2*u + 4 = 0. Let v = d + 2. Is v > l?
True
Let f = 9 - 20. Let a = -8.1 - f. Suppose 12*q + 31 = -19*q. Is q less than a?
True
Suppose 0 = -329*i + 332*i + 6*h + 1773, h + 1188 = -2*i. Which is bigger: -0.17 or i?
-0.17
Suppose r + 1 = 4*j, 2*j - r - 27 = -24. Is 21/292 less than j?
False
Let w(y) = 17*y + 47. Let i be w(10). Let q = i + -193. Which is smaller: 26 or q?
q
Suppose 3*i - 20 = 4*f, 2*f + 163 = -5*i + 153. Which is greater: -142/37 or f?
-142/37
Let n be ((-9)/66)/((-36)/10*80/(-24)). Are 50 and n equal?
False
Let q(f) be the second derivative of f**3/6 - 3*f**2/2 - 6*f. Let b be q(4). Let a be -1 - -4 - (-864)/(-264). Do b and a have the same value?
False
Suppose -6405 - 12435 = -15*p. Is p greater than 1256?
False
Let i(p) = -21*p**3 + p**2 + 3*p - 1. Let c be i(-2). Let n be ((-33)/c)/((-2)/(-5))*-2. Is 2/537 at most as big as n?
True
Suppose 0 = 8*j - 7*j + 739. Let x = j + 745. Which is bigger: 3 or x?
x
Suppose 3*i - 19 = -10. Suppose -3*s + i = 3*l, 5*s - 5 = -0*s + 2*l. Is s at most as big as -1/441?
False
Let t = 849 + -435. Let u be 56/(-6)*t/805. Which is smaller: u or -5?
-5
Let z = -374 - -14209/38. Let i(y) = -2*y**3 - 18*y**2 - 15*y + 11. Let t be i(-8). Let w be (-2 - (-44)/12) + (-2)/t. Is w smaller than z?
False
Let u(z) = -2*z**2 - 11*z - 8. Let b be u(-5). Let t be (-4)/(-12) + 2452/(-12). Let r be t/9*b/2. Is r bigger than 34?
False
Suppose 16*z - 13*z - 108 = 0. Suppose 31*g - z*g - 190 = 0. Is -36 less than or equal to g?
False
Suppose 187*b + 79*b + 62*b + 72*b = 0. Is -38/997 at least as big as b?
False
Let o(f) = 111*f + 1074. Let d be o(-15). Is d at least as big as -590?
False
Suppose -21*h = -18*h + 14*h - 381191. Is 22422 != h?
True
Suppose -8*p - 2*p = 2*p - 360. Which is smaller: p or 22?
22
Let m(y) be the third derivative of y**5/15 - y**4/6 + y**3/2 - 18*y**2. Let x be m(2). Suppose -8*n + 69 = -x*n. Are n and -24 non-equal?
True
Let u be (-4 - 0)*(-22)/4. Let c = u - 16. Let m = 1.5703 - 1.8703. Is m less than c?
True
Let i(f) = 364*f + 7273. Let j be i(-20). Is j less than or equal to -96/13?
False
Let l(t) = t**3 - 10*t**2 - 5*t - 34. Let k be l(10). Let d = 100 + k. Is d greater than 15?
True
Suppose 172*z = -4*z + 21296. Let q be (((-9728)/4)/4)/(-5). Which is bigger: z or q?
q
Let m = 6.2 + 74.4. Let s = 0.4 + m. Which is greater: 2/5 or s?
s
Let p = -34.914 + -0.086. Let f = 3287 - 3098.1. Let y = f - 189. Which is bigger: p or y?
y
Let w = -442.91 + 77.91. Do 5 and w have different values?
True
Suppose 0 = 3*p - 5*v + 4, p - 3*v - 2 = -3*p. Suppose -p*r - 2 = 4, 3*l = -4*r + 225. Let h = -105 + 184. Is l less than or equal to h?
True
Let f(b) = -b**2 - 3*b - 2. Let x be f(-2). Let c = -1271 + 1275. Suppose 2*p - 11 = 2*o - 51, -c*p - 3*o - 45 = x. Which is greater: 1 or p?
1
Let h = 18552 + -18674. Which is bigger: h or -120?
-120
Let k = -1758 + 6478. Is 4719 equal to k?
False
Let v = -56 - -58. Suppose 684 = 3*s + 4*o, 0 = -4*s - v*o + 331 + 591. Is 463/2 bigger than s?
False
L