 -15 - a. Let g = 29 + j. Which is bigger: g or 5/7?
5/7
Suppose -21*t = -54*t - 118*t. Which is smaller: -46/197 or t?
-46/197
Let f = -6989 - -6992. Which is greater: f or 2?
f
Let j = 154 + -158. Let k be 206*j/4200 - 3/(-15). Which is smaller: k or 0?
0
Let d be -4 + 4 + (-282)/(-11). Let t = d + -25109/979. Suppose -4*j + j = 3. Is j at most as big as t?
True
Let k = -452 + 444. Let o(z) = 5*z + 43. Let q be o(k). Which is smaller: q or 43/10?
q
Let b(t) = -18*t**2 - 7*t - 163. Let h be b(0). Is -176 smaller than h?
True
Let h = 2.476 - 5.476. Which is smaller: 270 or h?
h
Let y = -645 - -480. Let g be 15/10*44/y. Which is bigger: g or -3/62?
-3/62
Let l = 358186 - 2503184/7. Let u = l + -588. Which is greater: u or -4/3?
u
Suppose 463 - 184 = -3*b - q, -4*b - 3*q - 367 = 0. Is b >= -1605/17?
True
Suppose -11*v - 15*v - 3120 = 0. Let z be v/(-150) - (-4)/(-5). Let y = 74/93 + -4/31. Which is bigger: y or z?
y
Let v be (-24)/(-44)*(325/1612)/25. Which is smaller: 0.03 or v?
v
Let a be 25/(-1 + 6) - 6/2. Let v be ((-1)/12)/(a/(-15)). Is v greater than 1?
False
Let r = -88679/3 + 29611. Let k be -1 + -1 + (50 - -2). Is r at most k?
False
Suppose 0 = -s - 4. Let x = s - -4. Let k = 525/2 + -17333/66. Which is smaller: x or k?
k
Let f = 728.8 - 70.8. Let j = f - 655.11. Is j smaller than 1?
False
Let f = 0.2 - 0.4. Suppose 3*m - 4*d + 48 = 0, -4*m - 2*d - 77 = -3*d. Let w be (-2)/4 - -2*(-55)/m. Is f at most as big as w?
True
Let o = 44/5349 - 532645/64102416. Which is greater: o or 1?
1
Let m be (0 - -1)*(25 - 1683/(-18)). Are m and 2/13 equal?
False
Suppose -1 = -3*l + 11, 4*l - 5740 = -4*x. Is 1433 < x?
False
Let x = 2782 + -194737/70. Let c be 1729/117 - 7/((-126)/4). Suppose -f = 2*v - 5, -f = v - c + 11. Is v > x?
True
Suppose 714 = 26*x + 8*x. Suppose -f = -5*f + 3*z + 78, 0 = 5*z - 10. Is x < f?
False
Suppose 57*i - 9050 - 7879 = 0. Which is smaller: 299 or i?
i
Let d = -0.52227 - -0.05227. Which is bigger: 2/19 or d?
2/19
Let m = -5944 + 5944. Which is greater: 2/5143 or m?
2/5143
Let t be (15/(-9))/(-5)*2. Suppose 4*k - 4*q + 20 = 0, 6*k - 4*q = k - 30. Let s(u) = u**2 + 13*u + 11. Let v be s(k). Which is smaller: v or t?
v
Let y = 15.7 - 46.7. Which is smaller: -0.1 or y?
y
Suppose 2*c - 13 = -i, 2*c + 25 = 3*i + 2. Suppose 3*n - 3 = -4*t, t - 2*t - n = -2. Let h be (3 + t)/1 + -1 + 8. Is i at least h?
True
Let s = -79 - -147. Let k be (s + 7)/(1 - 0) + 3. Suppose n - 47 = -5*a + 10, -2*n = a - k. Do 35 and n have the same value?
False
Suppose 24*t - 114538 + 45058 = 0. Which is smaller: t or 2896?
t
Let w be ((-909)/(-27))/(1/(-3)). Let z = w + 110. Let x(a) = a**2 - 6*a + 9. Let y be x(6). Is z < y?
False
Let o = -248 + -324. Let s be (-1)/o*(-224)/(-140). Which is smaller: s or -1?
-1
Let v be (-440)/(-2310)*(-6)/(-37). Which is bigger: v or 0?
v
Let t = 164 + -308. Let j = t + 1590/11. Which is smaller: -4 or j?
-4
Let j = 125.9589 + 0.0211. Let v = -126 + j. Are 0 and v non-equal?
True
Let q(b) = -b**3 + 4*b**2 + 2*b - 3. Let z be q(4). Let j = z - 9. Suppose 39*n = 8*n - 44*n - 450. Which is bigger: n or j?
j
Let l be 184/3 + 0 + 56/84. Let a(z) = 10*z**2 - 15*z - 40. Let u be a(4). Is u less than or equal to l?
True
Let c = -904 - -520. Let h = c + 5761/15. Which is smaller: h or 1?
h
Let d = -0.069 + 0.036. Let x = 0.284 - 0.217. Let a = d - x. Which is smaller: a or -1?
-1
Suppose -288 = -22*g - 10*g. Let w be 72/(-5888)*(-12)/g. Is 0 greater than w?
False
Suppose -293 = -10*i + 57. Suppose -10*b - 25 + i = 0. Let a = 5687/15 - 379. Which is smaller: a or b?
a
Let j(b) = -b**2 + 55*b + 1314. Let i be j(73). Are i and -2/20655 equal?
False
Let v = 435 - 1. Let h = -434 + v. Is h equal to -14/73?
False
Let n = 34636 + -34521.128. Let v = n + -115. Which is smaller: v or 2?
v
Let t = 5337/5 + -176251/165. Let v be 219/(-146)*(4/(-6))/(-1). Is v bigger than t?
False
Let g be ((-25)/5)/(-5)*(-1 + 12). Suppose -g*q + 4 = -9*q. Suppose q - 5 = 3*x. Is x greater than 18?
False
Suppose -30*g - 399 - 1662 = -39*g. Is 233 >= g?
True
Let k = 0.00197 + -0.10197. Which is smaller: 13037 or k?
k
Let y(f) = 28*f + 58. Let v be y(6). Let k(z) = -2*z**3 + 18*z**2 + z + 3. Let p be k(6). Which is greater: p or v?
v
Suppose -2*w - 3*w = 0. Let r be (9/3780)/(5 + 333/(-72)). Which is smaller: w or r?
w
Suppose 3*z - 5*z - 3*y - 2352 = 0, 0 = 4*z - y + 4676. Let u = z + 8175/7. Suppose 8 = -4*a - c, -3*a = 4*c - 0*c + 6. Which is smaller: a or u?
u
Let j = -10.002 + 0.002. Let o = 21 + j. Let u = -1.08 - -0.08. Which is greater: o or u?
o
Suppose -3*c - 6*g + g = -45, 2*c = 2*g + 30. Suppose c*p = 20*p - 165. Which is bigger: p or 35?
35
Let t be -5 + 5*96/20. Suppose 4*o + 21 = 4*r - t, -3*o + 18 = 5*r. Which is greater: 3 or r?
r
Suppose -21 = 4*d + 3*u, 0 = d - 2*d + 3*u - 9. Let k be (6*(-4)/d)/2. Suppose -k*b = -0*b + 104. Which is smaller: b or -53?
-53
Let r(t) = -4*t + 35. Let w be r(-5). Suppose 5*z - w = 9*z + 5*m, -3*z = m + 33. Is z at least as big as -16?
True
Let q = -45 - -46. Let j = -139 - -136. Is j >= q?
False
Let m(y) = 5*y + 6. Let c be m(-2). Let i be c + 6 + -4 + 5. Suppose -5*k + 4*z - 11 = -2*k, -k + i*z - 7 = 0. Which is greater: k or 6/23?
6/23
Let p = 540928/7 - 78760. Is p > -1484?
False
Let k = -25.3 + 25. Let g = -238 - -238.3. Which is smaller: g or k?
k
Let b(n) = 80*n + 1728. Let d be b(-26). Are d and -2 unequal?
True
Let n be 42/105 - (1608/(-40))/(-3). Which is smaller: n or -410/29?
-410/29
Suppose -7*a = -26 + 5. Let y be (1 - -1 - a) + 40. Let o = y + -37. Which is smaller: o or 6/7?
6/7
Let a be 6 - 118/6 - -14. Is -1615 <= a?
True
Let h(i) = 171*i + 8940. Let s be h(-66). Are -11734/5 and s unequal?
True
Suppose 0 = 4*b - 4*s + 4700, -3*b + 3*s = -7*b - 4665. Is b greater than or equal to -1171?
True
Let a(t) = -t**3 - 11*t**2 - 2*t - 17. Let g be a(-11). Let q(r) = 14*r - 1. Let w be q(7). Suppose g*v = w + 33. Which is smaller: v or 25?
25
Let x = -9488/3 - -3458. Is x greater than 295?
True
Let c be 7/((1/955)/(33/605)). Let a(w) = -w**3 - 4*w + 6. Let j be a(7). Let n = c + j. Which is bigger: n or -1?
n
Let k be (-4)/5 + (-3 - (-1048)/(-40)). Let x = 3 + k. Suppose 4*f + 108 = -0*f. Is f less than x?
False
Let x be 266/171 + 3761/(-2412). Which is smaller: x or 5?
x
Let m = 49691/2964 - 218/13. Which is smaller: m or 17?
m
Let k = -4873/2 - -2307367/947. Do k and -1 have different values?
True
Let v = -4.318 - -4.418. Is 84 less than v?
False
Let m = -375 + 374. Let k = -5.8 + 2.8. Let s = 3.17 + k. Which is smaller: s or m?
m
Let i = -4.2 + 7.8. Let k = 36 + -33. Let j be 1*(-4)/k - 10/15. Which is smaller: j or i?
j
Suppose 0 = -2*k - t - 206, 823*t = -k + 821*t - 103. Is k > -124?
True
Suppose -322 + 127 = r. Let y be -200 + -1 + (-15)/(195/(-91)). Which is smaller: y or r?
r
Suppose -2*f - 297 = 7*f. Let b = 132 + f. Is 100 less than b?
False
Suppose -2*r + 2*r = -6*r. Let b be (-16)/20 - ((-129)/255 - r). Let z be -2 - -2 - (-1 + 1). Which is smaller: b or z?
b
Suppose -2*l + 6 = r, -l - 4*l = 2*r - 7. Let z(o) = 2*o + 7. Let t be z(-5). Let b be t/(-8)*r/276. Are 1 and b non-equal?
True
Suppose 438 = -2*c - 2352. Let q be c/(-40) - (-3)/24. Are q and -2 nonequal?
True
Let y be (-3051)/126 + (-15)/18. Which is smaller: -24 or y?
y
Let n(k) = -k**2 - 10*k - 12. Let i be n(-12). Let t = i + 85. Let l be 35/t - 2/(-7). Is -4/29 not equal to l?
True
Let y be ((-500)/15)/(-5)*51. Let x = 3698/11 - y. Let g = -579/143 - x. Which is greater: 1 or g?
1
Let a be ((-27)/15 - -2)*(1243 - 1). Is 249 at most as big as a?
False
Suppose -190666 - 27017 = 45*t - 112*t. Which is smaller: t or 3252?
t
Let q = -0.0643 + -27.8357. Let z = -23.1 + q. Which is smaller: 1 or z?
z
Suppose -234*d + 128*d - 420 = -120*d. Let z = 0.11 - 0.01. Are d and z non-equal?
True
Let g(s) = -6*s + 131. Let k be g(22). Let h = 2.07 - 107.07. Which is smaller: k or h?
h
Let h = -5873 - -4479. Do -1396 and h have the same value?
False
Let q be 287/41 + (-18508)/4. Which is smaller: -4619 or q?
q
Let h = -137 - -138. Let w be (h/1)/(((-54)/1194)/9). Is -199 <= w?
True
Let d = 0.2961 + 56.7039. Let h = 0.09 - 0.19. Which is bigger: h or d?
d
Let v = 0.02978 - 12.02978. Which is greater: -23 or v?
v
Let j = 96 + -91. Let w be ((-21