(19 + -21)/(3 - (3 - 1)). Which is smaller: -41/66 or g?
g
Let d(f) = 16*f**2 - 183*f - 43. Let g be d(12). Which is smaller: g or 459/7?
g
Suppose -3*b = -6*z + 247 - 4768, 3*b = -21. Which is smaller: z or -6055/8?
z
Suppose -4*z - 52 - 60 = 0. Let d(o) = -o**3 - 29*o**2 - 29*o - 18. Let n be d(z). Is 11 less than n?
False
Let w = 7/97 - -6450/679. Suppose -70 = -136*g + 129*g. Which is bigger: w or g?
g
Suppose -4*q + 31 + 29 = 0. Suppose 3*j = 3*a - 36 + 12, -4*a = 2*j - 2. Suppose 100 - 72 = 2*l - 2*n, -a*l - n + 42 = 0. Is q smaller than l?
False
Let f(o) = o**2 + 15*o + 54. Let p be f(-11). Suppose -p*d + 12 = 2. Let a be (3/2)/((-3)/(-1)). Which is smaller: a or d?
a
Suppose 5*t + 2*k = 1376, -1286 = -4*t - 2*k - 184. Let q = t + -263. Which is greater: 2 or q?
q
Suppose 5*i - 3*b = 831, 3*i - 6*b = -2*b + 492. Let r = 166 - i. Which is smaller: r or -18/19?
r
Let r be 28/3*102/119. Let o be 1/11 - r/72. Which is greater: 0 or o?
0
Let r = 6075836698/14975 - 405732. Which is bigger: r or 1?
1
Let y(w) = -99*w - 5. Let a be y(1). Let z = -94 - a. Suppose 0 = -z*l + 15 + 35. Is l at most 4?
False
Let f = 7309/2570 - 4955881/1455905. Let o = f - -3/206. Is o at least -7?
True
Let q = -43.4 + 45.34. Let z = q + 0.06. Let j = 0.4 + -0.35. Do j and z have different values?
True
Let i(q) = q**3 + 9. Let b be i(0). Let l be (-12)/b*162/12. Suppose g = -g - 40. Is g smaller than l?
True
Let w be (-4 - 2244/(-270))/((-90)/(-75)). Are w and 4 nonequal?
True
Let p = 16191/2 - 8096. Which is smaller: 655 or p?
p
Let y be (-1)/1 + (-6)/(-4)*-14. Let o be -296 + y + (1 + 0 - 7). Is -323 > o?
True
Suppose 2*d = -2*t - 298, -52*d + 55*d = -t - 147. Which is smaller: t or -172?
-172
Let z be -5 + 31/7 + (-216)/(-182). Let d = -1 + 2. Let b be 3*(d - (-6)/(-9)). Does z = b?
False
Let x = -20061/8477 - 1/1211. Do -1 and x have the same value?
False
Let a be (-6)/(-10) + 96/(-10). Let u be a/27 + (-24)/(-45). Is 16 at most u?
False
Let h = -132.9 - -138.59. Let r = h - 0.79. Let k = 4.9 - r. Is k at least -45?
True
Suppose 18*s - 24*s - 1680 = 0. Let h be (-1480)/s - 2/7. Which is bigger: h or 80/13?
80/13
Let n = 1.67 - -7.33. Let q = -3/32 - -97/352. Is n at most as big as q?
False
Let b be (1507/1370)/((-2)/(-3140)). Which is greater: b or -0.5?
b
Let s(k) = 10*k - 26. Let r be s(3). Suppose 6 = y - 3*t, 2*y + r*t = -0 - 8. Is y less than 3/35?
True
Let h(u) = -u**3 - 6*u**2. Let z be h(0). Which is bigger: 4/983 or z?
4/983
Suppose -2*z + 5*y - 3*y = 580, -3*z - 3*y = 840. Let m = 42051 + -42338. Which is greater: m or z?
z
Suppose -6*a - 156 = -930. Let u = -8 + a. Which is smaller: u or 120?
120
Let x = 31641 + -31640. Which is greater: x or 3/538?
x
Let k be (219/2)/(42/56). Let w = k - 101. Let c be (1/(-3))/(6/w). Is c <= -2?
True
Suppose 3*l = -2*l. Suppose 4*a = 4, -5*h + l*a + 301 = a. Suppose 0 = -y - 5*y + h. Does y = 10?
True
Suppose 0 = 2*m - 3*d - 672, 3*m - 4*d - 751 = 255. Suppose 0 = 5*p - 0*j - j + 542, j = -3*p - m. Is p bigger than -110?
True
Let v = 8154 - 8154.631. Which is greater: 3 or v?
3
Let o be 36/(-42) + 351/189. Which is smaller: o or 2/43635?
2/43635
Let z = -169 + 173. Suppose 0 = z*y + 2*m, y - 2*m = -4*y. Is y != 1/144?
True
Let n(z) = -z**3 - 5*z**2 + 7*z - 7. Let g be n(-6). Let k = 15 + g. Let p be (-133)/(-49) - (k - -1). Is p less than or equal to -1/3?
False
Suppose 5*c = -2*n + 2*c + 4, 0 = 4*n - 2*c - 8. Suppose 0 = -k + 12 - n. Let l be k*(-2 - ((-30)/(-28) - 3)). Which is smaller: -1 or l?
-1
Let r = -33686.986 - -33633. Let a = 0.014 - r. Let l = -8 + a. Which is greater: l or -0.1?
l
Let d = 0.4629 - 0.5629. Which is bigger: d or 591.1?
591.1
Suppose 0 = 34*h + 5402 - 234. Which is smaller: -61 or h?
h
Let u be 18881544/742553 - 25 - ((-4)/7 - -1). Is 3/2 smaller than u?
False
Let j be -213*(-42)/18540 - (-2)/(-4). Let z = -1073/103 - j. Is z at least as big as -9?
False
Suppose -6*s + 378 = -360. Let l = s - 77. Let p be 1/4*4/l. Which is smaller: 1 or p?
p
Let p = -31 - -33. Suppose -4*r - 2*s = -26, -17 = -p*r - 9*s + 4*s. Let v be 708/178 + (26 + r)/(-8). Is v equal to -1?
False
Let b = 4276 + -1056174/247. Suppose 8 = -k - 2*x, 3*x + 19 = 3*k - 2. Let w be 1*(-4)/2*1/k. Which is bigger: b or w?
b
Suppose 104*t + 2519 = 99*t + 3*b, -3*b - 1016 = 2*t. Which is smaller: 6 or t?
t
Let f(l) = -l**3 + 29*l**2 + 416*l - 246. Let d be f(40). Which is smaller: -1204 or d?
d
Suppose 77*s + 10 = 82*s. Suppose 3*h + 4*v + 50 = -129, 4*v - 126 = s*h. Is h greater than -59?
False
Let s = 4.19 - -73.81. Let u = -78.26 + s. Which is smaller: -2/23 or u?
u
Let a = 418 - 814. Let v = a + 443. Let r = 7 - 7. Which is smaller: r or v?
r
Let i = 0.9 + 0.1. Let k = -203 + 1382. Let h = k - 1251. Which is smaller: i or h?
h
Let n(a) = 4*a + 13. Let v(m) = -m + 1. Let x(q) = -n(q) - 6*v(q). Let z be x(6). Let h be (35/20)/z + 58/8. Which is smaller: 8 or h?
h
Let o be ((468/(-64))/((-9)/12))/((-468)/624). Which is smaller: -362/27 or o?
-362/27
Let d = -837.6 - -940.62. Let c = 0.2504 + 102.7496. Let z = c - d. Is 3 > z?
True
Let x be 68662/(-50)*(-8 - -9). Let s = x - -1373. Is s at most as big as 1?
True
Let n = 235 + -475. Let f be (n/(-112))/(4/(-42)). Let g = 158/7 + f. Which is bigger: g or 0?
g
Suppose 7*v = -352 + 79. Suppose 3*r = -s - 2*s + 648, 2*r - 1095 = -5*s. Suppose 5*p + 20 = 0, p + s - 61 = -4*f. Is f bigger than v?
False
Let c(d) = -4*d**3 + 10*d**2 + 59*d - 83. Let t be c(-6). Does 783 = t?
False
Let f be (-41)/76 - 3/(-6). Let y be (1 - 1)*(-6 + (-77)/(-14)). Which is bigger: f or y?
y
Let b = -90258.05 - -90258. Let q = 0.1 + 0. Let w = 0 + q. Which is smaller: w or b?
b
Let u be ((-1)/587)/((-3)/(-15)). Which is greater: u or -1?
u
Let a be -830*(-13)/1365 - (-5 + 1). Is 12 less than a?
False
Let y = 6.695 - 6.7. Let i = y - 0.035. Which is smaller: i or 4?
i
Let l be 1074/2685 - (3/(-5))/(-2 + 3). Which is bigger: 2/98145 or l?
l
Let j(d) = 254*d + 6459. Let l be j(-25). Let m be 14/8 + (-3)/(-12). Does l = m?
False
Let z = 1121.1 - 1054. Let v = -159 + 226. Let m = z - v. Is m greater than or equal to 65?
False
Let j = 6341567/245 - 25884. Is j <= 1?
True
Let h = 70 - 81. Let g = -15 + h. Let j be (g/(-4) + 1)*(-12)/9. Which is greater: j or -13?
j
Let d be 6/(-4) + 0 - 159/6. Let c be d/98*3/2. Which is smaller: c or -5?
-5
Let s(h) = h**3 - 10*h**2 - 17*h + 59. Let b be s(11). Let r be -159 + (2 - (b - -1)). Is r != -150?
True
Let v be 1/(-2)*388/679. Is -327 smaller than v?
True
Let i = 293 - 293. Suppose 3*o - 2 + 11 = i. Let h be (12 - 0)/(9/(-12)). Are o and h equal?
False
Let y be ((-164)/(-12) - (-77)/(-7))*45/12. Is y <= 228?
True
Let o = -10562 + 10564. Is 268/119 <= o?
False
Let l be 13/(-4) + (-1 - -4) - (-13)/4. Is 258/127 not equal to l?
True
Let o = -5612/39765 - -24/1205. Suppose 6*u = 2*u + 12. Suppose -u*f = -3, 4 + 0 = -2*a + 4*f. Which is smaller: a or o?
o
Suppose -24*m - 112516 = 283874 + 46698. Is m <= -18463?
False
Let j = -65.345 + 64.545. Let c be (-16 + 2)/((-1034)/(-15)). Let g = c - -1/47. Is g > j?
True
Let z be 3/16938*208/(-26). Which is bigger: -1 or z?
z
Let g = 345/4 + -175/2. Let s = 113.92 - 112. Let c = -1.82 + s. Is c <= g?
False
Let u = 5.4 - -3.6. Let j = -7764 + 7736. Which is bigger: u or j?
u
Let l = 154 + -147. Suppose -24*y + 31*y = -l. Are 1/27 and y nonequal?
True
Let m = 20.1 - 4.1. Let l = m + -16.1. Let t be 11/(132/(-40))*3/16. Is t at least as big as l?
False
Let y be -2 + -2 + (1413 - 1)/(-4). Let i = y - -340. Is -17 >= i?
True
Let q(g) = -3*g - 16. Let d be q(-5). Let r be ((-156)/(-9))/(d + 46/42). Which is greater: 183 or r?
183
Suppose 0 = 4*r + 64 + 16. Let d be (-4)/r - 125068/340. Let s = -368 - d. Is -1 greater than or equal to s?
False
Suppose 16*d - 549 + 21 = 0. Suppose -3*w + n + 97 = 0, -5*w + 2*n + 68 = -93. Let u = d - w. Is -2/57 at least as big as u?
False
Let k(v) = v**2 - 17*v - 15. Let c be k(18). Suppose -2*u - c*t + 8*t = -13, 0 = u + 2*t + 7. Let m(z) = 9*z**3 - 2*z**2. Let i be m(u). Is -10 < i?
False
Let d be 18/(-60) - (-12259)/230. Which is smaller: -1/233 or d?
-1/233
Let l = -2054.73 + 70.73. Is -1/4 at least as big as l?
True
Let w(i) = -2*i**3 + 13*i**2 - 7*i - 38. Let j be w(5). Which is greater: 66/41 or j?
j
