hich is greater: 3.2 or b?
3.2
Let p be 14286/(-230) - (-16)/(-184). Is -63 <= p?
True
Let s(m) = m**3 + 7*m**2 + 9*m + 20. Let g be s(-6). Let l be g/10 - 9/(-105). Do -6/13 and l have different values?
True
Suppose -29*x + 1152 = -17*x. Let n = -101 + x. Let l be 1*n + 49/7. Which is smaller: 1 or l?
1
Let r(o) = -o**3 + 4*o**2 - 7*o + 18. Let j be r(3). Let x be ((-22)/4 + j)/((-1)/4). Which is smaller: x or -14/23?
x
Let c = -42 - -60. Suppose 17*f = c*f + 144. Is f at most -143?
True
Suppose 4*o = -5*f - 1001 - 643, 2100 = -5*o + 5*f. Which is greater: o or -405?
-405
Let l = 484.03 - 27.03. Is -1 != l?
True
Let b be (32 + -35)*(1/2 + 0) - 437024/(-290752). Let s = 2 - 3. Is s >= b?
False
Let f be ((-22)/6)/(38/(-1596)). Is 174 smaller than f?
False
Let j(o) = 244*o - 117*o - 33 - 110*o. Let b be j(2). Which is bigger: b or 13/21?
b
Let g = 215 + 285. Let d = -57733 - -171718/3. Let t = g + d. Which is smaller: 7 or t?
t
Let w = -71 - -73. Suppose 2*f + w + 72 = 0. Which is greater: f or -38?
f
Suppose -2*p + 21 = -3*l, 0*l + 25 = -5*l. Suppose -4*d + 4 = 3*v, -p*v + 5*v - 12 = 2*d. Let f be 8/2*(-4)/24. Is d less than or equal to f?
True
Let m = -206421/14740 + -301/268. Let b = 15 + m. Do b and 0 have the same value?
False
Let a(w) = -6*w - 18. Let p be a(-4). Suppose -3*d + 49 = -q + 7, -3*q - 3*d - 174 = 0. Let x = -47 - q. Is p >= x?
False
Suppose 483*g - 487*g = -1648. Suppose 0 = 4*y - g + 296. Are 0 and y unequal?
True
Let p = -249 + 229. Let i = 14 - 13. Let a(w) = -23*w + 2. Let y be a(i). Is y at least as big as p?
False
Let j = -2057 + 2579. Is j >= 523?
False
Let u = 290.24 - 295. Let s = 6.76 + u. Is 0.066 != s?
True
Let s be ((-16)/28)/((-76)/(-798)) - -3128. Is 3123 at most as big as s?
False
Let k be (-2)/4 + (-1665)/(-1110). Which is smaller: k or -62/337?
-62/337
Let r be (-5 - -9) + (1 - (3 + -4)). Suppose 0*z + 2*z + r = 0. Are 0.28 and z nonequal?
True
Suppose -5*z + 24*b - 23*b + 20 = 0, -4*b = -2*z + 8. Suppose -2*s - 32 = -4*d, 3*s + z*d + 12 = d. Is s <= -2?
True
Let i(t) = 4*t**2 - 13*t - 2. Let z be i(6). Suppose -z - 1 = -n. Let j = n + -647/10. Is j >= -1/5?
True
Let s be (-4)/(16/(-6)) - 2600/(-16). Let w = s + -163. Is -185 at least w?
False
Suppose -2*h + 11988 - 42180 = 14*h. Which is smaller: h or -4/3?
h
Let s = -1.1354 + -17.1726. Is -2/5 equal to s?
False
Let v = 4945/6 - 821. Let p = 3881/39 - 1298/13. Which is greater: v or p?
v
Suppose 394 = 102*y - 41 + 9513. Which is smaller: -77 or y?
y
Suppose -5*d - 55 + 160 = 2*k, -4*d = -4*k - 112. Let w be d*(-1)/12 - 4/8. Let h = w - -9/4. Which is smaller: h or -0.06?
h
Let s(w) = -20*w - 237. Let q be s(-12). Suppose -3*g + 0*g - 2*u - 118 = 0, 0 = -q*g - 4*u - 122. Suppose 4*n + 84 = -64. Are n and g equal?
False
Suppose 4*j - 14817 = 4*f + 15555, -f - 30381 = -4*j. Let z = 3919535/516 - j. Does z = -1?
False
Let f = 25 - 63. Let j be ((-2)/21)/(27/(-105)*-5). Is j equal to f?
False
Suppose 34*k - 41*k + 5270 = 78*k. Is 78 equal to k?
False
Let r(x) = x**3 - 12*x**2 + 29*x - 13. Let i be r(9). Suppose -2*m - i*d + 2*d = -18, -3*m + d = -5. Suppose 5*z = -2*z + m*z. Are z and 2/151 unequal?
True
Suppose -154 = 9*q - 163. Suppose 129*a - 130*a - q = 0. Which is smaller: a or -3?
-3
Let d = -13818 - -13818. Which is smaller: -692/25 or d?
-692/25
Let c be 273/(-6)*288/(-126). Suppose 0 = -80*p + 88*p - c. Let z = 2 - 5. Does z = p?
False
Let o = -0.183 - -10.783. Let q = o - 10.6. Is 2/5 smaller than q?
False
Suppose 0 = o + 3*j - 15, -12*j + 15 = 2*o - 9*j. Is o at least 4/375?
False
Let p be (264/40 + -7)/(1/125). Let q be ((-15)/p*-2)/((-6)/(-4)). Is q != 2/23?
True
Let g(d) = d**2 + 5*d - 48. Let u be g(-10). Suppose -u*l - 2*l = l. Let z = -385/12 - -32. Are z and l equal?
False
Suppose -5*p = -2*l + 7407, -570*p + 566*p + 3*l - 5927 = 0. Does p = -1477?
False
Let q(a) = 594*a**2 - 4803*a - 3. Let v be q(11). Is 19037 less than v?
True
Let w = 44 - -5. Let a = w + -48. Are -6/67 and a non-equal?
True
Let m(g) = 14*g + 58. Let w be m(-5). Let b(c) = -c**2 - 17*c - 58. Let i be b(w). Is 5/6 not equal to i?
True
Let x = 3167084/8015 + -2766/7. Let p = -2828 + 2828. Is x <= p?
False
Let w be (-82)/10 - 104/130. Let k be (w/(-8))/((-258)/(-8)). Which is smaller: k or -1?
-1
Let r be (3 - 18/(-12))*(-48)/(-498). Is 0 <= r?
True
Let o = 392 + -311. Let d = o - 80.7. Let m be ((-5)/(-2))/((-1)/(-2)). Is m bigger than d?
True
Let a = 291 - 291.384. Is -0.2 at least as big as a?
True
Suppose 2*h = 4*y - 906, -17*y + 19*y - 435 = -5*h. Let k(c) = -c**3 + 11*c**2 + 7*c + 2. Let p be k(6). Which is smaller: y or p?
p
Let j = 7/20 + -593/1580. Let a = -164/237 - j. Let m = 480779 + -480779.06. Is a less than m?
True
Let i(o) = o**2 - 11*o + 5. Let r be i(0). Suppose -25*d - 580 = -r*d. Which is bigger: d or -26?
-26
Let u(r) = r + 9. Let y be u(12). Suppose -j + 9 = -4*j + c, 0 = -3*j + 5*c - y. Which is bigger: j or 66?
66
Let m be (135/(-108) - 27023/(-36)) + 6/(-27). Which is bigger: 0 or m?
m
Let i = 5728 + -5704. Which is smaller: 31 or i?
i
Let u be (-5228)/14377 - -2*1248/1661. Which is smaller: u or 2?
u
Suppose -7*y = -21 - 14. Suppose -i + 8 = -y*i. Let f be -1*(-160)/(-2 + i). Which is smaller: 0.1 or f?
f
Let i be (19/3 - 3)/(6/9). Let c = -197/39 + i. Suppose j + 2 = 3. Which is bigger: c or j?
j
Let y = -10 - -6. Suppose -5*t + 10*t + 80 = 0. Let i(n) = -2*n - 32. Let c be i(t). Is c smaller than y?
False
Suppose 5*g - 114 = g + 3*g. Is g <= 129?
True
Let w = 0.07491 + 357.92509. Is w at most as big as 0.07?
False
Let l be (-3*12/(-241065))/((-12)/30). Let o = 316071/21428 + l. Is -3 equal to o?
False
Let u be 68/8 - 5 - (-3)/2. Suppose -2*f = 3*k + 11, 2*f + u*k + 10 = -11. Suppose f*l + 54 = 48. Which is bigger: -1 or l?
-1
Let f be 35/((-2450)/16740) - -8. Is f bigger than -232?
True
Let k = 7094 + -7045. Let i = -122 - -49. Let u = i + k. Is -1 not equal to u?
True
Let y = -188.4 + 187.5. Is y at most as big as 160?
True
Let g = 229 + -229. Let s = -120 + 180. Let f be s/72*(-4)/(-625). Which is bigger: f or g?
f
Let q = 6009899/65 - 92462. Is -2 bigger than q?
True
Let p(l) = 2*l - 2. Let r be p(-11). Let g = -23 - r. Which is smaller: g or 1/234?
1/234
Let u(n) = -n**3 + 12*n**2 - 16*n + 16. Let y be u(10). Let m = 61 - y. Suppose -m*a = 2*d - 0 + 2, 0 = -3*a. Is -2 > d?
False
Let x(u) = -u**3 - 8*u**2 - 9*u - 13. Let r be x(-9). Let k = 50 - r. Is k bigger than -99?
False
Let j = -89/80 + 5489/80. Which is bigger: j or -1/36?
j
Let r = -5158 + 5143.6. Which is greater: r or 0?
0
Let h be 2/(-12) + (-1596)/(-72) + -9. Suppose 0 = -3*m + h*f - 17*f - 230, -m - 4*f = 74. Is 1 at most as big as m?
False
Let b be 2*10 + (-105)/21. Let z = 16 - b. Is 12/11 > z?
True
Let b = -1.46 + -6.44. Let l = 431 - 434.9. Let n = b - l. Which is greater: n or 1?
1
Let f be (-2)/(-5)*(1 - -4). Suppose 22 = 3*y - 4*s, 3*y + 2 = -f*s - 0. Let l be ((-1)/1*y)/3. Is -12 <= l?
True
Let u = 215/3 + -71. Let i = -13646 + 13646.132. Which is bigger: i or u?
u
Let d = -18.2 - -84.2. Let b = -71 + d. Is 0.06 at most b?
False
Suppose 4*j = 5*v - 121, -3*v + 6*j + 70 = j. Suppose 29*u + v = b + 26*u, 0 = -2*b - 4*u + 10. Let x = -0.37 + -0.03. Is x at least b?
False
Let b(w) = 447*w + 3554. Let k be b(-8). Which is smaller: -956/41 or k?
-956/41
Let v = -1694/41 + 3426880/82943. Is 0 < v?
False
Suppose -13 = -2*j + 37. Suppose u - 24 = -j. Which is greater: -7/45 or u?
-7/45
Suppose m + 21 = -4*a, 5*a = -5*m - 0*m - 30. Let z be (-25 + (-1 - 12) + 42)*(-1)/(-158). Which is smaller: z or m?
m
Let q(g) = g**3 + 9*g**2 - 16*g - 114. Let s be q(-4). Which is smaller: s or 143/5?
143/5
Suppose 0 = -32*x + 30*x - 458. Let l = 229 + x. Let g be 0*(-2 - -1) + -1. Are l and g unequal?
True
Let d(l) = -5*l**2 + 7*l - 10. Let h = -152 + 155. Let f be d(h). Which is bigger: -37 or f?
f
Let h = -107 + 160. Let i be (-1 - -1)/((-12)/4). Suppose 156 = -i*t + 3*t. Which is smaller: t or h?
t
Let x be 2/12 - 20/(-24). Let m be ((-8)/24)/1*x*29. Is -9 greater than m?
True
Suppose -4*l - 897 = -237. Let s be 1/(-1) - (147 + (0 - -16)). Is s bigger than l?
True
Let z = 3932 + -3926. Which is smaller: 204/43 or z?
204/43
Let n(r) = r**2 - 94*r + 1496. Let y be n(59). Is y greater than -567?
