63 + 657. Let h(q) = -q**3 - 2*q**2 + 3*q + 1. Let x be h(-3). Are x and p non-equal?
True
Let c be (1/(-30))/(4330/(-32451)) - 133/532. Do c and -1 have the same value?
False
Let s = 5406 - 5406. Let l = -5 - -15. Is s bigger than l?
False
Let p be (-3)/(-21)*-2 + 4/14. Let k be 9/2 + 10/20. Suppose -5*s - 5*m - k = p, -s = -5*s - m - 7. Do s and -8/9 have different values?
True
Let q = -40 - -31. Let j = -8 - q. Let b be -6 + 6 - (2 - 3)*j. Which is greater: -3/26 or b?
b
Let r(j) = -3*j + 29. Let a be r(12). Let u = 61 - a. Which is bigger: u or 67?
u
Let p = -32662 + 33024. Let d be (-2)/6 + 2180/6. Which is smaller: d or p?
p
Suppose -5*t + 60 = -5*g, -1601*t + 54 = -3*g - 1596*t. Let y = 10 - 25/2. Is y greater than g?
True
Let l = 327 - 695. Let w = l + 368. Which is greater: 1/851 or w?
1/851
Let j be 2/(((-510)/(-69075))/(-17)). Is j equal to -4604?
False
Let m be 2/42*(2 + 1). Let i(u) = -5*u**2 + 58*u + 24. Let v be i(12). Suppose -1 = 4*a + 4*s + 15, v = 2*a + 4*s + 18. Is a at most m?
False
Suppose -2*m = 5*x + 126, 9*m + 2*x + 273 = 4*m. Let f = m + 57. Suppose -f*t + 7 = 3. Are -2/65 and t nonequal?
True
Suppose -2*j + 3*x = -111 - 108, -3*j + 5*x + 328 = 0. Let i = 110 - j. Are i and 6/65 equal?
False
Let c(w) = 402*w + 7564. Let r be c(-18). Which is greater: r or 333?
333
Let t be 3/2*(-28)/36*-6. Suppose -4*q = -6*q + 2. Suppose -t*k = q + 6. Which is greater: k or -9?
k
Suppose -y + 1965 = -0*c + 5*c, 0 = 3*c - y - 1187. Let j(k) = 66*k - 1. Let r be j(6). Which is smaller: c or r?
c
Suppose -5*a + 263 = 238. Suppose h + 4 = -2*g + 3*g, 3*h + 4*g = -a. Let i = 526/3 + -178. Which is bigger: i or h?
i
Let g be (-34)/(-170) + 1 + (-488)/(-10). Let u = g + -57. Which is bigger: u or -11?
u
Let p be ((-1024)/10)/((-2)/(-70)*7). Let x = -658 - p. Which is smaller: -145 or x?
x
Let u = -0.7241 - -0.0141. Which is smaller: 1.9 or u?
u
Let g be (((-7010)/(-25))/2)/(5/(-5)). Is g at least -140?
False
Let y(t) = -5*t + 15 + 4*t**2 + 17 - 2 - 3*t**2. Let d be y(18). Which is greater: 263 or d?
d
Suppose 31*u + 28*u + 119112 = 17*u. Is -2835 not equal to u?
True
Suppose -9775*f + 5760 = -9759*f. Do 356 and f have the same value?
False
Suppose 7835 - 2831 = 139*t. Which is bigger: 332/9 or t?
332/9
Let k = 437 + -436. Let i be ((-10)/(-40))/(k - (-15)/(-12)). Is i <= -24/89?
True
Suppose -u = -c - 6*u + 24, c + 3*u = 16. Suppose -22*k = -20*k - 26. Let x be (k - 6)/((-1)/c). Which is bigger: x or 0.1?
0.1
Let n(t) be the first derivative of -15*t**4/4 + t**3/3 - 3*t**2/2 + 7*t - 243. Let i be n(2). Is -117 <= i?
True
Let w be 4328/322 + ((-2869)/133 - -21). Which is smaller: w or 13?
w
Let y be (5 - (-96)/(-20)) + (1034/(-70))/11. Is y at least as big as 3/23?
False
Let w = -15718 + 16725. Is w >= 1007?
True
Suppose 8*l - 17 = 3*l - u, 4*u = l + 5. Let j be (754/l)/((-1444)/(-276) + -5). Let o = j - 1082. Which is greater: 3 or o?
3
Let x = -2.467 + 2.78. Let n = 0.363 - x. Which is bigger: n or 21?
21
Let x = -3540 - -3551. Suppose 3*a = 4*a - 8. Suppose -10*n + a*n = -24. Is n at most as big as x?
False
Let w = 11761 - 10980. Which is bigger: 780 or w?
w
Let p be (844/(-20))/((-642)/(-90) - 7). Let i = 22147/70 + p. Let u = 1 + 0. Is u greater than or equal to i?
True
Suppose 4*w + 22 = 6. Let r be w/(-26) + 192/(-572). Let l = -383 - -392. Which is greater: l or r?
l
Let u = 129 - 203. Let t = u - -181. Let h = 106 - t. Are 1/130 and h non-equal?
True
Suppose -2 = 2*r + 12, -5*r = 4*z + 11. Is 382/83 less than or equal to z?
True
Let w be (96/(-33) - -4)*(1 + -2). Let q = -959/22 - w. Is q greater than -44?
True
Let d be (-4)/(-48)*(-9584)/150. Let r = 2/225 - d. Which is greater: r or 5?
r
Let k = 40 - 12. Let p = k + -5. Let d = p - 43. Is 1/4 greater than d?
True
Let n = -14.44 + 14.54. Let t = -0.07 - -0.97. Let c = t + -0.92. Is c at most as big as n?
True
Let c = -0.65 - 33.35. Let y = -97 + 135. Let n = c + y. Does 0.2 = n?
False
Let i be ((-6 - 0) + 5)*-2. Suppose -i*v + 62 = 32. Let c be 1 + 1 - (-12 + 0). Is c not equal to v?
True
Suppose -2*b + 14 = 14. Suppose -4*d - d + q - 33 = b, -3*d - 12 = 2*q. Let a be 2/5*5*-1. Which is greater: d or a?
a
Let y = -108307 + 1301239/12. Let h = y - 609/4. Is -22 >= h?
True
Let w be (-3080)/(-42) + -3 + -1. Let j = 79 - w. Which is bigger: 10 or j?
10
Let h be (11 - 10)/(2/56). Let p = h + 16. Which is bigger: 45 or p?
45
Suppose 29*c - 720 = 13*c. Suppose 11*i = 16*i - c. Let s = 18024/2195 + -5/439. Which is smaller: i or s?
s
Suppose 2*s + p = -213, 0 = -3*s + 2*s - p - 105. Suppose -g - 9 = -i - 12, g = -4*i + 8. Is s less than i?
True
Suppose 5*t = 7*j - 5*j + 132, 4*t + 236 = -4*j. Is -60 > j?
True
Suppose 0 = -0*a + a - 5*p - 266, -3*p = -2*a + 518. Let q = -485 + a. Is q less than or equal to -227?
True
Let a be 1552/(-1940) + -2 + (-9)/(-5). Is -1/8287 <= a?
False
Let q be (-38)/(-475)*(-60)/3528. Is -1 at least as big as q?
False
Let c = -23.7 + 21.3. Let t = c - -3.4. Let u = -3 - 1. Which is smaller: u or t?
u
Let k = -4543 - -4875. Which is greater: k or 330?
k
Suppose -3*x = -44*i + 41*i - 573, 3*x = -5*i - 947. Is i <= -19?
True
Let r be 14889/18 - (-14)/(-84). Suppose r = 13*q - 395. Is 92 less than q?
True
Let j = 2779.75 - 2308. Let a = j - 476. Which is greater: 1 or a?
1
Let o = -190 - -235. Suppose 17 - 222 = -5*r. Which is smaller: o or r?
r
Let c be (1 + 74/(-26))/((-602)/(-6020)). Which is smaller: -17 or c?
c
Suppose 0*p = 5*p - 40. Let a be ((-19)/(-4) - 3/4)*110/220. Suppose p*x + a = 6*x. Which is smaller: x or -1/30?
x
Suppose 116459 = -21*b + 26621. Is -4278 at least as big as b?
True
Let g(k) be the second derivative of -k**3 + 9*k. Let m be g(1). Suppose -3*s - 9*s - 96 = 0. Are m and s unequal?
True
Suppose 6*u + 169 = -209. Let y = 67 + u. Suppose 0 = -y*g - 7 + 7. Is 1/78 greater than or equal to g?
True
Let m be 48/60*2/4*-70. Let w be 3/m*(-7 - 7/63). Is 1 greater than w?
True
Let w = -192202621 + 16529173939/86. Let m = -2924 - w. Is m at most as big as -1?
False
Let s be (-90)/50 - (-4)/(-60)*-27. Which is smaller: s or -1/6473?
-1/6473
Let g be (-1)/(-1) - (-4 + -4)/(-4). Which is smaller: g or -7/426?
g
Let b be 3 + -2 + (0 - -1949)*16/96. Which is greater: -0.2 or b?
b
Let y(w) = w**2 + 2*w - 34. Suppose 4*l + 2*b + 5 = -11, 0 = 4*l + 5*b + 4. Let d be y(l). Is d < -14?
False
Let d be (22 - 19)/((-9)/42). Let z be (2 - 4)/(4/14). Let f = z + -8. Which is greater: d or f?
d
Let q(o) = o**3 + o**2 + o + 1. Let y(f) = -3*f**3 - 10*f**2 + 5*f - 11. Let g(j) = 4*q(j) + y(j). Let a be g(4). Let c be 0/(a/2*2). Is 0 equal to c?
True
Let j be 2/(((-21)/(-434))/(5 - -208)). Which is smaller: 8803 or j?
8803
Suppose 0 = -1675*q + 1616*q + 8083. Which is smaller: 7 or q?
7
Suppose -2*p - 353 = -4*c + 77, 7*c - 733 = -3*p. Which is bigger: c or 0.17?
c
Suppose 5*t + 3 = 13. Suppose -5*f = t*f - 105. Let j be 6/f + 532/(-155) + 3. Is j != 1?
True
Let t(l) = l**3 - 6*l**2 + 2*l + 2. Suppose 12*a + a = 39. Let v be t(a). Let n(b) = b**2 + 19*b + 13. Let k be n(v). Are 11 and k non-equal?
True
Let z = -142 - -139. Let t be (2 + 1 - (-2292)/(-760))*-5. Which is bigger: t or z?
t
Suppose z + 6 = 3*k, 15*k - 20*k = -2*z - 12. Which is bigger: 2/2951 or k?
2/2951
Let c be 3/(-1)*((-26)/(-6) - 1). Let h be (-196)/c - (-21)/(-35). Is h at most 19?
True
Suppose -26 = -4*g - r + 56, 4*r = 8. Let p(m) = 3*m**2 - 59*m - 20. Let i be p(g). Do -6/151 and i have different values?
True
Let h be (-6)/48 + (-1846)/5200. Which is smaller: -5.2 or h?
-5.2
Suppose -5*f + 8875 = 5*u, 2*u - 2*f - 8875 = -3*u. Let j be u/(-200) - 1/8. Is -12 equal to j?
False
Let z = 6131.1 + -6131. Do -0.6617 and z have the same value?
False
Let w = 255.0858 - 256.5. Which is greater: w or -2/5?
-2/5
Suppose -4*q = 3*q + 21. Let b be 51 + -2 - ((q - -1) + 1). Let n be 5*((-12)/b)/((-9)/(-30)). Is n <= -4?
True
Suppose -480 = 30*i + 18*i. Let g be (-2)/i*(-170)/102. Which is greater: g or -0.003?
-0.003
Let p = 2962.2 - 2684. Let t = p - 278. Is 48 equal to t?
False
Let c = 3.0326 - 3.4836. Which is greater: c or 2/19?
2/19
Let u(y) = y**2 + 13*y - 3. Let r be -2*((-21)/(-2) - 4). Let w be u(r). Suppose 0 = -3*h + 7*h. Which is smaller: w or h?
w
Suppose -13336*f = -13324*f - 23 - 169. Is -0.