 Is 323 equal to o?
False
Let c = -1843.7 + 1832.7. Is c not equal to -651?
True
Let x = 35.562 - -0.538. Let f = 36 - x. Let o = 128/11 - 830/77. Is o greater than or equal to f?
True
Let s = 2107 + -2108. Which is smaller: 14/215 or s?
s
Let z = 20153 + -60437/3. Suppose -3*v = -d + 3, -3*d - 4*v - 26 = -8*d. Is d greater than z?
False
Let h be 2/4*(4 + -9)*2. Let d be 27/18 - h/2. Suppose -2*u - 5*p - 22 = 0, d*u - 3*u = 4*p + 15. Which is smaller: u or 40?
u
Let g = 57184317 + -12295354423/215. Let x = g - -3378. Is -1 smaller than x?
True
Let y = 6836 + -6740. Is 88 at least y?
False
Suppose -2*d + 59 = -g + 17, 0 = -5*g + 3*d - 224. Let h = -44 - g. Are 5/2 and h equal?
False
Suppose 5*a + 13*k = 16*k + 9, 2*k = 3*a - 6. Let m = 2/435 - -25/29. Which is bigger: m or a?
m
Let t(x) = -5*x**3 + 116*x**2 + 20*x + 168. Let z be t(23). Is 1157 less than z?
False
Let d(k) = -k - 2. Let x be 12/(-10)*(-5)/(-2). Let r be d(x). Which is greater: r or 0.11?
r
Let c(s) = -3*s**2 + 102*s + 23. Let a be c(30). Is 383 <= a?
True
Let i = 3293.9 - 3294. Is i less than or equal to 1269?
True
Let j = 8 - 9. Let d = -972/1403 + 29/61. Which is smaller: j or d?
j
Let d = -16 - -20. Suppose -47 = q + 4*k, 0*k = -d*k - 4. Let z = 26 + q. Which is bigger: z or -16?
-16
Let l be 13 + 8/(79744/(-129200)). Is -1 at least l?
False
Let l = -54 - -54. Suppose -3*x - 6 = l, -x - 28 = -5*z + 4. Which is bigger: -12 or z?
z
Suppose -4*z - 62 + 18 = 0. Suppose -2*v + 54 = 4*y, -22*v + 2*y = -19*v - 65. Which is greater: v or z?
v
Let q be ((-3)/(-1310))/((-5229)/336 - -15). Is q < 0?
True
Suppose -3*g + 4*q + 10 = -g, 3*g - 3*q - 15 = 0. Suppose -360 = 2*r - 7*r + 5*u, -g*r - 5*u = -330. Let x = r + -78. Is x != -10?
True
Suppose -u = q + 7 - 14, 4*q + 5*u - 36 = 0. Which is smaller: -3/8192 or q?
q
Let b = 607.232 - 631.2. Let r = 0.468 + b. Are r and 0.1 non-equal?
True
Let r = -1876.146 - 3.854. Do r and 2 have the same value?
False
Suppose -18*i - 16*i + 25 = -29*i. Is i at most as big as -12?
False
Let l be 2*(-1 - (-15)/10). Let n be (28 - 26)*(-26)/(-4). Let p be ((-72)/57 - -1)*n - -3. Is l > p?
True
Let x = 1139 - 1062. Let l(c) = 12*c + 76. Let s be l(0). Do x and s have the same value?
False
Let r(h) = h**3 + 3*h**2 + 3. Let t be r(-3). Suppose -2*u + 7 = t. Suppose -b + 2*k + 9 = 0, 3*b - 4*b - u*k = 7. Is b < -2/75?
False
Let b(g) = -g**3 - 3*g**2 + 19*g. Let h be b(-6). Let p be (-2)/h*-21 + 36. Let f(x) = -x**2 + 11*x + 4. Let o be f(8). Is p at most as big as o?
False
Let i be 4/(-285)*100/40. Let u(b) = b**3 - 5*b**2 + 4*b + 1. Let m be u(4). Which is smaller: m or i?
i
Let v(o) = 4*o**2 + 130*o + 404. Let d be v(-29). Which is smaller: 2/313 or d?
d
Suppose -4*o = -k - 2*k + 43, 4*o + 4*k = -36. Let n be o/25 - (-28)/20. Let a = -209/7 + 30. Is n <= a?
False
Let v = 31.6 - 44.5. Let b = v + 13.2. Is 2/23 < b?
True
Let m = 6642 + -1202205/181. Let y = m - 1283/9955. Is 1 > y?
True
Let b = 8.6753 + 1.3247. Let g = 0.08 + -0.23. Is g less than b?
True
Let l = 19645 + -19773. Is -129 at most as big as l?
True
Suppose -2*n - 31 = -4*o - 23, 5*o - 10 = n. Is 12/91 <= n?
False
Let t(n) be the first derivative of 2*n**3/3 + 6*n**2 - 9*n - 3. Let a be t(-7). Suppose a*z - 120 = -130. Which is bigger: z or -37?
z
Let t(a) = -5*a**3 - 15*a**2 - 4*a + 164. Let k be t(-11). Do 5049 and k have different values?
True
Let c(d) = d**2 - 101*d - 129. Let j be c(87). Which is smaller: j or -0.06?
j
Let z be (-2)/(10/(-34) - 7). Which is greater: z or 0.1?
z
Let r = -0.0581 - -278.0581. Let k = -255 + r. Do 4 and k have different values?
True
Let m(o) = -o**3 - 11*o**2 - 18*o + 3. Let i be m(-9). Let x be i + 9/(-3) - -3. Suppose -4*n - l + 9 = 0, -5*n + x*l - 3 = 7. Which is greater: 2/189 or n?
n
Let k(b) = -1759*b - 5251. Let j be k(-3). Let f(o) = 12*o + 2. Let r be f(2). Is r at most as big as j?
True
Let z = 48/77 - 1053/3542. Let x = z + 1/138. Is x != -37.3?
True
Let h = -120 + 34. Suppose -d + 3*t - t - 37 = 0, 3*d = -t - 76. Let y be h*(8/(-20) - d/30). Is y not equal to -44?
True
Let a be 40910/175 + (-12)/(-15). Is 234 equal to a?
False
Let l be (-754)/(-2) + (-4)/(-3 + -1). Let f = l - -24. Which is smaller: f or 1/3?
1/3
Suppose 57*h - 12*h = -585. Let u = 15 - 25. Let p be u/65 - 92/h*2. Is 16 at most as big as p?
False
Let y = -3.18 + -0.32. Let v = 11 + -14.4. Let r = v - y. Is 25 at most as big as r?
False
Let l = -2288 + 2288. Suppose 3*b = 2149 - 160. Let w = b - 7300/11. Which is smaller: l or w?
w
Suppose -6*z - 27*z + 41052 = 0. Let q = 8727/7 - z. Is 3 bigger than q?
True
Suppose 0*o - 2*o - 40 = 0. Let s = -2603 + 2579. Let k be (-150)/9*s/o. Do -20 and k have the same value?
True
Let n be (2 - -2) + -5 + (-560)/(-378). Which is greater: n or -1?
n
Let v = -30.63 + 31.14. Are v and -2/5 nonequal?
True
Suppose 0 = 47*b + 494 + 117. Which is smaller: -85/7 or b?
b
Let q be (-5)/3*(-84)/70. Let i(x) = -2. Let f(r) = -r + 8. Let p(g) = f(g) - 5*i(g). Let h be p(18). Is q smaller than h?
False
Let a be (-13 + (-408)/(-32))*(0 + -162). Let z = a - 4783/118. Is z at least 0?
False
Let x = 19.072 + 301.853. Let g = x - 321. Is -1/3 less than g?
True
Suppose 5*q + 4*y = 10757, 983 = -q + 2*y + 3140. Is 2154 greater than q?
True
Let d = 24691/13288 + 28/1661. Let o(k) = k + 4. Let b be o(-3). Is d less than or equal to b?
False
Let c(h) = -2*h**3 + 5*h**2 + h - 1. Let f be c(4). Suppose 0*t + 3276 = 6*t - 84*t. Which is smaller: t or f?
f
Let l = -6353 - -279461/44. Is -2 <= l?
True
Let c = 252 + -152. Let t = c - 101. Let v = -15/62 - -505/806. Is t greater than v?
False
Let i = -1752 + 1752.052. Is -23 at least i?
False
Let c be (-2 + (-44)/(-3))*(-19 - 4114/(-220)). Suppose 0 + 8 = 2*s. Suppose -s*v - 9 = 11. Are c and v unequal?
True
Let j = -130 + 102. Let r = -33 - j. Let d = 11/64 - 1271/320. Which is smaller: r or d?
r
Let p = -23904 + 46371/2. Which is smaller: p or -720?
-720
Let y = -0.2342 + 157.2342. Is y bigger than -0.12?
True
Suppose -6*d - 14*d = -13*d + 2170. Is d at least as big as -311?
True
Let i = 29 - 26. Let r be (-3 + 4)/(-4 + i). Let v be ((-4)/(16/2)*0)/r. Which is smaller: v or 2/25?
v
Let q = 195 - 186. Suppose -p - f - q = 0, -4*p + 9*f - 10*f - 24 = 0. Which is smaller: p or -8?
-8
Let k = -17965 + 251511/14. Which is greater: k or 18?
18
Let n = 239.57 + -239.37. Is -15/92 > n?
False
Suppose -125*v + 23808 - 5558 = 0. Is 118 greater than or equal to v?
False
Let m = -2854409597875 + 2535186700497009086/888165. Let c = 29/177633 + m. Let k = c + -2/387. Which is smaller: -1 or k?
-1
Let f(b) = -420*b + 391. Let a be f(1). Which is smaller: -62 or a?
-62
Let z = -8016 - -8010. Let q(a) be the second derivative of -5*a**3/6 - 23*a**2/2 - a. Let h be q(z). Is 11 != h?
True
Suppose 8*z - 1001 = 3031. Let u be 0/1 + (-84335)/(-167). Is z less than u?
True
Let s(v) = 46*v**2 + 4*v - 2. Let o be s(1). Is o less than 52?
True
Let b = -475 + 477. Suppose y + 6 = 4*h + 27, 4*y + 2*h = -6. Suppose 2*v + y = 5. Is v at least as big as b?
True
Let p = 124 + 179. Let o = p + -283. Which is smaller: 17 or o?
17
Suppose 3161 + 24395 = -185*n - 564. Which is bigger: -1054/7 or n?
-1054/7
Let k be (-2 + -2)/((-26)/(-3) - 10). Let q be 6/k*18 + 6. Is q at least 39?
True
Let u = 985 + -962. Which is bigger: u or 29?
29
Let v be 2746/1828 - 21/14. Suppose 43 = 23*i + 102 - 36. Which is smaller: i or v?
i
Let t be (8/(-10))/(2/(-15)). Suppose 0 = 5*p + 4*f + 8, 3*p + 3*f + t = -2*p. Let h = 1 - p. Is h greater than or equal to -2/9?
True
Suppose 0 = -5*k + 35*v - 30*v - 15, 2*k - 5*v + 12 = 0. Which is bigger: 4/61 or k?
4/61
Let n(r) = 88*r - 197. Let b be n(3). Let m = -126 + 83. Let x = b + m. Is x smaller than 24?
False
Let v = -85 - -90. Suppose 2*j = 5*m - 60, -2*j - 2*j = -v*m + 100. Let q be -5*8/j + -1. Is 1 at most as big as q?
True
Suppose -47*w = -27*w - 5*w. Let o be -7 + 3 + 7179/1794. Which is greater: w or o?
o
Let k be (-2992)/(-33) + 4/12. Let b = 138 - 48. Is k not equal to b?
True
Let a be ((-210)/140)/((-63)/(-18)). Let c = -1 + -2. Which is greater: a or c?
a
Let p = 17.577 - 12.577. Which is smaller: 31 or p?
p
Suppose -9*h - 8*h + 731 = 0. Suppose -5*l + h = -4*l + 3*u, 5*l - 275 = -3*u. Are l and 56 non-equal?
True
Supp