ss than v?
True
Let b = -2105.10834 + 0.10834. Which is bigger: -1 or b?
-1
Let f be -12 + 3 + 17/(102/54). Which is smaller: f or 2/22469?
f
Let a be 5*(-4)/44180*66/(-99). Which is smaller: 0 or a?
0
Suppose 870 = -27*f - 3558. Is -163 > f?
True
Suppose 76*r - 1544 = 68*r. Suppose r*b = 190*b + 3. Is 1/263 equal to b?
False
Let p(s) = s**3 + 16*s**2 + 7*s - 27. Let f = 589 - 604. Let h be p(f). Do h and 94 have the same value?
False
Let u(s) = -s**2 + 13*s - 12. Let k be u(12). Let o be (-4)/8 - (-8)/18. Let q = o + 35/306. Which is smaller: q or k?
k
Let v(i) = i - 21. Let b be v(8). Let s = -11 - b. Suppose -5*d = 0, -s*a = -4*a + 3*d. Is a less than or equal to -1/5?
False
Let q = -2157.6981 - -2158. Is 0 bigger than q?
False
Let w be (26/(-24))/(2/102). Let g(y) = -19*y**2 - 8*y + 5. Let d be g(-2). Let m = w - d. Do -20/3 and m have the same value?
False
Let w be 162/216 - (-25)/(-60). Which is greater: 0.0476 or w?
w
Let d be -1 - -4 - 17*2/10. Suppose 0*g - 6*g + 24 = 0. Suppose -2*k - k - v = -9, -13 = -g*k - v. Which is greater: d or k?
k
Let x = -36/29 + 586/145. Let k = -5 - -17. Let r be (4/(-84)*-7)/(2/k). Is r less than or equal to x?
True
Let z be -461 + 56/(-16)*4. Do -476 and z have the same value?
False
Let a be 16/10 + 4/10. Suppose -v = c - 6*v + 15, a*v = -10. Suppose -4*b + 51 = 215. Does c = b?
False
Suppose 116*f - 35438 = 210*f. Which is smaller: -12 or f?
f
Let z = 182 - 182. Which is smaller: 819 or z?
z
Let j = 5099 + 1527. Is 6629 bigger than j?
True
Let g be (-63)/(1 - 2) - -4. Let v = 67 - g. Suppose v = -4*j - 5*p + 9, -3*p = -j - 1 - 1. Is j at most 11/8?
True
Let t = 276.2 - 232. Let b = t + -126.2. Are 0 and b non-equal?
True
Suppose m + 8 = -0*m. Let h(s) = s + 8. Let r be h(m). Let c = -1/717 + -4291/7887. Which is smaller: r or c?
c
Let j = 95.75 + -96. Let s = 1.35 - j. Let d = -1.3 + s. Which is greater: d or -19?
d
Suppose 4*y + 12 = -l - 1, -l - 2*y - 5 = 0. Let j be ((-2)/l)/(3/(-792) - 0). Is j greater than 177?
False
Let j = 641.7 - 208.7. Which is smaller: -4 or j?
-4
Let a = 3 - -4. Suppose -7*b + 2*b + 2*d = 2165, 0 = -4*d - 20. Let k = b - -441. Is k at least as big as a?
False
Let d be ((-36)/(-63))/(86/88795). Does d = 589?
False
Suppose -93*a = -32*a + 629093. Is -10314 greater than a?
False
Let m = -70 + 66. Let j be ((-70)/6 + m)*-6. Let g(h) = 14*h - 3. Let s be g(7). Which is smaller: s or j?
j
Let j be 13/(52/48) + 3. Let k be ((-6)/(-15))/(((-234)/705)/(-13)). Which is smaller: k or j?
j
Let j be (-448)/(-24)*-36*24/(-32). Is 2017/4 < j?
False
Let c = -49 - 256. Let h = 2437/8 + c. Which is greater: h or 0?
0
Let p = -63 + -34. Let u = -39 - p. Let d = u + -49. Which is smaller: d or 2?
2
Suppose q - 3 + 5 = 0. Let x = q - -6. Let n(s) = 8*s - 18. Let g be n(3). Which is greater: x or g?
g
Let k = -1973 - -1973.09. Which is smaller: -62 or k?
-62
Let r = -211 - -215. Suppose -r*v = -8, 2*v - 56 = 6*c - 2*c. Which is smaller: -64/5 or c?
c
Suppose -26*w - 112 = 1370. Which is greater: -55 or w?
-55
Let l be 68/442 + 4 + 1662/351. Is 1 < l?
True
Suppose 283*y + 61333 = 263*y + 4433. Which is smaller: y or -2844?
y
Suppose 0 = 4*r - 5*r + t + 7, 5 = -5*r - 3*t. Suppose 0 = -f - r*x - 3, -f + 10 = -2*f + 5*x. Let o be 38/f - ((-54)/15 - -4). Is o greater than -8?
False
Let h = -29/4 - -369/52. Let b(z) = z**3 - 14*z**2 + 12*z + 14. Let d be b(13). Suppose k + d - 1 = 0. Is k greater than h?
True
Suppose 260 = -10*r + 5*r. Suppose 5*i - 245 = 5*m, 23*m - 28*m = 5*i + 265. Is r at most m?
True
Let p be -2534823*(-12)/14085 - 4/(-10). Suppose 1024 = 2*h - 3296. Let a = h - p. Is 0 <= a?
True
Let v = -19304 + 20057. Which is greater: v or 749?
v
Let x(y) = -14*y**2 + y - 2. Let m be x(-2). Let a(p) = -p**2 + 41*p - 42. Let s be a(40). Let b be (s/(8/(-10)))/((-6)/m). Do 25 and b have the same value?
True
Suppose 438 - 354 = 14*f. Which is bigger: 31/5 or f?
31/5
Let s be (-5)/(340/51) + 363/4. Which is bigger: 1518/17 or s?
s
Let x = 776 + -748. Is 30 >= x?
True
Suppose -v - 40 = -6*v. Suppose -5*k + 168 = 2*l, 33 - 149 = -3*k - 5*l. Suppose -v*u = -k - 32. Which is bigger: 13/2 or u?
u
Let d be (-2247037)/1027 - ((-6)/1 - -3). Let w = d + 2185. Which is greater: w or -1?
w
Let n = -23 + 12. Let q = -1 - n. Let t(i) = -i**3 - 13*i**2 - 43*i - 12. Let p be t(-8). Is p > q?
True
Let g = 240 - 247.95. Let r = -0.05 + g. Let n = 1787/7 + -255. Which is smaller: r or n?
r
Let s be ((-8)/14)/((-120)/28 + 4). Suppose -y = -s*u + 323, 5*y - 677 = -4*u - 66. Let f be (u/27 + -2)/(10/15). Which is bigger: 5 or f?
f
Let k(f) = 2*f**2 + 78*f - 329. Let z be k(4). Is 13 >= z?
False
Suppose 3*g = -l - 2*l + 18, -2*g - 3 = -l. Let p(q) = 58*q + 5. Let b be p(g). Let a = 63 - b. Is a <= -1/32?
False
Let m(v) = -8*v + 51. Let c be m(7). Let q be 82/3*(c - 52/(-8)). Which is smaller: q or 40?
40
Let f = -2936 + 2934.86. Is f equal to -1.3?
False
Let g be ((-2)/(-3))/((-2)/9). Let p = -3/67 - -21647/134. Let u = p - 163. Are u and g equal?
False
Suppose 4*m + 2*f - 42 = 0, 5*f + 15 = -0*f. Let s = -2 + 5. Suppose -5*p = s*x - m, 5*p = p - 5*x + 20. Is -1/4 greater than or equal to p?
False
Let i(w) = w**3 + 39*w**2 - 85*w - 101. Let o be i(-41). Let s = -9 + 15. Which is greater: o or s?
o
Suppose -3*m - 318 = -2*f, -5*f + 657 = 4*m - 115. Suppose -6*t + f = 648. Is -566/7 smaller than t?
False
Let v = 3790 + -3343. Is v at most 3?
False
Let q = 122 + -17. Let d(p) = -101*p**3 - 3*p**2 - 32*p - 28. Let l be d(-1). Suppose 3*x + l = q. Is -6/29 at least x?
False
Suppose -7276 + 2644 = -12*b. Suppose 4*z = v + b, 3*z - 188 = z + 3*v. Which is smaller: z or 96?
96
Suppose -2*z = -24*z - 1841 - 1877. Which is smaller: z or 3/7?
z
Suppose 5*b - 2*j - 30 = 21, 0 = 4*b - 4*j - 24. Let z(s) = s**2 + s + 6. Let u be z(0). Is b at most u?
False
Let u(j) = 5*j + 26. Let r(y) = y**2 + 9*y + 15. Let l be r(-7). Let q be -3 - (7 + (-2 - -3) + l). Let c be u(q). Is c <= -1/4?
True
Let z = 16333 - 16032. Are z and 251 equal?
False
Let f be (-98)/21 + 5 + (-46)/100. Which is greater: -1 or f?
f
Let k be (-88)/(-572) - (-2 - 15949/(-7423)). Is k greater than -1?
True
Suppose -58*y + 394 - 1400 = 2068. Which is smaller: y or 13?
y
Let v = 49979/4 + -12459. Which is bigger: 35 or v?
v
Let u be ((-123851)/(-52))/(324/(-288)). Which is smaller: -2116 or u?
u
Let u = 112.203 + -112.303. Let i = -14 - -32. Is u at most as big as i?
True
Let t = 91 - 90. Let a be t/((-642)/(-1902)) + -3. Which is bigger: 0 or a?
0
Let g(s) = -s**3 - 29*s**2 + 42*s + 66. Let d be g(-30). Let c = d - -274. Let y be ((-38)/(-4))/(8/(-16)). Which is smaller: y or c?
c
Let f = 9 + -350/39. Suppose 5*w - 70 - 45 = 0. Let d = w + -24. Which is smaller: d or f?
d
Let k = 9 - 23. Let p(z) = -z**2 - 178*z - 877. Let n be p(-5). Is k equal to n?
False
Let n = 3/1271 + -160221/31775. Do n and -2/5 have the same value?
False
Let t = -9796241/183 + 53531. Let c = t - -7558/17385. Let v = c - -136/855. Is -4 less than v?
True
Let p = -0.117 - -6.117. Let t be (-8)/(-28) + 120/21. Suppose t*n = n - 55. Is n less than or equal to p?
True
Let f = 127 - 111. Let v = -17 + f. Which is bigger: v or 81?
81
Let k(p) = p + 5. Let t be k(-6). Let l be 3700/9990*18/170. Is t greater than or equal to l?
False
Let g = 7179 + -7093. Which is smaller: g or 47?
47
Suppose 4*a + a = -10. Let i be 190/(-3) + a + 2. Let l = 61 + i. Are l and 0 nonequal?
True
Let t = 37311 - 37310. Are -23/1320 and t equal?
False
Let o be (-109005)/1505 + 4/(-7). Is -3 >= o?
True
Let k = 7545 + -7469. Which is smaller: 85 or k?
k
Let o be (-2)/8 - 7/28*39. Let d be 12/o + ((-60)/(-50) - 1). Is 2/23 at least as big as d?
True
Let m be 7 - 74/(-7)*77/(-44). Which is bigger: -14 or m?
m
Let i(o) = -58*o + 7334. Let f be i(131). Is f > -264?
False
Let v be -9 - 2/(1 + -3). Let u be v/1 - (-24)/8. Let s(f) = -f**3 - 4*f**2 + 13*f - 1. Let r be s(-6). Are r and u non-equal?
True
Let k = 147 + -152. Let o be (4/(-6))/((-4)/36)*-1. Which is smaller: o or k?
o
Let w = 5/5066 + 106331/55726. Which is bigger: w or 2/69?
w
Let s = -4027.742 + 3981.7. Let l = 46 + s. Let k = l + 0.142. Is -0.07 less than k?
True
Let n be (74 - 63 - (-17326)/(-24))/(1/(-9)). Which is greater: 6398 or n?
n
Let m be 3 - 0 - (-4 + 