- 3 = 4*k, -6 = -2*k. Suppose -2*g + f = -3*i, -i - i = 4*g + 20. Which is greater: g or 4?
4
Let z be (-12)/9 - (112/(-21) - 4). Suppose 3*h + 1 - 4 = 0. Suppose z = -3*d + 2*q, -2*q - 19 = 4*d + h. Which is bigger: d or -9/2?
d
Let n = -2912169/3724 + 782. Let j = n - -143377/11172. Which is bigger: j or 14?
14
Let q be 415 + -3 + 7 + -3. Let v = q + -217. Let f = 1789/9 - v. Are -0.1 and f equal?
False
Let c = -0.132 + -0.388. Let p = 1.02 - 4.5. Let i = p + c. Is i at most 0.01?
True
Let f = -70 + 93. Suppose f + 49 = -6*h. Let i be (-304)/30 - (-4)/(-6). Which is greater: i or h?
i
Let w = -1 - -10. Let f(n) = n**2 - 3*n - 2. Let k be f(w). Let u = -209/4 + k. Is 0 less than u?
False
Let d be (-2)/(-5)*-1 - 238/180. Which is smaller: d or -2?
-2
Let q be (-296 + 0)/((-16)/8). Suppose 4*n - q = 5*p, -5*p - 172 = 4*n - 0*n. Let m = p - -17. Is -15 smaller than m?
False
Suppose -6 = -16*h - 13 - 9. Is 4/251 less than h?
False
Let y = 343476/653 - 526. Suppose 0 = -p + 5*p - 4. Is y at least as big as p?
False
Let m = -699 - -709. Let b be (55 + -53)*(1 + m + -1). Is 10 at most as big as b?
True
Let d = 2.082 - 3.482. Which is bigger: -96 or d?
d
Let z be 362*(-10)/((-120)/(-6)). Are -1270/7 and z equal?
False
Let r = -4331.933 - -4333. Are r and -2/7 equal?
False
Let t be (2/7)/(-1) + 333/63. Suppose 0 = 2*z - 4, t*n + 5*z - 89 = 66. Which is bigger: 27 or n?
n
Let x = -4/46867 - -171252038/234335. Is 731 > x?
True
Let n = -272.71 + 273. Let w = -0.01 - n. Which is smaller: w or 17?
w
Let n = -59.36 + 4.86. Let h = -58.8 - n. Is -0.03 less than or equal to h?
False
Let g(u) = -u**2 + u. Let s(j) = -5*j**2 + 28*j + 52. Let n(d) = -4*g(d) + s(d). Let o be n(26). Which is smaller: 15/88 or o?
o
Let h be -3 + -36 + 36 + (-11)/(-7). Let b = -4 + -6. Let w(f) = f + 9. Let p be w(b). Which is smaller: h or p?
h
Let a = -2301 + 2211. Suppose 2*i + 3*f - 182 = -f, 3*i = -2*f + 289. Let j = a + i. Is j < 47/5?
True
Let y = 6/803 - -784/110011. Let q be 3/(-4)*116/87. Is q less than y?
True
Let a be ((-8)/(-70))/((-560)/(-150) + -3). Let f = a - 5/77. Let y = 3 + -4. Which is smaller: y or f?
y
Let n(b) = 130*b + 1159. Let s be n(-9). Is -15 at least s?
False
Let w be (-22 + 13)*(-2)/9. Let t be 68 + -2*2/w. Let c be -3*4/(-66) - (-32)/t. Are c and -2/17 equal?
False
Let r = -377.9 + 378. Which is smaller: r or -3861?
-3861
Suppose 28*l - 26*l = -2. Let i = 15227/28 + -544. Which is greater: l or i?
i
Let l be ((2658/89)/6 - 5)*(-8)/34. Is -1 < l?
True
Suppose 3*y + 2*s = 324, 0 = 3*y - 5*s - 200 - 145. Let a be (-1455)/11 + 30/y. Is -131 less than or equal to a?
False
Let p be -11 - 7/(-14)*22. Is -6 at least as big as p?
False
Let y = -537 - -541. Let u be -7*(1 - 2) + -4. Suppose t + 55 = y*i - i, 3*t = -u*i + 39. Do 17 and i have the same value?
True
Let s be ((-1)/(-128))/((-3)/(-112)*-20). Is 1 bigger than s?
True
Let u be -33 + 35 + -2 + 2 + -49. Is u greater than -47?
False
Let j = -89 - -32. Let s = -61 - j. Let c be 216/s*(-4)/12. Is c >= 18?
True
Suppose 1866 = -2*q - 3*d, -3290 + 472 = 3*q - 5*d. Let g be (q/168)/(1/(-7)). Is 45 at least g?
True
Let r(d) = -d**2 + 17*d - 43. Let n be r(10). Suppose 5*i = -4*y - n, 48*y - 4*i = 44*y - 36. Which is smaller: -55/7 or y?
y
Suppose 2*f = 2*q + 6, -9 = -2*f + 6*q - 3*q. Suppose f*p = -p + 4. Suppose w + 0*m + 5 = 3*m + 93, 5*w + 3*m - 8 = 0. Is p at least as big as w?
False
Let g = 959910801021 - 406042067864105/423. Let r = 2375506/5 - g. Let p = 6/235 - r. Is 0 >= p?
True
Let b = -4246/466126307 + -1555910702054238/29164124650069. Let q = 1974/37 + b. Is q < 0?
False
Let c = -3829 + 3828. Is c at least 2/1493?
False
Let n be 62/(-12) + (-5)/(-30). Let j be (-4)/(-26) - 445/(-65). Suppose -3*d + j - 1 = -3*y, 3*y + 4*d = -20. Which is greater: y or n?
y
Let i(u) = 3*u**3 + 11*u**2 - 5*u - 9. Let k(a) = -4*a**3 - 12*a**2 + 5*a + 9. Let q(x) = 3*i(x) + 2*k(x). Let m be q(-10). Which is greater: m or -58?
-58
Let s be (-9)/(-4032)*(-83883)/(1/(-1)). Let r = 1311/7 - s. Let g = r - 251/2624. Are 0 and g non-equal?
True
Let s be 88/231 + ((-3)/(-1) - (-143)/(-39)). Is s < -50.14?
False
Let v be -1583 + -1 + (-7)/1. Which is smaller: -1592 or v?
-1592
Suppose 78*p + 1322 - 149 = -3663. Is p at least -40?
False
Let i = -32 + 32. Suppose -4*y - 45 - 7 = t, i = -4*y. Is -45 less than t?
False
Let m(c) = 26*c**3 - 10*c**2 - 11*c + 64. Let k be m(3). Which is greater: 641 or k?
k
Let h = -2.6584 - 0.3416. Let r = 4.3 - 6.2. Which is greater: h or r?
r
Suppose 3*w + 2*f - 11 = 0, -11*w - 4*f = -15*w - 12. Are w and 28/373 non-equal?
True
Let p = -2.9 + 89.9. Let r = p + -51. Is -0.1 <= r?
True
Let v be 2/(-4)*13104/(-15 - -21). Do -1092 and v have different values?
False
Suppose 2*v + 6 = 8. Let h be 62/v - ((2 - 7) + 8). Is 59 equal to h?
True
Let y = 9.998 - 9.798. Which is smaller: y or 2.8?
y
Let s(n) = n**3 + 62*n**2 + 908*n - 152. Let f be s(-38). Let a be ((-1)/(1/2))/53. Is a greater than f?
False
Let v = -696587/330 + 12665/6. Which is smaller: 7/3 or v?
v
Let i = -41354675/6143 - -6732. Are i and -1 unequal?
True
Let n be (-1)/((2/8)/(2/8)). Let c be n/(-3) + 2747/201. Are 1 and c non-equal?
True
Let v be 4*(2 + -3 + 3). Let u be (228/v + 4)/(2/(-12)). Let b be (-30)/u + 158/(-13) + 2. Is b greater than or equal to -4?
False
Let y(k) = -k**3 + 217*k**2 - 195*k - 4536. Let r be y(216). Let u be (1/(-11))/(4/(-52)). Which is greater: u or r?
u
Let n be (-316240)/160 + 10*1. Which is smaller: -1968 or n?
-1968
Suppose 0 = 3*b - 11 + 23. Let n(q) = q**3 - 12*q**2 + 2*q - 6. Let k be n(12). Suppose -2*t + 3*o = k, t - 9 = -4*o + o. Which is smaller: t or b?
b
Suppose -97 - 3 = -5*r. Let x be 108/18 - (-1)/(-1). Suppose 0 = 4*t + h - 84, -x*t + 105 = h + 3*h. Is r < t?
True
Let t(b) = -670*b**2 - 2385*b - 6. Let r be t(-4). Which is greater: r or -1175?
-1175
Let g = 4197526/20349 + 26/2907. Let q = 206 - g. Which is smaller: q or 0.9?
q
Let n be 1/((-264)/(-32) + -8). Let u be -9 - ((0 - 3) + n). Suppose -2*s - 26 = -3*i, -3*s + 2*i - 3*i = 28. Do s and u have the same value?
True
Let p = 11.3 - 25.3. Let h = p + 62. Let u = -80 + h. Are u and -1/4 nonequal?
True
Let p be (15/9)/((-5)/(-6)). Let x be p/(-14)*(-345)/92. Do 0 and x have the same value?
False
Let z(i) = 1604*i - 31. Let w be z(1). Is w smaller than 1573?
False
Let p = 0 - -19. Let b(f) = -5*f + 36. Let y be b(-3). Let z = p - y. Which is bigger: 0 or z?
0
Let h = -49 - -55. Let t be (h/(-32) - 3) + (2 - -2). Is 1 bigger than t?
True
Let v = 9 - 10. Let s = -2599 - -28585/11. Does s = v?
False
Let v be (-355)/(-4)*(38/20 + 204/(-680)). Is v at least 2405/17?
True
Let u be -4*(-4 - (-28)/8). Suppose 0 = -3*t + 19 + 8. Suppose u*w = t*w. Which is smaller: 6/25 or w?
w
Suppose 92 + 142 = b. Let y be (-3)/b + 7/42. Is y > 18?
False
Let o = 87 + -350. Let u = -310 - o. Which is smaller: u or -0.8?
u
Let s = 11156 + -11362. Which is smaller: 1 or s?
s
Let n = 1321/14 - 20297/70. Let m = -196 - n. Let w = 17.18 + -17. Is w greater than m?
True
Let b(r) = 2*r**2 - 2*r - 7. Let f be b(3). Suppose 0 = -f*l - 2*i, 4*i = 2*l + 5*i. Let u be 31 + (4 + -3 - l). Which is greater: u or 33?
33
Let o(j) = j**3 - 40*j**2 + 165*j - 757. Let x be o(36). Does -238/143 = x?
False
Let r = -40 - -26. Let v = r - -19. Let u be (-76)/(-2)*v/60. Is u greater than 3?
True
Suppose -54 = 10*d - 4*d. Let j = 34 - d. Suppose 5*u + 2*g = 219, 0 = 4*u + 4*g + 89 - 269. Is u bigger than j?
False
Suppose -8 = -2*x + 3*s, 0 = 5*x + 3*s + 29 - 70. Suppose -4*w = 4*n + 242 - 238, 0 = 5*n - 5*w - 75. Is n at least x?
True
Let h be (-131)/(-42) + (-27)/18. Is 3 smaller than h?
False
Let t = 295/171 - 16/9. Let h = -159570 - -159572. Is h bigger than t?
True
Let r(o) = o**3 + 3*o**2 - 2*o - 6. Let g be r(-3). Suppose -2*l + l = g. Suppose 4*j - 4*h + 28 = l, -3*j - 12 = h + 1. Which is greater: j or -9?
j
Let k = 2 + -3.15. Let n = k + 1.05. Let z = 11 + -14.1. Is z less than n?
True
Suppose 42*c - 37 = 5. Let y be (0 - (-3 - -4)/(-1))*2. Are c and y unequal?
True
Let g = -30402 + 30402.1. Suppose 0 = o - 141 + 30. Is o less than g?
False
Suppose -2*w = 387*q - 386*q - 13, -3*w = -5*q - 26. Which is bigger: 15046 or q?
15046
Let v = 283 - 280. Suppose -v*c - 5*z = -22, -4*c - 