d + f = -3*d + 7. Suppose -d*w - 1 - 11 = 4*s, 5*w = 4*s + 26. Which is bigger: s or u?
u
Let l = -60 + 58. Let u be (-673 + l + 2)/(49/7). Let y = 93 + u. Which is greater: -2 or y?
-2
Let g be (-52)/(-5) + 2/(-30)*6. Let x(l) = -2*l**2 + 19*l - 11. Let w be x(g). Let d be ((-1)/w)/(4/(-6)). Are -1 and d unequal?
True
Suppose -26 + 23 = h + r, 4*h = 7*r + 32. Is 3/1741 not equal to h?
True
Let g = 0.17123 + 1.82877. Which is greater: g or -3314?
g
Let s = 739.9922 - 740. Let u = -0.0822 + s. Is u equal to 0.8?
False
Let s be ((-2)/(-9) + 174/(-6777))*303/(-202). Is -1 >= s?
False
Let i be 5/(((-41)/(-82))/((-1)/2)). Is 1/350 less than i?
False
Let q = -197/1650 + -2031613/1650. Which is smaller: -1230 or q?
q
Let j be (5 - 7 - -6)/((-12)/2526). Which is greater: -843 or j?
j
Suppose -24 = 22*b - 26*b. Suppose 19*x + b = 22*x. Is -2 bigger than x?
False
Let l = 1 - -1. Let n be (13*(-16)/(-104))/(2/3). Let i be ((-1)/l)/(235/80 - n). Is i less than or equal to 11?
True
Let w = 3.55 + -3.85. Is 0.083 bigger than w?
True
Let h = -33/557 - -1279/2785. Which is bigger: h or -218?
h
Let r be -2 + 7 + (-11)/((-638440)/(-290230)). Which is smaller: r or -1?
-1
Suppose 5*k + 4*f = 15, 464*k - f = 460*k - 9. Does 4/2623 = k?
False
Let t be (-52)/143*22/(-4)*-166. Is t greater than -328?
False
Suppose -397 + 1354 = 11*p. Suppose p*o = 83*o - 16. Which is smaller: o or -26/9?
o
Suppose 0 = 4*i - 2402 - 538. Suppose -6*u = 3*o - u - i, u - 723 = -3*o. Let z = o + -11519/48. Is z < 0?
False
Suppose -r + 9 = 4*r - f, f - 7 = -3*r. Let y(b) = -r*b**2 + 6 + b**3 + 8*b**3 + b - 10*b**3 - 3. Let g be y(-2). Which is smaller: -2/103 or g?
-2/103
Let r be (7*(-2)/(-7))/(2/3). Suppose -3*q - 12 = -v, v - 13 - r = 5*q. Which is greater: v or 0.15?
v
Let z(h) = -h**2 - 27*h - 148. Let r be z(-15). Let m(f) = 5*f. Let j be m(2). Suppose 22 = a - j. Is a equal to r?
True
Suppose 43*t + 111 = 111. Which is smaller: t or -5/323?
-5/323
Let f be (-8)/(-30)*3084795/294. Is 2799 >= f?
True
Let g(x) = -x**2 - 12*x + 3. Let m be g(-10). Suppose 14*v - 317 + m = 0. Is 0.13 smaller than v?
True
Suppose -4*g + 5*m + 79 = 0, -5 = -g + 4*m + 1. Let y be 236/(1/(3/g)). Let q = 23692/871 - y. Which is greater: 1 or q?
1
Let r(k) = -k**3 - 2*k**2 - 71*k - 314. Let d be r(-4). Which is smaller: d or -0.5653?
-0.5653
Let f = -878 - -877.945. Let r = 18.1 - 18.2. Is r > f?
False
Suppose -32*v - 25*v - 11100 = 52*v - 34*v. Suppose -19 = -p - 165. Which is greater: v or p?
p
Let m be 1*(-5 - -69)/4. Suppose -m*u - 853 = -149. Are u and -46 equal?
False
Let x = 336 + -307.4. Let v = -159.6 + x. Let q = 95 + v. Which is greater: q or 0.2?
0.2
Suppose -475 = 15*c + 5. Let s be 41/4 - (-1)/(-4). Let w be (c/(-1400))/((-12)/s). Which is smaller: -1/3 or w?
-1/3
Suppose -85*s + 5533 = -4837. Let r = 1.8 - 2. Which is bigger: r or s?
s
Let j = 0.4441 - 0.4441. Let q = -0.034 + -0.496. Let h = q - 0.07. Is h < j?
True
Let d be (9/(-4)*-4)/(-1) - -2. Let t be d/(7/(-4)) + (0 - 3). Which is bigger: 3/65 or t?
t
Let a = -3.586 - -3.516. Which is greater: -5.9 or a?
a
Suppose -5 = 4*c - 5*c. Suppose 0 = c*d - 25, 3*v - 8*v - 3*d + 40 = 0. Let p be 0 + (v - (-2 + 6)). Which is bigger: 6 or p?
6
Let c(o) = 9*o + 45. Let s be c(-10). Let x(q) = -q**3 - q**2 + 8*q + 5. Let l be x(4). Is l at least s?
True
Suppose 2457*a = 2475*a - 80604. Which is smaller: a or 0.1?
0.1
Suppose 0*u = h - u - 72, -2*h + 124 = 3*u. Suppose 2356 = -16*j + h. Are -143 and j equal?
True
Let g be (3/(-2))/(4/6080*15). Let a = -142 - g. Which is smaller: 7 or a?
7
Let n = -224 + 276. Let y = -910 + 961. Is n <= y?
False
Suppose -435697 = 142*j + 97*j. Which is smaller: -1825 or j?
-1825
Let o be -4 - -3 - (-513)/495. Which is smaller: -0.4 or o?
-0.4
Let a = -2 + 3. Let z = 256549/65 - 3947. Which is greater: a or z?
a
Suppose 5*s + 820 + 25 = 0. Let y = 170 - s. Let u be y/(-1161) - (-14)/63. Which is bigger: u or -1/3?
u
Let t be ((-189)/135)/((-1)/10). Suppose 4*i + o - 64 = 0, t*o = -i + 9*o - 3. Which is smaller: 7 or i?
7
Suppose -108*d + 736 + 2109 = 145. Let w(v) = -4*v**3 - v**2 + v + 2. Let q be w(-2). Which is smaller: q or d?
d
Let n = 10.994 + -6.215. Let b = n - -0.021. Let q = -4.76 + b. Is 1/6 at most q?
False
Let f = 78893/115 + -686. Which is smaller: f or 1?
f
Suppose -2*y + 0 - 6 = 0. Let n be 21/(-14)*(y + 1). Which is smaller: n or 0?
0
Suppose -19*i + 667 = -17*i - 5*o, -3*o + 306 = i. Let u = i + -964/3. Is u at most 143?
True
Let u(v) = -6*v**3 + v**2 - 2*v - 3. Let a be u(-1). Suppose -a*y + 5*y - 31 = 0. Let j be y/(-6) - 0/(-11). Do j and 6 have the same value?
False
Let c(k) = -k + 34. Let p(q) = -q + 51. Let n(v) = 8*c(v) - 5*p(v). Let o be n(12). Suppose -y + 53 - 71 = 0. Is o equal to y?
False
Let k = -0.01686 + -282.98314. Is k at most -2?
True
Let c = -37248616 - -4395362467/118. Let u = c - 437/2. Let m = u - -124/177. Which is smaller: 1.3 or m?
m
Let l = 131 - 81. Suppose 5*b - n = 836, b = -5*n + 238 - l. Is b less than or equal to 167?
False
Let g be -6*(-3)/9 + 0 + 2. Let r be g/(-138)*237 - -7. Which is smaller: 1 or r?
r
Let t = -306 + -1488. Let u = 145312/81 + t. Which is smaller: u or 1?
u
Let j be (-2)/(-5)*(-675)/11490. Do -1 and j have different values?
True
Let n = -1046425/194 - -5394. Is 1 greater than n?
True
Let n = 73 - 72.7. Let b = 0.37 - n. Let w = b - 0.17. Is -20 less than w?
True
Let z be 24/7 - (-18)/(-42). Suppose -23 = 4*c + 5*v, -z*v - 6 - 3 = 0. Is c <= 7?
True
Let t(v) = -4*v**2 - 42*v + 650. Let x be t(-19). Let d = -3 + 3. Suppose 6 = -d*z + 2*z. Are x and z non-equal?
True
Let l = -288.33 + 286.83. Does 67 = l?
False
Let m = 9866 + -9866. Which is smaller: -3/1897 or m?
-3/1897
Suppose 5*j + 26 = -3*m, -4*j = -4*m - 11 + 19. Is m at least as big as -240/467?
False
Let k = 26 + -47. Suppose 0 = -f - s + 31, -4*f + 70 = -5*s - 63. Let y = f + k. Is 10 > y?
False
Let m = -293.964 + 294. Let a = m - -8.964. Which is bigger: a or 6?
a
Let a = -764355/34 + 22481. Is -44 >= a?
False
Let z(d) = -2*d**2 - 206*d + 349. Let b be z(-82). Is b smaller than 3795?
True
Let m be 336/18*(38/(-4) + -1). Let h be (-4)/(-18) - m*8/(-576). Is h greater than or equal to -3?
True
Let a = -1223.3 + 1278.49. Let d = a + -0.19. Let m = 55 - d. Which is smaller: m or -4/7?
-4/7
Let r be (-300)/200*(-22656)/9. Which is smaller: r or 3774?
3774
Suppose -8*n + 4 = -4*n, -7*o - 5*n - 1171 = 0. Which is smaller: o or -169?
-169
Let s be 5 + ((-83715)/15 - -7)*2/(-10). Is 1120 > s?
True
Let p = -1350 - -1344. Is -80/13 equal to p?
False
Let v = -100.8 - -41. Let i = -62.4 + v. Let a = i + 120. Which is bigger: -1 or a?
-1
Suppose 462 = 26*w - 1722. Let r be -2 + (5 - w/16). Is -0.1 less than r?
False
Let h(s) = -s**2 - 241*s - 2139. Let b be h(-9). Which is smaller: 1/8 or b?
b
Suppose y = -4*u + 17, -2*y - 2 = -u - 0*y. Suppose 0 = -3*b + 12, -2*z - u*b = -z + 73. Which is greater: z or -90?
z
Let x = 248.77 + -2288.77. Is x at least 1/3?
False
Let o(n) = -n**2 + 23*n - 114. Let k be o(7). Let c be (k - (0 - 3))*-23. Let v(s) = s**3 - 5*s**2 - 3*s + 3. Let i be v(4). Which is smaller: c or i?
i
Let a(l) = -322*l + 21. Let s = 496 + -497. Let k be a(s). Which is bigger: 344 or k?
344
Let v = -2087 - -10571. Which is smaller: v or 8485?
v
Let v = -0.12088 + -0.03912. Is v < 13?
True
Let y = 64 + -62. Let z be (-7 - -9)/(-1 - y/(-3)). Let a be ((-2)/z)/(19/(-1083)). Which is greater: a or -20?
a
Suppose -24*z - 21 = -27*z. Let p be (-44)/z - 36/(-6). Which is greater: -17 or p?
p
Let w = -3/28 - 1/7. Let c = 17.87 + 56.13. Which is smaller: w or c?
w
Let k = 371 + -605. Let w = -247 - k. Which is greater: w or -5?
-5
Let u = -1378168 + 88330921622/64093. Which is bigger: u or 1?
1
Let y = -26/323 - -635/3876. Is y bigger than -1.3?
True
Let r be (-25)/(-225) - 28/63. Which is smaller: r or -613?
-613
Let q(b) = 190*b + 568. Let w be q(-3). Suppose -s = 4*n - 103, -n = 2*n + 3*s - 75. Let j be w/(-12) + n/(-12). Are j and -8 equal?
False
Let a(t) = 3*t + 6. Let z be a(-5). Let f(x) = -x**3 + x**2 + x. Let c(n) = -5*n**3 - 5*n**2 + 18*n + 117. Let v(m) = c(m) - 4*f(m). Let w be v(-9). Does w = z?
True
Let z = 40.58 - 40.63. Is -56 smaller than z?
True
Let l be ((-1)/5)/(1/(-15)) + (-99)/27. 