 - 34. Let d be q(11). Is d != t?
False
Suppose 5*t + 5*s = 85, -2*t + 81 = t - 3*s. Let o be -1 + (-1)/((-18)/t). Let d be -155 + 142 - (-14)/1. Which is bigger: d or o?
d
Let t be 1 - 5 - 4740/(-2 - 0). Let c = 243696/103 - t. Which is bigger: -2/7 or c?
c
Let s(v) = v**2 - 26*v + 2538. Let y be s(101). Are 10113 and y equal?
True
Suppose 2*h = -6, -g + 39 = 4*h - 11. Let l be (-31)/g*4/18. Do l and 4/3 have the same value?
False
Suppose -4*o = 5975 + 5045. Let n be 6 + 1 - o/(-399). Which is smaller: n or 10?
n
Let p = 18623 - 18622. Which is greater: p or 1/38686?
p
Let o be 20/48*(-190)/(-25). Let s = o - 19121/6042. Is -1 <= s?
True
Let o = 1.76 + -5.26. Let h = o - -1.5. Are 1/19 and h nonequal?
True
Let r = 4568 - 22846/5. Which is smaller: -20 or r?
-20
Let q be (13/39)/(1/(-11892)). Is q < -3965?
False
Let y = 13.07 - 115.07. Which is smaller: y or 7?
y
Let g = -4875 + 4875. Which is smaller: 15/68 or g?
g
Let h(o) = -4*o - 7. Let n be h(-3). Suppose 4*p + 96 = -3*k, n*p = -k + 5*k + 159. Let g = k + 23. Is -0.2 at most as big as g?
False
Let r = -0.607 - 297.393. Let o = 25909 - 25909. Is o at most as big as r?
False
Let r = -50 + 49.885. Let p = r + 0.044. Let k = -0.041 - p. Is -0.3 less than k?
True
Let t(z) = -29*z**2 - 372*z + 1488. Let b be t(4). Which is greater: b or -463?
-463
Suppose -4 = -2*t + 4*t. Let n be ((-1)/(-10))/(9/t). Let s be ((-3)/(-24))/((-1)/(-4)) + (-7)/14. Are n and s unequal?
True
Let v = -14.145 + 14.5. Let q = v + 0.045. Is -0.2 greater than or equal to q?
False
Let m(o) = 3*o**2 - 27*o - 1. Let s be m(10). Suppose -n = g - 12, 2 + 3 = 5*n. Let r = g + 20. Which is smaller: s or r?
s
Suppose 5*f - 15 = 5*p, -2*f - 382 = 4*p - 394. Is p bigger than 2/9589?
True
Let b = 4847/12 + -1082/3. Let f = b - 43. Let d = 0.1 + 0.1. Which is smaller: f or d?
d
Suppose -p - 2223 + 2069 = 0. Is p != -1086/7?
True
Let w = 55 - 20. Suppose 8*a - 3*a - u - w = 0, 4*a - 2*u = 28. Suppose 0 = -7*c - 0*c - a. Is c at most as big as -5/7?
True
Let d be 10 + 10/15*3. Suppose 0 = -2*r - d*r - 1092. Let j = 78 + r. Which is smaller: j or -5/34?
-5/34
Let x(p) = -18*p**2 + 17*p - p**2 - p**3 - 23 + 35*p**2 - p**2. Let f be x(16). Is 2 equal to f?
False
Let u = 10267 - 9650. Which is greater: u or 609?
u
Let r = -3019 + 3117. Are r and 1068/11 non-equal?
True
Let z(c) = -c**2 - 21*c + 9. Let p be z(-21). Suppose -4*f = -2*b + 38, -2*b - 5*f = -b + p. Suppose 0 = b*i + 10 + 12. Which is greater: i or 1?
1
Let o(y) = -147*y - 53. Let r be o(0). Which is smaller: r or -64?
-64
Let r = -505 + 503. Let a = -47 + -59. Is r > a?
True
Let a = 1.3 - 0.3. Let d = a - 2. Let r(m) = m**3 + 62*m**2 - 61*m + 138. Let z be r(-63). Which is greater: z or d?
z
Suppose -33*h + 30 = -28*h. Let d = -504 - -507. Which is bigger: d or h?
h
Let i = 43 + -43. Let w be ((-8)/3 + 2)*3. Let s be (-2)/(-40) - w/(-20). Is i at least as big as s?
True
Let g be 1 + 6/(-4) - ((-15198)/(-357) + -43). Let w = 7 - 11. Let z = -1 - w. Which is greater: g or z?
z
Let j be 33/15 + 16/20. Let u be -5 - j/3*-32. Is 28 >= u?
True
Let l(v) = 7*v - 37. Let n be l(12). Let m = n + -41. Which is greater: 8 or m?
8
Suppose -8 = -13*o + 15*o. Let u be (0 - (-1)/(-4))/(1/o). Let w be (-2)/7 + ((-1374)/(-1134) - u). Is -0.2 >= w?
False
Let c = 130 - 130. Suppose c*k - 301 = 7*k. Is k > -45?
True
Suppose -5*j + 15 - 5 = 0, -4*j = 3*i + 22. Let d be -4 + 22 + (-8)/2. Let s be d/i*8/(-28). Which is greater: s or -29?
s
Let f(g) be the first derivative of g**2/2 + 4*g - 10. Let u be f(-6). Let q be (1/4)/(6/(-72)). Which is greater: u or q?
u
Suppose 52*t + 18*t = -550060. Is t at most -7857?
True
Suppose 1680 = -71*p - 349*p. Let n = 231 + -1176/5. Which is greater: n or p?
p
Let j be (0 + 23)/(-2*5/130). Let l = 494 + j. Let z be ((-4)/(-10))/((-13)/l). Which is smaller: 3 or z?
z
Let l(v) = 93*v + 1322. Let z be l(-14). Is z bigger than 1?
True
Let y(w) = -w - 6. Let a be y(-18). Let p be a/(-42) - (69/(-21) - -1). Suppose -x - 34 = -5*g, 4*g + 0*g + 12 = -p*x. Which is smaller: x or -13?
x
Suppose -38*b = -21*b + 17. Which is smaller: 2/17591 or b?
b
Suppose -5*z + 1064 = -12*z. Suppose 5*f + 2*n = -495 - 263, 2*f = 3*n - 288. Which is bigger: f or z?
f
Let b = 4/91 - 30/91. Suppose 0 = 3*f - 5*v + 85, -7*v = 2*f - 5*v + 46. Let l = 201/8 + f. Which is smaller: b or l?
b
Let n be 20 + (-2526)/159 - 4. Suppose -2*b = -3*b - 1. Let f be (-1 - b) + (-3)/12. Do n and f have different values?
True
Suppose -50*g = -3819 - 17831. Which is bigger: 1303/3 or g?
1303/3
Suppose -5*l = -4*i - 1234, 3*l + 912 = -0*i - 3*i. Let t = -306 - i. Let x be 6/159*(-2 + 1). Which is greater: t or x?
t
Let j be 3/(-8)*(-15920)/(-4) - 1. Let k = 1527 + j. Which is bigger: 35 or k?
35
Let l = -29637 + 29633. Which is smaller: -1389 or l?
-1389
Suppose -8*c + 2976 = 8*c. Suppose -5*z - 4*q + 307 = -0*z, -3*z - 3*q + c = 0. Is z smaller than 61?
True
Let r be (16/4)/(-4) - -11. Let c be 296/24 + 2/(-6). Suppose 0 = -c*b + 10*b + 24. Is b < r?
False
Suppose 154*x = -22*x - 651728. Which is smaller: 1 or x?
x
Suppose r + 73 = 2*j, j - r - r = 32. Let n(v) be the first derivative of -9*v**2/2 + 3*v + 10. Let g be n(-4). Which is smaller: j or g?
j
Suppose 0 = 4*g, -11*g - 3867 = 4*z - 6*g + 1041. Is z bigger than -1228?
True
Let s = 545 + -786. Let g = 722/3 + s. Which is bigger: 0.082 or g?
0.082
Let u = -114365106/3289 + 34772. Is 0.1 bigger than u?
True
Suppose -184151 + 2966129 - 158142 = -246*d. Is -10667 equal to d?
False
Let g = -173/3024 - 1/189. Let s = -1.1473 + 1.1473. Which is smaller: g or s?
g
Let o = -286 + 331. Suppose 0*a - l = 2*a - o, -2*a = -5*l - 39. Which is smaller: a or 18?
18
Let u be (-2)/(-2) - 47/46. Let h(d) = 3*d**2 - 2*d - 105. Let z be h(-6). Suppose 0 = -11*y - z*y + 26. Which is greater: y or u?
y
Let x = 0.21156 + 23.41844. Does x = 0.1?
False
Suppose -380 = -60*l + 64*l. Let s be (2 - 7)/5*l. Is s smaller than 95?
False
Let u(q) = 165*q - 540. Let z be u(7). Let x be (z/(-41))/(2/(8/6)). Which is smaller: 4 or x?
x
Let d = 146/493 + -464845/1574642. Which is greater: 0 or d?
d
Let k = -1.5 + 9.5. Let d = 63449/19875 + -1183/375. Which is smaller: k or d?
d
Let p be (-1 - 24)/((7 - 9)/(-16)). Is p != -1?
True
Let l be 9/(-6)*6/(-9). Let t be (-9)/(-27) + ((-16)/(-6) - l). Let y be (8 + -38)/(-1 + t). Which is smaller: 1 or y?
y
Let t = -5706 + 6353. Which is bigger: t or 645?
t
Let k be (5/14)/(-4 + 168/32). Let b(j) = 9*j**2 + 2*j + 1. Let i be b(-1). Which is greater: i or k?
i
Suppose 46*z = 73*z - 810. Let v be 20/30*z/(-66)*-3. Suppose 4*r = -0*r + 4. Which is bigger: r or v?
r
Let h be (4 - 0)/(2/(-38)). Suppose -131*p = -136*p - 385. Which is greater: p or h?
h
Let g = 72774134/770556371 + -2/586867. Let q = 4876 + -492470/101. Let l = g + q. Do l and 1 have the same value?
False
Let i be (-8 - (-2 - 2))*806/(-39). Let j be 82 + (-3)/(-9)*3. Which is greater: j or i?
j
Let k = 64.69 + -65. Let g = 3.31 + k. Let s = -0.07 + -0.01. Which is bigger: g or s?
g
Let n be (-2 + 3)/((8/(-140))/(232/(-5))). Is n <= 813?
True
Suppose 3*j = 2*z + 187532, 5*z - j = -3*j - 468811. Let p = z - -657435/7. Let r = p - 156. Which is smaller: -0.24 or r?
-0.24
Suppose 4*r = 74 + 54. Let c be (-60)/r - (-1)/(-2). Let x = 22 - 25. Do c and x have different values?
True
Suppose -2*a - 4*j + 64 = a, -5*j - 34 = -a. Let h be ((-5)/15)/((-4)/a*1). Let c be (-6 + 7)*(-2)/h. Is 4/37 less than c?
False
Suppose -4*a + 2*m - 54 = -344, 0 = -3*a - m + 220. Which is smaller: a or -10?
-10
Let r(y) = 43*y**2 + 29*y + 10. Let h be r(5). Let d be (h/(-75))/(2/(-10)) + 0. Which is smaller: d or 76?
76
Suppose -2*a + 5498 + 7088 = -2*s, 5*s - 25118 = -4*a. Is 6286 less than a?
True
Suppose 3*h + 5*d = -5, 0 = -3*h + d - 3 + 22. Suppose f + 28 + 17 = h*c, -5 = -f. Is c not equal to 21?
True
Let v = 2 - 0. Let o = -18583 + 18583.16. Which is smaller: v or o?
o
Let p = -549 + 577.1. Let c = 27.9 - p. Is c at least as big as 0.042?
False
Let s(j) = -387*j + 4645. Let i be s(12). Does -2/45133 = i?
False
Let n(z) = -z**3 + 7*z**2 + 10. Let o be n(9). Let b = o - -151. Which is bigger: 2/69 or b?
2/69
Let g(s) = 4*s**3 - s**2 + 2*s - 24. Let w be g(4). Suppose -65*r = -57*r - w. Which is smaller: 27 o