/13?
l
Let b be -1*(-3 - 10) + 1 + -5. Suppose -b*z = -8*z. Is z greater than 6?
False
Let i = 42/17 - 277/119. Suppose -14*b - 2165 = 313. Let f = b + 178. Which is greater: f or i?
f
Let i = 3970 - 3987. Is i at most 8/3?
True
Suppose 4*j = j + 2313. Let y = j - 50118/65. Is -1 greater than or equal to y?
False
Let n = 244.0003 + -0.0003. Let g = n - 252. Is g at most -2?
True
Let a = -105007452/2075 - -50606. Let j be ((-8 + 9)*1)/1. Which is bigger: a or j?
j
Let i = 15306 + -15305. Which is bigger: i or -2/3537?
i
Let c be (-10)/90 - 51/27 - -28. Suppose c*x - 8 = 30*x. Which is smaller: x or -48?
-48
Let j be (-26)/(-39)*3/2. Let u be 5 + (-61)/(-915) + 21113/(-4170). Which is greater: u or j?
j
Let a = 19428 - 19428. Is -2901.8 equal to a?
False
Suppose 2*o + 4*q = 6, 5*o = -2*q + 7 + 8. Let v = 15/11 - 1046/759. Let x = v - -85/46. Do o and x have the same value?
False
Let i = -236 - -108. Suppose -5*b = 4*z + 643, b + b + 260 = -3*z. Which is smaller: i or b?
i
Suppose -3*x + 2*x = 16. Suppose 4*o = -8*z - 80, -1445 = o - 4*z - 1443. Which is bigger: x or o?
o
Suppose 0 = -5*t - 5, 80 - 290 = -2*x - 4*t. Let p = -104 + x. Let l = 713/275 + 2/275. Which is greater: p or l?
p
Let t be (-105)/1540*11 - 21/(-12). Let l = 113 + -185. Which is bigger: t or l?
t
Let l = -36.825 - 0.175. Let f = l - -44. Is f at most -5?
False
Suppose 29*m + 299162 - 204412 = -407327. Do m and -17313 have the same value?
True
Suppose 548 = l + s, -1120 = 146*l - 148*l + 2*s. Which is bigger: l or -2?
l
Let q(f) = -65*f + 9039. Let n be q(135). Is n equal to 306?
False
Let b = -16 - -15.9. Let m = 177641/65 + -2733. Which is smaller: b or m?
b
Let c be 275/90 - (-15)/(-5). Let y = c + -14/9. Which is greater: y or -0.8?
-0.8
Suppose -x - 2 = 3*g, -3*g - 5 + 7 = 5*x. Is -5/2383 at least as big as g?
True
Suppose 3*k + 410 - 167 = 0. Let l be ((-459)/k)/(1/36). Is 205 >= l?
True
Suppose -137*d = -154*d - 357. Let i be ((-66)/2)/(6/4). Which is bigger: i or d?
d
Let b(t) = -6*t - 1. Let a(c) = 25*c + 3. Let m(l) = -6*a(l) - 26*b(l). Let u(y) = -11*y - 16. Let q(r) = 5*m(r) + 3*u(r). Let d be q(10). Is d >= 1?
False
Let w = -6304 - -6305. Which is greater: 1/14319 or w?
w
Let h = 27 - 25. Let f be h + 0 - (1 - 2). Let d be (1 - -1 - 0) + f. Which is smaller: 6 or d?
d
Suppose -3*j = -4*c + 1286, -12*c + 7*c = j + 435. Let n = j - -490. Which is bigger: n or 3?
n
Let o be 1/(-4) + 96252/1200. Let p = -80 + o. Which is greater: 0 or p?
0
Suppose -430 = 11*x - 474. Suppose -4*s + 90 = 2*j, x*s - 5*j - 131 = -34. Let h(c) = -c**3 + 7*c**2 - 2*c. Let k be h(6). Which is smaller: s or k?
s
Let p = -24 - -23.957. Let c = p - -0.243. Let k = -5.8 - c. Which is bigger: 0.4 or k?
0.4
Let c(o) = 2*o**2 - 18*o + 100. Let u be c(8). Let w = u - 84. Which is smaller: -2/765 or w?
-2/765
Let u = 214 - 214. Suppose 0 = t + 5*n - 9*n - 20, -t - 2*n - 10 = u. Is -9/14 smaller than t?
True
Suppose -4408*t + 4407*t + 6 = -8. Which is bigger: 584/39 or t?
584/39
Let p = -17770 - -15525. Which is greater: -2243 or p?
-2243
Let w = -81 + 154. Let l = 73 - w. Suppose 0 = -l*d + 8*d + 304. Does d = -39?
False
Let u be (-1*(-7431)/(-12) - 9/(-12))*-6. Do 2/5 and u have different values?
True
Let c = 11953 - 11953. Which is smaller: 2/8063 or c?
c
Let l be (-36)/(-21)*(7 + (-10780)/1544)/1. Are l and -2 non-equal?
True
Let v = 73655 - 366209/5. Is v equal to 413?
False
Let u = 0.26 + -0.16. Let c = 64 - 115. Let b = -72 - c. Which is greater: u or b?
u
Suppose 5*q - 20 = 0, -11 = -5*c - 3*q + 11. Let v be 4187/(-318)*(-42)/20. Let m = v - 132/5. Is c < m?
False
Let a(z) = z**2 - 8*z + 181. Let d be a(14). Which is smaller: d or 0.2?
0.2
Suppose -5*k = -5*j - 115, k - 172 = -2*j - 206. Is -25 greater than or equal to j?
False
Let k = 1.9 + 2.9. Let s = -9.8 + k. Let x = -4.98 - s. Which is bigger: 0 or x?
x
Let o be (2 - (-140)/(-50))*(-3 - (-37)/14). Which is bigger: o or -281?
o
Let n = -322 - -171. Let k be -3 + 0 + n - (4 - 10). Is k <= -145?
True
Suppose 385*x = 259491 + 2482094. Which is smaller: 7124 or x?
x
Suppose -5*l - u + 14 = 0, 0 = -11*l + 10*l - 4*u + 18. Let m be 1/(l/(-11) + 15/(-55)). Is m equal to -2?
False
Let q = -19821 + 19822. Which is bigger: 172/15 or q?
172/15
Suppose 19*u + 945 = 125*u + 5291. Let x be 2/6 - (-1851)/(-45). Which is bigger: x or u?
x
Suppose -3*j + z = -2345, 5*z - 4*z - 4 = 0. Let i = -495 + j. Which is bigger: 1 or i?
i
Let p = -16/9 - -62/45. Let v(w) = w**2 + 5*w - 3. Let l be v(-5). Let a be 12/(-666)*l/(-1). Is a != p?
True
Let l = 43 + -22. Let g = 20 - l. Which is smaller: -0.081 or g?
g
Let f be (-65)/2*276/(-115). Let v be (((-34)/f)/(-1))/((-5)/(-30)). Is 3 greater than v?
True
Suppose 4*m + 2*j = -52, -5*m = -j + 47 + 46. Suppose 71 = -5*b + 2*a, -4*b + a = -b + 42. Which is bigger: b or m?
b
Let u(r) = 4*r**3 + 27*r**2 + 20*r + 7. Let o(l) = 2*l**3 + 13*l**2 + 10*l + 4. Let p(h) = 5*o(h) - 2*u(h). Let z be p(-5). Which is bigger: z or -20?
z
Suppose 140*c + 8298 = 141*c. Is 8297 smaller than c?
True
Suppose 2*t = -4*d + 36, -2*t - 4*d = -5*t + 74. Suppose 0 = b, 2*l = 4*b - b + t. Suppose x - 13 + 0 = -w, 0 = -6*w + x + 64. Is l at least w?
True
Suppose -2*m = -0*m - 4. Let b be (m - 3)/((-6)/(-30)). Let d(k) = -k - 5. Let u be d(b). Which is bigger: -2/93 or u?
u
Let n = -8.08 + 0.08. Let i = 0.2571 - 0.0571. Which is smaller: i or n?
n
Let y be 9*72/750*505/2. Let j = 218 - y. Let o be 2/13 - (-5)/(325/(-10)). Is o not equal to j?
True
Suppose 44 = -222*r + 200*r. Which is bigger: r or -31/61?
-31/61
Let a be 1/(-4) - (-887)/(-4). Suppose -2*s + 9 - 15 = 4*r, -5*s - 5 = 5*r. Let v be 2*s + a/54 + 2. Is -0.1 at least v?
True
Let v = -2277 - -2246. Which is greater: 2 or v?
2
Let p = -8656 - -8435. Is p < -2/9?
True
Let v = 4/2727 - -509713/160893. Which is smaller: v or 2?
2
Let h = -9326 + 14834. Which is smaller: 5505 or h?
5505
Let z(v) = -6*v + 29. Let y be z(-9). Let m = -40 - 102. Let t = m + y. Do 0 and t have the same value?
False
Suppose 0 = -2*g + 2*r + 23 - 3, 0 = -3*g - 2*r + 40. Let w = g - 12. Let o = -7339/230 - -727/23. Is o less than w?
True
Suppose 77*c - 82*c = -1440. Let z be c/(-81) - 0/(-2). Let t = -34/9 - z. Is t at least as big as 1?
False
Let h = -3583 + 3678.5. Is -2/5 at least as big as h?
False
Let y be 3*1*((-871)/2457)/((-70)/(-60)). Which is smaller: y or 1/4?
y
Suppose -4*b - k - 1045 = 0, -303 - 233 = 2*b - 4*k. Which is smaller: -264 or b?
-264
Let a = 18628 - 19519. Do -891 and a have different values?
False
Suppose 3*q - 9*q = -q. Suppose q = 3*c + 3, 89 + 314 = 2*v - 5*c. Let b = v + -296. Is -96 less than b?
False
Let b = 469 + -451. Suppose 14 = g - 3*a, -5*a = -3*g - 8*a - b. Is g at least 2/1223?
False
Let b be 3 + (-2 - 1 - -2). Suppose -b*z + y = 3*y - 28, 5*y = 2*z - 7. Let p be z/(11/6 + (-3)/9). Which is greater: p or 8?
8
Let p = 4781/200 + -193/8. Let j = 3/100 - p. Is 2/95 greater than or equal to j?
False
Let t = 51.5 - 36. Let h = 16 - t. Let v = 6.0244 - 0.0244. Is h >= v?
False
Let r = 32231 + -32510.74. Let n = 280 + r. Let h = -1.2 + 0.2. Which is greater: h or n?
n
Let g(q) = -q**3 + 9*q**2 - 14*q. Let v be g(7). Suppose 3*l = -n + 5, -3*n - 2*n - 5*l + 5 = v. Let m be (17 + 18)*(n - -2)/(-1). Which is greater: -36 or m?
m
Let g(c) = -5*c - 1. Let k be g(-1). Let t = -3/581 - -18625/6391. Which is smaller: k or t?
t
Suppose p + 4 = -4*u, -39*u + 4*p = -40*u - 16. Are 11/512 and u nonequal?
True
Let q = -29265/7 + 4181. Is q > -63?
True
Let c = -322 + 326. Let v be c/6*-6 + (-9 - 0). Are -13 and v non-equal?
False
Suppose 0 = 3*z - 3*p + 90, -128 = 3*z + z - 2*p. Let d(i) = -5*i - 171. Let n be d(z). Which is bigger: 1/535 or n?
1/535
Let w be (2/(-5))/(12/102 - (-10836)/(-15810)). Do w and 0 have the same value?
False
Suppose -2*o + 6172 = -4*h, 5*h + 2*o + 826 = -6871. Which is smaller: -1540 or h?
h
Let j be (2088/(-54) - -11)*15. Is j <= -413?
True
Suppose 9238*z - 9229*z - 585 = 0. Which is smaller: z or -7?
-7
Suppose 3*s - 246 - 506 = -4*a, 3*a - 557 = -4*s. Suppose k + 2*m = -72, a - 15 = -3*k + 2*m. Is k <= -62?
True
Let w = 165 + 82. Let u = 30 - w. Which is smaller: -216 or u?
u
Let c(p) = -5*p**2 - 42*p + 5. Let w be c(-14). Let s = -275 - w. Which is greater: s o