. Are -4 and m unequal?
True
Let d = -2780 + 1299. Is d != -1486?
True
Let w = 4.379 - 169.729. Let g = w - -165.5. Let j = 11 - 8. Is g equal to j?
False
Let n be (-10)/20*(0/7)/(-4). Do -13/529 and n have the same value?
False
Let a = 0.0632 - -5.4568. Let k = -5.55 + a. Is -9 greater than k?
False
Let n(i) = 3*i**3 + 19*i**2 - 30*i + 59. Let t be n(-10). Which is greater: t or 1/17?
1/17
Suppose 50*z - 806625 = 51*z + 224*z. Is -3583 smaller than z?
False
Let z = 11.09 - 11. Let n = -1448/57 - -6898/285. Is n > z?
False
Let s be (32370/5475 - 6)*90/2. Which is smaller: -4 or s?
-4
Let y = -11 + 12. Let a = -101089/188 + 2151/4. Are a and y nonequal?
True
Let q = -143 - -386. Let f = -235 + q. Which is greater: f or 2/3?
f
Suppose -3*g + g = -5*f + 10, 20 = -3*f - 4*g. Let o be (2 - 3 - f) + (-74)/144. Let t = 14/9 + o. Which is greater: -1 or t?
t
Suppose 3*p - 2*c = 0, -3*c + 14 = 5. Suppose 5*v = 2*l - 39, 9 = 5*l + 5*v - 1. Let k be 186/176 - l/((-308)/(-8)). Is p greater than or equal to k?
True
Let g = -3757689/212 - -17725. Are 1 and g non-equal?
True
Let q be 6/4*(5 - 35). Suppose 639*k = 653*k + 728. Which is smaller: k or q?
k
Suppose 18*x = 3*x + 68460. Suppose -13*z - z - x = 0. Which is bigger: z or -325?
-325
Let j be ((-1)/(-2))/(-1)*-2. Suppose 15933*y - 100 = 15958*y. Let l be -1 + -9*j/(-1 - y). Is -0.13 at least as big as l?
True
Let i(o) = -1210 + 16*o - 5*o + o**2 + 1234. Let n be i(-10). Suppose -6*k = -n*k - 272. Is k greater than -34?
False
Suppose -79*o + 70*o + 585 = 0. Let r be ((-17)/170)/(2/(-5)). Does o = r?
False
Let n be -2*((-9555)/180 - -9). Is n > 89?
False
Suppose -5*g = 5*p - 10, 2*g + 7*p - 4 = 9*p. Suppose -622 = -g*s - 600. Let d = 10 + 2. Are s and d equal?
False
Let a = -0.1 + -0.9. Suppose -5*g - 5*n = 55, 128*g - 3*n + 62 = 126*g. Which is smaller: g or a?
g
Suppose g = -2*r + 849, 3*r + 2*g - 1286 = -2*g. Suppose 0 = w + w + 10, -3*y + 2*w - r = 0. Is -144 <= y?
True
Let n = 16 - -239. Let c = n + -226. Which is smaller: 1/6 or c?
1/6
Let q = 1291.1 - 1205. Let s = -88 + q. Let h = 12 - 11. Is s less than h?
True
Suppose -89355 = -84*n + 49*n. Do 2553 and n have the same value?
True
Suppose 0 = 2*b - 4*h + 110, -6*h = -3*b - 10*h - 135. Is 0.26 equal to b?
False
Let f = -23 - -22. Let k be f/(-1) + -3 + (-2375)/(-1955). Let p = 14/23 + k. Is 0 >= p?
True
Let s = -393 - -373. Let m be s*13/(260/(-225)). Which is smaller: 224 or m?
224
Let x = 226.0596 - -2.9404. Is x at least as big as -0.23?
True
Let l be 44/(-330) + 313616/(-255). Are l and -1229 equal?
False
Let f be (-1*26)/(1/2). Let y = 52 + f. Let w be (144/(-28) - -5)*1. Is w greater than y?
False
Let w = -131/2352 - -5/336. Let n be -2 + 58/24 + 69/276. Which is bigger: n or w?
n
Suppose -14*a = -13*a - 130. Suppose 5*o - 31*o + a = 0. Is o smaller than 28/5?
True
Let k = 26.842 - -23811.158. Which is smaller: -1/2 or k?
-1/2
Suppose -4*q = -4*a + 3320, 2*a + 2*q - 118 = 1522. Is 824 at most as big as a?
True
Let h(f) = -13*f**2 + 10*f + 27. Let y be h(-2). Let j be (9/(-3) - -2)/((-4)/(-188)). Does y = j?
False
Let j = 894 - 1833. Which is bigger: j or -938?
-938
Suppose -r = -9*i + 463, -5*i - 491 = 15*r - 14*r. Are r and -482 unequal?
True
Suppose -14*t = -12*t - 7*g + 649, -5*g + 15 = 0. Which is greater: t or -317?
t
Let y = -26.4 - 58.6. Let r = y + 86. Suppose 2*p + 30 = 3*g, -43 = 3*p - 0*p - 4*g. Are p and r non-equal?
True
Let a = 4/42177 + -2447686/14972835. Which is bigger: a or 0?
0
Let d be ((-19715)/665)/(36/42). Let h = 8983/3 - 3029. Let r = d - h. Which is bigger: r or 0?
r
Let b be 80/752*19/(665/18). Which is smaller: 0 or b?
0
Suppose -6 = 13*q - 16*q. Suppose 864 = 6*y + q*y. Suppose 3*m = 7*m - 2*b + y, -2*b = 4*m + 108. Which is bigger: m or -26?
-26
Suppose 60*x = 58*x + 12. Suppose -x = -4*z + 3*a, 7*a - 8 = 11*a. Which is smaller: 10/47 or z?
z
Let r = -30649 + 30648. Let p be 2/(5/((-410)/(-4))). Is p at least as big as r?
True
Suppose -4*p + 6 = -6. Let n = 166 - 156. Suppose -p*s - 29 = n. Is s < -13?
False
Let j be 702*((-240)/36)/20. Is j != -234?
False
Let h = -950151/76 - -12502. Suppose -4*d + 0*d = 0. Is d bigger than h?
False
Let a be 925/(-13) + 3/78*4. Is -129 greater than a?
False
Let x = -19625/564 - -415/12. Let z(k) = -2*k - 21. Let f be z(-10). Which is greater: f or x?
x
Let f be -2 + (-5697)/(-19) - (-1 - -5). Let i = -294 + f. Which is bigger: -3 or i?
i
Let i = 342.9 + -327. Let h = 16 - i. Which is smaller: -14 or h?
-14
Let u = 0.0559 + -0.0559. Which is bigger: -0.1089 or u?
u
Let g = -132277/39 - -3391. Let y be 20/(-270) - (-26)/351. Is g <= y?
True
Let b be (-3 + 2)*(-10 + 2/(-2)). Let d be (11/(-8))/b*-3. Is d at most 3?
True
Let i = 237 - 235. Suppose -z + 8 = -i*g, 2*z + 12 = -3*z - 3*g. Which is greater: -5/21 or z?
z
Suppose -8347 = -15*f + 683. Let x = -539 + f. Which is smaller: x or 65?
x
Let k = 5611788/523 + -10730. Is 1 greater than or equal to k?
True
Suppose 8*j + 8*j = -8*j - 47232. Which is greater: -1967 or j?
-1967
Let r be (-860)/1264 + (-29)/(-116). Is -1 equal to r?
False
Let w be (-10112)/21330 - (-4)/54 - 667/(-5). Is -13 greater than or equal to w?
False
Let f = 113.5 - 233. Let x = -118 - f. Which is smaller: x or 3?
x
Suppose -u - 3 = -5*f, 2*u - 15 = 7*u. Which is bigger: f or 1/1884?
1/1884
Let l be 35/((-805)/(-184)) - 156/21. Let t be 210/(-25) + 2/5. Let m be t/6*6/(-4). Which is greater: l or m?
m
Let o(g) = -388*g + 1853. Let w be o(6). Is 1/3 at most w?
False
Let g = -681 + 671.98. Let l = g - -15.905. Let b = l + 0.015. Is 2/3 greater than or equal to b?
False
Let p(n) = n**2 + 11*n + 3. Let m be p(-13). Suppose -3*l - 16*h = -12*h + m, 0 = -3*l - 2*h - 19. Which is greater: l or 8?
8
Let n be ((30/(-15))/(16/12))/(4/328). Is n at most as big as -130?
False
Let z = -8 + 8.7. Let m = z - -0.3. Let y be (-275)/(-99) - 1*3. Is y greater than m?
False
Suppose -2*o - 18 = -14. Let c be (-6 - (-6 + 2))*1/o. Let w be (-490)/164 + 4 - c. Which is greater: -1 or w?
w
Let y = 1417.04 + -36.04. Which is smaller: y or 2/7?
2/7
Let i = 92 - 2023/22. Suppose 4*d + f + 4 = -3*f, -2*d = -2*f - 6. Is d less than i?
False
Let n be ((-70)/10 + 6)*(1 - 3). Let p be n/4*(-1060)/(-50). Which is greater: 11 or p?
11
Let y = 238 + -4283/18. Let p = 17/342 + y. Suppose -4*h - 1 = -5. Is p smaller than h?
True
Let a be ((-2)/6)/((-24)/18 - -1). Let c be (20/(-6) - 2)*-6. Let n be (-2)/c*(-16)/(-44). Is n at least as big as a?
False
Let m = 1324 - 1362. Which is smaller: -13/4 or m?
m
Let z = 99811 + -73261247/734. Is z bigger than 1?
False
Let h be (-144)/(-10) - (-2)/(-5). Suppose -4 = -v, -3*x + x = -2*v + 8. Suppose -5*q + o + 1 = 5, -4*q - 4*o + 16 = x. Are h and q unequal?
True
Let a = -6 + 5. Let f(s) = 13*s**3 - 1. Let j be f(a). Suppose 5*w - 5*m = 6 + 14, 0 = 4*w - 2*m - 10. Which is smaller: w or j?
j
Let o be (-4)/(-30) + 7024212/51435. Let s = o - 410/3. Which is greater: 0 or s?
s
Let k(h) be the first derivative of 2*h**2 + 14*h + 37. Let b be k(-2). Suppose 74 + b = -4*f. Is f at least as big as -5?
False
Let g = 12757 + -12868. Which is bigger: g or -2/35?
-2/35
Suppose -3 = -0*n + n. Let y(f) = f**3 + 3*f**2 - 2*f - 3. Let g be y(n). Suppose -2*l + 7*l = -5*m + 20, 0 = -4*m - 20. Which is smaller: l or g?
g
Suppose -j + 15 = 5*d, -3*j + 29 = d - 8*j. Suppose 3*k + 5*m + 83 = 25, 20 = -d*m. Which is smaller: -12 or k?
-12
Let o = 555 - 251. Suppose o = 18*d - 2*d. Which is smaller: d or 15?
15
Let r(h) = h**3 + 9*h**2 - 5*h - 12. Let o be r(-9). Let s = o - 35. Let z be (18/4)/(s/((-4)/(-5))). Which is greater: z or -1?
-1
Let b(o) = -34*o + 374. Let n be b(11). Is n not equal to 10/143?
True
Let b = 251 - 60. Let t = -185 + b. Let q(g) = -g**2 - 12*g + 8. Let r be q(-12). Which is smaller: t or r?
t
Suppose 10*o + 281*o = -3783. Is o less than or equal to -18?
False
Let z = 235 - 682/3. Suppose -170*m + 419*m - 368 = 203*m. Which is greater: z or m?
m
Let a = -152 + 165. Suppose a*h - 14*h = 0. Suppose h*t - 81 = -3*s + 3*t, -5*s + 4*t = -135. Which is bigger: s or 30?
30
Let h(l) be the second derivative of l**5/20 - l**4/3 - l**3/2 + 5*l**2 - 13*l. Let g be h(4). Let x be (12/7)/(-11 - 1 - g). Is 1 greater than x?
True
Let g = -1630171/531 + 3070. Which i