)/25 - 21/(-5). Suppose -12 = p*i, 2*w + 2*i + 0*i + 4 = 0. Is w at most 2/379?
False
Let l = 197331 - 197352. Suppose h = -4*x - x + 14, -5*x + 3*h - 2 = 0. Which is bigger: x or l?
x
Let b = -100 + 59. Let v(u) = -16 - 41*u - 18 - 32*u + 72*u. Let p be v(7). Is p < b?
False
Let n(g) = -g + 5. Let h be n(5). Let o(t) = -t**3 - 34*t**2 + 2*t + 55. Let a be o(-34). Let w(r) = -5*r - 65. Let i be w(a). Is i smaller than h?
False
Let n = -104 - -60. Let y = -54 - n. Is 11/5 < y?
False
Let h be 849/(-24) + 21/56. Let y be (15/h)/((-4)/(-42)). Suppose -3*a - 5 = -2*m + 15, -4*m + 36 = -5*a. Is y at most as big as a?
True
Let p = 185 + -170. Let q = -2 - p. Suppose -4*u - w = -5, 5 + 2 = 2*u + 5*w. Is q at least as big as u?
False
Let n = 134/17 - 36098/4709. Is -1 equal to n?
False
Suppose -2*o - 394 = 2*c, 10*c = 12*c - 4*o + 358. Let x(f) = 7*f**3 - f**2 - 3*f - 3. Let r be x(-3). Is c at most as big as r?
False
Let a be (498/30)/((-5)/(-50)). Which is smaller: 161 or a?
161
Let j be 45/1 - (-7)/7*0. Let z = 41 - j. Let w be z/(-6)*(-72)/6. Is w less than or equal to -9?
False
Let w = -213/10 + -761/5. Let t = -179 - w. Is -6 <= t?
True
Let c be 3 + (-24424)/2444 + (-196)/(-28). Is 0 greater than or equal to c?
False
Let f be (-5 - 60/(-18)) + (-32)/(-12). Is f at least 2/1199?
True
Let s be (14960/(-102))/((-2)/(-9)). Let j be (-1910)/s - (-6)/(-4). Which is bigger: 1 or j?
j
Let a(q) = 4*q**2 + 27*q - 7. Let k be a(-7). Suppose y - 211 = 3*y - u, 0 = -5*y - 5*u - 535. Let m be y/152 + (-3)/(-4). Is k > m?
False
Let z = -0.8657 + 0.901. Let u = z - -1.9647. Suppose -42 = -5*b + k, 3*b - 2*k - 10 = 18. Which is smaller: u or b?
u
Let l be 4 + 0 - (-533)/(-130). Suppose -3*d + 3*p + 6 = 3, 4*p + 8 = 2*d. Let f be (-9)/(-7) - d/(-7). Which is smaller: l or f?
l
Let s be 2 + (-2 - -1) + 1. Let g be (s/(-8))/(2/8). Let c be (3/(-10))/(324/(-48)). Are g and c equal?
False
Let f = -572 - -554. Let g be (60/f + 4)/((-1)/(-21)). Which is smaller: g or -2?
-2
Suppose -a = -2*n + 75, -30*a + 25*a - 2*n = 447. Do a and -58 have different values?
True
Suppose f + 0*f = 3*j + 14, -4*j = 20. Let w be (6*f/(-2))/(12/(-8)). Which is smaller: w or 0.9?
w
Let a(v) = 4 + 6 - 9 + v. Let o be a(9). Suppose -4*f - 6 = 4*z + o, 3*z = -5*f - 6. Is z smaller than -2?
True
Suppose -5*u + 4*l - 16 = -9*u, 2*u - 2*l + 4 = 0. Let h = 22 + -26.8. Which is smaller: u or h?
h
Let l = 958 - 956. Let w = 279.61 + -279. Which is greater: w or l?
l
Let w be -4 + (23 - (2 - 1)). Let o be w/(-40) - (-4)/20. Let t = 2.4 - 2.2. Which is smaller: t or o?
o
Let s(t) be the first derivative of -2*t**3/3 + 9*t**2/2 + 4*t + 53. Let u be s(5). Which is bigger: 2/125 or u?
2/125
Let x = 7 - 13. Let m = -6 - x. Let c = 1102.5 - 1102. Which is bigger: c or m?
c
Suppose -23 = -4*d + 49. Suppose 5*u + 4*p - 41 = 0, u - 2*p - p + 7 = 0. Suppose u*b + b - 102 = 0. Is d at most as big as b?
False
Let l(t) = -35*t - 23. Let f be l(-6). Let w = -185 + f. Is -13/7 at most w?
True
Suppose -6*g + 42 + 36 = 0. Suppose -g*s + 360 = -7*s. Is s > 60?
False
Let z = 0.45 + 5.85. Suppose 4*q + 12 - 44 = g, 2*q - 3*g = 16. Suppose -77 = q*j - 85. Is z not equal to j?
True
Let q = 8437435087208198289/8897290 - 948315170935. Let h = -2/22355 - q. Is 1 not equal to h?
True
Let n be (-1576)/2112 + 42/(-77). Is 0 less than n?
False
Let o = -1 + 0. Let m = -8511663243/632114 + 2194690/163. Let k = m + 30/277. Are k and o unequal?
True
Let t = -1536 + 6141/4. Which is greater: -1/63 or t?
-1/63
Let v = -51.383 - -1.383. Let c = -4.2 - 40.8. Let p = v - c. Which is greater: -0.7 or p?
-0.7
Let t be 778/(-1074) - (66/462 + 30/(-63)). Which is smaller: t or 1?
t
Suppose 5*k = 8*v - 9*v - 40, -2*k + 248 = -4*v. Let q be v/180 + 190/(-24). Is q at most -0.1?
True
Let m be 2*-2 - (15 + -15). Let s be -5 + 1 + (1 - m). Let l = s + -2. Is l greater than 1/183?
False
Let d be (-2)/40 + (-7392750)/(-147655000). Which is smaller: -1 or d?
-1
Let y = -5546 - -6006316/1083. Let a = y - 8606/31407. Which is smaller: 0 or a?
a
Let y = 2 + -3. Let k = -39893 - -39930.927. Let b = k + -38. Do b and y have the same value?
False
Let q be (-21)/(-6)*6/(-4). Let p be 1512/162*((-3)/(-2))/1. Suppose -62 = 19*n + p. Is n < q?
False
Let n be (5/(-5))/(1/27). Let v be 94/30 + 9/n. Suppose 17*t - 50 = -8*t. Which is greater: t or v?
v
Let l(g) = -32*g + 6. Let p be l(3). Let r(f) = f**3 + 9*f**2 + 20*f + 8. Let v be r(-8). Which is smaller: p or v?
p
Let d = 19/10 - -48/5. Let q(y) be the second derivative of y**3/3 + 16*y**2 + 17*y. Let z be q(-10). Is z > d?
True
Let s(p) = p**2 + 14*p - 61. Let m be s(-17). Let o = -90711/44 - -8205/4. Is m >= o?
True
Let w = -22.6 + 254.6. Let y = 72 - w. Which is smaller: 1/2 or y?
y
Suppose 95*w - 635870 = -37*w - 59030. Which is greater: -1 or w?
w
Let g = -106 + 320/3. Is -145/12 not equal to g?
True
Let j = 964 - 967. Let k be (12 - -2) + 3/3 + j. Let y = -1054/3 + 362. Is y smaller than k?
True
Suppose 976 = 2*g + 4*d + 998, -3*d - 15 = 0. Does -16/283 = g?
False
Let b be 2*2/(-20)*2. Let m = -5388/7 + 588. Let n = m + 182. Which is bigger: b or n?
n
Let k = 1104 + -1051. Let c(j) = 7*j - 13. Let t be c(6). Suppose -3*o + 9 = s - t, 0 = -2*s - 5*o + 81. Is s > k?
False
Let r(c) = 22*c - 38. Let g be r(8). Suppose -19*q - 4*q - g = 0. Does -5 = q?
False
Suppose 0 = 527*i - 514*i - 52. Let x be (3/6)/(5/190) - i. Suppose -w + j + 15 = 0, 0*j = -3*w - 3*j + 57. Which is smaller: x or w?
x
Let r(p) = 5*p - 35. Let s be r(-8). Let g be ((-10)/s)/((-28)/(-10)). Do g and 0 have the same value?
False
Suppose 161*k - 159*k - 2*b + 5154 = 0, 10293 = -4*k - b. Which is smaller: k or -2/5?
k
Let x(f) = -2*f**2 - 5*f + 72. Let z be x(0). Let j be -1 - (z/(-8) + 9). Which is smaller: j or 2/153?
j
Suppose -2*y + 4 + 0 = -2*b, 3*y - 2 = 4*b. Suppose 0 = 5*j - y*t + 3*t - 120, 3*t - 48 = -2*j. Suppose 4*q + 20 = -j. Which is smaller: q or -10?
q
Let s = 1.064 - 1.1501. Let f = -0.0861 - s. Are f and -2.5 non-equal?
True
Suppose -28*f - 6*f = -714. Suppose -f*i + 26*i = -510. Which is smaller: -103 or i?
-103
Let b = 3379/8 - 418. Let u(t) = -137*t + 7402. Let m be u(54). Is b < m?
False
Let b(l) = -73*l**3 + 6*l**2 - 3*l - 2. Let n be b(-1). Let d = 104 + n. Is 182 not equal to d?
True
Let q = 8.67 - 8.2. Let r = -18.33 + 13.8. Let v = q - r. Is 1 <= v?
True
Let o = 0.2359 - 13.0359. Let g = -142 - -153.8. Let i = o + g. Which is smaller: i or -0.1?
i
Suppose 2 = -16*r + 17*r. Suppose 5*u - m + r*m - 15 = 0, 2*u = 2*m + 18. Suppose 8 = u*z - 5*z + 4*w, 0 = -5*z + 5*w - 40. Which is bigger: z or -25/3?
z
Let x = 0.07439 - 515.07439. Is x greater than -0.07?
False
Let p be 6/(-4)*(-2)/6*82. Let q = -41 + p. Which is smaller: -22/21 or q?
-22/21
Suppose -2*j - 2*j + k = -697, -371 = -2*j + 5*k. Suppose 3*r = j - 53. Let d = 272 - 232. Is d greater than or equal to r?
True
Let f(m) = -m**2 + 36*m + 40. Let k be f(37). Suppose -3*s = -k*y - 204, 4*s - 2*y + 7*y = 299. Which is smaller: 74 or s?
s
Let c be (0 - -1)/(4 - 5) - 29. Let n be 4 + 6/c*22. Suppose -i - 6 = -4*q, 4 + 2 = -3*i. Which is smaller: q or n?
n
Suppose -8600 = -146*t + 32134. Is 839/3 at least as big as t?
True
Let t = 554783/9 + -61861. Is t >= -218?
False
Let a = -3555 - -3715. Is a <= 143?
False
Let y = -18.4 + 217.4. Let f = 11.907 - 10.907. Is f smaller than y?
True
Let c = -88 + 199. Let i = -188 + c. Let z = i - -85. Is z smaller than 7?
False
Let f(x) = -5*x**3 + 17*x**2 + 49*x - 53. Let r be f(-13). Is r at least as big as 13168?
True
Let m = 9.4826 - -164.1154. Let s = 0.402 + m. Is 1/3 greater than s?
False
Suppose -4*b = 20 - 8, -3*b = -4*g + 5. Let u be 140/286 + 2/(-11). Which is greater: g or u?
u
Suppose 0 = 5*u, 39 = 3*f + 4*u + 9. Let w be 7*((-116)/748 - f/85). Let g(j) = -j**3 - 6*j**2 + 8*j + 6. Let k be g(-7). Which is smaller: k or w?
w
Let z be 2/(-65)*5 + (-116)/(-468). Is z at most 0?
False
Suppose -4*y = -a + 3*a - 2, -2*a - 2*y = -2. Let v be 0 + (-3)/(2 + 1) + 2. Let j be 1 - -6*v/(-9). Which is bigger: j or a?
a
Let u be 0 + (-1)/(-2)*150/(-925). Which is smaller: -4 or u?
-4
Let h(f) = -f**2 + 85*f - 323. Let s be h(4). Which is smaller: -1/5020 or s?
-1/5020
Let i = -161 - -125. Let y be (4/6)/(i/(-24)). Which is smal