d + 52 - 12 = 5*v, -2*d + 8 = 4*v. Let a be (1 + -2)*-4 + 0. Which is bigger: a or d?
a
Let i = 3940 - 279746/71. Suppose -284*v = -280*v - 4. Which is greater: i or v?
v
Let q be (7/(-42))/((43/(-6))/43). Are -4/3879 and q nonequal?
True
Let c be (3 - -2) + 1 + -14 - -5. Which is smaller: c or -21?
-21
Let s(y) = y**3 + 6*y**2 + 4*y + 6. Let r be s(-6). Let t be r/24 - 3/((-12)/19). Suppose -3*a + 0*a - 60 = -t*j, -5*j + 72 = -3*a. Is j >= 7?
True
Let a be -2 + -18*(-2 - -3). Suppose -1259*p + 187 = -627*p - 643*p. Which is bigger: a or p?
p
Let b = -6458 + 6203. Let s = 187 - 441. Is b not equal to s?
True
Let p(a) = -a**2 + 2*a + 6. Let l be p(5). Let o = 255 + -291. Let v be (-20)/(-90) - (-296)/o. Which is smaller: v or l?
l
Let h = -2100 + 161702/77. Let p = 1.7064 - 1.5064. Are p and h equal?
False
Suppose 76*o - 32*o - 87664 = 28*o. Which is greater: o or 5478?
o
Suppose -5*z + 0*z - 5*a = -90, 3*z = -a + 58. Let g = 3302.1 - 3169. Let w = -133.2 + g. Which is bigger: w or z?
z
Let n be ((-108710)/245)/(240/(-84)). Is n at most 156?
True
Let t(m) = 6*m + 44. Let w be t(-7). Suppose -2*x = w*j + 44, 0*j = -2*x - 4*j - 52. Is -19 at least x?
False
Let a be ((-6)/12)/((-46)/252). Let g = 3903/115 - a. Which is smaller: 32 or g?
g
Let f be (2 - -1 - 2)*37613/58. Let z = -648 + f. Is -252 not equal to z?
True
Suppose 2*l = 15*l - 1170. Suppose 3*q - l = -87. Is -1/43 less than q?
True
Suppose -3*m = -3*m + 11*m + 8*m. Is m < -2/11919?
False
Suppose -8*o + 216 = -2*o. Suppose 12*j = 6*j - o. Let m be (-5)/1125*(3 + j). Is m equal to -1?
False
Let g be (-18)/(-8)*(-76)/(-285)*-5. Which is smaller: g or -3330?
-3330
Suppose 40*o - 40 = 30*o. Let v be (-30)/(-26) + (o - -3) + -7. Let a = 8 + -8. Which is smaller: v or a?
a
Let c(f) = -f**3 + f**2 - f + 12. Let z be c(0). Let k = -107 - -115. Suppose 4*r + k = z. Is r < 1/35?
False
Suppose 5*k + 0*r - 2685 = -5*r, -k = 3*r - 529. Let l = k - 540. Which is bigger: 6/559 or l?
l
Let y = -358/13 - -1459/78. Let w = -9 - y. Let p be (-1 + (-3)/(-2))*2. Is w less than p?
True
Let b = -8748382 - -27776112619/3175. Let h = 3/25 + b. Which is greater: -1 or h?
h
Suppose 7*g + 28*g = 35. Suppose -d = 2*k + 1 - 14, -3*k + 6 = -3*d. Let q be (0 + d)/(-2 + 123). Is g != q?
True
Let g(q) = -6*q + 6. Let x be g(4). Let d be -2 - 0 - 0 - x. Suppose -436*y + 24725 = 975*y + 2149. Are d and y nonequal?
False
Let d(u) = -2*u + 7. Let z be d(4). Let o be 1*(z - -4)*17. Is 51 greater than o?
False
Let a be (-1344)/(-1568)*238/3. Suppose -2*h - h + 207 = 0. Is h at most as big as a?
False
Let b = 3/10708 + 63441/2880452. Which is smaller: 0 or b?
0
Let x = -2156 - -2228. Which is smaller: 2250/31 or x?
x
Suppose -w - 15*w + 265 = -11*w. Do w and 53 have different values?
False
Let s(h) = h**3 + 3*h**2 + h + 1. Let g be s(-3). Let v be 4/8 - g/4. Let q be 2 - (-3 - 105/(-28)). Which is smaller: q or v?
v
Let x = 3267969/22 + -148588. Let r = 77/2 + x. Is -4 at most as big as r?
False
Let c = 343.7 - -29.3. Let u = c - 391. Which is greater: -1 or u?
-1
Let l(g) = 3*g**3 - 11*g**2 + 5*g + 12. Let i be l(2). Is -39 != i?
True
Suppose 10*k = 7 + 13. Suppose k*n - 4*c - 18 = -2, -5*c + 46 = 3*n. Suppose 3 = 9*s - n*s. Is s <= -2?
False
Let j = 9301 - 9028. Is j < 267?
False
Let r = -26361 + 26362. Is r at least as big as 31/35?
True
Let h = -233.09 + 233. Let k = -0.19 - h. Is -6.4 equal to k?
False
Let w be 3 + 692/(-6) - 1/(-3). Let s = 189 + w. Let y be (s + -2)/(-3)*18/(-855). Which is greater: y or 1?
1
Suppose -6*j + 5193 = -2*j - 14051. Which is greater: j or 4810?
j
Let o = -3.3015 + 150.3015. Does -0.104 = o?
False
Let k be (-28)/(-344)*(-178)/1068. Which is smaller: k or 1?
k
Let g = 7246 + 1667. Is 8912 at least g?
False
Let u = -112 - -85. Let b be u/(-3) + -2 + -41. Suppose 6*m - m = 4*p - 166, -3 = 3*p. Is m at most as big as b?
True
Suppose -q - 3*j + 11 = -21, -4*q + 128 = j. Let u(p) = -p**3 + 30*p**2 + 63*p + 20. Let c be u(q). Let z = 1251/7 + -179. Which is bigger: z or c?
z
Let g = 7682 - 7705. Is -990/41 > g?
False
Let w = 391/3600 - -74/225. Is -56 equal to w?
False
Let y = -251 - -1782. Which is bigger: y or 1530?
y
Suppose 13 = -10*q + 3. Let t be (q/(-2) + 3 + -2)*-2. Let k be (2/1)/(182/(-287)) - t. Which is bigger: k or -1?
k
Let i be 8/(-40)*-5 + -2. Are i and 92/285 unequal?
True
Let l be (-2)/8 + 395/(-20). Let j be 14/4*l/(-35) - -70. Do j and 70 have different values?
True
Let u = -8281 + 124198/15. Is u bigger than -2?
True
Let m(q) = -21*q**3 - 2*q**2 + 2*q + 3. Let i be m(-1). Suppose 0 = 4*s - i - 40. Suppose -60 = 11*o - s*o. Is 14 equal to o?
False
Let a(h) = -2*h**3 - 9*h**2 + 9*h + 16. Let z be a(-7). Let u = 198 - z. Which is smaller: -3/104 or u?
-3/104
Let d = -10501 + 9834. Is d at most -672?
False
Let f = 41.3832 + -41.24. Is -1 not equal to f?
True
Let c = -49804 + 248969/5. Let s = -10 - -31. Suppose 3*d = -s - 12. Which is smaller: d or c?
d
Let q = -3223 - -3133. Is q bigger than -85?
False
Let t be ((4449/(-10))/3)/(22/44). Let c = t - -297. Which is greater: -19 or c?
c
Let s = 9538.69 + -9540. Is -33 equal to s?
False
Let h(y) = 5*y**2 - 41*y - 20. Let c be h(9). Suppose c*o = 182 + 570. Which is bigger: o or 1?
o
Let y(i) = 81*i - 9235. Let d be y(114). Let q = -10 + 9.64. Is d >= q?
False
Let x be 8/68 + 54*162/204. Let s(l) = 2*l. Let z be s(1). Suppose -g + 4*f = -64, 2*f + 85 = z*g - 13. Is x equal to g?
False
Let a = 27827 - 27832. Which is smaller: a or -38/7?
-38/7
Suppose -b - 4*f + 30 = 0, -3*f = 3*b + f - 114. Suppose 3*g - 12 = 0, -3*g = 5*v - g + b. Which is greater: v or -55/6?
-55/6
Let x be 936/(-60) + (85/(-25) - -3). Is x at least as big as -149/9?
True
Let z be 1*2*(-5 + (-906)/12). Let y = -178 - z. Is y bigger than -117/7?
False
Let a = -96 + 88. Let i be 3/a - (-4522)/(-272). Do -12 and i have different values?
True
Let z = -835 - -731. Let t = 20.7 + -19.7. Which is smaller: z or t?
z
Let r be (-1)/(-5) + 9/5. Suppose 0*z - r*z - 16 = f, 4*f = 4*z + 32. Let k be (-44)/207 - z/(-36). Is k at least 0?
False
Suppose 7*b - 4*b = -15*b - 62982. Is -6997/2 > b?
True
Let h = -19.6 + -1.4. Let l = h - -21.4. Which is greater: -34 or l?
l
Suppose -206*p + 14898 + 1994 = 0. Suppose -2*l = 5*l. Which is smaller: p or l?
l
Let t = 392.8 - 392.903. Is t at least as big as 4/9?
False
Let f = 8408 - 8408.1. Is f greater than or equal to 6328?
False
Let t = 5 + -21. Let p be t - (-3 + 5 + -3). Let u be 7/(-55) - 21/77. Which is bigger: p or u?
u
Let d be (-44)/(-110)*-55 + -701. Which is bigger: -721 or d?
-721
Let r be (-1 - 0 - -2)*-37. Let a = 1745 + -1659. Suppose a*d = -21 - 2989. Is d greater than r?
True
Let p(s) = -22*s + 3 + 0*s + 7*s + s**3 + 9*s**2 - 7*s. Let q = -26 + 15. Let j be p(q). Which is smaller: j or 6?
j
Let w = -55 - -59. Let u be 2/w - 1 - (-289)/(-34). Which is smaller: u or -2?
u
Let p = -73 - -76. Suppose 10 = 4*c - p*m - 15, m = -4*c + 13. Suppose 5*u + 3*o = 174, -2*o = -c*u + 29 + 97. Is u at least as big as 33?
True
Let z(k) = -k**2 - 8*k - 11. Let i be z(-5). Suppose i*v + 110 = -7*v. Is -126/11 != v?
True
Let n(j) = -j**2 + 5*j + 8. Let u be 15/(-20)*6*8/6. Let q be n(u). Let f be (-9)/(-12) - 1*q/(-56). Which is smaller: f or 0.7?
f
Let x = 24379/4969035 + -5/4801. Are x and -1 non-equal?
True
Let k(m) = -30*m**2 + 13*m**2 + 29*m**2 - m**3 - 3*m - 3*m**3 + 2*m**3 + 18. Let n be k(6). Which is smaller: n or 1/213?
n
Let n = 7.879 + -12.65. Which is greater: -0.1 or n?
-0.1
Let f = 79 - 6. Let g = f + -236/5. Which is bigger: g or 0.1?
g
Suppose c = 2*c - k - 170, -3*k = -2*c + 345. Suppose 4*a - 43 = c. Suppose -6*t + 2 = -a. Which is smaller: t or 29/3?
t
Let i = 0.1 + 7.9. Let z = 7.987 - i. Let d = z - 5.987. Is d at least as big as 2?
False
Suppose 4*b - 159 + 35 = -4*n, 0 = -5*n - 2*b + 155. Suppose 3 - 43 = -10*p. Suppose 10*l = 5*l - 2*k + 156, p*l + k - 126 = 0. Which is smaller: l or n?
n
Let o(z) = -4*z - 4. Let g be o(-4). Let r = 16193 + -113276/7. Which is smaller: r or g?
r
Suppose 5*u = -550 + 625. Suppose 0 = -0*b - 5*b + u, 2*c = -5*b + 15. Is c less than or equal to -5/126?
False
Let c = -893275/7 - -127608. Let f be 1*(-1)/(-16)*2. Are f and c nonequal?
True
Let l be 135807/12 + ((-10879)/(-92))/43. Which 