 + -5 + -2. Is 0 != d?
True
Let y = 73.175 - 0.175. Let d = -305.9 - -306. Which is greater: d or y?
y
Let u = -0.0937 + -0.0563. Is -0.1 < u?
False
Let a be (68/10)/((-17)/170). Which is smaller: a or 4?
a
Let c = -1702 + 105517/62. Is -1 at most c?
True
Let h be (-5 - 65/10)*6. Which is bigger: -72 or h?
h
Suppose 3*t + 8 = -4*z, 0 = -3*t + 4*z - 2*z + 4. Suppose 11*v - 12*v - 9 = t. Is -6 < v?
False
Suppose -5*j + 584 = 3*k, 0*k = -4*k + 5*j + 802. Which is bigger: 197 or k?
k
Let y = 15 + -7. Let a = y + 2. Let j be (-1)/2 - (-1)/(-2). Is a at most as big as j?
False
Let z = -2.5 - 6.7. Let x = 36.2 + z. Is x equal to 3?
False
Let k(m) = m**3 + 12*m**2 - 16*m - 5. Let j be k(-13). Let b = 41 - j. Is b smaller than 6?
False
Suppose 5*h - 41 + 15 = -t, 5*h - 28 = -3*t. Let f be (105/(-30))/(h/(-2)). Is f <= 1?
False
Let p(g) = g**2 - 5*g - 3. Let n be p(7). Suppose -52 = -n*m + 9*m. Is 1 >= m?
False
Let j = 2320680/13 + -178662. Let z = 148 + j. Is z greater than 10?
False
Let y be (116/(-15))/((-434)/(-20615)). Are -368 and y equal?
False
Suppose 3*s = 65 - 23. Let g = 17 - s. Suppose -2*j + 11 = -g*j. Is j less than or equal to -11?
True
Suppose 42 = -3*s + 2*a, 0 = 2*s + 2*a + 9 + 9. Let o(w) = w**3 + 13*w**2 + 10*w - 17. Let j be o(s). Suppose 0 = 4*q - 3 + j. Which is bigger: 1/5 or q?
1/5
Let d = -3498/17 + 204. Let s(k) = k**3 + 8*k**2 + 8*k + 4. Let b be s(-7). Is d greater than or equal to b?
True
Suppose 9*d - 4*d - q - 2108 = 0, 3*d - 1272 = 3*q. Which is bigger: 422 or d?
422
Let c be (-76)/70 - (144/(-30) - -5). Which is greater: c or -2?
c
Let m = 6 + -4. Let b(x) = x + 2. Let j be b(-1). Let d be 9/18 + j/(-2). Which is greater: m or d?
m
Let m = 172 + -97. Let n be 2 + m/130*-4. Is 1 < n?
False
Let n = -5 + 11. Suppose -7*v = -n*v. Let m = -479/1580 - -1/316. Which is greater: m or v?
v
Let s = -12 + 67. Let x = s - 93. Let a = x - -27. Is a != 0.1?
True
Let q = 49 - 46. Let u be q - (4 - (-51)/(-42)). Let h = 0 - 0. Which is bigger: u or h?
u
Let p = -2/29 - 25/58. Suppose 127*m - 91 = 114*m. Is p smaller than m?
True
Suppose 2*x = 4 - 2. Suppose -4*i + 34 = -z, 36 = -z + 2*i - 6. Let r = -548/11 - z. Do x and r have the same value?
False
Suppose -2*z = 5*g - 227, 3*z - 34*g + 35*g - 334 = 0. Which is bigger: 119 or z?
119
Let x = 27 - 24. Suppose 18 = -x*o + 3. Let b(q) = 5*q**3 + q. Let v be b(-1). Does v = o?
False
Let v = 136 - 137. Which is smaller: v or 2/185?
v
Let a = 2/29777 + -17508950/1101749. Let x = a - 138844/185. Let z = x + 764. Which is bigger: -1 or z?
-1
Let a = -584003/153 + 3817. Let c(g) = -g**3 + g**2 + 2*g + 1. Let z be c(-1). Is z less than a?
False
Let i be (8/(-24))/(2 + -3). Is i >= 8?
False
Let x be 1/2*(-5)/10*-4. Let o = 0.8 + -1.5. Which is smaller: o or x?
o
Let l = 101 + -102. Let b be (-1*(-4)/22)/(28/2). Is b greater than or equal to l?
True
Let m = 36 - 31. Let g = m + -3. Let r = -5 - -6. Are r and g equal?
False
Let s be (-6)/(-87) + (-11925)/87. Is s greater than or equal to -137?
True
Let q = 0.87 + -0.6. Let l = -18.27 + q. Are l and -2 equal?
False
Let z(q) = 4*q + 18. Let g be z(-5). Is g less than or equal to -0.55?
True
Let n be 18 + -13 + -1 + 13/(-3). Which is smaller: -2/25 or n?
n
Let v = -18/6793 - 2328595/529854. Let d = 42/13 + v. Let l = 58 - 59. Which is smaller: d or l?
d
Let n = -11/4 - -221/76. Let g = -4 - -1. Let h be (-1)/2*(g + 1). Which is smaller: h or n?
n
Suppose -w = -2*i - 2*i - 23, 4*w = -2*i - 34. Suppose -2*b - 219 = -5*f, 0*f - 5*b + 205 = 5*f. Suppose f*m = 41*m - 2. Is i at most m?
True
Let i = 21 + -35. Let p be ((-56)/i)/((-4)/(-3)). Suppose -5*z - 2 = p*b + 7, -23 = 5*z - 4*b. Which is bigger: z or -2?
-2
Let f be (9/(-6)*(-36)/(-135))/(-5). Let u(q) = q**2 - 4*q - 7. Let x be u(6). Suppose -h - 4 = -x*h. Which is smaller: h or f?
f
Let f be 2/(-3) - 17/(-3). Let y(p) = 5*p**2 + 2*p - 7. Let b(c) = 3*c**2 + c - 4. Let v(l) = -8*b(l) + 5*y(l). Let r be v(0). Is r < f?
True
Suppose -2*v = 3*v + m - 4214, 3370 = 4*v + 2*m. Do v and 844 have the same value?
False
Suppose -2*b - 13 = 5. Let w(v) = v**3 - 9*v**2 - v. Let a be w(9). Is a <= b?
True
Suppose -q + 14 = -15*q. Is q less than 2/33?
True
Suppose -2*q - 66 = 9*q. Let r be 2/(-3)*(q/(-36) - 0). Is r at least as big as 1/5?
False
Let v(t) = -149*t + 1489. Let d be v(10). Is -31/19 at least d?
False
Suppose 17*w = 16*w. Is w bigger than -2/19?
True
Let f = -4.1 + 0.3. Let u = f + 3.6. Which is smaller: -25 or u?
-25
Let l = 1349 - 1553. Which is smaller: 0.1 or l?
l
Suppose 5*f = 2*f + 45. Let p = -9 + f. Let y = 100 + -96. Is y >= p?
False
Let l = 7 - 7.18. Let a = -10.82 + l. Which is bigger: -1/4 or a?
-1/4
Suppose 8*k + 12 = -4*r + 12*k, -2*r - 2*k = -6. Which is smaller: 2/1297 or r?
r
Let t(r) = -4*r + 33. Let m = 61 + -55. Let n be t(m). Which is greater: 3 or n?
n
Let b = -149 - -141. Which is smaller: b or 4?
b
Let p(z) = -29*z + 2. Suppose -7*t - 2 = -6*t. Let y be p(t). Is y < 59?
False
Suppose j = 4*z - 2*j + 51, -5*z = 2*j + 58. Let q be (-57)/(-225) + 4/z. Is 3 != q?
True
Let h = 24 - -6. Suppose 0 = -5*m + h - 95. Are m and -13 unequal?
False
Let u(r) = 8*r + 198. Let m be u(-25). Is -16 at least as big as m?
False
Let b be 44/(-279) + (-54)/(-243). Let n(s) = -s**3 - 3*s**2 + 2. Let k be n(-2). Let d = 2 + k. Is d less than b?
True
Let k = -0.31 + -1.74. Let q = 0.15 + k. Let p = q + -3.1. Do p and -2 have different values?
True
Let z = -416 + 1253/3. Let r = 423/5 + -85. Which is greater: r or z?
z
Let r be (-1 + 3 + -2)*(-3 - -2). Suppose r = -5*l + 34 + 11. Which is greater: l or 4/3?
l
Suppose -n = 2*n - 2*w + 7, 5*w = 3*n + 22. Suppose -2*s + 7*s = -4*q + 4, q = n. Suppose s = 13*x - 16*x - 12. Is -2 less than x?
False
Let h be 672/7749 + (-1)/9. Which is smaller: 2 or h?
h
Let t = -45/136 - -1839/8024. Is t != -1?
True
Let z(q) = -4*q**2 + 9*q - 7. Let a be z(-4). Are a and -107 equal?
True
Suppose 1582 = -3*o + 331. Let q = 1175/3 + o. Let b = q - -230/9. Is 2/3 > b?
True
Let p = 0.33 + -19.33. Let s = 43 + -25. Let d = p + s. Which is bigger: -10 or d?
d
Suppose 0 = 277*w - 272*w - 100. Is 1 greater than w?
False
Suppose -4*a + 3*k - 24 = -k, 2*k = 5*a + 33. Let d be a - (3 + -3) - -1. Which is greater: -8 or d?
d
Let b = 0.242 + -0.042. Is b >= -9.2?
True
Let u = -99 - -96.23. Is u at least as big as 1?
False
Let s be (-3)/(-6)*((-2)/(-2) + 861). Let w = s - 9046/21. Which is bigger: w or 1?
1
Let f = -1734829/469 - -3699. Which is smaller: f or 0?
0
Let c = 51 - -136. Let y = -409 + c. Let x be ((-8)/y)/(16/(-24)). Is -1 not equal to x?
True
Suppose 5*f = 161 - 46. Let b = f - 21. Suppose -5*t = -0*p + 3*p - 6, 3*p + 24 = 5*t. Is t at most b?
False
Suppose 0*n - 16 = -16*n. Are 2/97 and n non-equal?
True
Suppose 0 = -5*f + 5*u - 58 + 13, f + 2*u = 0. Let g(t) = -t**3 - 3*t**2 + 5*t + 4. Let i be g(-4). Let r(w) = w - 2. Let j be r(i). Which is bigger: j or f?
j
Let k(c) = 7*c**3 - 20*c**2 - 3*c + 7. Let l(p) = -p**3 + p**2 - 2*p - 1. Let n(b) = k(b) + 6*l(b). Let d be 2/(0 - 2/(-15)). Let a be n(d). Is -3/2 at most a?
True
Suppose 4*m + 116 = -24. Let w be (-185)/m + 2/(-7). Suppose -4*r = r - w. Which is greater: 3 or r?
3
Let w(h) = -8 + 9 - h + 12 - h. Let r be w(6). Let n be -2*(-2)/(84 - 2). Which is smaller: n or r?
n
Suppose 5*w + 4*x = 3*x + 47, 3*w - 24 = -2*x. Let y(h) = -18*h + 26. Let j be y(10). Let v be 2/w + j/70. Is -2 less than v?
False
Let j(n) = -n**2 - 6*n + 27. Let q be j(-9). Let x(k) = -k**2 + k - 2. Let g be x(q). Which is bigger: g or -13/5?
g
Let y be 962/(-8) - 54/72. Let i be (-22)/y - 40/(-22). Suppose i*q + 3*q - 10 = 0. Is q >= 1?
True
Let p be (-9)/(-18) + 1615/(-3210). Which is smaller: -1 or p?
-1
Suppose -13 + 53 = 5*m. Let v be ((-1)/2)/((-12)/m). Let z = -5 + 7. Which is smaller: z or v?
v
Let z(p) = 27*p + 221. Let s be z(-5). Which is greater: 84 or s?
s
Let y be (946/33)/((-4)/60). Is -431 greater than y?
False
Suppose -3*g - 61 = -u, -3*g + 259 = 4*u - 0*g. Suppose 0 = 3*h + u - 4. Let w be (-15)/h - 70/104. Are w and 0.1 nonequal?
True
Let o = -1790688/65 - -136336/5. Let x = o - -282. Is 0.23 less than x?
False
Let s be (-25)/(-5) - (-1 + 83). Are -77 and s equal?
True
Let g(f) = 12*f**2 - 37*f + 138. Let c be g(4). Is -0.1 gr