2)/4 - (-14285)/10. Suppose 35*q + b = -7*q. Which is smaller: q or -35?
-35
Suppose 47 = 3*g + 14. Let m be (-13)/((-1638)/628) - (-8)/14. Let h = m + -91/18. Which is smaller: g or h?
h
Let i = 194/21 - -1094/21. Let b = -5416 - -5476. Which is smaller: b or i?
b
Let h be ((-1)/2 + -4)/((-6)/(-20)). Which is greater: -121/8 or h?
h
Let b be ((-3)/(-1) + 3)*-2. Let c = -10 - b. Suppose p + 8 = c*p. Which is smaller: 10 or p?
p
Suppose 4674*n - 4659*n = 4425. Which is greater: n or 297?
297
Let u be (-5 - 3 - -2)*2/(-3). Suppose -2*o + 2*r - 8 = 0, 3*o - r - u*r + 10 = 0. Let k be o/(-78)*4 - 60/180. Which is smaller: k or 1?
k
Let q = 16 - 12. Let k(g) = 34*g + 12. Let y be k(-4). Let l = -119 - y. Which is smaller: q or l?
q
Let w = 15.43 - 15.03. Do w and -134 have the same value?
False
Let k be 2*((-3)/(-2))/((-243)/21789). Is 0 at least as big as k?
True
Suppose 3*j + 255 = 273, 0 = 8*a - 3*j + 10. Are a and -6520 equal?
False
Let c = -2647 + 2647. Which is bigger: c or -17/92?
c
Suppose -26*r - 391 = -80 - 2157. Suppose l - 4*l + 15 = 0, -191 = -3*f + 5*l. Are r and f nonequal?
True
Suppose -4*h + 123 = 39. Suppose -h - 15 = 2*b. Suppose 1062*l - 656 = 1103*l. Which is smaller: l or b?
b
Suppose 368*f = -137*f - 18666 - 52034. Which is greater: -84 or f?
-84
Let q = -1979 - -29681/15. Which is smaller: q or 2/9?
q
Let d be (7*2/28)/(1/6). Suppose d*b + 3*z - 2*z = 11, 0 = 5*b + 3*z - 21. Let l(u) = u + 2. Let j be l(4). Which is smaller: b or j?
b
Let h = -14493 - -14495. Is 167/55 greater than or equal to h?
True
Let u be (-10)/(-3)*24/16. Let y = 10 - u. Let s(j) = -3*j**2 - 11*j - 2. Let n be s(-4). Which is smaller: y or n?
n
Let o = 5457 + -5387. Which is smaller: o or 46?
46
Let h be (-312)/(-80) + 14/(-4). Is 1137 bigger than h?
True
Suppose 2*p - 4252 = -b, 2*b = -8*p + 9*p - 2131. Which is smaller: 4251/2 or p?
4251/2
Let p = 0.3 + 0.7. Let k be ((-15)/(-12)*-2)/(29/(-638)). Let f be (-70)/(-36) - -10*(-11)/k. Which is bigger: p or f?
p
Let t(p) = 4*p - 25. Let i be t(16). Suppose -4*l + 151 = 2*b + i, 2*l - 5*b = 80. Suppose -4*r = 8*c - 3*c - l, -5*c + 15 = r. Which is smaller: 4 or c?
c
Let x be ((-959)/548)/(1/16*2489). Which is greater: x or 0?
0
Let a = 169 - 180. Let z(f) = -7*f - 124. Let b be z(-18). Is b equal to a?
False
Suppose 3*f = -4*n + f + 24, -3*n + 18 = -5*f. Let l = 14 - n. Suppose 0*b = -3*p + 4*b + 9, -5*b = 5*p - 50. Is l < p?
False
Let v = -9446 + 9439. Let f be -2 + 3/(-3) + -1. Is f bigger than v?
True
Let r be 5/((-35)/14) - 7/91*-24. Let w = -0.17 + -0.13. Is w <= r?
True
Let k = 0.18 - -4.32. Let y = k + -3.2. Which is smaller: 0.14 or y?
0.14
Let h be ((-4)/(-24)*21)/(-1)*8/16. Suppose 0 = 3*g + 12 - 3. Is g greater than h?
False
Let p = 2938 - 2964. Which is greater: -4 or p?
-4
Let u = 152.76 + -152.66. Is u greater than or equal to 0.7466?
False
Suppose 2552 = 21*n + 37*n. Which is smaller: n or 27?
27
Let w = -0.09106 + -39.30894. Do w and -9/5 have the same value?
False
Let z = 6 - 25. Suppose 0 = -47*o + 40*o - 63. Let w be ((-78)/9 + 2)/((-3)/o). Which is smaller: w or z?
w
Let c = 1.184 - 0.655. Let k = -0.52 + c. Let y = -0.361 - k. Is y at least as big as 0.1?
False
Let g = 26080 - 130398/5. Is 901 != g?
True
Let i(t) = -t**2 + 4*t. Let n be i(3). Suppose -2*m - 3*m = n*l - 58, -l + 12 = m. Which is greater: 17 or m?
17
Suppose 0 = -12*p + 5*y - 34220, -5*p - 1897 = 4*y + 12337. Which is smaller: p or -14246/5?
p
Suppose 0 = u + 66 - 162. Let h = -51 + u. Suppose -3*t - 52 = 2*d, 4*d + 43 = 2*t - h. Which is smaller: -21 or d?
d
Suppose 3*n + 1 = l + 13, -5*l - 12 = n. Suppose -12 = 30*m - 34*m - n*b, 5*m - 5*b - 50 = 0. Is 17 < m?
False
Let j be ((-6)/(48/452))/((-1)/2). Let f = j + -118. Let o be 12 + -16 - (f - 1). Is 5/3 at least o?
False
Let j = -2487 + 2486. Is 1824 bigger than j?
True
Let z be 217/2*(-42)/(-609) - 5. Which is smaller: z or 2?
2
Suppose -26 = 4*h + 4*k + 10, 2*k = -5*h - 39. Let b be (14/(-148))/h*6. Do b and 1 have the same value?
False
Let a = -44 + 44. Suppose -4*h + h + 21 = b, 3*b + 2*h - 49 = a. Let w(d) = -d**2 - 8*d + 16. Let f be w(-8). Which is smaller: f or b?
b
Let x = 1.72 + -0.42. Let h = x - 24.3. Let c = h + 23.2. Is -9 < c?
True
Let a = -1305413196793/219 + 5960825177. Let u = a + -34324. Let f = u - -1747/3504. Which is smaller: 0 or f?
0
Let i = 97429 + -58165087/597. Which is smaller: i or 1?
i
Let k = -94/13 + 17740/2457. Let d = -2396/189 - k. Are d and 1/3 unequal?
True
Let d = -1.49 + -19.11. Let l = 21 + d. Which is smaller: 2/41 or l?
2/41
Let h = 20 + -29. Let g(n) = n**3 - 4*n**2 - 2*n - 9. Let k be g(5). Suppose 0 = 16*u + k*u + 132. Is u less than or equal to h?
False
Let m = -44579 + 44620. Let k be 1/(-3) + (-125)/(-3). Is k equal to m?
False
Let y be (-12)/(-22) - (-770182)/1078. Which is smaller: y or 714?
714
Let j be (0 - (-4998)/(-77))*-2. Is 129 at least as big as j?
False
Let m be -138 - (1 - (1 - 2)). Let l be ((-537)/358)/((-1)/2). Let u be m/34 + l - -1. Is u > -1?
True
Let u = 1107 + -2298. Is u <= -1191?
True
Let k be (-258970)/23541 - -13 - 2. Is k != 0?
True
Let f = 150145/11 + -13672. Is f at most as big as -23?
False
Suppose -10*w = 6*w - 17344. Let r = w + -63950/59. Let x be (-8)/(-36) - 7/(-9). Is x equal to r?
False
Let c(v) = 251*v + 2479. Let w be c(-10). Which is smaller: w or -38?
-38
Suppose 283*n - 384*n - 808 = 0. Which is smaller: 2 or n?
n
Let u be 24 + 11 + (-8342)/485. Suppose -30 = -3*t + 24. Does u = t?
False
Let d(y) = 2*y - 10. Let c = 31 - 21. Suppose -4*j + 6*w - 3*w = 11, -j + 5*w = -c. Let m be d(j). Is -20 bigger than m?
False
Let z = -4/12419 + -21385498/62095. Is -345 > z?
False
Let m = 122.57 + -131.477. Let d = 59 + -59.093. Let p = m + d. Is 6 less than p?
False
Suppose 5*j - 5*y + 4*y = 1394, -3*y = 4*j - 1100. Let t be ((-3)/2)/(j/272 + -1). Let x be (3/1)/(t/(-13) - 5). Which is smaller: x or 14?
x
Suppose -6*g - 318 = -56*g + 132. Is 6 < g?
True
Let g = -109 - -1198/11. Let v = -0.018044 + 0.158044. Is g greater than or equal to v?
False
Let b = 1223 + -692. Is 4766/9 less than or equal to b?
True
Let m be 46/(-46) - 2/(-4)*2. Which is bigger: m or -2/1983?
m
Let i = -20086 - -40173/2. Which is greater: i or -631/18?
i
Let l be (0 - -2)/(16/24) - 1. Suppose 5*z = -l*o + o + 79, -2*z = -5*o + 341. Which is smaller: 71 or o?
o
Let j = -11/524 + 63721/2620. Which is bigger: j or 24?
j
Suppose 0 = 2*n + 2*n. Let c = -25078 + 25028. Which is bigger: c or n?
n
Let l(r) = -585*r**2 - 38*r - 118. Let b be l(-3). Is b greater than or equal to -5269?
True
Let m(z) = -z + 43. Let t be m(-26). Let n be (13/3)/(t/36 + -2). Is -54 bigger than n?
False
Let c be -12*31455/1082016 - 2/(-16). Let g be ((-4)/(-8))/((-578)/8). Let a = c + g. Which is greater: 0 or a?
0
Let z = 195 - 342. Let i = 143 + z. Let f = 2.1 + -2. Is i > f?
False
Suppose -2*w - 21 = -4*j + 9, 4*w - 30 = -2*j. Let h be (6 - (-1 - -3))*2. Is j != h?
True
Let w = 299 + -299.198. Let t = 3.198 + w. Which is smaller: t or -0.015?
-0.015
Suppose 0 = 25*f - 6429 - 2421. Which is smaller: 357 or f?
f
Suppose -2*x = -31 - 51. Let m = x - 7. Let l = 2927 - 2892. Is m at least l?
False
Let v be 1/(-6) + 3 + 4 + 651/(-90). Which is smaller: v or 1194?
v
Let r = -208.835 + -0.165. Let y = -205.02 - r. Let j = -4 + y. Which is greater: -0.3 or j?
j
Let u = -6525839/14061729 + -2/67281. Let r = u - -14/19. Do -2/3 and r have different values?
True
Suppose 0*k - 5 = -5*k. Suppose 5*p + k = -4, -3*p + 48 = -l. Let x = -47 - l. Do 8/3 and x have different values?
True
Let u = 1.09585 + -0.09585. Is 496.5 equal to u?
False
Let f = 25 + -22. Let o be f/15 + (244/590)/(-2). Let g = 112/885 - o. Is g less than or equal to 1/4?
True
Let j(l) = l**2 + 15*l + 67. Let i be j(-18). Let r = -733/6 + i. Is r at most -1?
True
Suppose -z + 7 = 5*r - 6, 4*r = 2*z + 2. Suppose 13 = -3*d - 0*o + 4*o, -2*d = z*o + 3. Let u(s) = -3*s - 4. Let f be u(d). Which is smaller: 7 or f?
f
Suppose 4*h - 8 = 4*u + 196, -3*h = 3*u - 177. Let d = -14772 - -14826. Is h equal to d?
False
Let z = 240554 - 6254383/26. Let y(i) = i**2 + 5*i + 2. Let q be y(-5). Which is smaller: z or q?
z
Let n(q) = 31*q - 35. Let h be n(2). Suppose 2*k - h = 247. Are k and 136 unequal?
True
Let 