be (-3 - 12)/3 + 9 + -3. Let c be (-8060)/(-60) - x/3. Is c at most as big as 1?
False
Let t = 17/9582 + -195325/120896094. Which is bigger: t or 2/7?
2/7
Suppose -48 = 7*m - 48. Suppose 7*h - 49 - 63 = m. Is h greater than or equal to 13?
True
Let m be 2/(-5) + 1935/25. Let k = m - 74. Let s be k/6*-1*(-4)/16. Are 0 and s nonequal?
True
Let o be 40/118*74/148. Which is smaller: -2/25 or o?
-2/25
Suppose 127 - 1419 = 4*y. Let u = 242 + y. Which is smaller: -83 or u?
-83
Let w be 1248/(-234)*771/(-2). Is w equal to 2056?
True
Let i = 3/6391 - 31967/25564. Which is greater: i or -1?
-1
Let c = 44563407779/40383 + -1103519. Which is smaller: 0 or c?
0
Let u = 16176 + -16376. Is u at least -208?
True
Suppose 0 = -3*p + 5*x - 7 + 43, 12 = -4*x. Suppose -2*c - 41 = s, 5*s + 79 = -3*c + p. Let j be (-149)/7 + (208/91 - 2). Which is greater: c or j?
c
Let z(l) = 4304*l**3 + 2*l**2 - 7*l - 10. Let x be z(-1). Do x and -4304 have different values?
True
Suppose -90*a + 140*a = 0. Which is smaller: 6/2087 or a?
a
Let o = 398.3 + -397.3. Which is bigger: o or 1636/11?
1636/11
Let o be 2/(-6)*2*(-9)/(-6). Let k be o + -5 + 2 + (-354)/(-6). Does 53 = k?
False
Let t be 196/(-245) + (-628)/(-10). Is -6/7 greater than or equal to t?
False
Suppose j - 3*q = 3*j - 86, 4*q = 2*j - 72. Let l(c) = -3*c**2 + 3*c + 762. Let t be l(16). Which is smaller: j or t?
j
Let a be (15/(-6))/(2/(-12)). Let v = 56521/1240 - 4682/155. Which is smaller: v or a?
a
Let h = -139.9 + 144. Let o = 79 + -83. Let m = h + o. Is m > 0.1?
False
Let h = 1531 - 1530.256. Let q = h - 0.644. Suppose -a + 10 = -16. Is q < a?
True
Let h = -1505.1 - -1507.1. Which is greater: h or 13805?
13805
Let d(x) = -1199*x + 13 + 2115*x - 1081*x. Let j be d(1). Is -0.1 != j?
True
Let x(u) = u**3 + 4*u**2 - 5*u - 1. Let g be x(-5). Let d = 113 - 141. Let c be (-6 - -10) + 152/d. Is c != g?
True
Let g = 171 + -240. Let k = g + 71. Let v(o) = 3*o + 19. Let x be v(-7). Is x greater than or equal to k?
False
Let m be (-1 - 7/4) + (54 - -31) + -92. Let p(k) = -3 + k**3 - 2*k**3 + 2 + 3*k**2 - 3*k. Let j be p(3). Is m at least as big as j?
True
Let z = -133 - -641. Let o = 508 - z. Which is smaller: -1/112 or o?
-1/112
Let q = -477 - -235.2. Let v = q - -242. Are 40 and v nonequal?
True
Let s = -5160 - -5219. Let r = -46 - -130. Let a = r - s. Which is bigger: -1 or a?
a
Let m = -488 - -490. Suppose -m*r + 5*w = -24, -r + 6 = -0*r - w. Which is bigger: 1.09 or r?
r
Suppose -15570 = -537*n + 507*n. Do 519 and n have the same value?
True
Let d be (-1134)/(-66) - -2*3/(-33). Let b be 2/d + (-15)/(-306). Let h = 44.2 + -44. Which is bigger: h or b?
h
Suppose 90*g + 62 + 118 = 0. Let a be ((-20)/15)/((-1)/(-2)). Is a > g?
False
Let y = 1872 - 1874.558. Let s = y + 0.258. Let j = 552/5 - 110. Is j < s?
False
Let l(b) = 1113*b - 8526. Let i be l(7). Which is bigger: i or -1467/2?
-1467/2
Let a be 1/(-7)*(1470/(-100))/7. Is a at most as big as 191?
True
Suppose l - 4*a - 11 = 0, 2*a = 5*l - 0*a - 19. Let p = 8 + -8. Suppose -2*f + 0*x + x + 15 = p, 6 = f - 2*x. Which is bigger: f or l?
f
Let o = -5113 + 5113. Which is bigger: o or -47/59?
o
Let f(o) = -49*o**2 + 138*o + 275. Let m be f(-2). Is m != -193?
True
Suppose 10*y = 11*y + 4*r + 4, -3*y + 5*r + 5 = 0. Let j be 8/(-12) - (-89)/147. Are y and j unequal?
True
Suppose -3*w + 35 = -4*h, 25*w + 4*h = 21*w. Suppose -w*f - 7 = -l - l, 0 = -2*l + f + 3. Which is bigger: l or -1/26?
l
Let d be ((-2)/(4/11673))/840. Let y be ((-35784)/(-640))/21 + (-15)/5. Let c = d + y. Is -6 > c?
True
Let z = -8350 - -5777. Which is smaller: 1 or z?
z
Let k(r) = r**3 - 27*r**2 + 24*r + 48. Let q be k(26). Let c = -104 + 109. Which is smaller: c or q?
q
Let z be (-275685)/252 - (8 + -6). Let f = 1096 + z. Let t = f + 247/420. Is t smaller than 4?
True
Suppose 5 = -21*s - 16. Let o be ((-22)/(-6) + s)/(21/(-126)). Which is smaller: o or -15?
o
Suppose -8*g + 2*g = -18. Suppose g*h + 3*m + 30 = 0, -8 = -5*h + 4*h + 5*m. Let b(o) = -7*o - 94. Let a be b(-12). Is a less than h?
True
Suppose -5*q - 12*q + 352 = -q. Let s be (-4 + (-12)/(-4))*-17. Let z = 36 - s. Which is smaller: z or q?
z
Let t = 523 + -784. Let l = t - -782/3. Let q = -0.076 - -0.142. Is q bigger than l?
True
Suppose 2*k + k = 3*r - 393, 2*k + 392 = 3*r. Let q = 149 - r. Let w be (-19)/6*-2*3. Is q equal to w?
True
Suppose -4*t = 4*n + 12, 5*t = 4*n - 7*n - 13. Let x be 98/(-42) + 0/t. Let r be (-22)/8 - (-5)/(-20). Is r smaller than x?
True
Suppose 93*v - 98*v + 4*d + 29 = 0, 3*d = -3*v - 15. Is v > -40/121?
True
Let c(s) = 8960*s**2 + 7*s + 45. Let g be c(-10). Let m = -1688913191/1885 + g. Let n = -2/145 - m. Are -1 and n non-equal?
True
Let j be (4/(-10))/(1020/(-2400)). Let r(k) = k**2 + 10*k + 18. Let f be r(-8). Which is smaller: f or j?
j
Suppose -22*q + 61 + 71 = 0. Let s be 2 + -6 + -1 + q + 1. Which is smaller: -0.83 or s?
-0.83
Let i(a) = 38*a + 231. Let g be i(-6). Suppose -g*c - 192 = -4*v, -2*v + c + 59 = -39. Is v less than 3/5?
False
Let z be (8/(-10))/(-13 - -12). Which is smaller: 7/15 or z?
7/15
Let p be ((1 - 1)*-1)/2. Suppose 6*k - 4 = 20. Let r(n) = -8*n + 27. Let g be r(k). Is p greater than g?
True
Let p = -19 + 10. Let w(v) = 1955*v - 1 - 1 - 1953*v - 6*v**2 + 0*v**2. Let c be w(-1). Is c < p?
True
Suppose -4*p = -9*p - 11*p. Suppose i + i = 2*w + 4, p = w + i - 4. Which is smaller: 22 or w?
w
Suppose -48*f - 83*f + 11274 = -6542. Are f and 37 equal?
False
Suppose 67*h = h - 7*h + 511. Suppose -4*p + 4 + 4 = 0. Suppose 4*o - 28 = p*n + n, -5*o + 35 = -4*n. Is h greater than or equal to o?
True
Let t = 6.1354 - -3.4646. Is t greater than -2/41?
True
Let p be (4 + 75)*(-2 + 4). Suppose 161*u = w + 162*u - 154, -u - 2 = 0. Which is bigger: p or w?
p
Let b = -165.68 - -165. Let k = b + 0.68. Which is smaller: 9/16 or k?
k
Let o = -12883 + 12829.19. Let f = 0.81 + o. Which is smaller: f or 1?
f
Let n = -5371/940 + 59/188. Let f(a) = -3*a + 2. Let r be f(2). Is r greater than n?
True
Let r = -123 - -123. Suppose -4*s = -5*h - 62 - 115, r = -4*h + 2*s - 144. Which is smaller: h or -29?
h
Suppose 5 + 265 = 3*s. Let p be 1/(-2)*s/75. Let l = -2.4 - -0.4. Is l < p?
True
Let g = 14.3 - 0.5. Let m = 108 - 122. Let j = g + m. Which is smaller: j or 14/9?
j
Let x be (-8 - (-38)/5)/(4/(-10)) - -3. Which is smaller: 123/23 or x?
x
Let o(n) = -n**2 - 5*n - 4. Let t be o(0). Are t and -242/81 unequal?
True
Suppose -428*t = -426*t + 4*c + 318, 3*c = -5*t - 781. Is t < -141?
True
Let z = 3504.8 - 3492.8. Which is bigger: -12/19 or z?
z
Let u = -2352 + 2343. Which is greater: -0.082 or u?
-0.082
Let b be 165/(-77) + 2 - 447/(-3171). Is 1 greater than b?
True
Let r(p) = p**3 - 2*p**2 - 4*p. Let k be r(4). Let t = k - 8. Let n be -3*t/(-6)*22/(-4). Which is smaller: n or -23?
-23
Let o be (-15)/(12/30 - 21/40). Suppose -6*a - 6*a + o = 0. Let w(v) = -v**3 - 5*v**2 - 3*v - 3. Let l be w(-5). Which is smaller: l or a?
a
Suppose -29*s - 35 = -34*s. Let k = s - -8. Suppose -k*l + 13*l - 36 = 0. Which is greater: l or -84/5?
-84/5
Let h = -29.41 - -4.41. Let d = -4 - h. Which is smaller: d or 2/17?
2/17
Let n = -1.6 - -2.2. Let p = -0.8 - n. Let r = 1.1 + p. Which is greater: r or -1/2?
r
Let u(d) = -285*d + 705*d - 279*d - 238*d - 8*d**2 - 15. Let q be u(-11). Does 86 = q?
False
Suppose j - 2*f - 113 = 0, -3*j + 49 = -4*f - 300. Suppose -18*c = -j + 987. Suppose -3*d - 2*n - 22 - 118 = 0, 3*d + n = -142. Is d at most c?
True
Let x = 84.94 + -2.94. Which is bigger: -55 or x?
x
Let z = 2809597/640 - 4390. Is z greater than 1?
False
Suppose 0*r + r = 2. Suppose -4*x + 234 = r*q, -5*q + 2*q = -15. Let f(z) = -z**3 - z**2 + 79*z + 55. Let n be f(0). Which is bigger: n or x?
x
Let r(d) = -d**3 - 9*d**2 - 9*d + 50. Let w be r(-7). Which is bigger: w or -33?
w
Suppose -9*a + 5*a + 48 = 0. Suppose a = 2*b - 3*d, 0*b - 3*b + 2*d + 13 = 0. Let q = 2/47 - -554/235. Is q >= b?
False
Let c = 22259659/65387 + -8/9341. Is 341 less than c?
False
Suppose -5*p - 2*o = -2111, o - 433 + 12 = -p. Let y = -5330 + 5320. Let b be 4 - (p/102 + y/85). Is -1 > b?
False
Let i be (-533)/312 - ((-20)/(-12) - (3 + -2)). Suppose -5*t = -7*t - 4. Is t < i?
False
Let o be 44104/(-894)*((-26)/136 + 5/(-20)). Which is greater: o or 23?
23
Let j be (4506/(-1128