h is bigger: g or -19?
g
Suppose l + 15 = 5*f, -3*l + 3*f = 7*f - 12. Let h be 40/3*(-48)/(-32). Let q be (-9)/((-2790)/(-176)) - (-12)/h. Is l >= q?
False
Let w be 14/(-196) + (741/(-42))/19. Let i be ((-8)/70)/(68/(-10)). Which is bigger: w or i?
i
Let y = 5395 + -21579/4. Is y at most as big as -82.08?
False
Let d(c) = 3*c + 35. Let h be d(-11). Suppose 3*t + 2*t - 40 = 3*p, -h*t = -5*p - 35. Let y = 0.9 - 0.9. Which is smaller: p or y?
p
Suppose 10 = -5*r - 0*r. Let k be r/1 - (-8 - (-10 - -4)). Let q(s) = -s + 1. Let y be q(3). Is k at most y?
False
Let s(y) = y**3 - 17*y**2 + 13*y + 32. Let m be s(16). Let q be 12/16*m/(-42). Let o = 98 + -99. Is q at least o?
True
Let x = -0.006 + -3.594. Let w = -3.7 - x. Let u = w - -0.08. Is u >= -4?
True
Let c(q) = q**3 - 2*q**2 + 4*q - 6. Suppose -3*s + 2 + 4 = 0. Let p be c(s). Suppose 0 = p*f - 5*l + 17, -2*f - 2*l + 13 = 3*l. Which is smaller: f or -3.2?
-3.2
Let w be (-16)/(-3)*3/2. Let f = w - 9. Let s be (36/(-10) + 4)/((-231)/55). Are f and s equal?
False
Suppose 55 = -2977*t + 3032*t. Suppose 0*s = -3*s - 6. Let o be 1/s - 18/(-20). Do t and o have different values?
True
Suppose -288*i = -20*i + 1876. Which is greater: i or -75?
i
Suppose -1288*l - 48 = -1284*l. Is 21.2 < l?
False
Suppose -18*x = -16*x + 2418. Let v be ((4/(-3))/2)/(62/x). Let t be (18/(-2))/(-6 - -5). Which is bigger: v or t?
v
Let i = 246 + -417. Let q = i + 59. Let k = q - -82. Which is greater: k or 1?
1
Let a be 8198/61460 + 1464/(-915)*(-1)/(-12). Is -1 at most a?
True
Suppose 69*q = 64*q - 2*n + 3738, -2*n = -8. Is q less than 3?
False
Let n be (-20)/15 + (-2)/3. Suppose -3*t + 5*m = -20, -m - 4 + 0 = -4*t. Suppose 7*s - 3*s = t. Is s smaller than n?
False
Let o(r) = -3*r - 64*r**3 + 0 + 12*r**2 - 35 + 31*r**3 + 34*r**3. Let j be o(-12). Which is smaller: j or 3/4?
3/4
Let n be (4965/(-20))/((-78)/2560). Let q = n - 8156. Are q and -7 equal?
False
Suppose 318*k = 323*k. Are 8/639 and k non-equal?
True
Let c = 716 - 558. Which is smaller: 6 or c?
6
Let z(v) = -122*v - 3060. Let s be z(-17). Which is smaller: -997 or s?
-997
Let t = 96 + -95. Let x be -91 - (2 + t + -2 + 4). Is x not equal to -96?
False
Suppose -3*h + 8*h = -295. Suppose 24*a + 2176 = 765 + 43. Is h smaller than a?
True
Let t = -24667 + 24668. Which is greater: -1/7725 or t?
t
Let h = 2040858531/8789 + -232206. Is h at least as big as -1?
True
Let k(c) = 5*c**3 - 49*c**2 - 5*c - 51. Let o be k(10). Let f = -5401/2703 - 19/159. Is o bigger than f?
True
Let n be 1000/6 + -2 + (-26)/39. Let k = -336 + 337. Which is greater: n or k?
n
Suppose -114*l = 173*l + 303646. Are -4233/4 and l non-equal?
True
Let f = -17423 + 17423. Which is smaller: 1/1135 or f?
f
Suppose 21*j - 828 = 3603. Which is bigger: 213 or j?
213
Suppose g = -6*v + 2*v + 139, 4*v - 270 = -2*g. Let o = g + -126. Let f = o + -13. Is -7 less than f?
False
Suppose -4*u + 8 = 0, -s + 4*s + 23 = 4*u. Let o = 6244 - 6180.02. Let c = o - 64. Is s > c?
False
Let d = 413 - 410. Is d >= -1/506?
True
Let t = -46.3 + 75.3. Which is smaller: 133 or t?
t
Suppose -j - 2002 = 2*h + 2*h, 0 = -4*h + 5*j - 1990. Let w = 86 + h. Let i be w/(-21) + -2 - (-2)/7. Is i at most 19?
True
Let n = -376 - -159. Let j = -60311 - -60094. Is n greater than or equal to j?
True
Let x be 0/(-2 - (5 + -4)). Suppose 50 = -x*a + 5*a. Suppose b - 11*b - a = 0. Is -2/127 at least as big as b?
True
Let d = -0.2 - -0.4. Let r = d - 0.1. Let q be (1 + (-45)/25)*291/(-388). Do q and r have the same value?
False
Let j = -218 + 218. Which is smaller: 2/419 or j?
j
Let o be 6/(-18)*15 - 19. Let g be (-2*(-26)/o)/1. Are -3 and g unequal?
True
Suppose 0 = 14*x - 3*x + x. Suppose 6*r - 54 + 90 = x. Do 1 and r have different values?
True
Suppose 5*q - 3*r + 3 = 0, 0 + 2 = -3*q + 2*r. Let s be -17 - 0 - (4 + q + -5). Let o = -37 + 20. Is o > s?
False
Suppose -32 = -34*r + 30*r. Suppose r*v - 2*v = -3*v. Which is smaller: v or 12/25?
v
Let l be (-276123)/21 + 82/(-287). Is -2/5 at most l?
False
Let u = -25 + 17. Let f = -9739/108 + 25/27. Let m = 88 + f. Which is smaller: u or m?
u
Let l be -1*(9/(-180)*5)/(-1). Which is bigger: l or -25/4?
l
Let o = -1382 + 1338. Suppose 0 = 4*h - 540 - 180. Let d be ((-4)/(-8))/((-2)/h). Are d and o unequal?
True
Let x = 1492.8 + -1491. Which is smaller: x or -0.13?
-0.13
Suppose -49*f + 28*f + 167*f - 32412 = 0. Let v(n) = 15*n**2 - 6*n + 6. Let i be v(4). Are i and f equal?
True
Let g = -1.89 + 103.89. Let u = -102.088 + g. Let m = u + 8.088. Is m > -2/3?
True
Suppose 21*n - 13*n - 800 = 0. Let k be 7 - (-1 + 11) - (-1 + n). Let g be ((-130)/8)/(k/(-12)) - -2. Is -1 <= g?
True
Let y be ((-1)/(-43) - -6) + -6. Let c = y + 380/301. Suppose p + 2*p - 3 = 0. Is p less than or equal to c?
True
Let n = -28/11 - 3796/99. Let c = n + 2657/63. Is 1 equal to c?
False
Suppose 0 = -5*p + 3*d + 9, 5*p + 3*d + 8 = 29. Suppose 4*c - p*g = -4*g - 1133, 9 = 3*g. Is -284 greater than or equal to c?
True
Let m be (200/15)/10 + (-689)/(-3). Let f = 246 - m. Which is smaller: 61/4 or f?
f
Let d = -417.96 + 439. Let m = 21 - d. Let g = 2/459 - 1385/1836. Is m not equal to g?
True
Suppose -b - 2*w + 81 = 7, -5*b - 5*w = -360. Suppose 5*h + 92 = l, -3*h = 3*l + b - 4. Is 0.2 <= h?
False
Suppose -18*h + 16*h = -3*s + 16, -3*s = -3*h - 27. Let x = 5615/9 - 625. Is s less than or equal to x?
True
Suppose 0 = -4*u + 5*q + 1411 - 68, 0 = -2*u + 2*q + 674. Suppose i + u = -i. Let z be -2 + (i/30)/(-3). Which is bigger: -0.09 or z?
-0.09
Let p be (-3936)/(-788) - (-2)/4*-10. Let l = p - 12012/985. Is l smaller than 0?
True
Let l = -15068 + 15078.1. Is l less than 3/4?
False
Let i(p) = -3*p - 9. Let v(m) = m**2 + 7*m + 7. Let f be v(-3). Let w be i(f). Suppose -w*t + 70 = t. Which is smaller: t or 9?
9
Let p(r) = -r**3 + 7*r**2 + 2*r - 15. Let f be p(7). Let w = 295.12 - 295. Which is greater: f or w?
w
Let r = -75/91 - -27/26. Suppose -3*l - 3 = -6. Does r = l?
False
Let d(w) = 3*w**2 + w + 6. Let p be d(-3). Let h = 78 - 48. Is p < h?
False
Let c = -949.1 - -949. Which is smaller: 327 or c?
c
Let r = -119.823 + 119. Let g = -365.023 - -365. Let q = g - r. Which is smaller: q or 0?
0
Suppose 5*i - 4*s = 635, 2*i + s + s - 254 = 0. Let r = i + -144. Which is bigger: -19 or r?
r
Let a(h) = -h + 7. Let k be a(2). Suppose 20 = b + 2*b + 2*r, -4*r - 48 = -k*b. Suppose -28 = -2*w + 4*c, -4 = 2*c - c. Which is greater: w or b?
b
Suppose 7*a + 11 = 97*a + 101. Which is greater: -2/41589 or a?
-2/41589
Let i(l) = -2*l**2 + 80*l - 1. Let v be i(31). Is 2792/5 at most v?
False
Let y(m) = -m + 14. Let n be y(11). Suppose 3*u + n*g = 12, 0 = -4*u - 5*g + 14 + 7. Let i = 0.886 + -0.9. Is u bigger than i?
False
Let v be 14/105 + 5246/30. Suppose -176*n = -v*n + 113. Which is greater: -225/2 or n?
-225/2
Suppose 0 = a + a - 4. Let h be 13/(-9) + a - 0. Suppose 2*r + 4 = 11*s - 14*s, 30 = 3*s - 15*r. Is h < s?
False
Let i(m) = 2*m - 4. Let v be i(3). Suppose 0*d + 8 = -2*d, 0 = -v*y + 3*d + 22. Suppose -q = y, -2*q - 11 = 2*r + 5. Is r > -1?
False
Suppose d - 2*x = 168, -4*d - 3*x + 490 = -149. Suppose 22*v + d = 19*v. Let r be 5/(-6)*v/(-300). Is r <= -1?
False
Let c be 12/9 + (-220)/12. Let a(v) = 3*v**2 + 50*v - 6. Let w be a(c). Is 0.1 equal to w?
False
Suppose f + 13 = 5*o - 43, 3*o - 5*f = 38. Let j = o - 1. Suppose -5*h - j = 30. Is h at least 5?
False
Let x = -350 + -1099. Let k = x - -360797/249. Is k less than 0?
True
Suppose -2*y = 5*m - 5*y + 59, 2*y - 36 = 3*m. Let r be (-4)/m - (-434)/(-10). Suppose 0 = 16*q + 482 + 222. Which is greater: r or q?
r
Let y be (-4)/(-36)*((-676)/(-9850))/2. Let w = y + -2/225. Which is bigger: w or 0?
0
Let v be ((-63)/(-42))/(3/31). Suppose -18*x = 3*x - 336. Which is smaller: v or x?
v
Let k = -11.725 + 11.625. Is k <= -18809?
False
Let h = -51.54 + 51. Let z = -2.46 + h. Let d = 1 + z. Which is greater: d or 3/5?
3/5
Let y be (-8)/(-6) + 14/(-42). Suppose 5*j + 4*u + 54 = 0, -u + 5*u = -3*j - 34. Let l be 4/30*-2*(-9)/j. Is y greater than l?
True
Let i be 16/128 + 42/(-80). Let l = 65.1 - 69. Let z = -4.9 - l. Is z bigger than i?
False
Suppose 0 = 4*m - q + 5 - 6, -2*q = -m - 5. Let g be ((-6)/9)/((-41)/(-42) - m). Let k = g + -29. Which is greater: k or -3?
k
Let p = -1277/1239 - -58/59. Are p and 1