). Suppose 3*v + 28 = n + v, 4*v + 146 = 5*n. Suppose n = -i + p. Is i <= -23?
True
Let s be (45/10)/(-9) + 22/(-4). Let o be (3/(-2))/(s/(-8)). Let l be (-4)/(-7) + (-10 - -6). Which is greater: l or o?
o
Suppose -3*b - 4*t = 8, 3*b + t - 15 = -2*b. Let r be 11557/(-385) + b/(-22). Is -31 less than r?
True
Suppose -5*u + 297*f - 295*f = 16, 0 = -2*u - f + 8. Do -10/1469 and u have the same value?
False
Suppose -3*l + 0 + 6 = 0, 0 = -3*v + 3*l - 135. Let j = -2156 + 2112. Which is smaller: j or v?
j
Suppose 15*h - 12 = -g + 13*h, 0 = g - 4*h + 18. Let q be (-130)/2535 + (-1)/g*0. Which is greater: q or -1?
q
Suppose 8*r + 36 + 4 = 0. Let d be (16/(-4))/(r + (1 - -2)). Is 1 >= d?
False
Let x = -487.88 + 479. Let s = 8.9 + x. Which is bigger: 29 or s?
29
Suppose 6*c + 92 - 236 = 0. Which is smaller: 37 or c?
c
Suppose 5*x + 1714 = -4*o, 5*x + 421 = 3*o + 1689. Which is bigger: -396 or o?
-396
Let p = -172/11 + 1171/77. Let q = -21 + 10. Let r = q - -10.93. Is r not equal to p?
True
Suppose 0 = -5*t - 2*w - 3*w + 25, w = 5. Suppose 4*j + 0*j - 3*p + 98 = t, 5*j - 3*p + 124 = 0. Let k be j/(4 - 10/3). Is -39 >= k?
True
Let o = -0.15348 + 0.05348. Which is greater: o or -191?
o
Let b = 0 - -3. Let t = 9531.1 - 9531. Which is smaller: b or t?
t
Let i(g) = -g**2 + 11*g - 21. Let x be i(0). Let w(h) = 4*h**2 + 87*h + 50. Let q be w(x). Is -15 >= q?
False
Suppose 4*m + 50764 = d, -48*d + 50*d = 2*m + 25382. Let p be ((-147)/m)/((-2)/7). Which is bigger: p or -1?
p
Let g = -3 - -3.1. Let o = 0.148 + 133.852. Does o = g?
False
Let r = 134 - 134.031. Let g = r + -0.969. Is g greater than or equal to 1.6?
False
Let f = -4729 + 4946. Does 1092/5 = f?
False
Let k = -95 - -49. Let x = -397 - -346. Let g = k - x. Which is bigger: 4 or g?
g
Let a = -18624 + 18865. Which is bigger: 0.06 or a?
a
Let l = -16 + 18. Suppose 15*m = -l*m - 51. Are m and -5 non-equal?
True
Let m be 249/4108*-66 - -4. Which is greater: -1 or m?
m
Let r = -14.5 - -13.57. Let b = r + 1.74. Let j = b + -0.8. Is 2 less than or equal to j?
False
Let f(y) = -y**3 + 11*y**2 - 3*y + 34. Let u be f(11). Let k = -12 - -12.16. Let b = 0.23 - k. Which is smaller: b or u?
b
Let c = -22577/9 + 2511. Suppose 351*o - 341*o = 10. Which is bigger: c or o?
c
Let g = 57 - 58. Let q = 1 + -4. Let z be 5*(q - 140/(-25)). Which is smaller: z or g?
g
Suppose -5 = -4*g + 495*l - 496*l, -4*g + 6 = 2*l. Is -2/47187 < g?
True
Suppose 0 = p + p. Suppose p*k = -4*k - 12, -3*i + 4*k = -24. Let r be 3 - (3 + -3*18/9). Which is smaller: r or i?
i
Suppose 0 = 5*d + 4*w - 4302 + 210, -3*d + w + 2462 = 0. Which is smaller: d or 819?
819
Let v(h) = h**3 + 34*h**2 - 10*h - 59. Let k be v(-34). Suppose 2*g + q = k, -278 = 25*g - 27*g - 4*q. Is 142 at most as big as g?
False
Let o = 0.178 - -0.082. Let u = -0.16 + o. Let s = 60.4 + -66. Do s and u have different values?
True
Suppose 0 = -5*d + 5 + 5. Suppose 2*h - 22 = -d*g - 0*h, -2*h = 2. Suppose g*y = -y + 91. Is 7 equal to y?
True
Let m be ((-165)/(-44))/(3/12). Let d be (28 + -18)*(-186)/m. Which is greater: -122 or d?
-122
Let n = -2597 - -2659. Which is smaller: 61 or n?
61
Let p(k) = -4*k + 57. Let c be p(14). Let z = 6925/13041 + -41/81. Let t = z + -453/11753. Is c >= t?
True
Let z = -7 + 19. Let u be (-1)/(2 + 455/(-225)). Let d be 9 + 36/(u/5). Is z <= d?
True
Let v(n) = 11*n - 46 - 7*n + 24. Let z be v(-19). Let x = z + 98. Is x >= -1/122?
True
Suppose -4*d - d + i + 401 = 0, 4*d + 4*i = 340. Let r be (240/100)/(-2 - (-70)/25). Is r <= d?
True
Let h be (-2)/4*(11 + -47). Suppose 0 = -3*w - 5*f + 61, -4*w + 106*f + 58 = 101*f. Which is smaller: h or w?
w
Suppose -j = 4*p - 0*j - 4, -3*p = j - 2. Suppose -2*b - p = -0. Let d be 19028/61506 + (-8)/108. Is d < b?
False
Suppose 0 = -9*m - 5 - 4. Let x be (m/2)/(-9 - 25064/(-2784)). Which is smaller: x or -175?
-175
Suppose 3*i + 8932 = -5*s, -18*s - 2956 = i - 19*s. Is -2965 at most i?
True
Let t = -349 - -7498. Does 7150 = t?
False
Let p = -18098051/371683 + -4/28591. Which is greater: -50 or p?
p
Suppose -12*o = -8*o - 5*l - 757, 2*l - 778 = -4*o. Suppose 0 = -4*a + 5*a - 193. Is a < o?
False
Let m = 0.425 + -1.8. Let t = m + 0.375. Let i = -244 + 2200/9. Which is smaller: t or i?
t
Let n(r) = 11*r**3 - 96*r**2 - 5*r - 12. Let o(i) = -5*i**3 + 47*i**2 + 2*i + 6. Let f(d) = 4*n(d) + 9*o(d). Let t be f(39). Which is greater: t or -71?
-71
Let y be 10/35 + 320/56 - 19*-12. Which is smaller: 2 or y?
2
Let r be (-29)/(-9) - (-9)/(405/(-10)). Let j be 6*3/6*r. Let v be j/(-15) - (-624)/40. Which is smaller: v or 1/2?
1/2
Let g(c) = -7*c - 57. Let v be g(-11). Suppose 52*r = v*r + 448. Is 12 smaller than r?
True
Let f = -11967 - -11916.91. Let a = 2.09 + -3. Let r = a + f. Which is bigger: 0 or r?
0
Suppose -3246 = 7*q + 2795. Let t = q - -29335/34. Is t > 0?
False
Let v = 5693 - 5693. Which is smaller: -56/205 or v?
-56/205
Let q(v) = 421*v + 997. Let t be q(-2). Is t not equal to -3?
True
Let h = -5736 - -120412/21. Is -1 at least as big as h?
True
Suppose 3*j = -5*n - 7, -17 = 3*n + 4*j - 15. Let q = -6027/5 + 1487509/1235. Let d = 4/247 + q. Is n > d?
False
Let g = 583/5 + -50283/430. Which is greater: g or 0?
0
Let w be ((-72)/(-18))/((-5)/(-350)). Is w bigger than 269?
True
Suppose 0*z = 4*z - h - 72, 5*h - 20 = 0. Suppose 17*i - z = -2*i. Which is smaller: 3 or i?
i
Let s = -395.95 + 49.95. Is s > 2?
False
Let q be (30*18/360 - (-5)/(-2))*2. Which is greater: 764 or q?
764
Suppose 3*t - 5*q = 197, -4*t + 75 + 177 = -4*q. Is t at least 55?
True
Let k = -25 - -45. Let r = 40 - k. Suppose -4*j - 3*h - 35 = 0, -4*j + 9*j - h = -r. Which is smaller: -3 or j?
j
Let t = 124 - 136. Let x(p) = -p**2 - 15*p + 23. Let w be x(t). Let s = 19 - -39. Is w != s?
True
Suppose 36*h = 115 - 5 + 34. Which is smaller: h or 56?
h
Let q = 0.02513 - -29.97487. Which is smaller: q or 82?
q
Let o = 534 + -507. Let z be (-4)/(-3)*o/(-18). Which is smaller: z or -10?
-10
Let q be ((-24)/10)/(-6 + 63/10). Let z be 541/q - (-3)/8. Which is smaller: z or -68?
-68
Let q = 7251/2 + -3695. Let v = -3830 + 3761. Is q > v?
False
Let l = 3.93 + -4.03. Which is greater: 2295 or l?
2295
Let m = -10/105617 - 3575728/161065925. Let u be -2 - 135/(-183) - -1. Let i = m - u. Is i bigger than 0?
True
Suppose 24*b - 26*b - 68 = 0. Let r be (42/68 - (-4)/b)*0. Is 115 at most r?
False
Let p(r) = r**3 - 5*r**2 - 1. Let m be p(5). Let a be 31262/1566 - (0 + 20). Does a = m?
False
Let u(f) = 2*f**3 - 21*f**2 + 35*f + 51. Let s be u(7). Which is smaller: s or -35?
s
Let w be (1 - 2) + 3 + 57051/45. Let p = w - 1263. Which is greater: 8 or p?
8
Let n be 209 - ((-80)/30)/((-1)/(-3)). Is n != 222?
True
Let z = -82 + -50. Let w = z + 179. Which is greater: w or 46?
w
Let w(a) = a**2 + 35*a + 262. Let b be w(-10). Suppose -x + 21 = -0*x - 4*d, 0 = -4*d + b. Is 3 less than x?
True
Let x = 8125.83 - 8161. Let v = 35 + x. Let w = -0.33 + v. Is -1 equal to w?
False
Suppose -91 = -5*f - 41. Suppose 0 = -p + 5*p + 5*v + f, p - 5*v = 10. Which is smaller: 1/282 or p?
p
Let l = -128181 + 1412505/11. Is l greater than 229?
False
Suppose -3*b + 38 = g - 6*g, 5*b - g = 34. Let p be (272/(-12)*3)/(-2). Suppose -3*r = -u - p, -9 - 11 = 5*u. Which is bigger: r or b?
r
Let g = -1702 + 1699.6. Which is bigger: 0 or g?
0
Let l(p) = -138*p + 39. Let w be l(-7). Is 1004 greater than w?
False
Let s be -2*(-18835)/682 - -3. Let f = -49790 - -547048/11. Let t = f + s. Which is smaller: 1 or t?
t
Let y = 0.13187 - 0.18187. Which is smaller: y or 674?
y
Let k(w) = 3 - 3 + 0 + 6*w - w**2 + 1. Let d be k(0). Let p be (d - (-12)/(-16)) + (-67)/(-4). Does p = 17?
True
Let s(w) = 7*w**3 - w + 1. Let t be s(1). Suppose 0 = 4*q - t*q - 0*q. Which is greater: q or 53?
53
Suppose 2*x + 2*m = -3*x - 11, 2*m = -2*x - 8. Which is bigger: -2/9057 or x?
-2/9057
Let y(q) = 4*q. Let i be y(0). Suppose 10*p - 3*p - 147 = i. Let w(g) = -g**2 + 19*g + 36. Let j be w(p). Is j less than -6?
False
Suppose -5*a - 19 = -3*z - 156, 2 = 2*z. Let n = -42 - -33. Which is smaller: n or a?
n
Let i = 2063 - 2147. Do 18 and i have the same value?
False
Let s = 410 - 480. Is -0.09 greater than s?
True
Let b = 427712/179363 + -198/83. Which is bigger: 0 or b?
0
Suppose -3*q + 3489 = 3216. Is q bigger than 74?
True
Let m = 