 k or i?
i
Let g be 15612/51 + (-10)/85. Let d = 244 - g. Let b be 313/(-5) + (-2)/5. Is d less than b?
False
Let n = 729/56 - 49397/3808. Is 0 smaller than n?
True
Suppose 0 = -g + 4*n + 180, 3*g = 3*n + 2*n + 561. Let v = g - 230. Is -38 bigger than v?
False
Let p = 1802/7 - 490249/1904. Is -1 less than or equal to p?
True
Suppose -r + 41*p = 38*p + 25, -r - 3*p - 7 = 0. Let t(i) = -i**2 + 8*i + 7. Let a be t(9). Which is smaller: r or a?
r
Suppose -24*r + 478 = -5618. Let c = 254 - r. Which is bigger: c or -0.22?
c
Suppose 7 = -20*z + 13 + 94. Which is smaller: z or 735/8?
z
Let v(w) = -w**2 + 6*w + 8. Let a be v(9). Let t = a + 17. Let p be t*2*(2 - 14/8). Is 1/92 less than p?
False
Let z = -2051 + 2083. Let t = -21 - -31. Suppose 14*f - z = t*f. Do f and 5 have the same value?
False
Suppose 8*n = 583 - 223. Suppose 0 = -4*g + 2*c - 167 + n, -26 = g + 4*c. Let w be g/4 - 2/4. Is w > -8?
False
Suppose 4*h - 3*w + 455 = 0, 0*w + w = -3. Let y be 68/374 + h/154. Is y not equal to 0.06?
True
Suppose -614 - 1087 = -9*t. Let p = -296 + t. Is p less than -106?
True
Suppose 0 = 12*h - 8*h - 168. Suppose 5*a + 5*t + 895 = 0, -3*a = 2*t - 7*t + 577. Let d be (-28)/h + a/(-294). Which is greater: -1 or d?
d
Let s be ((-10)/15)/((-48)/18 - 0). Suppose 4*r = -3*z - 282 - 105, z + 5 = 0. Which is smaller: s or r?
r
Let r = 148.52612 - 0.10612. Let q = -5.58 - r. Is q equal to 2?
False
Suppose -h - 6 = 5*r - 3, 4*h - 8 = 0. Let w be 12/(-198)*1*(-84)/35. Is w < r?
False
Let g be 9005/10*(-1)/(7 - 82/12). Is -5404 >= g?
False
Let a(r) = -r**2 + 417*r + 135. Let o be a(0). Are o and 143 nonequal?
True
Suppose 3*f + 5 = 4*p, 4*f + 10 = 7*f - p. Suppose 13*j + f*s = 15*j - 97, j = -s + 31. Which is bigger: j or 33?
j
Let r = -29456 - -30224. Is 756 at least as big as r?
False
Let b = -196 + 201. Suppose -b*j = -2*t + 5 - 0, 4 = -4*j + 2*t. Is 30 not equal to j?
True
Let p = -52 + 6.9. Let c = 102.1 + p. Which is smaller: c or 1?
1
Let w = 4313 - 789287/183. Which is smaller: 0 or w?
w
Let u = -2/2683 - -244171/24147. Let c = 3131/315 - u. Let s = -1207 - -1208. Is c smaller than s?
True
Suppose -20*n + n - 456 = 0. Let k(x) = x**2 + 31*x + 18. Let a be k(n). Which is greater: -151 or a?
a
Let z(a) = -117*a + 1051. Let w be z(9). Which is smaller: -245 or w?
-245
Let z(o) = -12*o**2 - 75*o - 348. Let g be z(-5). Which is bigger: -291 or g?
g
Let j be -3*(-4)/(-3)*-5. Let g be (-2 + 2)/(j - 19). Which is smaller: 6/11 or g?
g
Let n = -19 + -179. Let u = -197.8 - n. Let m(c) = c**3 + 3*c**2 - 5*c + 3. Let g be m(-4). Is u > g?
False
Let n(q) = 6*q**3 - 158*q**2 - 109*q + 28. Let l be n(27). Are l and -10/529 unequal?
True
Let n = 173 - 168. Suppose -14 = m + 3*s - 5*s, n*s + 17 = -4*m. Is m greater than or equal to -12?
True
Let t = 45 - 40. Suppose 0 = -h - v, t*h - 2*h = 2*v. Let k = -35 - -33. Which is smaller: h or k?
k
Let y = 18297 - 18253. Which is smaller: y or 355/8?
y
Let d = -3.025 - 43.975. Is -1/26 less than d?
False
Let y = -128 - -234. Let h = -35 + y. Suppose 25 = 4*w - h. Is w equal to 22?
False
Let z = -105 + -25. Let b = -5 + z. Let x = b + 133. Is x > 2/157?
False
Let h be (3 + (-12)/4)*-1. Suppose -2*v + 3*s = 2, -4*v - s = -9 - 15. Suppose v*c - 16 - 24 = h. Is c less than 7?
False
Suppose 3011800 = 150*v + 70*v. Is v > 13690?
False
Let s = 4.886 + -3.886. Is -5031 less than or equal to s?
True
Suppose 2*l - 33*l + 310 = 0. Suppose -l*f - f = -231. Which is bigger: f or 19?
f
Let d(i) = -i**2 - 2*i - 31. Let c be -1 + 1 - -2*(-12)/8. Let h = -12 - c. Let z be d(h). Is z at most 0?
True
Suppose 1 = -l, -5*a + 4*l + 297 + 312 = 0. Let j be (-67)/(-16) + 11/(a/(-44)). Which is smaller: -3 or j?
-3
Suppose 0 = 23*w - 29377 - 11494. Is 1777 greater than or equal to w?
True
Let f be 1/(2/(-6))*60/(-180). Let x = -21 - 2. Let g be f + x/2 + 3/(-6). Are -11 and g equal?
True
Suppose -4*a + b - 3 = 0, a + 4*b - 2*b = 6. Let k = -1098/11 - -100. Is k bigger than a?
True
Let o = 1233272388481246/39037 - 76042196021739041848136/2406977815671. Let x = o + 1/2680821. Let u = -784 + x. Which is smaller: u or 1?
u
Let m(b) = -3*b**2 + 11*b + 104. Let f be m(8). Let a be (-27)/45 - (-331)/435. Is a at most f?
False
Let m = -5/4026 - -7459/1143384. Does 1 = m?
False
Let d = 6767 + -6768. Which is smaller: 2/263 or d?
d
Suppose 2*c - 2*k - 6 = -2, 4*c = -3*k - 20. Suppose 11*t = 5*t + 132. Let l be (t - 23)*(-5)/(-6). Which is greater: l or c?
l
Let i = 9135 - 9136. Which is greater: 2/45201 or i?
2/45201
Suppose -3*r + 150 = -r. Suppose 3*n = 22*a - 27*a + 53, -4*n - 4*a + 76 = 0. Suppose -3*b = n - r. Which is smaller: 20 or b?
b
Suppose -311 = 5*p + 4*x, p + 4*x - 193 = 4*p. Let m be ((-8)/(-30))/((-6)/p). Suppose -q = -4*s + q + 10, -2*q = 2*s - 2. Which is greater: s or m?
m
Let j = -460.1 + 489. Let f = 28.969 + 0.031. Let u = j - f. Which is greater: u or 2/3?
2/3
Let p(v) = 2*v**3 - 80*v**2 - v + 49. Let j be p(40). Do j and 312 have different values?
True
Let s(x) = -6*x - 8. Let w be (-12)/4*1 + 9. Let j be (w - 6) + (6 - 1). Let u be s(j). Which is smaller: -40 or u?
-40
Let l(f) = 2*f**2 - 7*f + 1. Let a(u) = -2*u - 5. Let c be a(-5). Let k be l(c). Suppose -2 = x, 2*x + 1 = 3*t + 3*x. Which is smaller: k or t?
t
Let s = -216.93 - 3.07. Let v = s + 219.6. Which is greater: 53 or v?
53
Let u = 722/849 - 1363120/19527. Which is smaller: u or -68?
u
Let o = -143/160 + 35/32. Which is bigger: -1267 or o?
o
Let k = -1401634/9 + 155258. Which is bigger: -478 or k?
-478
Suppose -19*u - 109*u = -130014 - 24226. Is 1205 at most as big as u?
True
Suppose 8*s = 6*s - 2. Let z be (-4 - (-1248)/306)*s*3. Suppose 5*t = -2*u + 11, -4*u + 10 = t - 3. Which is smaller: z or t?
z
Let g be 14*(176/28 - 6). Suppose -17*b - 170 = -3*u - 13*b, -8 = g*b. Which is smaller: 53 or u?
53
Suppose 0 = 6*h - 7*h + 4. Suppose h*f = 5*b - 16, 0 = 2*f + f - 3. Suppose 2 = 3*s - b. Which is bigger: 1 or s?
s
Suppose -3*a + 32 = 2*l + a, 0 = -l + 5*a + 23. Let r be ((-4)/(-102))/((-51)/l - -3). Is r bigger than -1?
True
Suppose 9*c - 4 = -49. Let w be (44/(-2255))/((-1)/c*-14). Is 1 equal to w?
False
Suppose -5*l - 330 = -4*o, 4*l + 2*o - 7 = -271. Let w(f) = -f**2 - 80*f - 370. Let r be w(-76). Are r and l unequal?
False
Suppose 9*l = 5*l - 2*m + 1226, 3*l - 937 = -5*m. Suppose l*f - 298*f + 474 = 0. Is f at most as big as -79?
True
Let m = -616468720603335/949312 - -649384734. Let k = 4/2119 - m. Does -1 = k?
False
Let d(h) = 171*h + 9232. Let b be d(-54). Is 1575 at least b?
True
Let a(s) = s**3 - s**2 + s. Suppose -12*c = -n - 7*c + 5, 2*n - 2*c = 2. Let y be a(n). Let d be ((-1)/(-3))/(73/6). Are y and d nonequal?
True
Let o(x) = x**3 + 10*x**2 + 9*x + 8. Suppose 0 = -2*y - 10 - 8. Let a be o(y). Suppose 31*q - a = 27*q. Which is bigger: q or 0?
q
Suppose 0 = 25*j + 5279 - 704. Let l = -182 - j. Which is bigger: -5/64 or l?
l
Let x(n) = -2*n**3 - 3*n**2 + 4. Let s be x(2). Let o be s/10*-1 - (5 - 3). Which is smaller: -68/5 or o?
-68/5
Let k be (-413)/826 + (3/(-6))/(-1). Is k at least 136/335?
False
Let g be 0/6 + (22/(-3377) - 0). Which is bigger: 3/2 or g?
3/2
Let r(a) = a**3 - 133*a**2 + 640*a + 18. Let u be r(128). Is -74 greater than u?
False
Let i be (-4)/(-8)*(-1 - -3). Suppose 147 = -44*b - 29. Which is smaller: b or i?
b
Suppose 2*n - 2*m + 62 = 0, 4*n + 133 = 2*m - m. Let c be (-39)/(-65) + n/15. Let v = -0.2 + 1.2. Are c and v equal?
False
Let d = 9100 - 9443. Is -342 smaller than d?
False
Let q(v) be the first derivative of 4*v**2 - 8*v - 4. Let t be q(8). Suppose -6*l - 2*l = t. Which is greater: l or -6?
-6
Suppose 0 = -0*a - a + 8. Let r(n) = -n**3 + 5*n**2 - 305*n + 1876. Let k be r(6). Which is smaller: k or a?
a
Let j = 6174 - 4836. Which is smaller: 1328 or j?
1328
Let o be 5692/(13/(78/24) - 0). Suppose -34*b = -o - 1297. Is b <= -1?
False
Let g = -16567.7 + 16568. Which is smaller: -3592 or g?
-3592
Suppose 20*a - 11*a = 0. Suppose 4*g - 3*m - 11 = -0*m, -3*g - 3*m - 18 = a. Is g less than -15/14?
False
Let m = 1208 - 593. Which is bigger: m or 616?
616
Let h be (-9)/(-2)*(1 + (-10)/12). Let m = -21 - -23. Is m <= h?
False
Let x = 1.6 + -1.9. Let p = 100 + -64. Suppose 0 = 3*t + p + 3. Is x smaller than t?
False
Suppose 248*o = 57*o - 12733 + 70797.