*i = -253 + 101, 2*g = 2*i + 68. Let t be 107/(-3) + ((-55)/33)/5. Let b = g + t. Is b < 10?
True
Suppose 278*q - 69 = -177 - 1004. Is -3390 greater than or equal to q?
False
Let j = 4954 - 4954.157. Is 0 <= j?
False
Let s be ((-56)/(-12) + -4)*(-108)/504. Is s at most as big as 0.116?
True
Let y = -691 - -691.2. Which is greater: y or 737?
737
Let u = 1633 + -1648. Are -262/19 and u equal?
False
Let l = -13/22 - 313/66. Let c = -17.517 + 18.517. Which is greater: l or c?
c
Let q be (-4778)/14 - 6/(-35)*150/90. Which is smaller: -0.2 or q?
q
Let l(v) = 454*v - 12258. Let t be l(27). Which is smaller: -4/4321 or t?
-4/4321
Let n = 0.506 - 202.506. Let j = n - -193.82. Let k = j + 0.18. Which is greater: k or 3/5?
3/5
Let c = -16 + 11. Let q = 0.31903 + 2.69467. Let n = q + -0.0137. Which is bigger: c or n?
n
Suppose -33*o + 1161 = -6*o. Let v = 538 - 491. Is v < o?
False
Let y be 2 + 2/(-2) - 0. Let u(g) = -g + 125. Let w(z) = 125. Let f(o) = -7*u(o) + 6*w(o). Let n be f(18). Is n less than or equal to y?
True
Let y = -20.1 + 54.6. Let v = y - 30.5. Which is smaller: v or 11?
v
Let u = -2.97 - -3. Let p = -2793 - -3926. Let m = p - 1127. Which is smaller: u or m?
u
Let p be (-12)/22 + (-9690)/(-14740). Are p and 1 non-equal?
True
Suppose -11*w - 3*f = -10*w - 18, 3*f - 3 = 4*w. Suppose 4*i + 7 + 1 = w*b, 21 = i + 5*b. Which is greater: i or -323?
i
Let u(m) = m**2 - 17*m + 32. Suppose 0 = b + 5*k - 45, -4*b = -b - k - 71. Let i = b - 10. Let h be u(i). Is 1 smaller than h?
True
Let d = -578 + 1206. Suppose -4*y = -8*y + d. Suppose -3*u - 99 = 3*f, -f + y = -6*f - u. Which is greater: f or -32?
f
Let g(c) = -4*c**3 + 5*c**2 + 12*c + 1. Let x be g(5). Let q be (-4)/18 - (-7)/((-252)/x). Which is smaller: q or 10?
q
Suppose x - 18*x = -8330. Suppose -4*f - t = -x, 5*f - 466 = -4*t + 141. Which is greater: f or 122?
f
Let u = -2346 + 2364. Do u and 10 have different values?
True
Let x = -12665 + 12664.9. Which is bigger: x or 6325?
6325
Let v = 655 - 371. Let w = v - -303. Which is greater: 0.1 or w?
w
Suppose 102 = -37*p - 226*p - 161. Is p bigger than -22/267?
False
Let u = -20674 + 20674.16. Which is greater: 0.58 or u?
0.58
Let l(m) = 4*m**3 - 9*m**2 - 47*m - 54. Let k be l(-12). Is -7698 bigger than k?
False
Suppose t - 65 = -j + 17, -159 = -2*j - t. Do j and 78 have the same value?
False
Let l = 29 + -115/4. Let q = -0.38 + 4.73. Let f = 1.35 - q. Is l != f?
True
Let f(r) = 5*r + 3. Let z be f(-2). Let k be (-10475)/1575 - (390/(-54) - -7). Which is smaller: k or z?
z
Suppose 215 = -2*k + 902*y - 897*y, -3*y - 312 = 3*k. Is -123 <= k?
True
Let j(m) be the third derivative of 0*m + 0*m**3 + 0 + 1/24*m**4 - 17*m**2. Let f be j(3). Is f <= 8/3?
False
Suppose 99*u - 97*u + 10758 = 4*d, -3*d = 2*u + 10751. Which is bigger: -5376 or u?
-5376
Let v = -0.129 + -101.871. Let z = 102.42 + v. Let f = -0.58 - z. Which is smaller: -7 or f?
-7
Let u = -0.16 + -1.07. Let v = u - 23.77. Let h(n) = n + 11. Let z be h(-12). Which is smaller: z or v?
v
Let z(j) = 2*j**2 - 1. Let r(o) = 12*o**2 - o - 3. Let p(k) = -r(k) + 5*z(k). Let a be p(0). Let d be (-12)/10*(-20)/(-7). Which is greater: a or d?
a
Let f = -210 + 208. Let h be (-5)/(-35)*17 - (-4)/f. Which is bigger: h or -1?
h
Let n be (-3)/((-3)/2) - (-5 + 1). Let j(d) = 13*d - 24. Let i be j(n). Suppose -g + 10*g - i = 0. Is g equal to 5?
False
Let g(i) = -17*i - 3. Let j be g(1). Let x be -11*(j/6)/((-3)/(-9)). Suppose 3*h = -0*u - 4*u + 45, 5*h = 5*u + x. Which is bigger: h or 17?
h
Let v(u) = 20*u + 116. Let i be v(-8). Let q be (-12 - -7) + 1*i. Is -49 at least q?
True
Let o = 6371.9 + -6372. Which is smaller: o or 1078/5?
o
Let w(n) = -3*n**2 + n + 16. Let s be w(4). Let i be ((-2)/4)/(2/s). Is i greater than or equal to 7?
True
Let p be (-1311)/(-1) - (-7 + 4 - 1). Suppose 411 = 2*i + p. Which is smaller: i or -453?
-453
Let b be 15*(52/20 - -1). Let o(k) = 9*k**2 + 11*k + 4. Let t be o(-3). Is b > t?
True
Let b = -8763 + 8467. Is b bigger than 9?
False
Suppose -44 = -3*j - 4*h, -2*j = -h - 16 + 5. Let o = j + -10. Let y be -3 - (11 + 3)*o/8. Which is greater: y or 4/21?
y
Suppose 3*m + 3709 + 20534 = 0. Let k = 105239/13 + m. Is 2/3 at least as big as k?
False
Suppose -73 = 3*v + 212. Let c = v + 95. Is c less than or equal to -4/19?
False
Let z be (117/(-54))/(2/(-12)). Suppose -271 - 65 = -7*v. Suppose -3*f - f + v = 0. Which is bigger: f or z?
z
Let x = -1244.1 - -1235.1. Are -27 and x nonequal?
True
Let f = 783 + -1350. Which is smaller: -565 or f?
f
Let h(v) = v**2 + 7*v + 2. Let d be h(-3). Let k = 11 + d. Let m = 270 - 238. Is k greater than m?
False
Let f(k) = k**3 + 5*k**2 - k - 6. Let o be f(-5). Suppose 0 = 2*y - 202 - 106. Suppose -y*g + 11 = -155*g. Which is smaller: o or g?
g
Let p be 1/((-23)/28 + 1). Suppose -7*x + 20*x = 273. Suppose -185*y + x = -182*y. Is y less than p?
False
Suppose 5*r = 10, 7*f + r = 4*f + 368. Is f less than 106?
False
Let z = -9332/15 - -622. Let s = 3 - -2. Suppose i + b + 3 = 0, i - 2*i = -b - s. Which is greater: i or z?
i
Let h = 4269.978 + -4270. Is 18/25 > h?
True
Let t(x) = x**2 + 2*x + 1. Let v(w) = w. Let l(k) = -4*t(k) + 9*v(k). Let f be l(3). Let a = f + -26. Is -63 at least a?
True
Let n = 6 + -2. Suppose z + 1 = s - 5*s, s = -z - n. Which is bigger: -0.06 or s?
s
Let t = -4.83 + 0.33. Let d = 46.1 + t. Let c = d - 41. Which is smaller: -2/11 or c?
-2/11
Let z = -4580 + 4628. Which is smaller: z or 473/10?
473/10
Let f be -2 + (27/36)/(3/(-12)). Suppose -2 - 2 = -2*i. Suppose i - 5 = -3*y. Is f > y?
False
Let u = 13 - 14. Let z = 3/11 - -45/319. Which is smaller: z or u?
u
Let v = -72 + 64. Let h be ((-84)/v - 1)/(2/(-4)). Which is bigger: h or -17?
-17
Let c(z) = -3*z**2 - 26 - 38*z + 12*z**2 + z**3 + 51*z. Let g be c(-7). Which is bigger: -10 or g?
-10
Let v = -1646.9 - -1647. Let s be 52*(-3)/(-6)*2. Is s smaller than v?
False
Suppose 3*i + 5*q = 210, -5*i + 4*q - 8*q = -350. Let l(r) = 589*r - 1699. Let h be l(3). Which is greater: i or h?
i
Let s = -2329/66 + 791/22. Which is smaller: s or -1214?
-1214
Let v be (-162)/918 - 198348/(-51). Are v and 3887 unequal?
True
Let u = -706/5 - -708/5. Which is bigger: 15291 or u?
15291
Let x be (-2)/(-20) - 5/10. Let m = -6476 - -6459. Is m less than or equal to x?
True
Let x(g) = g**2 - 16*g - 31. Let c be x(15). Let a = 57 + c. Which is greater: a or 0.7?
a
Suppose 4*g = -4*j + 176, -4*j + 172 = -0*g + 2*g. Suppose -5 = b, -j + 23 = 3*k + 2*b. Let y(z) = -z**2 + 6*z - 7. Let i be y(5). Which is smaller: i or k?
k
Suppose 2*a + a = 0, -2*d + a = -8. Let p = d + -4. Let h = 2981 + -324927/109. Is p greater than or equal to h?
False
Suppose 4 + 8 = 3*y. Suppose 2*t - y*g + 20 = 6, -3*t = -4*g + 13. Is t at most 4/119?
False
Let k be -22*(1/(-2) - 0). Suppose u - 4 - k = 0. Suppose 35*r + 3097 = 3622. Is r less than or equal to u?
True
Let x(r) = -r**3 - 29*r**2 - 25*r - 54. Let y be x(-28). Let q = 1 + y. Are -137 and q equal?
True
Let b = -321 + 1930. Is 1611 at most as big as b?
False
Let i(b) = -130*b + 654. Let o be i(5). Let v be (4/3)/((-1)/(-3)). Suppose 0 = -o*x + 8 + 4, 5*j - 253 = v*x. Is 53 at least as big as j?
True
Let z be (4/7)/(8/28). Suppose 5*u - 4*w + 8*w = 37, 4*w = 12. Let h be (-19)/u + (-3 + z - -4). Which is smaller: -1 or h?
-1
Suppose -2*t - 2*t + 2*z = -24, 2*z - 6 = -2*t. Suppose t*a - 1640 = 580. Which is smaller: a or 445?
a
Let k = 3455 - 1809. Which is smaller: 0 or k?
0
Let s = 4/3771 + -172213/3771. Is -47 less than or equal to s?
True
Let x be -6 - (1036/(-168) - (-3)/18). Is x at least as big as -3/1469?
True
Suppose 5*s = -j + 762, j + 302 = 2*s - 0*s. Suppose -2*p - 41 = -5*b - 442, -s = 2*b - 5*p. Is -82 greater than b?
False
Let j = -8 + 16. Let a be 15/(-10)*j/(-42). Which is greater: a or 343?
343
Let z = -186 + 132. Let p be (-228)/190*25*-1. Let o = z + p. Does -1 = o?
False
Suppose -3*f + 2*x = -503, f + 12*x - 14*x - 165 = 0. Suppose -f = 3*g + 158. Which is smaller: g or -108?
g
Let d be 2/(-20)*(-1072)/18 + -6. Let n = -5 + 5. Suppose n = -4*b + 2 + 2. Which is greater: b or d?
b
Suppose -12*k + 13*k = -31. Let c be ((2 - -4)*23)/(1035/(-230)). Which is smaller: c or k?
k
Let b = -922.831 - -6.831. Is b less than -1?
True
Let p be 0/((-2 + -3 + 6)/1). 