 (-39)/26 + 0 + 47/2. Let p be 5 - -470*7/182. Does p = w?
False
Let m = -7.414 - -8.414. Is m less than 6781?
True
Suppose 4*v + 205 = 9*v. Suppose v*a = 44*a + 510. Let k be 172/a - (0 + 2 + -3). Which is smaller: k or -1?
-1
Let t = 389 - 348. Suppose 0 = -5*g - t*o + 36*o - 650, -4*o - 133 = g. Are -128 and g nonequal?
True
Let u = -0.239 + -95.761. Let o = -96 - u. Let r = -44 + 40. Which is greater: r or o?
o
Let m(h) = -h**2 + 36*h - 21. Let q be m(11). Let b = q + -2291/9. Which is smaller: 0 or b?
b
Let q(a) = -13*a - 13. Let v(x) = 5*x - 1. Let f be v(0). Let n be q(f). Are 4/185 and n non-equal?
True
Let g = 8227 + -74041/9. Does g = -4/33?
False
Suppose -59*f + 225 = -54*f. Let m = -29 + f. Is m > 15?
True
Suppose -5*k + 5841 = 4*d - 2979, 3*d = -k + 6604. Suppose -15*c + d = -215. Which is smaller: 162 or c?
c
Let d = 252/193 + -391045/299343. Which is greater: -1 or d?
d
Let i = -484 - -271. Let g = i + 213.2. Suppose 0 = -z + 4*z - 6. Which is smaller: g or z?
g
Let b = -9/664 - -96989/3320. Suppose -44 = 111*m - 112*m + 4*v, m - v - 32 = 0. Is m greater than b?
False
Let s = -1868.9 + 1876.9. Let u = 0.3 - 0.3. Let m = -1 + u. Is s at most as big as m?
False
Let k be ((-22)/17)/((-268)/3618). Is k smaller than 17?
False
Let u be (-68006)/111 + 25/15. Is -609 greater than or equal to u?
True
Let g be (1 - -75*2/(-24))*24. Suppose 140 = -t + 13. Let y = t - g. Which is smaller: -2/349 or y?
y
Let z(a) = a**2 - 2*a. Let r be z(3). Let f be -1*1*(-4 + r). Let q be (-63)/(-65) + (3/(-3))/f. Is -1 not equal to q?
True
Suppose -72 = -g - 5*p, 3*p = 4 + 5. Let d = 37 - g. Is -75/4 <= d?
False
Let u = 120 - -871. Let g = u + -990.557. Let h = -0.043 + g. Is -2/5 less than h?
True
Let m = -1.453 + 1.44. Let d = m + 0.333. Let f be (1 + 1 - 1)/(-1). Is f at most as big as d?
True
Let u = -0.22 - -327.22. Let p = u - 359. Which is smaller: p or -0.5?
p
Let g(f) = 2*f + 40. Let y be g(-28). Let h be (4/(-6))/((y/6)/(-4)). Let c be 2/(-6)*3/(-13). Are h and c unequal?
True
Let j(g) = 10*g + 7. Let f be j(0). Suppose 0*d - 12 = 2*d. Let r = d + f. Is -3/20 greater than r?
False
Suppose u + a + 24 = 0, u + 0*u + 4*a + 33 = 0. Are u and 52 nonequal?
True
Let i(h) = h + 6. Let f be i(-6). Let n be -1 + f + 0 + -4. Let p(y) = -7*y - 10. Let t be p(n). Which is bigger: 24 or t?
t
Suppose -471*q + 469*q + 2289 = -3*u, -4*u = q + 3041. Do 2 and u have different values?
True
Suppose 53 = 4*v + n + 18, -3*v = 3*n - 33. Suppose -4*p = i - 1, -v*p + 12*p - 35 = -3*i. Suppose -3*o + 35 = -2*o - 5*s, -12 = 4*s. Is o at least i?
True
Let n(b) = 4*b - 99. Let g be n(24). Let d be (-25)/(-3) + (-48)/9 + 5. Suppose d = -7*c - 6. Which is greater: g or c?
c
Let q(v) = -5*v + 970. Let s be q(-50). Are s and 1221 unequal?
True
Let z = -299 - -299.31. Let b = 90 + -86. Is b bigger than z?
True
Let j = 2.28 - -18.72. Let u = 0.475 - 21.375. Let m = j + u. Which is bigger: m or 2/27?
m
Let q be (-18632)/(-41055) - 4/10. Is q bigger than 0?
True
Suppose -3*a + 3*s + 102 = 0, 0 = -a - 2*s - s + 18. Suppose -22*g = -a*g + 8. Is -2/85 < g?
True
Let z = -1/197 + 401/1379. Let y be ((-24)/(-30))/(((-418)/15)/(-11)). Which is greater: y or z?
y
Let j = 0.76 + 54.24. Let c = -129 - -83. Let u = c + j. Which is smaller: -0.1 or u?
-0.1
Let j be -6 + 25 + -16 + 34/(-10). Is j != -11725?
True
Let v be -1 - (-3)/((-6)/(-34)). Suppose 31 = 3*p + v. Suppose j - 25 = -4*n, -j + 2*n + 3*n - 20 = 0. Is p < j?
False
Let f(q) = q**3 + q**2 - 4*q - 3. Let v be f(-4). Let i(r) = 2*r + 1 - 1 - 7*r - 12. Let d be i(5). Is v smaller than d?
False
Let d(r) = -r**3 - 62*r**2 + 385*r - 66. Let c be d(-68). Which is smaller: c or 1495?
1495
Suppose 129*i = -2702 - 12520. Which is bigger: -5 or i?
-5
Let c be 2/2 - (2 - 16). Suppose 13*t - c*t + 2 = 0. Does t = 7/23?
False
Let d = -1277 - -1377.7. Let o = d + -92. Is o smaller than 2?
False
Let m = 8.11 - 0.11. Let t = -8 + m. Let b = 3.9436 + -0.9436. Which is bigger: t or b?
b
Let s = 332 - 275. Let m = -69 - -125. Let q = s - m. Which is bigger: q or -2/5?
q
Let r be 211552/38610 + (-2 - 4). Let s be ((-12)/(-243))/(5/(-6)). Let g = s - r. Which is greater: g or 1?
1
Let y = 30 - 31. Let f be (y - 2)*(9 + (-145)/15). Is 13/8 at most f?
True
Let h(g) = -6*g**2 - 72*g - 337. Let t be h(-7). Do t and -17 have different values?
True
Let c = 2083 - 2132. Which is greater: -78 or c?
c
Let v = -304.36 + 313. Let r = 8.94 - v. Which is smaller: -2/101 or r?
-2/101
Let w = -4.3 + 4. Let j = 6.1 + 0.9. Let a = 7.2 - j. Which is greater: w or a?
a
Suppose 330 = 3*z + 4*k, -4*z - 11 = 3*k - 451. Let t be ((-4)/7)/(z/(-462)). Is -0.1 less than or equal to t?
True
Let t = 990 - 1596. Let w = t - -605.96. Is w greater than or equal to 3?
False
Suppose -2*l - 4 = -3*l. Let z(t) = -7*t + 7. Let n be z(-8). Let k be (-3)/(-10)*(n/9 + 8). Are l and k equal?
False
Let n = -27726.07 - -27726. Which is smaller: n or 0.87?
n
Let l = 261885 - 2876090/11. Let i = -422 + l. Which is greater: 1 or i?
1
Let a be (2 - -3)/(2 - 3). Let h(p) be the second derivative of p**3/6 - p**2 - 3*p. Let v be h(-7). Are a and v equal?
False
Let i be 8/(160/75) + 3/12. Suppose 0 = l + i, -55 - 42 = 3*b + l. Which is smaller: -32 or b?
-32
Let o = 3 - 3. Let x be 2/57 + 3/9. Let j = x - -70/171. Which is smaller: j or o?
o
Let d = -532 - -239. Let g = d + 291. Let i = -28 - -85/3. Is g greater than or equal to i?
False
Suppose 445 - 10826 = 48*m + 10883. Which is greater: m or -442?
-442
Let y be (18/2495)/(339/(-2260))*60/(-9). Which is smaller: y or 0?
0
Let n(g) = -186*g**3 - 5*g**2 - 9*g + 11. Let o be n(2). Which is greater: o or -1514?
-1514
Let f be -2 + (4 - (-4788)/(-2403)). Let k = -5617/1335 + f. Let i = 2 - 7. Which is smaller: k or i?
i
Let m be 9/(18/4) - -1. Let g be 1 + -3*(2 - m). Suppose 2*n = g*n. Which is greater: -29 or n?
n
Let k be (-6)/(-2) + (-4)/(-2). Let s be (2 - (-4)/(-2))*-1. Suppose 374*p - 369*p - 40 = s. Which is greater: p or k?
p
Suppose -o + 4*s - 9 = -0*s, 0 = -5*o - 4*s + 27. Let x(h) = -4*h - 4 - o + 7*h. Let v be x(6). Is 11 greater than or equal to v?
True
Let u = -257.3 + 247. Let s = u + 10.4. Are s and 0.7 non-equal?
True
Let l be ((-271)/(-15)*2/(-12) + 3)/1. Which is bigger: l or -1?
l
Let f(u) = u - 8. Let x be f(13). Suppose 0 = 15*a - 16*a, k = -x*a - 15. Which is smaller: -43/3 or k?
k
Let q(n) = -2*n - 2. Let f be q(-1). Let d be (4/2)/(-3 - 3)*f. Which is smaller: d or 1/42?
d
Let q be 2/11 - 20704/(-352). Let w be (q/2 - -2)*160/(-48). Is -105 <= w?
True
Let a(k) = -k**2 + 83*k - 1135. Let z be a(17). Which is smaller: z or -32?
-32
Let i be (-1 - 0) + 3/((-15)/(-50)) + -4. Is i not equal to 315?
True
Let j = -12237.5 + 12237. Which is greater: 0.0817 or j?
0.0817
Let g = 124911/16922497 + -20/2771. Is g less than 1?
True
Let u(v) = 13*v + 79. Let g be u(7). Suppose g - 38 = 6*z. Is z less than or equal to 22?
True
Suppose 4*l - 5*s + 30 = 0, 64*s = 2*l + 69*s - 30. Do l and 60/157 have different values?
True
Let k(q) = q**2 + 10*q + 13. Let c be k(-9). Suppose 0 = -11*s + c*s - 14. Let j be 6*s/8*8/(-36). Is j < -1/11?
False
Suppose 3*d = -5*l + 18, -d = -3*d - 4*l + 14. Let s = -98 + 97.981. Which is greater: d or s?
d
Suppose -4*s = s - 1215. Suppose -33*t + 64 = -35. Let j be ((-2892)/s)/4 + t. Is j equal to -1?
False
Let r be -87*((-8)/24 - -10) - 1. Which is greater: -827 or r?
-827
Suppose 4*v = -10*v + 3668. Let b = -261 + v. Are -2/77 and b equal?
False
Let w = -53 + 68. Let o = 4 + w. Suppose 77 = -14*v + 329. Which is bigger: o or v?
o
Let h(g) = -98*g - 1022. Let v be h(-10). Is v > 8?
False
Suppose d - a = 35, 2*d - 205 = -3*d - a. Let v = 123 + -115. Suppose -t - 7 = -5*p + v, 0 = -4*t - 5*p + d. Is t at most as big as 1?
False
Let o be (4/98)/((-18)/(-1638))*(-302)/(-4). Is -0.1 greater than or equal to o?
False
Suppose 2*a + 4 = 4*v - 18, -a - v - 14 = 0. Let n be 2/a + -7 + 12681/(-468). Which is smaller: -34 or n?
n
Suppose -62*d + 38 = 5*g - 64*d, 17 = 2*g + d. Suppose 0 - 1 = -u. Let m be 0 + (-1)/(u*-2). Is m less than g?
True
Let q(n) = -5*n**3 + 32*n**2 - 15*n + 18. Let a be q(6). Which is smaller: -2/6269 or a?
-2/6269
Let m = -2 - -3. Let w = -0.06922 + 0.05022. Which is smaller: m or w?
w
Let z = -389