 u?
False
Let q be 10/(-6)*6/15. Let s be 3 + -9 + (-2)/3*668. Let b = s + 451. Which is greater: q or b?
b
Suppose 4*w + 27 = 295. Let s be 1 - (1 + -1) - w. Let z be 3*((-100)/s - (-8)/(-44)). Which is bigger: 5 or z?
5
Let i be -15 - 1183/(-78) - 359/3666. Which is smaller: 0 or i?
0
Let k(b) = -b**3 - 2*b**2 - 7*b - 7. Let v be k(-2). Let h(n) = -n**3 + 8*n**2 - 10*n + 13. Let x be h(v). Let c be -7 - x - (-2)/(-6). Is c > -5?
True
Let m = 16 - 11. Suppose -7 = m*i - 27. Let h be (-468)/1248 - 43/(-8). Which is smaller: i or h?
i
Let p be ((-91)/18421)/((-22)/(-44)). Is p equal to -0.1?
False
Let a(c) = -c**2 + 22*c - 27. Let g be a(12). Suppose -8*v = g + 99. Are v and -25 non-equal?
True
Suppose 0 = x + l + 52, -4*x - x - 236 = -l. Let c be x/(-36)*-1*27. Let v be (-4)/c + (-50)/126. Which is smaller: v or 1/66?
v
Let v be ((-8)/(-16))/(1/(1*-20)). Let j be -6*1/(v/35). Suppose -i - j = 9. Is -31 at most i?
True
Let n be (-2)/2 + 272/8. Suppose -3*g - 48 = -0. Let s be g/(-88) + 5/n. Which is smaller: s or 0.12?
0.12
Let x(v) = -4 - 39 + 24 - 47 + 33*v. Let m be x(7). Is m != 164?
True
Let c = -500 - -556.8. Let f = -71.6 + 14.6. Let b = f + c. Does b = 23?
False
Suppose -5 + 13 = -8*r. Let l be (r/3)/(-10 - (-8091)/810). Is 30 equal to l?
True
Let z = 0.10616 + -197.30616. Which is smaller: z or 0.3?
z
Let m(n) = n - 3. Let h be m(5). Suppose 1 + 1 = i + 3*j, h*j + 22 = 4*i. Suppose -i*d + 15 + 0 = 0. Is 3 greater than d?
False
Suppose 0*q + 56 = -2*q. Let c = -222 - -362. Let s = c + -169. Which is smaller: q or s?
s
Let a(u) = 6*u + 14. Let c be a(0). Suppose 2*v + 8 = 2*d, 5*v + 4*d + 15 = -c. Which is smaller: v or 4?
v
Let i be 1/7 + 4096/(-3584). Is -1/1067 smaller than i?
False
Suppose -6*m + 10 - 106 = 0. Let n = m + 20. Suppose -s + 3 = -n*g - 16, -4*s + 1 = -g. Which is smaller: -1/26 or s?
s
Let b be (-440)/(-40) + -15 - (-176)/46. Is 34 less than b?
False
Let n(t) = t**2 - 12*t - 22. Let i be n(13). Suppose -5*b - 2*w + 241 = 0, -2*b - 3*b = w - 238. Let s = -57 + b. Is s equal to i?
False
Suppose 2*t = -3*g - 77 + 64, 4*t + 33 = g. Let y = -3011 + 472729/157. Which is greater: y or g?
g
Suppose 4*t - v + 2*v + 886 = 0, -2*t - 446 = 2*v. Let z = -2796 - -2574. Which is bigger: t or z?
t
Let j = -25 + 25.1. Let l = 3684/7 - 1579/3. Which is smaller: l or j?
l
Let w = -54 - -51.32. Let g = w - -1.08. Are 3 and g unequal?
True
Suppose 0 = -5*z + 3*h + 116, -5*h - 34 - 26 = -3*z. Let q(c) = -c**2 - 23*c - 105. Let x be q(-10). Let v = x - z. Which is smaller: 2/11 or v?
v
Let o = 2/5975 - 17084/15337825. Is o at most as big as 1?
True
Suppose -d + 22 = -3*d. Let x = d - -14. Let p(y) = y**3 + 9*y**2 - 11*y - 4. Let o be p(-10). Is o < x?
False
Let m(n) = 2*n - 18. Suppose 4*t - 10 = 14. Let l be m(t). Let z be -16*(8/(-2))/(l + 8). Which is bigger: 33 or z?
33
Suppose m + 17 = -3*v, 4*v + 4*m - 8 = -28. Suppose f = -2*u, 5*f - 4*u + 0 = -42. Let c be 1/f*(-16)/v. Which is smaller: -1 or c?
-1
Let a be (2/(-9))/(((-50)/(-15))/5). Let q be 45/12*-2*1/(-10). Which is smaller: q or a?
a
Let b = -2442.88172 + -0.11828. Is 5 at least as big as b?
True
Suppose -19*l - 71*l = 2880. Is l at least as big as -13?
False
Suppose 2*u - 3*b = 1, -3*b + 6 = 3*u - 3. Let h be ((-20)/(-6))/(22/33). Suppose -5*s - u*n = -106 - h, -5*s + 108 = n. Is 23 at most as big as s?
False
Suppose 26 = -2*s + 30. Suppose 59 = s*w + 437. Is w less than or equal to -189?
True
Let t = -10.459 - 7.541. Let l(g) = -g**3 + 4*g**2 + 6*g - 4. Let v be l(5). Let b be 15/(-21) - v/(-1). Is b <= t?
False
Let u(h) = -2*h**2 + 15*h + 57. Let v be u(12). Let g(f) = 2*f**2 + 104*f + 102. Let i be g(v). Is i < -1/171?
False
Let v = 10180 + -10179.9. Are v and 1018 unequal?
True
Let b = 6 + -17. Suppose -31*r + 20 = -14*r + 190. Which is smaller: r or b?
b
Let m = 2654 + -2773. Is -5.5 > m?
True
Let q = -4/43 + 77/1290. Suppose -22*z = 12*z + 34. Which is bigger: q or z?
q
Let u(x) = 3*x**2 + 61*x + 125. Let d be u(-18). Is d < 1/670?
True
Suppose -4*b = 4*j, 4*j + 2*b + 1 = -b. Let d be (j - 0)/(1*(-6)/90). Suppose -4*n + 2*n = 2, 2*n = -h + 9. Which is smaller: d or h?
h
Let t be ((-217)/(-1))/(-16 - -15). Let k = t - -237. Which is smaller: k or 37/2?
37/2
Let a = 161 - 79. Let k = -11.2994 + 11.18. Let j = 0.0194 + k. Is a greater than j?
True
Let y(k) = -46*k**2 - 106*k - 742. Let w be y(-7). Is w smaller than -2255?
False
Let u = -65 - -837. Let i = 773 - u. Do i and -2/983 have the same value?
False
Suppose -3*b - 16 = 4*g, 2*b + 11 = -4*g + g. Let p be 0 + (g - -6) + 2510/(-500). Which is smaller: 1 or p?
p
Suppose -j - 47*j + 144 = 0. Let b be (-18)/15*(-50)/15. Suppose -j*k - 6*l - 3 = -2*l, -k + b*l - 1 = 0. Which is bigger: k or -7/9?
-7/9
Let l(d) = 21*d - 99. Let p be l(23). Let k = -411 + p. Suppose 2*z + 3*z = 2*a - 133, a - 107 = 4*z. Do z and k have the same value?
True
Let z = -39.18 - -42.8. Let c = 30.38 + z. Is 0.2 >= c?
False
Let v be (615/125 - 5)/(84/140). Which is bigger: -0.5 or v?
v
Suppose 286241 = -39*w - 158*w. Which is smaller: -1449 or w?
w
Let i(g) = -112*g. Let a be i(-2). Let w be a/(-6) - (-18)/(-27). Let k = w - -37. Which is smaller: k or -12/11?
-12/11
Suppose -5*x = -3*t + 15, 6*t - 9*t - x - 3 = 0. Which is bigger: -2/10653 or t?
t
Let b be ((-74)/4)/(2/(-4)). Suppose -16 = -v + 2*w, 554*v = 552*v - 3*w + 81. Is v > b?
False
Let v(r) = 13*r**2 + 42*r - 72. Let l be v(-10). Which is bigger: l or 807?
l
Let r = -45 - 692. Let n = 7387/10 + r. Which is bigger: -2/5 or n?
n
Let j = -12214 + 11853. Are -357 and j nonequal?
True
Let r be ((21/(-2))/(-3))/((-13)/(-2808)). Let o be (((-108)/32)/9)/((-3)/r). Does o = 0?
False
Let g = -392977 + 393330.942. Let y = g + -354. Which is smaller: y or -5?
-5
Let s(z) = -4*z. Suppose -5 = w - 4. Let j be s(w). Suppose -46 = -j*g - p + 3*p, 47 = 3*g + p. Is 13 < g?
True
Suppose 3*g - 6 - 6 = 0. Let p be g - (-27)/(-6)*22. Let t(s) = s - 116. Let h be t(22). Which is smaller: p or h?
p
Let o(c) = 3*c**2 + 58*c - 24. Let g be o(-20). Is 3.8 at most g?
True
Let i be -4 - 13/(65/2070). Let m = i - -1250/3. Is -1 less than or equal to m?
False
Let t = -159526 - -1814289196/11373. Which is bigger: t or 2?
2
Let c = -1461404 - -24833914/17. Which is smaller: c or -587?
-587
Let q(n) = 17*n**2 - 25*n + 8. Let g(a) = 5*a**2 - 8*a + 3. Let d(z) = 7*g(z) - 2*q(z). Let w be d(1). Let b be -2 - (32/17 - 4). Which is bigger: w or b?
b
Let c(y) = y**2 + 21*y + 22. Let q be c(-25). Suppose -2*d = -0*w + 4*w - q, 138 = 2*d - 4*w. Let h = -62 + d. Is 3 <= h?
True
Let l = 2.52 - 23.02. Let a = l + 20.58. Which is smaller: a or 0.04?
0.04
Let g be (0*(-3)/(-9))/(1 + -4). Suppose 5*q - 33 - 2 = g. Suppose -q*w = -11*w. Is w equal to -20?
False
Let k(z) = -4*z**2 + 10*z - 16. Let l be 13/(-2) - (5/2 + -3). Let q be k(l). Is -219 equal to q?
False
Let p = -20/147 + 383/2352. Which is smaller: p or 0?
0
Let g be 0*(-3 - (-182)/56). Which is bigger: 10/507 or g?
10/507
Let a = -170 + 172. Suppose -4*s + 0*k - 425 = 3*k, -211 = a*s + 3*k. Is -107 at most s?
True
Suppose 14*z - 897 - 391 = 0. Is 93 > z?
True
Let k = -0.6 - 23.4. Let m = k + 21. Let h = m - -3.1. Do h and 1/15 have the same value?
False
Let o(u) = 4*u**2 + 26*u - 13. Let a = 47 - 58. Let x be o(a). Let y be (-8)/(-32) + x*1/28. Which is bigger: 6 or y?
y
Let l = -287.8 - 12.2. Let o = 307 + l. Let a = 0.3 + 5.7. Do a and o have different values?
True
Let n be (0 + 5 + -3)/(4/(-160)). Let r be n/(-18) + (-48)/108. Let x be (r/(-296))/((-2)/(-8)*-1). Is -1 < x?
True
Let h = -0.01856 + -107.98144. Which is greater: -0.07 or h?
-0.07
Let z(t) = -10*t - 43. Let n be z(-5). Let p be 3 - (7 - (11 - n)). Which is smaller: p or -1/370?
-1/370
Suppose -45567 - 89867 = -26*h. Is 5208 not equal to h?
True
Suppose -b + 12 = 13, 4*r + 5*b + 89 = 0. Let q be (1 - (-7)/r)*3/(-4). Do -11 and q have the same value?
False
Let p be 2/8 + (-152)/(-32). Suppose 5*v - 5 = p. Suppose 38 = -5*z - v*w, -13 + 3 = 5*z - 5*w. Which is bigger: z or -7?
z
Let w = 10614 + -10624. Is 0.191 greater than w?
True
Let v = 1 - 1.1. Let h = 848 + 724. Let k be ((-14)/3)/(-2)*h/12838. Which is smaller: v or k?
v
Let l = -958467/162890 + -3/6265. Is -5 smaller than l?
False
Let d = -258 - -156. Le