ppose 5*d - 5*w = 9*d - 13, -3*w + 15 = 0. Is d greater than -24/11?
False
Let f = 31 + -29. Suppose -4*s + 5*i - f*i = -11, -4*s - 5*i = -3. Let q be (-3 - 175/(-30)) + s/12. Does q = 18/5?
False
Let f = 4.2 + -32.2. Let c = f + 30.6. Let q = 19.6 - c. Is q equal to -2/3?
False
Let y be (8 - 3) + (-946 - (-5 + 11)). Let i = y - -941. Which is bigger: -19/3 or i?
i
Let p be (2/12)/((-2387)/2121). Let h = p + 6/31. Suppose 0 = 8*q + 10*q - 10*q. Is h != q?
True
Let a = 30682.147 + -29348.2107. Let m = -1334 + a. Is -0.1 less than or equal to m?
True
Let p = 224395 + -2462421/11. Let j = p + -539. Suppose -3*u + 3*m + 3 = 0, -4*u + 3*m + 2 = -0. Do j and u have the same value?
False
Let h(q) = q - 9. Let u be h(9). Let o = -47402 - -7536914/159. Does u = o?
False
Let a = -8 - -7. Let o be (-3)/(12/4*a). Let u(n) = -5*n**3 + n**2 + 2*n - 1. Let k be u(o). Is k at least as big as -8?
True
Suppose 0 = 5*u - 3*i + 25, -4*u + 23 = 3*i + 43. Which is smaller: -9 or u?
-9
Suppose -n - 4 = 5*z - 1, 12 = 2*n + 4*z. Suppose 7*a = -117 - 338. Let y = -55 - a. Which is smaller: y or n?
y
Let j = 142 - -45. Let q = j - 161. Let i be -3 + (-4 - -2) + 30. Is i >= q?
False
Let q = 19013/5 - 3803. Is q less than -202.1?
False
Let z be (-1143)/(-63) + (-1)/7. Let d = z - 19. Let h = -92/9 - -10. Which is smaller: d or h?
d
Let d = -11020 - -11014. Is d at most as big as 392?
True
Let k = -895 + -7. Which is smaller: k or 0?
k
Let z = -9804 + 9804.2. Let o = 1.1 - -1.9. Is z >= o?
False
Let m(g) = -2*g**2 + 58. Let t be m(5). Suppose t*r + 98 = 3*c + 10*r, 3*c = -r + 94. Which is bigger: c or 25?
c
Let l(v) = 9*v + 3*v - 9*v. Let x be l(-3). Let s be (-2 - 5)/(x/27). Which is greater: s or 22?
22
Let b(c) = 14*c + 115. Let y be b(-8). Suppose y*r - z - 392 = 0, 2*r - 4*z + 135 = 3*r. Which is smaller: r or 130?
130
Let j be 2/2*3 - 308310/(-915). Let h = -340 + j. Which is bigger: 4 or h?
4
Let f(q) = -2 - 2 - 3 - 6 - 12*q - 2*q**2. Let j be f(-4). Let n be (-3)/((-78)/28 + j). Is -13 bigger than n?
True
Let d = -38/13 - -1228/429. Let q = d + -4/33. Let a(k) = -k**3 - 36*k**2 + 261*k + 7028. Let j be a(-38). Which is smaller: j or q?
j
Let i = -9185.88 - -9186. Suppose -n + 23 = 2*g + 2*n, 5*g = -2*n + 74. Let f be g/7 + (-2)/7. Is i smaller than f?
True
Let s be 20/8*10/(-15) - (-4)/6. Is s equal to -58.8?
False
Let d = -3 - -3.1. Suppose -47*n = 51*n - 100*n - 120. Which is smaller: n or d?
n
Let r be (-14)/(-4)*2/1. Let x be 16/(-15102)*12/64*-4. Let c = 98153/12585 + x. Is r at most c?
True
Let j = -209 + 51. Let d = -158 - j. Which is smaller: d or -25?
-25
Suppose -5*u - 240 = -4*n - n, -5*n + 240 = -4*u. Let v(q) = -5*q**2 - 190*q - 136. Let o be v(-37). Which is smaller: n or o?
n
Let f = -206 - -206. Suppose -16*c - 11 - 117 = f. Is -13/2 smaller than c?
False
Let g = 212 + -33. Let l = g + -172. Which is smaller: -5 or l?
-5
Let q be 29134/(-21)*(-6)/(-26). Let j = q + 320. Which is greater: j or 2/7?
2/7
Let f = 0.07193 + -5122.07193. Is -0.1 at least as big as f?
True
Let g be -1*(36/10)/(9/(-270)). Let f = -106 + g. Let l be f - 6 - (-328)/(-20). Which is bigger: l or -19?
-19
Suppose 4*t = 7*t + 5*l - 85, -2*t = -l - 48. Suppose -t*w + 19*w = 6. Which is greater: 155 or w?
155
Let u(h) = h**3 + 399*h**2 + 441*h + 17114. Let f be u(-398). Let w(q) = 106*q**2 + 5*q - 6. Let s be w(5). Let o = s + -461739/173. Is f >= o?
True
Let d = -44305/567036 - -7/3316. Which is bigger: d or -1?
d
Let w(l) = -3*l + 20 + 41 - 18. Let o be w(19). Let r = 1823 - 9182/5. Does r = o?
False
Let b = -184.16 + 184.36. Let n = 0.03 - -0.05. Which is smaller: b or n?
n
Let v(a) = 4*a**2 - 26*a - 28. Let s(b) = -5*b**2 + 27*b + 29. Let h(t) = 3*s(t) + 4*v(t). Let q be h(24). Let c = -19/273 - 5/21. Is c greater than q?
True
Let f = 83/33 - 120466/47883. Which is greater: 0 or f?
0
Let p = 1320.821 - 1315.5. Let b = -0.321 + p. Is b at least 6?
False
Let v = -588.80676 - 11.09624. Let d = 0.903 + v. Is 1 less than or equal to d?
False
Let d(u) = -u**3 + 14*u**2 - 92*u + 107. Let c be d(19). Is -3444 less than c?
False
Let f = -1.5 + -7.5. Let b = -8 - f. Let p = -1215 - -1212. Is p smaller than b?
True
Let y = -0.25 + 84.25. Let w = 51 - y. Let l = w + 19. Is l < -1/5?
True
Let k(d) = -d**3 + 15*d**2 - 12*d - 26. Let a be k(14). Suppose 4*w + 19 = 5*u, a*w + 2*u + 4 = 8. Which is smaller: w or -6/91?
w
Let c be (-4)/(-3) + (-12)/6 + 152186/282. Which is smaller: c or 538?
538
Let p(m) = m**2 - 6*m + 10. Suppose 0 = -q + 4*i + 18, 2*q + 8*i - 4*i = 0. Let o be p(q). Let a be (0/2)/(o/(-10)). Which is smaller: a or 2/5?
a
Let z = 162 + 254. Let c = z + -461.4. Let d = 45 + c. Which is greater: 6 or d?
6
Let w = -78 - -79. Let y be (6 - 8)/(w - 2). Suppose y*r + 54 = 44. Are r and -6 non-equal?
True
Let g = 91204/446200485 + -2/217765. Which is smaller: g or -1?
-1
Let g be (-14 + 0)*(-4 + (-80)/(-56)). Suppose 4*u + g = 17*i - 14*i, 2*i = -u + 24. Is i at least 12?
True
Let a(i) = -i**3 - 13*i**2 - 11*i + 16. Let p be a(-12). Suppose 3*j - j = p. Let l be ((-8)/j)/8*(0 + 2). Do 3/19 and l have the same value?
False
Let v = 2378 - 2378.1. Which is bigger: -0.03557 or v?
-0.03557
Let x(p) = 3*p**2 - 44*p + 10. Let a be x(18). Let o = 156 - a. Suppose 4*w + 133 = -0*i - 5*i, -4*i - 4 = 0. Which is smaller: o or w?
o
Suppose 4 = k, 2*d + d - 3*k = 9. Suppose -4*s + d*s = 117. Let m = -49 + s. Is -10 at most m?
True
Let c = -7219 + 7183. Is c less than -602/17?
True
Suppose -2*t - 3*p = 2604, 0 = p + 11 - 15. Which is smaller: -5235/4 or t?
-5235/4
Let j = 5473 + -5473. Suppose 5*h = -20, -l + 3*h - 8*h - 26 = 0. Which is bigger: j or l?
j
Let o(c) = 4*c + 106. Let y be o(-28). Let n be (2/y)/(6/(-34146)*-7). Is n at most 1/3?
True
Let o = 85 + -41. Let u = o - 42. Suppose 0 = 4*n + 3*l - 37, 2*n = -2*n + u*l + 62. Which is greater: n or 15?
15
Suppose -3*s + 4 + 11 = 0. Let l(n) = -8*n + 68. Let x be l(8). Let w be (30/(-18))/(x/(-12)). Is s bigger than w?
False
Let n = -341.3 + 180.3. Which is smaller: n or -10?
n
Let m = -5803 + 2683. Which is smaller: -3118 or m?
m
Let p be ((-27)/(-66))/((-92217)/30738 + 3). Let n = p - -4179. Is n <= -12?
True
Suppose 19*a - 157*a = -24*a - 94050. Is a < 819?
False
Let z = 399 - 406. Is 27 at least as big as z?
True
Suppose 4*k = 5*z - 79 + 534, -6*k + 2*z + 644 = 0. Which is bigger: 56 or k?
k
Let p be 1/2*-478*(-4 + 0). Suppose p*g = 958*g - 24. Let w(r) = 5*r. Let n be w(3). Which is smaller: g or n?
g
Let w = 471 + -429. Let a be (w/(-9) + 5)*0/4. Which is greater: -2/123 or a?
a
Suppose -2*a = 13 - 55. Let b(q) = -286*q + 3168. Let o be b(11). Does a = o?
False
Let b(s) = s**2 + s + 17. Let n be b(0). Let r(u) = u - 13. Let z be r(13). Suppose -68*j + 70*j - 30 = z. Which is smaller: j or n?
j
Let b = 10837 + -41849/4. Which is smaller: 375 or b?
b
Let i = -4936 - -6882. Which is smaller: i or 2/11?
2/11
Let n be 50310/120 + ((-6)/(-8) - 0). Let v be (-1160)/n - (-2)/6. Is v > -3?
True
Let v = 0.12 - 0.1. Let z = -13107.924 + 13108. Is z > v?
True
Let r = -149 - -145. Let f be r/14 + -10 + 10. Which is smaller: 0.5 or f?
f
Suppose 0 = 8263*r - 8252*r + 77. Is r not equal to -128?
True
Let d = -108935 + 109125. Suppose -a + 5*u = 20, a = 4*u - 15 - 1. Is a at most d?
True
Let d = -656.2 - -684.215. Let p = -0.015 + d. Let r = p - 51. Is 1/3 bigger than r?
True
Let h = 3768601/197 + -19130. Is -1 less than or equal to h?
True
Let r = 1805 + -2431. Is r > -625?
False
Let n = 41.44 - 43.2. Let r = -0.06 - n. Which is smaller: 0.08 or r?
0.08
Let u be (14/(-6) - -2)*-6. Let l = -21971 - -22008. Is u less than l?
True
Let p(f) = 7 - 2*f**2 - 4*f**2 + 6*f - 3*f**2 + 7*f + f**3 - 27. Let j be p(8). Let x be (20/2)/(4/8). Is j bigger than x?
False
Let z = 144 + -129. Let a be z/(-12) + 1221/84. Is 13 at least as big as a?
False
Let b = -89 + 71. Let q be ((-92)/(-2))/(5 + b). Which is smaller: -5 or q?
-5
Let c = -95 + -31. Let b = -360 - c. Is -235 at most as big as b?
True
Suppose -4*h = -2*a - 2866, -2914 = 5*a - 3*a + 4*h. Which is smaller: a or -1444?
a
Let s = -224 - -228. Suppose -4*p - s = 9*m - 13*m, 4*p - 8 = 0. Which is smaller: 25 or m?
m
Suppose 0 = 16*x - 18*x + 2*s - 152, -x - 3*s - 84 = 0. Is -78 < x?
False
Let z = 805/522 + -