 u = -12232 + 12258. Let m be (-4)/u + (-6)/(f/(-267)). Are 0 and m non-equal?
True
Let n = -4.872 - -4.772. Does n = 0.0224?
False
Suppose 70*f + 6033 - 40887 = -4*f. Which is greater: 473 or f?
473
Let m = 2372 + -1363. Suppose 3240 = 5*n - 5*s, -n - 3*s + m = 341. Let p = -7189/11 + n. Is 0 >= p?
True
Suppose -84 = -41*m + 34*m. Suppose -23 = -5*h + 3*h - 3*d, -h + m = 2*d. Is 4 > h?
False
Let f = -0.02514 + -0.07486. Are 2/3429 and f unequal?
True
Let x = -623 - -755. Let u = x - 383/3. Which is smaller: u or 3?
3
Let u = 7147.98151 - -0.01849. Is 0.1 != u?
True
Let h be ((-12)/10)/(2/(-10)). Suppose 4*m = -5*d + 49, 4*m - 6*m = 5*d - 17. Suppose -h*r = -m*r + 150. Which is greater: -2/5 or r?
r
Let k be (-633919)/88 - 24/64. Do -7204 and k have the same value?
True
Suppose -4*k - 41781 = -14*l + 9*l, -2*l + 16702 = k. Is l smaller than 8353?
False
Let f = 4080.3 - 2401.2. Are 1 and f nonequal?
True
Suppose 0 = -2*t + 6*t. Suppose 0 = -5*n - 11 - 4, -36 = -5*b + 2*n. Suppose b*i - 10*i - 16 = t. Which is greater: i or -60/13?
i
Let x(w) = -2*w**2 - 4*w - 2. Let p be x(-2). Let y be 15 + -1*(p + 3). Let g = -3.07 - -3.37. Which is greater: g or y?
y
Let b(g) = -g**3 + 14*g**2 + 13*g - 394. Let u be b(17). Is u less than or equal to -9358/9?
True
Let r = -865 + 30273/35. Suppose 0 = 2*i, 4*i = -5*p + 2*i + 40. Suppose -c + 2*t = -9, -24 = -4*c + p*t - 3*t. Does r = c?
False
Let k be (1 + 6 + 15 + 1)*312/28. Is k bigger than 257?
False
Let g be (648/(-645) + 1)/1. Suppose -2*f = k + 3, -2*k + 5 = k - f. Is k bigger than g?
True
Let s = 1.062 - -454.938. Let f = -449 + s. Let y = 2/85 - 93/340. Are f and y equal?
False
Let q be 2 + 11 + (35 - -605)/(-20). Let h(d) = d**2 + 8*d - 2. Let k be h(-6). Which is smaller: q or k?
q
Let c(i) = -6 + i**2 - 3*i - 5 - 4 + 17. Let r be c(1). Suppose -2*m = 4*q + 28, r*m - 4*q - 44 = 4*m. Are m and -8 equal?
True
Let g = -127109 - -2427273465/19096. Which is smaller: g or 1?
g
Let m be 20/(-162)*(-1)/(-12). Which is greater: m or 1?
1
Let x be (-11292)/14 - 528/1232. Which is smaller: x or 1/3?
x
Let b be (64/28*(-91)/(-26))/4. Suppose -12 = -3*m, 0 = -0*w + w + 3*m - 8. Let y be ((b + w)/2)/1. Is 0 less than y?
False
Let y = -466 + 469. Is -144 bigger than y?
False
Suppose -2539*h + 2541*h + 5*n = 38, -4*h - 2*n + 12 = 0. Is h <= 6/5855?
True
Suppose v - 2*n + 5 = 0, -2*n + 1 = 2*v - 7. Which is greater: 4/243 or v?
v
Let f = 457 + -455. Suppose 9 = -4*t - 3*c, -4*c - f = -t - 9. Is -4 at most t?
True
Let p(r) = -9*r + 3 - 4*r + 2*r**3 + 5*r**2 + 16*r**2 + 1 - 30. Let l be p(-11). Which is bigger: l or -5?
l
Let t = 70.9 - 106.6. Let q = t + 2.7. Let f = 1945224 + -1945223.8. Which is smaller: f or q?
q
Let w be (2/2163)/(78/5642). Let d = w + 16/103. Suppose n = -3*q + 1, 2*n - 5*n = 4*q + 7. Which is bigger: d or q?
q
Suppose -30 + 54 = -4*b. Let g be 2/b - 34731/2895. Let q = g + -3/965. Is -11 >= q?
True
Let f = -7/4315 + 181404/863. Are f and 1 equal?
False
Let r(f) = -f**2 - 12*f - 64. Let p(j) = 2*j**2 + 23*j + 126. Let z(k) = -4*p(k) - 9*r(k). Let d be z(-6). Are d and 12 non-equal?
False
Let c = 2572 + -1786. Which is smaller: -4 or c?
-4
Let k = 66.803 - 53.803. Let g = 4 - 0. Which is smaller: k or g?
g
Suppose -3*g - b - 22 - 205 = 0, g = 3*b - 89. Let v = -79 - g. Which is smaller: v or 2?
v
Let z be 7 + (-2)/3*81/54. Suppose z*b - 135 = 1095. Which is smaller: b or 206?
b
Suppose 2*n - 267 = -273, b - 5*n = -131. Are b and -151 unequal?
True
Let g be (18/8190*28)/((-764)/(-10)). Do g and -1 have the same value?
False
Let f = -5023/5 + 88244069/87840. Is -1 <= f?
True
Let v be 51/34*2/3. Let y be 2/(0 + v + -7)*-42. Which is smaller: y or 15?
y
Let v = -108 - -112. Suppose 0 = -x + 5*x + v*p + 24, -22 = 4*x + 2*p. Let k be (29 - (-5)/(-1)) + x. Is k not equal to 20?
True
Let g(q) = 3*q**2 - q + 300. Let k be g(0). Let c = k + -2109/7. Is 3 at most c?
False
Let t = -30438409/474 + 64216. Is t greater than 0?
False
Suppose 11*g = -8*g + 57. Suppose -6 = -f - 4, f = g*q + 74. Do -22 and q have the same value?
False
Suppose -2*g + 5*m = -8, 3*m - 8*m = g - 4. Suppose -o + 2*b - 13 = 0, 2*o + 18*b - g = 16*b. Which is smaller: o or -8?
-8
Suppose 86*z - 91*z - 400 = 0. Let o = z + 82. Let w be -3 + (-106)/60*-2. Which is smaller: w or o?
w
Suppose 4*r + 0*r = -4. Suppose 19 + 5 = 4*m. Let v be 12/(-22) + -3 + 18/m. Is r <= v?
True
Let o = 2692281 - 255764421/95. Let l = -204/19 + o. Are l and 14 non-equal?
True
Let c = -724211/8814 - 1/1469. Let k = c - -47/3. Which is smaller: k or -67?
-67
Let y(g) = 3*g**2 - 52*g - 35. Let q be y(18). Is q greater than or equal to 2/1927?
True
Let p = 83701/90 + -930. Let v = 112/45 + p. Let g = -223/86 + v. Is 0 at least as big as g?
True
Let x(g) = 6*g**2 + 10*g + 16. Let c be x(18). Suppose -20*t - 520 = c. Which is bigger: -132 or t?
-132
Let m = -3/629 + 1315/11951. Which is smaller: m or 1?
m
Let o = 9.0425 - -0.9575. Is -4/249 greater than o?
False
Let b = 269 + -266. Suppose 2*z = -6, -8*k + b*k - z = -7. Which is bigger: 21/16 or k?
k
Let y = -44.96 - 18.04. Is y at most 0.1?
True
Let r = -22/197 + 141687/394. Let n = -360 + r. Which is greater: n or -111?
n
Let r(l) = 2*l**3 + 2*l**2 + 15*l - 16. Let o be r(1). Let i be o/(-30) + (-4323)/1110 + 4. Which is greater: 1 or i?
1
Let f = -31.72 - -38. Let j = 6.3 - f. Which is smaller: j or -3?
-3
Let s = 26 - 16. Suppose 0 = -2*w + 2*a + 424, w - 2*w = -3*a - 216. Suppose -4*i + 25*i - w = 0. Is s smaller than i?
False
Let w(g) = 41*g**3 + 43*g**3 - 2*g + 1 - 83*g**3 - g**2. Let f be w(3). Suppose -3*d + 5*l + 45 = 0, 2*d - 3*l = 14 + 16. Which is bigger: d or f?
d
Suppose 185*v + 183836 = -152679. Which is bigger: -1820 or v?
v
Let w be -1 + 40/7 + 0. Let q = 104 - 96. Suppose q*l + 11 - 59 = 0. Is l smaller than w?
False
Let r = -250807/43952 + 234/41. Which is bigger: r or -3?
r
Let j = -40848174/149 + 274150. Let s = j + -147962/125011. Do -1 and s have different values?
True
Suppose 4*m - 44*g + 39*g - 391 = 0, 0 = m - g - 98. Is m less than 991/10?
True
Suppose 5*f - 32 = 4*m, f - 1 = -5*m - 12. Let w be 0 + -1 + 1 - -2. Let p be (4 - 4/(-14))/(0 - w). Is m > p?
False
Let x = 188.93 - 188.996. Is -6 less than or equal to x?
True
Suppose -5*u = 3*q - 4, -10*q + 8*q + 2*u - 8 = 0. Are q and 78/151 nonequal?
True
Suppose 0 = s - 86*p + 88*p + 1, 5*s + 3*p + 5 = 0. Is 5/2167 at most as big as s?
False
Let k = -2066 - -2066.075. Let c = 1/42 - 5/14. Which is smaller: k or c?
c
Let s = -3440 - -3431. Let y = 0.1 + -0.6. Let r = y - -0.4. Which is greater: r or s?
r
Let x(k) = -k**3 - 31. Let p be x(0). Let c = -14673 - -14673. Does c = p?
False
Let r be (-20)/(-18)*(24 - 4). Let z = 3394/153 - r. Suppose 43*u - 16*u + 69*u = 0. Which is greater: z or u?
u
Let g be (5/(15/(-18)))/(-2). Suppose u - l - 12 = -2*u, -g*u - 2*l + 21 = 0. Suppose -u*s = 126 + 29. Which is bigger: s or -32?
s
Let k be 360/(-150)*(-550)/30. Suppose 3*c + 10 = -2*z, 0*z = -z - c - 4. Let t(q) = -22*q - 1. Let o be t(z). Which is greater: k or o?
k
Let t = -9818 - -7821. Is -1998 not equal to t?
True
Let o = 27 + -82/3. Let a = -8.0087 - 0.1213. Let x = -7.9 - a. Is o smaller than x?
True
Let c = -13270 + 13271. Are c and 343 non-equal?
True
Let a = 28.614 - 28.7. Let s = a - -0.03. Is 0 > s?
True
Let c be (2/15)/(41/15088). Which is smaller: c or 48?
48
Let i = 79 - 144. Let c(j) = -6*j**3 - 5*j**2 + 3*j - 3. Let y be c(2). Is i < y?
False
Let r be (6*-5)/5 - -8. Suppose 5*n - 15 = r*b - 35, n - 17 = -b. Is b less than or equal to -1?
False
Let p = 114 - 108. Let n be (-2)/(-3)*(15/p - 1). Which is greater: -3/134 or n?
n
Let n be 1/(-3) + (-26)/(-6). Suppose -2*r - 5*h = 318, 0 = 3*r + 4*h + 151 + 326. Let c = -159 - r. Do n and c have the same value?
False
Let z be (108/(-60))/(6/(-10)). Let m be (4 - -8) + z/1. Let l be (-8)/28 - m/70. Is 16 at least as big as l?
True
Let x = -38.09 + -32.91. Which is smaller: 1/13 or x?
x
Let o be 5 - -1 - (0 - -1). Suppose 0 = 23*t - 12*t + 15*t. Suppose -o*l - 25 = -t*l. Which is smaller: l or -7?
-7
Let w = 506.1509 - 0.1509. Which is bigger: w or 3?
w
Let v = 1.49 - -0.51. Let s = 1.529 + 1.49. Let l = 0.019 - s. Does l = v?
False
Suppose 1 = y - 33. Suppose 0 = 5*w - 2*w - v - 21, 0 =