4755 + 1/309602862223. Let q = 4617/5 - j. Is -1 less than q?
True
Let p = 14 - 14. Suppose -10*b + 13*b = p. Is b equal to -4/21?
False
Let u be 534/3945 - (-36)/(-180). Which is greater: u or -1?
u
Let a(n) = -112*n + 1387. Let s be a(-7). Is 2171 at least as big as s?
True
Let o be (-10 + 396/54)/(4/258). Are o and 3 equal?
False
Let h = -10266 + 14626. Which is smaller: 0.2 or h?
0.2
Let w = 2/5177 - 134652/129425. Which is smaller: -0.1 or w?
w
Let m be (32/12 - 3)/(716/48). Let u = 461/3401 - m. Let s be 2/((0 - 6)/3). Do u and s have the same value?
False
Let s be (-22 - -7)*1/(-621). Let b = 1540/20907 - s. Is 0 at most b?
True
Let s = -19332 - -19085. Which is smaller: s or 55?
s
Let p = 134.6 - 134. Let n = p - 0.4. Which is smaller: 45 or n?
n
Let u(b) = -28*b + 224. Let c(i) = -5*i - 17. Let g be c(-5). Let m be u(g). Which is smaller: 6/61 or m?
m
Suppose 32*i = -85*i + 37284 - 12597. Which is smaller: 232 or i?
i
Suppose 7*l = 12*l. Suppose 0 = 3*m - 2*m - 3*c + 21, -4*m + 3*c - 39 = l. Let o be 5*(m/40)/(3/12). Which is bigger: o or -9/5?
-9/5
Let j be -5 + -2 - (-1 + 243/(-9)). Which is greater: 175/8 or j?
175/8
Let p = 7.43 + -8.909. Let r = p - 0.521. Is r less than or equal to -51?
False
Let m = 169 - 165. Is -50.2 < m?
True
Let m = 145.29 - 146.2. Which is greater: m or -27?
m
Suppose -v - 3*q + 11 = 0, 3*q - 9 = 2*v - 4. Suppose 4*m = 5*u + 25, v*m + 3*u = -3 - 12. Let l = 1724/3 - 39661/69. Which is greater: l or m?
m
Let p be 2/(-14) + (-15)/(-7). Suppose -p*o + 5*o - 15 = -2*u, -5*o = 5*u - 30. Suppose 4 = 4*y, -5*z + o*z + 5*y - 41 = 0. Are z and -18 equal?
True
Let i be (-4)/(-12)*342/(-12). Suppose -k = -6*k. Suppose q + 8 + 3 = k. Which is greater: i or q?
i
Suppose 2*x = 0, -2*v - 8*x + 3*x + 85 = 3*v. Which is smaller: -65 or v?
-65
Let m = -28.873 - -29.15. Which is greater: m or -6?
m
Let a = 53 + -52. Let r = 61507/28 + -2203. Let x = r + 45/7. Which is bigger: a or x?
a
Suppose -3*l - 5*w = 691, -2*l + 4*w - 96 - 372 = 0. Are -205 and l nonequal?
True
Let k = 3.01526 + -0.01526. Which is smaller: k or -330/17?
-330/17
Let x = -362 - -599. Is 235 bigger than x?
False
Let g(x) = -x**2 + 13*x - 30. Let z be g(9). Suppose t - z*t + 475 = 0. Which is bigger: 93 or t?
t
Let z(s) = -13*s**2 - 184*s - 1081. Let q be z(-6). Is -432 > q?
True
Suppose 93 - 270 = -3*g. Suppose -g*f - 250 = -54*f. Let l be f/2*2 + (25 - 28). Is l != -53?
False
Suppose 6*i + 19*i - 252 = -152. Let q = 17.73 + -18. Which is bigger: i or q?
i
Let h = -1/7379 - 236123/36895. Which is smaller: h or -7?
-7
Let b = 0.3679 + 132.6321. Is b at most -16?
False
Suppose 4*z = 5*q + 459 + 336, 0 = 2*z + 2*q - 384. Is z at least 195?
True
Let u = -11507/1802865 + 3/2285. Is 0 less than u?
False
Suppose 6*y = 1532 + 118. Let n = -284 + y. Do -39/4 and n have the same value?
False
Let o be ((-1)/(-3))/((-3)/9). Suppose 0 = -23*x - 151 - 14155. Let k be 126/36 - x/(-180). Which is bigger: o or k?
k
Let v be (-1197)/(-266)*(108/(-47) - 0). Which is smaller: v or -11?
-11
Let m be (11/(-44))/((-9)/(378/(-285))). Are 0 and m non-equal?
True
Suppose 11*y - 3227 = 16*y - 3*l, 3*l = y + 643. Is y less than or equal to -643?
True
Suppose 160 + 10 = 5*l. Let h = 31 - l. Let u be (1 + h)/6 + (-152)/84. Which is bigger: -2 or u?
-2
Let j be ((-1)/(-2))/((-1)/(-6)). Suppose 5*u - 23 = -2*s, -s - j*s + 3*u - 19 = 0. Is -7/5 at most as big as s?
True
Let u be -4*(-1)/(-8)*2. Let m = 8058/5 + -9242516/5735. Is m <= u?
False
Let v(q) = -16*q**3 - 2*q**2 - 2*q - 1. Let w be v(-1). Suppose 0 = 2*b - 6, 3*r + r + 2*b = 1546. Let n = r + -372. Which is greater: w or n?
w
Suppose 0 = -107*y + 1025*y + 389232. Let r be (39 - 5)*(-50)/4. Which is greater: r or y?
y
Let w = 0.114 - 0.114. Let o = 64 - 48. Let h = o + 19. Is w at most h?
True
Let b = -2869 + 2553.6. Let s = b + 314. Which is smaller: s or -0.01?
s
Let l = -8290 - -8340.71. Let t = l - -0.29. Let s = 51.2 - t. Do -0.6 and s have different values?
True
Let c = 6/37 - -19/111. Suppose -4 = -k - 3. Which is bigger: k or c?
k
Let t be (-7 + 1456/144)*(-1686)/7. Which is bigger: t or -748?
-748
Suppose w + n = 1, 0 = -32*w + 37*w - n - 17. Suppose -4*f = p - 1322, w*p + 356 + 312 = 2*f. Which is greater: 330 or f?
f
Suppose -5*t - 390 = 5*r, -15 + 75 = -r + 5*t. Let d be (6/4 + 0)/(r/(-20)). Let b = 134/11 - 1294/99. Is b <= d?
True
Let u(i) = -i**3 - 10*i**2 - 15*i + 11. Let n be u(-8). Let v be (-3 - 9105/(-9)) + (-2)/n. Let c be -3*1*(-32)/v. Do 1 and c have the same value?
False
Let o = 0.13282 - -0.03618. Is 1/5 less than or equal to o?
False
Suppose -10*h = -3*h - 301. Suppose -42*m + 37*m - 270 = 0. Let a = 97 + m. Are h and a equal?
True
Let y = 2711 - 2707. Is y at least -19?
True
Let m be 18/(-225)*(2693 + -8 + 5). Which is greater: -0.2 or m?
-0.2
Let j = -5586 + 189909/34. Is j not equal to 1?
True
Let w = 16 + -21. Let o(f) = f + 8. Let i be o(w). Suppose -3*g = i*g + 66. Is g equal to 2?
False
Let q = -0.2422 - -0.1422. Which is bigger: q or 697?
697
Let d(m) = -m**3 + 4*m**2 + 7*m - 27. Let k be d(4). Let h = -235 + 3065/13. Is k smaller than h?
False
Suppose 2*n + 12 = -6. Let b = 11591 + -127616/11. Which is smaller: b or n?
b
Let w = -7774 - -7330. Is -0.8 < w?
False
Let w = -84.334 + -0.166. Let m = w + 91.3. Which is smaller: 1 or m?
1
Let q = 248 + -247.823. Let l = q - 41.177. Which is smaller: -0.1 or l?
l
Let j(k) = -550*k**3 - 2*k**2 + 7*k - 4. Let o = 106 + -104. Let u be j(o). Let m be (u/1330 - 8/(-28)) + 3. Which is greater: m or 0?
0
Let u(a) = -2*a + 21. Let z be u(4). Suppose 26*h - z*h = 286. Which is greater: 65/3 or h?
h
Suppose -4*l - 22 = -2*t, 2*t - 6*t = -20. Let o = 1/1523 + 22843/3046. Which is smaller: o or l?
l
Let g = -22570 + 12084. Which is smaller: 1 or g?
g
Let j(r) = -r**2 - 24*r + 40. Let u be j(-21). Let i = 103 - u. Is i > 3/86?
False
Let j = 0.103 + -55.103. Let g = j - -106. Let z = g + -55. Is z != 12?
True
Let f = -2088.1 + 2088. Is f > 0.0622?
False
Let c = -1.163 + 0.163. Which is smaller: 64.14 or c?
c
Let d = -0.48 + 0.48. Let l(i) = i**2 + 7*i + 2. Let c be l(-7). Let t be (2/c)/1*136/4. Is t not equal to d?
True
Let w be 1 - 4 - (-6309)/7. Let q = 904 - w. Let g = 34/7 - q. Which is bigger: 2 or g?
2
Let r = -0.064 + -5.936. Let j = 6.1 + r. Let n be 2951/(-364) - 2/14. Which is smaller: j or n?
n
Let n = 344 + -221. Let h = n - 55. Let y = h - 49. Is y at least 17?
True
Let v be 56*(14 - (-1541)/(-92)). Suppose -2*o - 3*o - 775 = 0. Is v < o?
False
Let s(g) = 319*g + 23. Let m be s(13). Suppose -m - 555 = -9*p. Let q be p/120 + 2/(-8). Is 3 smaller than q?
True
Let j be ((-48)/(-60) + (-2)/(-10))/(-3 + 2). Which is bigger: j or -14/73?
-14/73
Let v = -1/66 + 23/66. Let w = 1.191 - -446.809. Is w greater than or equal to v?
True
Suppose -10*k + 11*u + 2418 = 7*u, 0 = -5*k - u + 1188. Which is bigger: 0.11 or k?
k
Let i = -1087 - -1168.7. Let f = -81 + i. Let y be (28/126 + 22/(-18))/1. Is f greater than or equal to y?
True
Let x = 49.56 - 49.36. Is -11254 not equal to x?
True
Let u(y) = 43*y - 2514. Let j be u(32). Is j >= -1143?
True
Let c(l) = 5*l + 9. Let w be c(7). Let z(q) = -2*q**2 - 3*q + 12. Let x be z(8). Let h = -96 - x. Is h greater than w?
False
Suppose r - 3 = 2. Let x be 3 + r/(-50)*34. Suppose 0 = -13*f - 10 + 101. Does f = x?
False
Suppose k - 5 = 5*l - 13, -3 = 2*k + 3*l. Let d be ((-484)/561)/(-6*k/27). Is -2 at most d?
True
Let w be (4/(-6))/(-3 + 1330/441). Let v be w/(-1190) + 3/15. Let n(a) = a**3 + 6*a**2 - 1. Let j be n(-6). Which is smaller: v or j?
j
Let u be ((-4)/(-3))/(1/(-3)). Let n = -3 - u. Let s be ((-6)/365)/((-1396)/3490). Is s less than or equal to n?
True
Suppose 0 = -2*h - 42 - 16. Let w be (-448)/(-44) + -3*6/99. Suppose -w*b - 3*b - 403 = 0. Which is greater: h or b?
h
Let s(n) = -n**2 + 19*n - 32. Let c be s(18). Let r be (-1616)/(-1736) + 4/c. Which is bigger: 1 or r?
1
Let x(k) = k**3 - 5*k**2 - 2*k + 14. Let j be x(5). Suppose 0 = -j*y + 55 + 61. Suppose 68 = 3*r - 22. Which is smaller: r or y?
y
Let p = -9 - -319. Suppose p = -5*h + 125. Let w = h + 31. Which is smaller: -7 or w?
-7
Suppose 4*t - b = 4, -24*b + 22*b = 4*t + 8. Let s(q) = -26*q**2 + q - 1. Let i be s(1). Do i and t have the same value?
False
